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-4109179-1466341818/watcher-4109179-1466341818 -o /tmp/evaluation-result-4109179-1466341818/solver-4109179-1466341818 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466341816-3872 --watchdog 1960 naps-1.02 HOME/instance-4109179-1466341818.wbo 

pid=3945
running on 4 cores: 0,2,4,6

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: 0.26 0.19 0.12 3/177 3948
/proc/meminfo: memFree=30681632/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=6684 CPUtime=0 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 36228469 6844416 246 33554432000 4194304 5796924 140734751578256 140733232216072 4621249 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 1671 246 130 392 0 1270 0

[startup+0.100159 s]
/proc/loadavg: 0.26 0.19 0.12 3/177 3948
/proc/meminfo: memFree=30681632/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=6292 CPUtime=0.09 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 1599 0 0 0 9 0 0 0 20 0 1 0 36228469 6443008 1199 33554432000 4194304 5796924 140734751578256 140733232216072 4296219 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 1573 1199 162 392 0 1172 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6292

[startup+0.200309 s]
/proc/loadavg: 0.26 0.19 0.12 3/177 3948
/proc/meminfo: memFree=30681632/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=14204 CPUtime=0.19 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 3482 0 0 0 19 0 0 0 20 0 1 0 36228469 14544896 2985 33554432000 4194304 5796924 140734751578256 140733232216072 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 3551 2985 171 392 0 3150 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14204

[startup+0.300319 s]
/proc/loadavg: 0.26 0.19 0.12 3/177 3948
/proc/meminfo: memFree=30681632/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=16884 CPUtime=0.29 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 3767 0 0 0 29 0 0 0 20 0 1 0 36228469 17289216 3268 33554432000 4194304 5796924 140734751578256 140733232216072 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 4221 3268 171 392 0 3820 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16884

[startup+0.700237 s]
/proc/loadavg: 0.26 0.19 0.12 3/177 3948
/proc/meminfo: memFree=30681632/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=33100 CPUtime=0.69 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 6385 0 0 0 68 1 0 0 20 0 1 0 36228469 33894400 7658 33554432000 4194304 5796924 140734751578256 140733232216072 4606771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 8275 7658 182 392 0 7874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33100

[startup+1.50023 s]
/proc/loadavg: 0.26 0.19 0.12 3/178 3949
/proc/meminfo: memFree=30642116/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=33100 CPUtime=1.49 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 6498 0 0 0 148 1 0 0 20 0 1 0 36228469 33894400 7771 33554432000 4194304 5796924 140734751578256 140734751575496 4607576 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 8275 7771 182 392 0 7874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33100

[startup+3.10028 s]
/proc/loadavg: 0.26 0.19 0.12 4/178 3949
/proc/meminfo: memFree=30617928/32872528 swapFree=1191056/1305520
[pid=3948] ppid=3945 vsize=58976 CPUtime=3.09 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 8340 0 0 0 308 1 0 0 20 0 1 0 36228469 60391424 13674 33554432000 4194304 5796924 140734751578256 140734751575896 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 14744 13674 182 392 0 14343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58976

[startup+6.30021 s]
/proc/loadavg: 0.48 0.24 0.13 4/178 3949
/proc/meminfo: memFree=30596064/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=63464 CPUtime=6.29 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 9173 0 0 0 627 2 0 0 20 0 1 0 36228469 64987136 12856 33554432000 4194304 5796924 140734751578256 140734751575720 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 15866 12856 182 392 0 15465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63464

[startup+12.7003 s]
/proc/loadavg: 0.68 0.29 0.15 3/178 3949
/proc/meminfo: memFree=30527668/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=82320 CPUtime=12.69 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 9922 0 0 0 1266 3 0 0 20 0 1 0 36228469 84295680 20025 33554432000 4194304 5796924 140734751578256 140734751575720 4594944 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 20580 20025 182 392 0 20179 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82320

