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-4094633-1466107170/watcher-4094633-1466107170 -o /tmp/evaluation-result-4094633-1466107170/solver-4094633-1466107170 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466103521-26943 --watchdog 1960 naps-1.02 HOME/instance-4094633-1466107170.wbo 

pid=27447
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: 2.01 2.03 2.00 3/175 27450
/proc/meminfo: memFree=31505456/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=6548 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 12763764 6705152 205 33554432000 4194304 5796924 140735484094544 140735484093768 5151211 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 1637 205 127 392 0 1236 0

[startup+0.100152 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 27450
/proc/meminfo: memFree=31505456/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=9708 CPUtime=0.09 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 1178 0 0 0 9 0 0 0 20 0 1 0 12763764 9940992 1035 33554432000 4194304 5796924 140735484094544 140735484093768 4621249 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 2427 1036 130 392 0 2026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9708

[startup+0.200292 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 27450
/proc/meminfo: memFree=31505456/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=12584 CPUtime=0.19 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 1934 0 0 0 19 0 0 0 20 0 1 0 12763764 12886016 1727 33554432000 4194304 5796924 140735484094544 140735484093768 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 3146 1727 130 392 0 2745 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12584

[startup+0.300248 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 27450
/proc/meminfo: memFree=31505456/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=15900 CPUtime=0.29 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 2834 0 0 0 29 0 0 0 20 0 1 0 12763764 16281600 2524 33554432000 4194304 5796924 140735484094544 140735484093768 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 3975 2524 130 392 0 3574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15900

[startup+0.700295 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 27450
/proc/meminfo: memFree=31505456/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=32604 CPUtime=0.69 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 9047 0 0 0 68 1 0 0 20 0 1 0 12763764 33386496 6774 33554432000 4194304 5796924 140735484094544 140735484093768 5087538 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 8151 6774 146 392 0 7750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32604

[startup+1.50027 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 27451
/proc/meminfo: memFree=31481624/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=39400 CPUtime=1.49 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 13064 0 0 0 148 1 0 0 20 0 1 0 12763764 40345600 8743 33554432000 4194304 5796924 140735484094544 140735484091528 4583292 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 9850 8743 181 392 0 9449 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39400

[startup+3.10029 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 27451
/proc/meminfo: memFree=31470208/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=42104 CPUtime=3.08 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 14139 0 0 0 307 1 0 0 20 0 1 0 12763764 43114496 9741 33554432000 4194304 5796924 140735484094544 140735484092936 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 10526 9741 181 392 0 10125 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42104

[startup+6.30024 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 27451
/proc/meminfo: memFree=31463076/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=48224 CPUtime=6.29 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 15265 0 0 0 627 2 0 0 20 0 1 0 12763764 49381376 11284 33554432000 4194304 5796924 140735484094544 140735484091608 4594694 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 12056 11284 181 392 0 11655 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48224

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 4/176 27451
/proc/meminfo: memFree=31456604/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=64132 CPUtime=12.69 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 16070 0 0 0 1267 2 0 0 20 0 1 0 12763764 65671168 12906 33554432000 4194304 5796924 140735484094544 140735484091784 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 16033 12906 181 392 0 15632 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64132

[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.00 3/176 27451
/proc/meminfo: memFree=31444196/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=64132 CPUtime=25.48 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 16394 0 0 0 2546 2 0 0 20 0 1 0 12763764 65671168 15264 33554432000 4194304 5796924 140735484094544 140735484091784 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 16033 15264 181 392 0 15632 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64132

[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 27455
/proc/meminfo: memFree=31401848/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=71316 CPUtime=51.08 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 17735 0 0 0 5106 2 0 0 20 0 1 0 12763764 73027584 17032 33554432000 4194304 5796924 140735484094544 140735484091608 4607168 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 17829 17032 181 392 0 17428 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71316

[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 27479
/proc/meminfo: memFree=31381776/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=133912 CPUtime=102.26 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 21191 0 0 0 10222 4 0 0 20 0 1 0 12763764 137125888 25739 33554432000 4194304 5796924 140735484094544 140735484091784 4606483 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 33478 25739 185 392 0 33077 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 133912

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 27481
/proc/meminfo: memFree=31324492/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=136072 CPUtime=162.25 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 22295 0 0 0 16220 5 0 0 20 0 1 0 12763764 139337728 32627 33554432000 4194304 5796924 140735484094544 140735484092936 4594624 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 34018 32627 185 392 0 33617 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 136072

[startup+222.307 s]
/proc/loadavg: 2.01 2.03 2.00 4/177 27482
/proc/meminfo: memFree=31318356/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=136072 CPUtime=222.25 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 22296 0 0 0 22220 5 0 0 20 0 1 0 12763764 139337728 33139 33554432000 4194304 5796924 140735484094544 140735484092936 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 34018 33139 185 392 0 33617 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 136072

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27483
/proc/meminfo: memFree=31320648/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=136072 CPUtime=282.23 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 22296 0 0 0 28218 5 0 0 20 0 1 0 12763764 139337728 33139 33554432000 4194304 5796924 140735484094544 140735484092936 4606755 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 34018 33139 185 392 0 33617 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 136072

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27484
/proc/meminfo: memFree=31346896/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=149364 CPUtime=342.22 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 23210 0 0 0 34216 6 0 0 20 0 1 0 12763764 152948736 34856 33554432000 4194304 5796924 140735484094544 140735484091784 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 37341 34856 185 392 0 36940 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 149364

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 27485
/proc/meminfo: memFree=31296500/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=149364 CPUtime=402.21 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 24018 0 0 0 40214 7 0 0 20 0 1 0 12763764 152948736 36462 33554432000 4194304 5796924 140735484094544 140735484092008 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 37341 36462 185 392 0 36940 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 149364

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 27486
/proc/meminfo: memFree=31339576/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=149364 CPUtime=462.2 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 24752 0 0 0 46212 8 0 0 20 0 1 0 12763764 152948736 36462 33554432000 4194304 5796924 140735484094544 140735484092008 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 37341 36462 185 392 0 36940 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 149364

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27488
/proc/meminfo: memFree=31264224/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=198684 CPUtime=522.19 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 25485 0 0 0 52210 9 0 0 20 0 1 0 12763764 203452416 45515 33554432000 4194304 5796924 140735484094544 140735484091832 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 49671 45515 185 392 0 49270 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 198684

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 27489
/proc/meminfo: memFree=31335964/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=157764 CPUtime=582.18 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 26935 0 0 0 58209 9 0 0 20 0 1 0 12763764 161550336 37355 33554432000 4194304 5796924 140735484094544 140735484092008 4606483 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 39441 37355 187 392 0 39040 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 157764


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

/proc/loadavg: 2.03 2.03 2.00 3/178 27493
/proc/meminfo: memFree=31299416/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=207084 CPUtime=642.17 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 27828 0 0 0 64207 10 0 0 20 0 1 0 12763764 212054016 46488 33554432000 4194304 5796924 140735484094544 140735484091832 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 51771 46488 187 392 0 51370 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 207084

[startup+702.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 27494
/proc/meminfo: memFree=31335800/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=157764 CPUtime=702.16 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 28278 0 0 0 70205 11 0 0 20 0 1 0 12763764 161550336 37355 33554432000 4194304 5796924 140735484094544 140735484092008 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 39441 37355 187 392 0 39040 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 157764

[startup+762.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 27495
/proc/meminfo: memFree=31298020/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=160396 CPUtime=762.16 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 29916 0 0 0 76203 13 0 0 20 0 1 0 12763764 164245504 38054 33554432000 4194304 5796924 140735484094544 140735484092936 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 40099 38054 187 392 0 39698 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 160396

[startup+822.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 27497
/proc/meminfo: memFree=31274260/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=179072 CPUtime=822.15 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 31657 0 0 0 82201 14 0 0 20 0 1 0 12763764 183369728 43340 33554432000 4194304 5796924 140735484094544 140735484092008 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 44768 43340 187 392 0 44367 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 179072

[startup+882.307 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 27498
/proc/meminfo: memFree=31252120/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=196016 CPUtime=882.15 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 33514 0 0 0 88199 16 0 0 20 0 1 0 12763764 200720384 47830 33554432000 4194304 5796924 140735484094544 140735484092008 4593577 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 49004 47830 187 392 0 48603 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 196016

[startup+942.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/177 27499
/proc/meminfo: memFree=31203100/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=248216 CPUtime=942.13 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 35643 0 0 0 94195 18 0 0 20 0 1 0 12763764 254173184 60752 33554432000 4194304 5796924 140735484094544 140735484091832 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 62054 60752 187 392 0 61653 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 248216

[startup+1002.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/177 27500
/proc/meminfo: memFree=31205240/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=257932 CPUtime=1002.12 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 38377 0 0 0 100191 21 0 0 20 0 1 0 12763764 264122368 61078 33554432000 4194304 5796924 140735484094544 140735484092936 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 64483 61078 187 392 0 64082 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 257932

[startup+1062.3 s]
/proc/loadavg: 2.11 2.10 2.02 3/177 27501
/proc/meminfo: memFree=31286044/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=210188 CPUtime=1062.11 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 40289 0 0 0 106187 24 0 0 20 0 1 0 12763764 215232512 49735 33554432000 4194304 5796924 140735484094544 140735484092008 4583094 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 52547 49735 187 392 0 52146 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 210188

[startup+1122.3 s]
/proc/loadavg: 2.16 2.12 2.03 3/177 27503
/proc/meminfo: memFree=31202048/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=320712 CPUtime=1122.1 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43065 0 0 0 112181 29 0 0 20 0 1 0 12763764 328409088 70827 33554432000 4194304 5796924 140735484094544 140735484092184 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 80178 70827 187 392 0 79777 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 320712

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

[startup+1126.4 s]
/proc/loadavg: 2.14 2.12 2.03 3/177 27503
/proc/meminfo: memFree=31198388/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=320712 CPUtime=1126.21 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43348 0 0 0 112592 29 0 0 20 0 1 0 12763764 328409088 71614 33554432000 4194304 5796924 140735484094544 140735484092184 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 80178 71614 187 392 0 79777 0
Current children cumulated CPU time (s) 1126.21
Current children cumulated vsize (KiB) 320712

[startup+1139.2 s]
/proc/loadavg: 2.25 2.14 2.04 3/177 27503
/proc/meminfo: memFree=31217640/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1139 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43411 0 0 0 113870 30 0 0 20 0 1 0 12763764 296849408 66111 33554432000 4194304 5796924 140735484094544 140735484091832 4606491 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 66111 187 392 0 72072 0
Current children cumulated CPU time (s) 1139
Current children cumulated vsize (KiB) 289892

[startup+1152 s]
/proc/loadavg: 2.21 2.14 2.04 3/177 27504
/proc/meminfo: memFree=31166064/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1151.79 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43417 0 0 0 115149 30 0 0 20 0 1 0 12763764 296849408 69183 33554432000 4194304 5796924 140735484094544 140735484091832 4606565 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 69183 187 392 0 72072 0
Current children cumulated CPU time (s) 1151.79
Current children cumulated vsize (KiB) 289892

[startup+1155.2 s]
/proc/loadavg: 2.20 2.14 2.04 3/177 27504
/proc/meminfo: memFree=31161844/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1154.99 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43418 0 0 0 115469 30 0 0 20 0 1 0 12763764 296849408 69695 33554432000 4194304 5796924 140735484094544 140735484091832 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 69695 187 392 0 72072 0
Current children cumulated CPU time (s) 1154.99
Current children cumulated vsize (KiB) 289892

[startup+1156.8 s]
/proc/loadavg: 2.20 2.14 2.04 3/177 27504
/proc/meminfo: memFree=31162220/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1156.59 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43419 0 0 0 115629 30 0 0 20 0 1 0 12763764 296849408 70207 33554432000 4194304 5796924 140735484094544 140735484091832 4607255 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 70207 187 392 0 72072 0
Current children cumulated CPU time (s) 1156.59
Current children cumulated vsize (KiB) 289892

[startup+1157.6 s]
/proc/loadavg: 2.20 2.14 2.04 3/177 27504
/proc/meminfo: memFree=31160296/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1157.39 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43419 0 0 0 115709 30 0 0 20 0 1 0 12763764 296849408 70207 33554432000 4194304 5796924 140735484094544 140735484091832 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 70207 187 392 0 72072 0
Current children cumulated CPU time (s) 1157.39
Current children cumulated vsize (KiB) 289892

[startup+1158 s]
/proc/loadavg: 2.20 2.14 2.04 3/177 27504
/proc/meminfo: memFree=31160296/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1157.79 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43419 0 0 0 115749 30 0 0 20 0 1 0 12763764 296849408 70207 33554432000 4194304 5796924 140735484094544 140735484091832 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 70207 187 392 0 72072 0
Current children cumulated CPU time (s) 1157.79
Current children cumulated vsize (KiB) 289892

[startup+1158.41 s]
/proc/loadavg: 2.18 2.13 2.04 3/177 27504
/proc/meminfo: memFree=31158248/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1158.2 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43419 0 0 0 115790 30 0 0 20 0 1 0 12763764 296849408 70207 33554432000 4194304 5796924 140735484094544 140735484091832 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 70207 187 392 0 72072 0
Current children cumulated CPU time (s) 1158.2
Current children cumulated vsize (KiB) 289892

[startup+1158.5 s]
/proc/loadavg: 2.18 2.13 2.04 3/177 27504
/proc/meminfo: memFree=31158248/32872528 swapFree=338160/354512
[pid=27450] ppid=27447 vsize=289892 CPUtime=1158.29 cores=0,2,4,6
/proc/27450/stat : 27450 (naps-1.02) R 27447 27450 26339 0 -1 4202496 43419 0 0 0 115799 30 0 0 20 0 1 0 12763764 296849408 70207 33554432000 4194304 5796924 140735484094544 140735484091832 4606500 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/27450/statm: 72473 70207 187 392 0 72072 0
Current children cumulated CPU time (s) 1158.29
Current children cumulated vsize (KiB) 289892

Child status: 30
Real time (s): 1158.6
CPU time (s): 1158.4
CPU user time (s): 1158.09
CPU system time (s): 0.310952
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 320712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1158.09
system time used= 0.310952
maximum resident set size= 290552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43432
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= 23
involuntary context switches= 1594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.17352 second user time and 4.21336 second system time

The end