runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103067-1466240718/watcher-4103067-1466240718 -o /tmp/evaluation-result-4103067-1466240718/solver-4103067-1466240718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466229725-20954 --watchdog 1960 naps-1.02 HOME/instance-4103067-1466240718.opb 

pid=22282
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.14 2.09 3/176 22285
/proc/meminfo: memFree=31356232/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=6852 CPUtime=0 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 1 0 26118506 7016448 283 33554432000 4194304 5796924 140734057844384 140733975818344 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 1713 283 128 392 0 1312 0

[startup+0.100164 s]
/proc/loadavg: 2.18 2.14 2.09 3/176 22285
/proc/meminfo: memFree=31356232/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=7548 CPUtime=0.09 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 627 0 0 0 9 0 0 0 20 0 1 0 26118506 7729152 486 33554432000 4194304 5796924 140734057844384 140733975818344 5096680 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 1887 486 128 392 0 1486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7548

[startup+0.200283 s]
/proc/loadavg: 2.18 2.14 2.09 3/176 22285
/proc/meminfo: memFree=31356232/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=8208 CPUtime=0.19 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 877 0 0 0 19 0 0 0 20 0 1 0 26118506 8404992 715 33554432000 4194304 5796924 140734057844384 140733975818344 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 2052 715 128 392 0 1651 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8208

[startup+0.300251 s]
/proc/loadavg: 2.18 2.14 2.09 3/176 22285
/proc/meminfo: memFree=31356232/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=8928 CPUtime=0.29 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 1121 0 0 0 29 0 0 0 20 0 1 0 26118506 9142272 939 33554432000 4194304 5796924 140734057844384 140733975818344 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 2232 939 128 392 0 1831 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8928

[startup+0.70024 s]
/proc/loadavg: 2.18 2.14 2.09 3/176 22285
/proc/meminfo: memFree=31356232/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=11684 CPUtime=0.69 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 2115 0 0 0 69 0 0 0 20 0 1 0 26118506 11964416 2262 33554432000 4194304 5796924 140734057844384 140734057843608 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 2921 2262 128 392 0 2520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11684

[startup+1.50032 s]
/proc/loadavg: 2.18 2.14 2.09 3/177 22286
/proc/meminfo: memFree=31346436/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=47040 CPUtime=1.49 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 10847 0 0 0 148 1 0 0 20 0 1 0 26118506 48168960 10572 33554432000 4194304 5796924 140734057844384 140734057843608 4564234 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 11760 10573 158 392 0 11359 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47040

[startup+3.10033 s]
/proc/loadavg: 2.25 2.16 2.10 4/177 22286
/proc/meminfo: memFree=31313252/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=54416 CPUtime=3.09 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 12617 0 0 0 307 2 0 0 20 0 1 0 26118506 55721984 11257 33554432000 4194304 5796924 140734057844384 140734057841432 4606491 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 13604 11257 169 392 0 13203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54416

[startup+6.3003 s]
/proc/loadavg: 2.25 2.16 2.10 3/177 22286
/proc/meminfo: memFree=31311268/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=55804 CPUtime=6.29 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 13844 0 0 0 627 2 0 0 20 0 1 0 26118506 57143296 11742 33554432000 4194304 5796924 140734057844384 140734057842232 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 13951 11742 171 392 0 13550 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55804

[startup+12.7003 s]
/proc/loadavg: 2.31 2.17 2.10 3/177 22286
/proc/meminfo: memFree=31295540/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=74448 CPUtime=12.68 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 14787 0 0 0 1266 2 0 0 20 0 1 0 26118506 76234752 15714 33554432000 4194304 5796924 140734057844384 140734057841624 4592023 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 18612 15714 171 392 0 18211 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 74448

[startup+25.5004 s]
/proc/loadavg: 2.24 2.16 2.10 3/177 22286
/proc/meminfo: memFree=31261904/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=104904 CPUtime=25.48 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 15925 0 0 0 2545 3 0 0 20 0 1 0 26118506 107421696 24280 33554432000 4194304 5796924 140734057844384 140734057841624 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 26226 24280 171 392 0 25825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104904

[startup+51.1004 s]
/proc/loadavg: 2.24 2.17 2.10 3/177 22286
/proc/meminfo: memFree=31208792/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=166740 CPUtime=51.08 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 17618 0 0 0 5103 5 0 0 20 0 1 0 26118506 170741760 38003 33554432000 4194304 5796924 140734057844384 140734057841672 4606520 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 41685 38003 171 392 0 41284 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166740