[startup+25.5003 s]
/proc/loadavg: 1.05 0.39 0.18 3/178 3949
/proc/meminfo: memFree=30550960/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=82320 CPUtime=25.49 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 10655 0 0 0 2544 5 0 0 20 0 1 0 36228469 84295680 20089 33554432000 4194304 5796924 140734751578256 140734751575720 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 20580 20089 182 392 0 20179 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82320

[startup+51.1004 s]
/proc/loadavg: 1.51 0.55 0.24 4/177 3949
/proc/meminfo: memFree=30500424/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=136888 CPUtime=51.08 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 13312 0 0 0 5099 9 0 0 20 0 1 0 36228469 140173312 30827 33554432000 4194304 5796924 140734751578256 140734751575544 4607212 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 34222 30827 182 392 0 33821 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 136888

[startup+102.3 s]
/proc/loadavg: 1.94 0.80 0.34 3/177 3950
/proc/meminfo: memFree=30440236/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=198148 CPUtime=102.28 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 16816 0 0 0 10213 15 0 0 20 0 1 0 36228469 202903552 44626 33554432000 4194304 5796924 140734751578256 140734751575896 4593669 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 49537 44626 182 392 0 49136 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 198148

[startup+162.3 s]
/proc/loadavg: 2.09 1.05 0.45 3/177 3951
/proc/meminfo: memFree=30403864/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=248236 CPUtime=162.26 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 19763 0 0 0 16205 21 0 0 20 0 1 0 36228469 254193664 49189 33554432000 4194304 5796924 140734751578256 140734751575896 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 62059 49189 182 392 0 61658 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 248236

[startup+222.307 s]
/proc/loadavg: 2.15 1.25 0.56 3/177 3952
/proc/meminfo: memFree=30420796/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=198148 CPUtime=222.26 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 22646 0 0 0 22200 26 0 0 20 0 1 0 36228469 202903552 44731 33554432000 4194304 5796924 140734751578256 140734751575896 4606523 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 49537 44731 182 392 0 49136 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 198148

[startup+282.3 s]
/proc/loadavg: 2.09 1.40 0.65 3/177 3954
/proc/meminfo: memFree=30417264/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=198148 CPUtime=282.24 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 26006 0 0 0 28192 32 0 0 20 0 1 0 36228469 202903552 44219 33554432000 4194304 5796924 140734751578256 140734751575896 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 49537 44219 182 392 0 49136 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 198148

[startup+342.3 s]
/proc/loadavg: 2.09 1.52 0.74 3/177 3955
/proc/meminfo: memFree=30357684/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=248236 CPUtime=342.23 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 28536 0 0 0 34187 36 0 0 20 0 1 0 36228469 254193664 57832 33554432000 4194304 5796924 140734751578256 140734751575896 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 62059 57832 182 392 0 61658 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 248236

[startup+402.3 s]
/proc/loadavg: 2.08 1.62 0.82 3/177 3956
/proc/meminfo: memFree=30366020/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=198148 CPUtime=402.22 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 31343 0 0 0 40180 42 0 0 20 0 1 0 36228469 202903552 47122 33554432000 4194304 5796924 140734751578256 140734751575896 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 49537 47122 182 392 0 49136 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 198148

[startup+462.3 s]
/proc/loadavg: 2.15 1.72 0.90 3/177 3957
/proc/meminfo: memFree=30329960/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=252480 CPUtime=462.22 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 34957 0 0 0 46175 47 0 0 20 0 1 0 36228469 258539520 56156 33554432000 4194304 5796924 140734751578256 140734751575368 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 63120 56156 182 392 0 62719 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 252480

[startup+522.3 s]
/proc/loadavg: 2.23 1.83 0.99 3/177 3958
/proc/meminfo: memFree=30342540/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=257024 CPUtime=522.21 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 37151 0 0 0 52171 50 0 0 20 0 1 0 36228469 263192576 61770 33554432000 4194304 5796924 140734751578256 140734751575368 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 64256 61770 182 392 0 63855 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 257024

