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-4105963-1466277479/watcher-4105963-1466277479 -o /tmp/evaluation-result-4105963-1466277479/solver-4105963-1466277479 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466277479-31938 --watchdog 1960 naps-1.02 HOME/instance-4105963-1466277479.opb 

pid=31961
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: 1.46 2.03 2.12 4/175 31967
/proc/meminfo: memFree=30298624/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=6716 CPUtime=0 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 29796663 6877184 243 33554432000 4194304 5796924 140734731347232 140737123310456 4659057 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 1679 243 128 392 0 1278 0

[startup+0.100124 s]
/proc/loadavg: 1.46 2.03 2.12 4/175 31967
/proc/meminfo: memFree=30298624/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=3212 CPUtime=0.09 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 636 0 0 0 9 0 0 0 20 0 1 0 29796663 3289088 477 33554432000 4194304 5796924 140734731347232 140734731344216 5087780 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 803 477 153 392 0 402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3212

[startup+0.200396 s]
/proc/loadavg: 1.46 2.03 2.12 4/175 31967
/proc/meminfo: memFree=30298624/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=3212 CPUtime=0.19 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 636 0 0 0 19 0 0 0 20 0 1 0 29796663 3289088 477 33554432000 4194304 5796924 140734731347232 140734731344216 4296021 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 803 477 153 392 0 402 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3212

[startup+0.300319 s]
/proc/loadavg: 1.46 2.03 2.12 4/175 31967
/proc/meminfo: memFree=30298624/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=3212 CPUtime=0.29 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 636 0 0 0 29 0 0 0 20 0 1 0 29796663 3289088 477 33554432000 4194304 5796924 140734731347232 140734731344216 5087643 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 803 477 153 392 0 402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3212

[startup+0.700231 s]
/proc/loadavg: 1.46 2.03 2.12 4/175 31967
/proc/meminfo: memFree=30298624/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=12424 CPUtime=0.69 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 2295 0 0 0 69 0 0 0 20 0 1 0 29796663 12722176 2647 33554432000 4194304 5796924 140734731347232 140734731344216 4247787 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 3106 2648 160 392 0 2705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12424

[startup+1.50028 s]
/proc/loadavg: 1.46 2.03 2.12 4/177 31969
/proc/meminfo: memFree=30142124/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=156516 CPUtime=1.49 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 22300 0 0 0 146 3 0 0 20 0 1 0 29796663 160272384 35198 33554432000 4194304 5796924 140734731347232 140734731345624 4577067 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 39129 35198 161 392 0 38728 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156516

[startup+3.10027 s]
/proc/loadavg: 1.46 2.03 2.12 4/177 31969
/proc/meminfo: memFree=29826464/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=152476 CPUtime=3.09 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 24526 0 0 0 305 4 0 0 20 0 1 0 29796663 156135424 33207 33554432000 4194304 5796924 140734731347232 140734731345080 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 38119 33207 166 392 0 37718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152476

[startup+6.30029 s]
/proc/loadavg: 1.50 2.03 2.12 4/176 31969
/proc/meminfo: memFree=29681056/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=184836 CPUtime=6.28 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 26965 0 0 0 624 4 0 0 20 0 1 0 29796663 189272064 42632 33554432000 4194304 5796924 140734731347232 140734731344680 4606523 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 46209 42632 172 392 0 45808 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 184836

[startup+12.7002 s]
/proc/loadavg: 1.62 2.04 2.13 4/177 31970
/proc/meminfo: memFree=29685956/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=184836 CPUtime=12.68 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 27021 0 0 0 1264 4 0 0 20 0 1 0 29796663 189272064 42687 33554432000 4194304 5796924 140734731347232 140734731344680 4606495 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 46209 42687 172 392 0 45808 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 184836

[startup+25.5004 s]
/proc/loadavg: 1.70 2.04 2.12 4/177 31970
/proc/meminfo: memFree=29678860/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=184836 CPUtime=25.48 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 27022 0 0 0 2544 4 0 0 20 0 1 0 29796663 189272064 43199 33554432000 4194304 5796924 140734731347232 140734731344680 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 46209 43199 172 392 0 45808 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 184836