[startup+102.3 s]
/proc/loadavg: 2.16 2.15 2.10 3/177 22287
/proc/meminfo: memFree=31190208/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=197560 CPUtime=102.28 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 20517 0 0 0 10218 10 0 0 20 0 1 0 26118506 202301440 42166 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 49390 42166 171 392 0 48989 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 197560

[startup+162.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/177 22289
/proc/meminfo: memFree=31171948/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=166740 CPUtime=162.27 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 22834 0 0 0 16212 15 0 0 20 0 1 0 26118506 170741760 35955 33554432000 4194304 5796924 140734057844384 140734057841672 4607607 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 41685 35955 171 392 0 41284 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 166740

[startup+222.307 s]
/proc/loadavg: 2.15 2.15 2.10 3/177 22290
/proc/meminfo: memFree=31236180/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=117420 CPUtime=222.27 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 24720 0 0 0 22208 19 0 0 20 0 1 0 26118506 120238080 27409 33554432000 4194304 5796924 140734057844384 140734057841848 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 29355 27409 171 392 0 28954 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 117420

[startup+282.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 22291
/proc/meminfo: memFree=31157228/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=166740 CPUtime=282.25 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 26443 0 0 0 28203 22 0 0 20 0 1 0 26118506 170741760 39595 33554432000 4194304 5796924 140734057844384 140734057841672 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 41685 39595 173 392 0 41284 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 166740

[startup+342.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/178 22295
/proc/meminfo: memFree=31124408/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=197560 CPUtime=342.24 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 28026 0 0 0 34199 25 0 0 20 0 1 0 26118506 202301440 44917 33554432000 4194304 5796924 140734057844384 140734057842024 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 49390 44917 173 392 0 48989 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 197560

[startup+402.3 s]
/proc/loadavg: 2.23 2.16 2.10 3/177 22296
/proc/meminfo: memFree=31148316/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=247648 CPUtime=402.22 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 29624 0 0 0 40194 28 0 0 20 0 1 0 26118506 253591552 49976 33554432000 4194304 5796924 140734057844384 140734057842024 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 61912 49976 173 392 0 61511 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 247648

[startup+462.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/177 22298
/proc/meminfo: memFree=31111404/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=247648 CPUtime=462.21 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 30912 0 0 0 46190 31 0 0 20 0 1 0 26118506 253591552 50488 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 61912 50488 173 392 0 61511 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 247648

[startup+522.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 22299
/proc/meminfo: memFree=31115484/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=247648 CPUtime=522.21 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 32199 0 0 0 52187 34 0 0 20 0 1 0 26118506 253591552 49464 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 61912 49464 173 392 0 61511 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 247648

[startup+582.3 s]
/proc/loadavg: 2.10 2.13 2.09 4/177 22300
/proc/meminfo: memFree=31113300/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=250584 CPUtime=582.19 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 33687 0 0 0 58183 36 0 0 20 0 1 0 26118506 256598016 48639 33554432000 4194304 5796924 140734057844384 140734057842024 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 62646 48639 173 392 0 62245 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 250584


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.07 2.10 2.09 3/177 22306
/proc/meminfo: memFree=31132664/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=175528 CPUtime=882.14 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 39495 0 0 0 88166 48 0 0 20 0 1 0 26118506 179740672 41053 33554432000 4194304 5796924 140734057844384 140734057841672 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 43882 41053 173 392 0 43481 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 175528

[startup+942.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/178 22310
/proc/meminfo: memFree=31077472/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=256436 CPUtime=942.13 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 40414 0 0 0 94163 50 0 0 20 0 1 0 26118506 262590464 56781 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 64109 56781 173 392 0 63708 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 256436

[startup+1002.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/177 22311
/proc/meminfo: memFree=31158968/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=208132 CPUtime=1002.12 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 42356 0 0 0 100159 53 0 0 20 0 1 0 26118506 213127168 46686 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 52033 46686 173 392 0 51632 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 208132

[startup+1062.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/177 22313
/proc/meminfo: memFree=31050608/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=258220 CPUtime=1062.11 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 42684 0 0 0 106157 54 0 0 20 0 1 0 26118506 264417280 60811 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 64555 60811 173 392 0 64154 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 258220

[startup+1122.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/177 22314
/proc/meminfo: memFree=31103672/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=209848 CPUtime=1122.1 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 44613 0 0 0 112153 57 0 0 20 0 1 0 26118506 214884352 49675 33554432000 4194304 5796924 140734057844384 140734057842024 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 52462 49675 173 392 0 52061 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 209848

[startup+1182.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/177 22315
/proc/meminfo: memFree=31092264/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=259936 CPUtime=1182.09 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 44942 0 0 0 118151 58 0 0 20 0 1 0 26118506 266174464 63288 33554432000 4194304 5796924 140734057844384 140734057842024 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 64984 63288 173 392 0 64583 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 259936

[startup+1242.3 s]
/proc/loadavg: 2.19 2.13 2.10 3/177 22316
/proc/meminfo: memFree=31086040/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=261624 CPUtime=1242.09 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 47168 0 0 0 124147 62 0 0 20 0 1 0 26118506 267902976 51934 33554432000 4194304 5796924 140734057844384 140734057842024 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 65406 51934 173 392 0 65005 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 261624

[startup+1302.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/177 22317
/proc/meminfo: memFree=31051168/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=261624 CPUtime=1302.07 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 47191 0 0 0 130145 62 0 0 20 0 1 0 26118506 267902976 63710 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 65406 63710 173 392 0 65005 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 261624

[startup+1362.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/177 22319
/proc/meminfo: memFree=31089944/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=213136 CPUtime=1362.06 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 49095 0 0 0 136142 64 0 0 20 0 1 0 26118506 218251264 49985 33554432000 4194304 5796924 140734057844384 140734057842024 4606514 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 53284 49985 173 392 0 52883 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 213136

[startup+1422.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/177 22320
/proc/meminfo: memFree=31049864/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=263224 CPUtime=1422.06 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 49430 0 0 0 142141 65 0 0 20 0 1 0 26118506 269541376 62062 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 65806 62062 173 392 0 65405 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 263224

[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 22321
/proc/meminfo: memFree=31125672/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=214544 CPUtime=1482.04 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 51286 0 0 0 148136 68 0 0 20 0 1 0 26118506 219693056 47265 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 53636 47265 173 392 0 53235 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 214544

[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 2.06 3/178 22325
/proc/meminfo: memFree=31046088/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=264632 CPUtime=1542.04 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 51615 0 0 0 154135 69 0 0 20 0 1 0 26118506 270983168 60878 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 66158 60878 173 392 0 65757 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 264632

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/177 22326
/proc/meminfo: memFree=31130864/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=215668 CPUtime=1602.02 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 53370 0 0 0 160130 72 0 0 20 0 1 0 26118506 220844032 44956 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 53917 44956 173 392 0 53516 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 215668

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.06 4/177 22373
/proc/meminfo: memFree=29719664/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=265756 CPUtime=1662.01 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 53750 0 0 0 166127 74 0 0 20 0 1 0 26118506 272134144 56551 33554432000 4194304 5796924 140734057844384 140734057842024 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 66439 56551 173 392 0 66038 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 265756

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/177 22374
/proc/meminfo: memFree=27948656/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=347144 CPUtime=1721.99 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 54285 0 0 0 172125 74 0 0 20 0 1 0 26118506 355475456 66791 33554432000 4194304 5796924 140734057844384 140734057842024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 86786 66791 173 392 0 86385 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 347144

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.06 3/177 22375
/proc/meminfo: memFree=28113368/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=215668 CPUtime=1781.99 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 55125 0 0 0 178122 77 0 0 20 0 1 0 26118506 220844032 48401 33554432000 4194304 5796924 140734057844384 140734057842024 4607212 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 53917 48401 173 392 0 53516 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 215668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.04 2.06 3/177 22375
/proc/meminfo: memFree=28098100/32872528 swapFree=338416/354768
[pid=22285] ppid=22282 vsize=265756 CPUtime=1800.08 cores=1,3,5,7
/proc/22285/stat : 22285 (naps-1.02) R 22282 22285 20937 0 -1 4202496 55480 0 0 0 179931 77 0 0 20 0 1 0 26118506 272134144 52326 33554432000 4194304 5796924 140734057844384 140734057842024 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22285/statm: 66439 52326 173 392 0 66038 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 265756

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22285 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.31
CPU system time (s): 0.779881
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 396464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.779881
maximum resident set size= 317324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67329 second user time and 6.78697 second system time

The end