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-4095101-1466089347/watcher-4095101-1466089347 -o /tmp/evaluation-result-4095101-1466089347/solver-4095101-1466089347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466074855-19419 --watchdog 1960 naps-1.02 HOME/instance-4095101-1466089347.wbo 

pid=21838
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.32 2.25 2.18 2/176 21841
/proc/meminfo: memFree=30452340/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=6688 CPUtime=0 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 10983914 6848512 250 33554432000 4194304 5796924 140735492574832 140734994110648 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 1672 250 130 392 0 1271 0

[startup+0.100165 s]
/proc/loadavg: 2.32 2.25 2.18 2/176 21841
/proc/meminfo: memFree=30452340/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=7872 CPUtime=0.09 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 1777 0 0 0 9 0 0 0 20 0 1 0 10983914 8060928 1424 33554432000 4194304 5796924 140735492574832 140734994110648 4627399 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 1968 1428 152 392 0 1567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7872

[startup+0.20034 s]
/proc/loadavg: 2.32 2.25 2.18 2/176 21841
/proc/meminfo: memFree=30452340/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=16948 CPUtime=0.19 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 4302 0 0 0 19 0 0 0 20 0 1 0 10983914 17354752 3663 33554432000 4194304 5796924 140735492574832 140734994110648 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 4237 3663 171 392 0 3836 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16948

[startup+0.300348 s]
/proc/loadavg: 2.32 2.25 2.18 2/176 21841
/proc/meminfo: memFree=30452340/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=16948 CPUtime=0.29 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 4386 0 0 0 29 0 0 0 20 0 1 0 10983914 17354752 3746 33554432000 4194304 5796924 140735492574832 140734994110648 4591895 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 4237 3746 171 392 0 3836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16948

[startup+0.700268 s]
/proc/loadavg: 2.32 2.25 2.18 2/176 21841
/proc/meminfo: memFree=30452340/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=28392 CPUtime=0.69 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 4889 0 0 0 68 1 0 0 20 0 1 0 10983914 29073408 6292 33554432000 4194304 5796924 140735492574832 140735492572120 4592010 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 7098 6292 171 392 0 6697 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28392

[startup+1.50025 s]
/proc/loadavg: 2.32 2.25 2.18 3/177 21842
/proc/meminfo: memFree=30426504/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=30088 CPUtime=1.49 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 6382 0 0 0 148 1 0 0 20 0 1 0 10983914 30810112 6826 33554432000 4194304 5796924 140735492574832 140735492572120 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 7522 6826 171 392 0 7121 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30088

[startup+3.10033 s]
/proc/loadavg: 2.32 2.25 2.18 3/177 21842
/proc/meminfo: memFree=30403420/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=30088 CPUtime=3.09 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 7083 0 0 0 307 2 0 0 20 0 1 0 10983914 30810112 7047 33554432000 4194304 5796924 140735492574832 140735492572120 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 7522 7047 171 392 0 7121 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30088

[startup+6.3003 s]
/proc/loadavg: 2.29 2.24 2.18 3/177 21888
/proc/meminfo: memFree=30763296/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=117004 CPUtime=6.29 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 7245 0 0 0 626 3 0 0 20 0 1 0 10983914 119812096 20495 33554432000 4194304 5796924 140735492574832 140735492572072 4593546 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 29251 20495 171 392 0 28850 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117004

[startup+12.7003 s]
/proc/loadavg: 2.27 2.24 2.18 3/177 21888
/proc/meminfo: memFree=30716508/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=73980 CPUtime=12.69 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 8330 0 0 0 1266 3 0 0 20 0 1 0 10983914 75755520 15301 33554432000 4194304 5796924 140735492574832 140735492573224 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 18495 15301 184 392 0 18094 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73980

[startup+25.5004 s]
/proc/loadavg: 2.28 2.24 2.18 3/177 21888
/proc/meminfo: memFree=30702360/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=81052 CPUtime=25.48 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 9090 0 0 0 2545 3 0 0 20 0 1 0 10983914 82997248 17584 33554432000 4194304 5796924 140735492574832 140735492571896 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 20263 17584 184 392 0 19862 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81052