[startup+582.3 s]
/proc/loadavg: 2.13 1.87 1.05 3/177 3960
/proc/meminfo: memFree=30271260/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=346428 CPUtime=582.19 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 41261 0 0 0 58165 54 0 0 20 0 1 0 36228469 354742272 67691 33554432000 4194304 5796924 140734751578256 140734751575368 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 86607 67691 182 392 0 86206 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 346428


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


[startup+882.307 s]
/proc/loadavg: 2.17 2.05 1.35 3/177 3969
/proc/meminfo: memFree=30299844/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=286932 CPUtime=882.16 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 54451 0 0 0 88141 75 0 0 20 0 1 0 36228469 293818368 62530 33554432000 4194304 5796924 140734751578256 140734751575896 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 71733 62530 182 392 0 71332 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 286932

[startup+942.3 s]
/proc/loadavg: 2.16 2.07 1.40 4/177 3970
/proc/meminfo: memFree=30327000/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=241536 CPUtime=942.14 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 56538 0 0 0 94134 80 0 0 20 0 1 0 36228469 247332864 56650 33554432000 4194304 5796924 140734751578256 140734751575720 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 60384 56650 182 392 0 59983 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 241536

[startup+1002.3 s]
/proc/loadavg: 2.18 2.09 1.44 3/177 3971
/proc/meminfo: memFree=30268956/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=376628 CPUtime=1002.13 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 58841 0 0 0 100130 83 0 0 20 0 1 0 36228469 385667072 79384 33554432000 4194304 5796924 140734751578256 140734751575368 4606779 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 94157 79384 182 392 0 93756 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 376628

[startup+1062.3 s]
/proc/loadavg: 2.12 2.08 1.48 3/177 3972
/proc/meminfo: memFree=30226528/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=377892 CPUtime=1062.13 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 60982 0 0 0 106125 88 0 0 20 0 1 0 36228469 386961408 73555 33554432000 4194304 5796924 140734751578256 140734751575896 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 94473 73555 182 392 0 94072 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 377892

[startup+1122.3 s]
/proc/loadavg: 2.09 2.08 1.51 3/177 3973
/proc/meminfo: memFree=30282184/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=299040 CPUtime=1122.12 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 62656 0 0 0 112121 91 0 0 20 0 1 0 36228469 306216960 61637 33554432000 4194304 5796924 140734751578256 140734751575896 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 74760 61637 182 392 0 74359 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 299040

[startup+1182.3 s]
/proc/loadavg: 2.20 2.11 1.56 3/177 3975
/proc/meminfo: memFree=30194088/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=381536 CPUtime=1182.09 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 63629 0 0 0 118117 92 0 0 20 0 1 0 36228469 390692864 83643 33554432000 4194304 5796924 140734751578256 140734751575368 4606708 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 95384 83643 182 392 0 94983 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 381536

[startup+1242.3 s]
/proc/loadavg: 2.17 2.12 1.59 3/178 3979
/proc/meminfo: memFree=30204892/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=302844 CPUtime=1242.07 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 65456 0 0 0 124111 96 0 0 20 0 1 0 36228469 310112256 74918 33554432000 4194304 5796924 140734751578256 140734751575368 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 75711 74918 182 392 0 75310 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 302844

[startup+1302.3 s]
/proc/loadavg: 2.19 2.13 1.63 3/177 3980
/proc/meminfo: memFree=30261988/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=305916 CPUtime=1302.06 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 67810 0 0 0 130106 100 0 0 20 0 1 0 36228469 313257984 66738 33554432000 4194304 5796924 140734751578256 140734751575368 4606733 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 76479 66738 182 392 0 76078 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 305916