[startup+51.1004 s]
/proc/loadavg: 1.87 2.05 2.12 4/177 31970
/proc/meminfo: memFree=29681816/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=184836 CPUtime=51.08 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 27075 0 0 0 5104 4 0 0 20 0 1 0 29796663 189272064 43248 33554432000 4194304 5796924 140734731347232 140734731344680 4607740 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 46209 43248 172 392 0 45808 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 184836

[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.12 5/177 31971
/proc/meminfo: memFree=29664092/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=184836 CPUtime=102.28 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 27682 0 0 0 10223 5 0 0 20 0 1 0 29796663 189272064 44063 33554432000 4194304 5796924 140734731347232 140734731344696 4607621 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 46209 44063 172 392 0 45808 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 184836

[startup+162.3 s]
/proc/loadavg: 2.12 2.09 2.12 5/178 31975
/proc/meminfo: memFree=29654600/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=203692 CPUtime=162.26 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 28318 0 0 0 16221 5 0 0 20 0 1 0 29796663 208580608 48733 33554432000 4194304 5796924 140734731347232 140734731344472 4607277 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 50923 48733 172 392 0 50522 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 203692

[startup+222.307 s]
/proc/loadavg: 2.33 2.14 2.14 4/177 31976
/proc/meminfo: memFree=29651784/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=204412 CPUtime=222.26 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 28498 0 0 0 22221 5 0 0 20 0 1 0 29796663 209317888 48913 33554432000 4194304 5796924 140734731347232 140734731344296 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 51103 48913 172 392 0 50702 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 204412

[startup+282.3 s]
/proc/loadavg: 2.35 2.18 2.15 4/177 31977
/proc/meminfo: memFree=29650328/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=204412 CPUtime=282.24 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 28498 0 0 0 28219 5 0 0 20 0 1 0 29796663 209317888 48913 33554432000 4194304 5796924 140734731347232 140734731344296 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 51103 48913 172 392 0 50702 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 204412

[startup+342.3 s]
/proc/loadavg: 2.25 2.19 2.15 4/177 31979
/proc/meminfo: memFree=29649528/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=204836 CPUtime=342.23 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 28608 0 0 0 34218 5 0 0 20 0 1 0 29796663 209752064 49019 33554432000 4194304 5796924 140734731347232 140734731344296 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 51209 49019 172 392 0 50808 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 204836

[startup+402.3 s]
/proc/loadavg: 2.38 2.23 2.17 4/177 31980
/proc/meminfo: memFree=29651880/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=206456 CPUtime=402.23 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 28744 0 0 0 40217 6 0 0 20 0 1 0 29796663 211410944 49152 33554432000 4194304 5796924 140734731347232 140734731344296 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 51614 49152 172 392 0 51213 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 206456

[startup+462.3 s]
/proc/loadavg: 2.26 2.21 2.17 4/177 31981
/proc/meminfo: memFree=29633392/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=206456 CPUtime=462.22 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 29584 0 0 0 46215 7 0 0 20 0 1 0 29796663 211410944 49468 33554432000 4194304 5796924 140734731347232 140734731344696 4592536 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 51614 49468 172 392 0 51213 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 206456

[startup+522.3 s]
/proc/loadavg: 2.21 2.22 2.17 4/177 31982
/proc/meminfo: memFree=29626400/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=220560 CPUtime=522.21 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 30230 0 0 0 52214 7 0 0 20 0 1 0 29796663 225853440 52151 33554432000 4194304 5796924 140734731347232 140734731344472 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 55140 52151 172 392 0 54739 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 220560

[startup+582.3 s]
/proc/loadavg: 2.36 2.26 2.19 4/177 31983
/proc/meminfo: memFree=29565356/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=290528 CPUtime=582.2 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 34608 0 0 0 58210 10 0 0 20 0 1 0 29796663 297500672 68741 33554432000 4194304 5796924 140734731347232 140734731344792 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 72632 68741 173 392 0 72231 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 290528

[startup+642.3 s]
/proc/loadavg: 2.40 2.29 2.20 4/177 31985
/proc/meminfo: memFree=29531180/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=320876 CPUtime=642.19 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 35591 0 0 0 64209 10 0 0 20 0 1 0 29796663 328577024 74792 33554432000 4194304 5796924 140734731347232 140734731344520 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 80219 74792 173 392 0 79818 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 320876

[startup+702.3 s]
/proc/loadavg: 2.30 2.28 2.20 4/177 31986
/proc/meminfo: memFree=29454132/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=365040 CPUtime=702.18 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 39741 0 0 0 70205 13 0 0 20 0 1 0 29796663 373800960 84936 33554432000 4194304 5796924 140734731347232 140734731344696 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 91260 84936 174 392 0 90859 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 365040

[startup+762.3 s]
/proc/loadavg: 2.40 2.32 2.21 4/178 31990
/proc/meminfo: memFree=29463160/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=414360 CPUtime=762.18 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 40262 0 0 0 76204 14 0 0 20 0 1 0 29796663 424304640 94655 33554432000 4194304 5796924 140734731347232 140734731344520 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 103590 94655 174 392 0 103189 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 414360

[startup+822.3 s]
/proc/loadavg: 2.24 2.29 2.20 4/177 31991
/proc/meminfo: memFree=29448912/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=414360 CPUtime=822.16 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 40783 0 0 0 82202 14 0 0 20 0 1 0 29796663 424304640 94655 33554432000 4194304 5796924 140734731347232 140734731344520 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 103590 94655 174 392 0 103189 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 414360

[startup+882.307 s]
/proc/loadavg: 2.29 2.29 2.21 4/177 31992
/proc/meminfo: memFree=29462400/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=414360 CPUtime=882.16 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 41304 0 0 0 88201 15 0 0 20 0 1 0 29796663 424304640 94143 33554432000 4194304 5796924 140734731347232 140734731344520 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 103590 94143 174 392 0 103189 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 414360

[startup+942.3 s]
/proc/loadavg: 2.32 2.30 2.21 5/177 31994
/proc/meminfo: memFree=29448712/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=414360 CPUtime=942.14 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 41825 0 0 0 94199 15 0 0 20 0 1 0 29796663 424304640 93631 33554432000 4194304 5796924 140734731347232 140734731344520 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 103590 93631 174 392 0 103189 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 414360

[startup+1002.3 s]
/proc/loadavg: 2.30 2.29 2.21 4/177 31995
/proc/meminfo: memFree=29398984/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=462928 CPUtime=1002.14 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 47209 0 0 0 100196 18 0 0 20 0 1 0 29796663 474038272 109021 33554432000 4194304 5796924 140734731347232 140734731344520 4606423 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 115732 109021 176 392 0 115331 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 462928

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

[startup+1024 s]
/proc/loadavg: 2.21 2.27 2.20 5/177 31996
/proc/meminfo: memFree=29387904/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=462928 CPUtime=1023.83 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 47212 0 0 0 102365 18 0 0 20 0 1 0 29796663 474038272 110557 33554432000 4194304 5796924 140734731347232 140734731344520 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 115732 110557 176 392 0 115331 0
Current children cumulated CPU time (s) 1023.83
Current children cumulated vsize (KiB) 462928

[startup+1036.8 s]
/proc/loadavg: 2.23 2.27 2.20 4/177 31996
/proc/meminfo: memFree=29379896/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=462928 CPUtime=1036.63 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 47213 0 0 0 103645 18 0 0 20 0 1 0 29796663 474038272 111069 33554432000 4194304 5796924 140734731347232 140734731344520 4606708 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 115732 111069 176 392 0 115331 0
Current children cumulated CPU time (s) 1036.63
Current children cumulated vsize (KiB) 462928

[startup+1049.6 s]
/proc/loadavg: 2.18 2.26 2.20 5/177 31996
/proc/meminfo: memFree=29323068/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=533560 CPUtime=1049.43 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 52375 0 0 0 104921 22 0 0 20 0 1 0 29796663 546365440 124591 33554432000 4194304 5796924 140734731347232 140734731345080 4606768 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 133390 124591 176 392 0 132989 0
Current children cumulated CPU time (s) 1049.43
Current children cumulated vsize (KiB) 533560

[startup+1056 s]
/proc/loadavg: 2.17 2.25 2.20 4/177 31996
/proc/meminfo: memFree=29195924/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=681648 CPUtime=1055.84 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 55790 0 0 0 105558 26 0 0 20 0 1 0 29796663 698007552 155951 33554432000 4194304 5796924 140734731347232 140734731345080 4633918 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 170412 155951 176 392 0 170011 0
Current children cumulated CPU time (s) 1055.84
Current children cumulated vsize (KiB) 681648

[startup+1059.2 s]
/proc/loadavg: 2.15 2.25 2.20 4/177 31996
/proc/meminfo: memFree=29094852/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=850016 CPUtime=1059.02 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 62012 0 0 0 105871 31 0 0 20 0 1 0 29796663 870416384 200639 33554432000 4194304 5796924 140734731347232 140734731345624 4648516 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 212504 200639 176 392 0 212103 0
Current children cumulated CPU time (s) 1059.02
Current children cumulated vsize (KiB) 850016

[startup+1060 s]
/proc/loadavg: 2.15 2.25 2.20 4/177 31996
/proc/meminfo: memFree=29015628/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=1021628 CPUtime=1059.83 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 64769 0 0 0 105949 34 0 0 20 0 1 0 29796663 1046147072 229338 33554432000 4194304 5796924 140734731347232 140734731345624 5101390 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 255407 229338 176 392 0 255006 0
Current children cumulated CPU time (s) 1059.83
Current children cumulated vsize (KiB) 1021628

[startup+1060.8 s]
/proc/loadavg: 2.15 2.25 2.20 4/177 31996
/proc/meminfo: memFree=28889344/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=1021628 CPUtime=1060.63 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 64870 0 0 0 106029 34 0 0 20 0 1 0 29796663 1046147072 233527 33554432000 4194304 5796924 140734731347232 140734731344568 4632595 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 255407 233527 176 392 0 255006 0
Current children cumulated CPU time (s) 1060.63
Current children cumulated vsize (KiB) 1021628

[startup+1061.2 s]
/proc/loadavg: 2.15 2.25 2.20 4/177 31996
/proc/meminfo: memFree=28889344/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=1021628 CPUtime=1061.03 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 64956 0 0 0 106069 34 0 0 20 0 1 0 29796663 1046147072 233613 33554432000 4194304 5796924 140734731347232 140734731344568 4577307 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 255407 233613 176 392 0 255006 0
Current children cumulated CPU time (s) 1061.03
Current children cumulated vsize (KiB) 1021628

[startup+1061.3 s]
/proc/loadavg: 2.15 2.25 2.20 4/177 31996
/proc/meminfo: memFree=28889344/32872528 swapFree=1431120/1543540
[pid=31967] ppid=31961 vsize=941488 CPUtime=1061.13 cores=0,2,4,6
/proc/31967/stat : 31967 (naps-1.02) R 31961 31967 31922 0 -1 4202496 64970 0 0 0 106079 34 0 0 20 0 1 0 29796663 964083712 217158 33554432000 4194304 5796924 140734731347232 140734731344568 4553778 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/31967/statm: 235372 217158 190 392 0 234971 0
Current children cumulated CPU time (s) 1061.13
Current children cumulated vsize (KiB) 941488

Child status: 30
Real time (s): 1061.35
CPU time (s): 1061.19
CPU user time (s): 1060.82
CPU system time (s): 0.365944
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 1021628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1060.82
system time used= 0.365944
maximum resident set size= 934452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64971
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= 3
involuntary context switches= 1146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34288 second user time and 8.49371 second system time

The end