[startup+51.1004 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 21888
/proc/meminfo: memFree=30669164/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=134792 CPUtime=51.07 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 10651 0 0 0 5102 5 0 0 20 0 1 0 10983914 138027008 25273 33554432000 4194304 5796924 140735492574832 140735492572296 5151925 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 33698 25785 184 392 0 33297 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 134792

[startup+102.3 s]
/proc/loadavg: 2.28 2.24 2.18 3/177 21889
/proc/meminfo: memFree=30640020/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=92980 CPUtime=102.28 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 12788 0 0 0 10220 8 0 0 20 0 1 0 10983914 95211520 22859 33554432000 4194304 5796924 140735492574832 140735492572296 4607594 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 23245 22859 184 392 0 22844 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92980

[startup+162.3 s]
/proc/loadavg: 2.35 2.27 2.19 3/177 21890
/proc/meminfo: memFree=30636044/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=92980 CPUtime=162.26 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 15863 0 0 0 16211 15 0 0 20 0 1 0 10983914 95211520 22859 33554432000 4194304 5796924 140735492574832 140735492572296 4592040 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 23245 22859 184 392 0 22844 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 92980

[startup+222.307 s]
/proc/loadavg: 2.24 2.25 2.19 3/177 21891
/proc/meminfo: memFree=30591736/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=142300 CPUtime=222.26 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 18450 0 0 0 22204 22 0 0 20 0 1 0 10983914 145715200 30778 33554432000 4194304 5796924 140735492574832 140735492572296 4593577 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 35575 30778 184 392 0 35174 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 142300

[startup+282.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/176 21892
/proc/meminfo: memFree=30592552/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=172708 CPUtime=282.24 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 20981 0 0 0 28196 28 0 0 20 0 1 0 10983914 176852992 38892 33554432000 4194304 5796924 140735492574832 140735492572296 4583129 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 43177 38892 184 392 0 42776 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 172708

[startup+342.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 21894
/proc/meminfo: memFree=30592312/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=123388 CPUtime=342.23 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 23573 0 0 0 34189 34 0 0 20 0 1 0 10983914 126349312 30461 33554432000 4194304 5796924 140735492574832 140735492572296 4591895 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 30847 30461 184 392 0 30446 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 123388

[startup+402.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/177 21895
/proc/meminfo: memFree=30559828/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=123388 CPUtime=402.22 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 28604 0 0 0 40179 43 0 0 20 0 1 0 10983914 126349312 30464 33554432000 4194304 5796924 140735492574832 140735492572296 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 30847 30464 184 392 0 30446 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 123388

[startup+462.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/178 21899
/proc/meminfo: memFree=30505688/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=172708 CPUtime=462.22 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 33092 0 0 0 46170 52 0 0 20 0 1 0 10983914 176852992 42479 33554432000 4194304 5796924 140735492574832 140735492572120 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 43177 42479 184 392 0 42776 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 172708

[startup+522.3 s]
/proc/loadavg: 2.12 2.20 2.17 4/177 21900
/proc/meminfo: memFree=30551740/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=172708 CPUtime=522.21 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 37320 0 0 0 52161 60 0 0 20 0 1 0 10983914 176852992 38895 33554432000 4194304 5796924 140735492574832 140735492572296 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 43177 38895 184 392 0 42776 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 172708

[startup+582.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 21901
/proc/meminfo: memFree=30591856/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=123388 CPUtime=582.2 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 41300 0 0 0 58152 68 0 0 20 0 1 0 10983914 126349312 30464 33554432000 4194304 5796924 140735492574832 140735492572472 4592160 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 30847 30464 184 392 0 30446 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 123388


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


[startup+942.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 21909
/proc/meminfo: memFree=30469704/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=203528 CPUtime=942.14 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 62555 0 0 0 94103 111 0 0 20 0 1 0 10983914 208412672 44082 33554432000 4194304 5796924 140735492574832 140735492572472 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 50882 44082 184 392 0 50481 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 203528

[startup+1002.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 21910
/proc/meminfo: memFree=30433840/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=203528 CPUtime=1002.12 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 65120 0 0 0 100095 117 0 0 20 0 1 0 10983914 208412672 47154 33554432000 4194304 5796924 140735492574832 140735492572472 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 50882 47154 184 392 0 50481 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 203528

[startup+1062.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 21914
/proc/meminfo: memFree=30558940/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=124096 CPUtime=1062.12 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 67855 0 0 0 106089 123 0 0 20 0 1 0 10983914 127074304 30639 33554432000 4194304 5796924 140735492574832 140735492572296 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 31024 30639 184 392 0 30623 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 124096

[startup+1122.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 21915
/proc/meminfo: memFree=30558864/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=124620 CPUtime=1122.11 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 70540 0 0 0 112082 129 0 0 20 0 1 0 10983914 127610880 30770 33554432000 4194304 5796924 140735492574832 140735492572296 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 31155 30770 184 392 0 30754 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 124620

[startup+1182.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 21916
/proc/meminfo: memFree=30518556/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=174784 CPUtime=1182.1 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 73566 0 0 0 118075 135 0 0 20 0 1 0 10983914 178978816 41459 33554432000 4194304 5796924 140735492574832 140735492572120 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 43696 41459 184 392 0 43295 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 174784

[startup+1242.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 21918
/proc/meminfo: memFree=30504680/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=206344 CPUtime=1242.09 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 76903 0 0 0 124067 142 0 0 20 0 1 0 10983914 211296256 44783 33554432000 4194304 5796924 140735492574832 140735492572472 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 51586 44783 184 392 0 51185 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 206344

[startup+1302.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 21919
/proc/meminfo: memFree=30434076/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=206980 CPUtime=1302.08 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 79650 0 0 0 130060 148 0 0 20 0 1 0 10983914 211947520 48028 33554432000 4194304 5796924 140735492574832 140735492572472 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 51745 48028 184 392 0 51344 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 206980

[startup+1362.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/177 21920
/proc/meminfo: memFree=30439936/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=207700 CPUtime=1362.07 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 82387 0 0 0 136053 154 0 0 20 0 1 0 10983914 212684800 48706 33554432000 4194304 5796924 140735492574832 140735492572472 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 51925 48706 184 392 0 51524 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 207700

[startup+1422.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/177 21921
/proc/meminfo: memFree=30416616/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=208208 CPUtime=1422.07 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 85089 0 0 0 142048 159 0 0 20 0 1 0 10983914 213204992 49345 33554432000 4194304 5796924 140735492574832 140735492572472 4606807 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52052 49345 184 392 0 51651 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 208208

[startup+1482.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 21922
/proc/meminfo: memFree=30443324/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=208416 CPUtime=1482.06 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 87708 0 0 0 148042 164 0 0 20 0 1 0 10983914 213417984 49397 33554432000 4194304 5796924 140735492574832 140735492572472 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52104 49397 184 392 0 51703 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 208416

[startup+1542.31 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 21924
/proc/meminfo: memFree=30407824/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=209388 CPUtime=1542.05 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 90832 0 0 0 154035 170 0 0 20 0 1 0 10983914 214413312 51688 33554432000 4194304 5796924 140735492574832 140735492572472 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52347 51688 184 392 0 51946 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 209388

[startup+1602.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 21925
/proc/meminfo: memFree=30459312/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=209388 CPUtime=1602.04 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 94040 0 0 0 160027 177 0 0 20 0 1 0 10983914 214413312 48135 33554432000 4194304 5796924 140735492574832 140735492572472 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52347 48135 184 392 0 51946 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 209388

[startup+1662.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/178 21929
/proc/meminfo: memFree=30467488/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=178884 CPUtime=1662.02 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 96708 0 0 0 166019 183 0 0 20 0 1 0 10983914 183177216 43027 33554432000 4194304 5796924 140735492574832 140735492572120 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 44721 43027 184 392 0 44320 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 178884

[startup+1722.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 21930
/proc/meminfo: memFree=30425324/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=210144 CPUtime=1722.01 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 99707 0 0 0 172012 189 0 0 20 0 1 0 10983914 215187456 47781 33554432000 4194304 5796924 140735492574832 140735492572472 4592641 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52536 47781 184 392 0 52135 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 210144

[startup+1782.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/177 21931
/proc/meminfo: memFree=30485728/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=210460 CPUtime=1782.01 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 102116 0 0 0 178006 195 0 0 20 0 1 0 10983914 215511040 48884 33554432000 4194304 5796924 140735492574832 140735492572472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52615 48884 184 392 0 52214 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 210460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 21931
/proc/meminfo: memFree=30426028/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=210672 CPUtime=1800 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 103026 0 0 0 179803 197 0 0 20 0 1 0 10983914 215728128 49449 33554432000 4194304 5796924 140735492574832 140735492572472 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52668 49449 184 392 0 52267 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 210672

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

[startup+1800.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 21931
/proc/meminfo: memFree=30426028/32872528 swapFree=1073984/1155744
[pid=21841] ppid=21838 vsize=210672 CPUtime=1800 cores=1,3,5,7
/proc/21841/stat : 21841 (naps-1.02) R 21838 21841 17509 0 -1 4202496 103026 0 0 0 179803 197 0 0 20 0 1 0 10983914 215728128 49449 33554432000 4194304 5796924 140735492574832 140735492572472 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21841/statm: 52668 49449 184 392 0 52267 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 210672

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1798.04
CPU system time (s): 1.9797
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 260548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.04
system time used= 1.9797
maximum resident set size= 222736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103036
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= 22
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70528 second user time and 6.75697 second system time

The end