[startup+1362.3 s]
/proc/loadavg: 2.30 2.16 1.67 3/177 3981
/proc/meminfo: memFree=30223628/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=391456 CPUtime=1362.05 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 69382 0 0 0 136103 102 0 0 20 0 1 0 36228469 400850944 88233 33554432000 4194304 5796924 140734751578256 140734751575368 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 97864 88233 182 392 0 97463 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 391456

[startup+1422.3 s]
/proc/loadavg: 2.23 2.16 1.70 3/177 3982
/proc/meminfo: memFree=30210492/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=313172 CPUtime=1422.04 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 71175 0 0 0 142098 106 0 0 20 0 1 0 36228469 320688128 75407 33554432000 4194304 5796924 140734751578256 140734751575368 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 78293 75407 182 392 0 77892 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 313172

[startup+1482.3 s]
/proc/loadavg: 2.25 2.18 1.73 3/177 3984
/proc/meminfo: memFree=30151516/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=396484 CPUtime=1482.03 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 72308 0 0 0 148095 108 0 0 20 0 1 0 36228469 405999616 90842 33554432000 4194304 5796924 140734751578256 140734751575368 4606721 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 99121 90842 182 392 0 98720 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 396484

[startup+1542.31 s]
/proc/loadavg: 2.21 2.17 1.75 3/177 3985
/proc/meminfo: memFree=30197608/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=316908 CPUtime=1542.02 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 73843 0 0 0 154090 112 0 0 20 0 1 0 36228469 324513792 76220 33554432000 4194304 5796924 140734751578256 140734751575368 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 79227 76220 182 392 0 78826 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 316908

[startup+1602.3 s]
/proc/loadavg: 2.14 2.15 1.77 3/177 3986
/proc/meminfo: memFree=30133040/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=399884 CPUtime=1602.01 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 74863 0 0 0 160087 114 0 0 20 0 1 0 36228469 409481216 91544 33554432000 4194304 5796924 140734751578256 140734751575368 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 99971 91544 182 392 0 99570 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 399884

[startup+1662.3 s]
/proc/loadavg: 2.15 2.15 1.79 3/177 3987
/proc/meminfo: memFree=30192604/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=321340 CPUtime=1662 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 76657 0 0 0 166082 118 0 0 20 0 1 0 36228469 329052160 76163 33554432000 4194304 5796924 140734751578256 140734751575368 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 80335 76163 182 392 0 79934 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 321340

[startup+1722.3 s]
/proc/loadavg: 2.21 2.17 1.82 4/177 3988
/proc/meminfo: memFree=30168604/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=406936 CPUtime=1722 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 78282 0 0 0 172080 120 0 0 20 0 1 0 36228469 416702464 88515 33554432000 4194304 5796924 140734751578256 140734751575368 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 101734 88515 182 392 0 101333 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 406936

[startup+1782.3 s]
/proc/loadavg: 2.17 2.16 1.83 3/177 3990
/proc/meminfo: memFree=30242256/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=279968 CPUtime=1781.99 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 79589 0 0 0 178076 123 0 0 20 0 1 0 36228469 286687232 68056 33554432000 4194304 5796924 140734751578256 140734751575720 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 69992 68056 182 392 0 69591 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 279968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.17 1.84 3/178 4039
/proc/meminfo: memFree=30387528/32872528 swapFree=1191052/1305516
[pid=3948] ppid=3945 vsize=330424 CPUtime=1800.08 cores=0,2,4,6
/proc/3948/stat : 3948 (naps-1.02) R 3945 3948 3856 0 -1 4202496 80511 0 0 0 179884 124 0 0 20 0 1 0 36228469 338354176 73570 33554432000 4194304 5796924 140734751578256 140734751575368 4606708 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/3948/statm: 82606 73570 182 392 0 82205 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 330424

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 3948 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1798.85
CPU system time (s): 1.25081
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 491584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.25081
maximum resident set size= 464788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80521
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= 63
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55431 second user time and 6.90395 second system time

The end