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-4252353-1500922272/watcher-4252353-1500922272 -o /tmp/evaluation-result-4252353-1500922272/solver-4252353-1500922272 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500914921-3427 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252353-1500922272.xml
pid=7335
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7338
/proc/meminfo: memFree=32088232/32770624 swapFree=5836/119112
[pid=7338] ppid=7335 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 937 0 0 0 0 0 0 0 20 0 1 0 1786135 27414528 759 33554432000 4194304 5744392 140734418602736 140734418599384 139715040570341 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 6693 759 678 379 0 112 0
[startup+0.100158 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7338
/proc/meminfo: memFree=32088232/32770624 swapFree=5836/119112
[pid=7338] ppid=7335 vsize=27864 CPUtime=0.09 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 1260 0 0 0 9 0 0 0 20 0 1 0 1786135 28532736 988 33554432000 4194304 5744392 140734418602736 140734418599384 139715041008640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 6966 988 691 379 0 385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27864
[startup+0.200274 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7338
/proc/meminfo: memFree=32088232/32770624 swapFree=5836/119112
[pid=7338] ppid=7335 vsize=29040 CPUtime=0.19 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 1646 0 0 0 19 0 0 0 20 0 1 0 1786135 29736960 1330 33554432000 4194304 5744392 140734418602736 140734418599384 139715040570341 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 7260 1330 691 379 0 679 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29040
[startup+0.300267 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7338
/proc/meminfo: memFree=32088232/32770624 swapFree=5836/119112
[pid=7338] ppid=7335 vsize=34344 CPUtime=0.29 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 3356 0 0 0 29 0 0 0 20 0 1 0 1786135 35168256 2620 33554432000 4194304 5744392 140734418602736 140734418599384 5475680 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 8586 2620 698 379 0 2005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34344
[startup+0.700227 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7338
/proc/meminfo: memFree=32088232/32770624 swapFree=5836/119112
[pid=7338] ppid=7335 vsize=38340 CPUtime=0.69 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 4274 0 0 0 69 0 0 0 20 0 1 0 1786135 39260160 3477 33554432000 4194304 5744392 140734418602736 140734418599384 5218825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 9585 3477 698 379 0 3004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38340
[startup+1.50028 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 7339
/proc/meminfo: memFree=32072136/32770624 swapFree=5836/118952
[pid=7338] ppid=7335 vsize=47768 CPUtime=1.48 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 6480 0 0 0 148 0 0 0 20 0 1 0 1786135 48914432 5721 33554432000 4194304 5744392 140734418602736 140734418599384 5474211 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 11942 5721 698 379 0 5361 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47768
[startup+3.10028 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 7339
/proc/meminfo: memFree=32061356/32770624 swapFree=5836/118976
[pid=7338] ppid=7335 vsize=65496 CPUtime=3.08 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 11917 0 0 0 307 1 0 0 20 0 1 0 1786135 67067904 9741 33554432000 4194304 5744392 140734418602736 140734418599384 5474288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 16374 9741 698 379 0 9793 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 65496
[startup+6.3003 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 7339
/proc/meminfo: memFree=32029052/32770624 swapFree=5836/118976
[pid=7338] ppid=7335 vsize=100016 CPUtime=6.29 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 21789 0 0 0 626 3 0 0 20 0 1 0 1786135 102416384 17777 33554432000 4194304 5744392 140734418602736 140734418599384 5177725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 25004 17777 698 379 0 18423 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100016
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.05 3/183 7339
/proc/meminfo: memFree=31960288/32770624 swapFree=5836/118976
[pid=7338] ppid=7335 vsize=167776 CPUtime=12.69 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 39139 0 0 0 1264 5 0 0 20 0 1 0 1786135 171802624 33630 33554432000 4194304 5744392 140734418602736 140734418599384 5469262 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 41944 33630 698 379 0 35363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 167776
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7339
/proc/meminfo: memFree=31925808/32770624 swapFree=5836/118992
[pid=7338] ppid=7335 vsize=195532 CPUtime=25.48 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 107177 0 0 0 2540 8 0 0 20 0 1 0 1786135 200224768 40797 33554432000 4194304 5744392 140734418602736 140734418600136 4892818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 40797 746 379 0 42302 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 195532
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7339
/proc/meminfo: memFree=31922012/32770624 swapFree=5836/119036
[pid=7338] ppid=7335 vsize=195532 CPUtime=51.07 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 132994 0 0 0 5098 9 0 0 20 0 1 0 1786135 200224768 41629 33554432000 4194304 5744392 140734418602736 140734418600136 4891536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 41629 746 379 0 42302 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 195532
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7340
/proc/meminfo: memFree=31916700/32770624 swapFree=5836/119096
[pid=7338] ppid=7335 vsize=195532 CPUtime=102.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 149455 0 0 0 10215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 195532
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7341
/proc/meminfo: memFree=31918696/32770624 swapFree=5836/119156
[pid=7338] ppid=7335 vsize=195532 CPUtime=162.25 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 150192 0 0 0 16214 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4893332 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 195532
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7343
/proc/meminfo: memFree=31918372/32770624 swapFree=5836/119224
[pid=7338] ppid=7335 vsize=195532 CPUtime=222.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 150928 0 0 0 22215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 195532
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7345
/proc/meminfo: memFree=31917740/32770624 swapFree=5836/119288
[pid=7338] ppid=7335 vsize=195532 CPUtime=282.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 151664 0 0 0 28215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 195532
[startup+342.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 7346
/proc/meminfo: memFree=31917988/32770624 swapFree=5836/119332
[pid=7338] ppid=7335 vsize=195532 CPUtime=342.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 152400 0 0 0 34215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 195532
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 7347
/proc/meminfo: memFree=31917512/32770624 swapFree=5836/119368
[pid=7338] ppid=7335 vsize=195532 CPUtime=402.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 153136 0 0 0 40215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892806 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 195532
[startup+462.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/182 7410
/proc/meminfo: memFree=31918148/32770624 swapFree=5836/119460
[pid=7338] ppid=7335 vsize=195532 CPUtime=462.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 153872 0 0 0 46215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 195532
[startup+522.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/182 7411
/proc/meminfo: memFree=31917900/32770624 swapFree=5836/119536
[pid=7338] ppid=7335 vsize=195532 CPUtime=522.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 154608 0 0 0 52215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 195532
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 7541
/proc/meminfo: memFree=31918916/32770624 swapFree=5836/119632
[pid=7338] ppid=7335 vsize=195532 CPUtime=582.26 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 155344 0 0 0 58215 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 195532
################
# More data... #
################
/proc/loadavg: 2.05 2.05 2.05 3/182 7625
/proc/meminfo: memFree=28595472/32770624 swapFree=5836/128360
[pid=7338] ppid=7335 vsize=195532 CPUtime=702.27 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 156080 0 0 0 70216 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892970 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 195532
[startup+762.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/182 7626
/proc/meminfo: memFree=26409172/32770624 swapFree=5836/128396
[pid=7338] ppid=7335 vsize=195532 CPUtime=762.27 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 156816 0 0 0 76216 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 195532
[startup+822.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/182 7627
/proc/meminfo: memFree=24261600/32770624 swapFree=5836/128440
[pid=7338] ppid=7335 vsize=195532 CPUtime=822.27 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 157301 0 0 0 82216 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 195532
[startup+882.306 s]
/proc/loadavg: 2.13 2.08 2.05 3/182 7628
/proc/meminfo: memFree=22074156/32770624 swapFree=5836/128472
[pid=7338] ppid=7335 vsize=195532 CPUtime=882.28 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 157979 0 0 0 88217 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 195532
[startup+942.3 s]
/proc/loadavg: 2.05 2.07 2.05 3/182 7629
/proc/meminfo: memFree=19926188/32770624 swapFree=5836/128508
[pid=7338] ppid=7335 vsize=195532 CPUtime=942.27 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 158715 0 0 0 94216 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4893053 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 195532
[startup+1002.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/182 7630
/proc/meminfo: memFree=17738112/32770624 swapFree=5836/128536
[pid=7338] ppid=7335 vsize=195532 CPUtime=1002.28 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 159141 0 0 0 100217 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4891678 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 195532
[startup+1062.3 s]
/proc/loadavg: 1.93 2.03 2.04 3/182 7692
/proc/meminfo: memFree=31471972/32770624 swapFree=5836/128572
[pid=7338] ppid=7335 vsize=195532 CPUtime=1062.28 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 159877 0 0 0 106217 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892991 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 195532
[startup+1122.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/182 7693
/proc/meminfo: memFree=31452964/32770624 swapFree=5836/128672
[pid=7338] ppid=7335 vsize=195532 CPUtime=1122.28 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 160613 0 0 0 112217 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 195532
[startup+1182.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/182 7701
/proc/meminfo: memFree=31452892/32770624 swapFree=5836/128708
[pid=7338] ppid=7335 vsize=195532 CPUtime=1182.28 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 161102 0 0 0 118217 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 195532
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7702
/proc/meminfo: memFree=31453068/32770624 swapFree=5836/128736
[pid=7338] ppid=7335 vsize=195532 CPUtime=1242.28 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 161838 0 0 0 124217 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 195532
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7338 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7702
/proc/meminfo: memFree=31452888/32770624 swapFree=5836/128736
[pid=7338] ppid=7335 vsize=195532 CPUtime=1254.38 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 161838 0 0 0 125427 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1254.38
Current children cumulated vsize (KiB) 195532
[startup+1280 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7702
/proc/meminfo: memFree=31453268/32770624 swapFree=5836/128744
[pid=7338] ppid=7335 vsize=195532 CPUtime=1279.98 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 162297 0 0 0 127987 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1279.98
Current children cumulated vsize (KiB) 195532
[startup+1286.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7702
/proc/meminfo: memFree=31453192/32770624 swapFree=5836/128744
[pid=7338] ppid=7335 vsize=195532 CPUtime=1286.38 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 162297 0 0 0 128627 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1286.38
Current children cumulated vsize (KiB) 195532
[startup+1292.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7702
/proc/meminfo: memFree=31453156/32770624 swapFree=5836/128748
[pid=7338] ppid=7335 vsize=195532 CPUtime=1292.78 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 162297 0 0 0 129267 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1292.78
Current children cumulated vsize (KiB) 195532
[startup+1296 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7703
/proc/meminfo: memFree=31452560/32770624 swapFree=5836/128764
[pid=7338] ppid=7335 vsize=195532 CPUtime=1295.98 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 162297 0 0 0 129587 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1295.98
Current children cumulated vsize (KiB) 195532
[startup+1296.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7703
/proc/meminfo: memFree=31452560/32770624 swapFree=5836/128764
[pid=7338] ppid=7335 vsize=195532 CPUtime=1296.78 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 162297 0 0 0 129667 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1296.78
Current children cumulated vsize (KiB) 195532
[startup+1297.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7703
/proc/meminfo: memFree=31452560/32770624 swapFree=5836/128764
[pid=7338] ppid=7335 vsize=195532 CPUtime=1297.58 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 162297 0 0 0 129747 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 4891615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1297.58
Current children cumulated vsize (KiB) 195532
[startup+1297.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7703
/proc/meminfo: memFree=31452560/32770624 swapFree=5836/128764
[pid=7338] ppid=7335 vsize=195532 CPUtime=1297.78 cores=0,2,4,6
/proc/7338/stat : 7338 (cosoco) R 7335 7338 3396 0 -1 4202496 162305 0 0 0 129767 11 0 0 20 0 1 0 1786135 200224768 42952 33554432000 4194304 5744392 140734418602736 140734418600136 139715040183152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 19591168 140734418609345 140734418609475 140734418609475 140734418612174 0
/proc/7338/statm: 48883 42952 746 379 0 42302 0
Current children cumulated CPU time (s) 1297.78
Current children cumulated vsize (KiB) 195532
Child status: 0
Real time (s): 1297.81
CPU time (s): 1297.8
CPU user time (s): 1297.68
CPU system time (s): 0.118003
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 195532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.68
system time used= 0.118003
maximum resident set size= 171884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162428
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= 85
involuntary context switches= 348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.98644 second user time and 6.87293 second system time
The end