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-4241205-1500648177/watcher-4241205-1500648177 -o /tmp/evaluation-result-4241205-1500648177/solver-4241205-1500648177 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2495 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241205-1500648177.xml
pid=2518
running on 8 cores: 0,2,4,6,8,10,12,14
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: 0.00 0.06 0.13 4/244 2525
/proc/meminfo: memFree=32094864/32770624 swapFree=5952/190648
[pid=2525] ppid=2518 vsize=5512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) D 2518 2525 2463 0 -1 4194304 157 0 0 0 0 0 0 0 20 0 1 0 85109 5644288 36 33554432000 4194304 5970956 140729614299696 140729614296792 139832841910778 0 0 4096 0 18446744071580431491 0 0 17 8 0 0 0 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1378 36 27 434 0 39 0
[startup+0.100168 s]
/proc/loadavg: 0.00 0.06 0.13 4/244 2525
/proc/meminfo: memFree=32094864/32770624 swapFree=5952/190648
[pid=2525] ppid=2518 vsize=27392 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 1059 0 2 0 7 0 0 0 20 0 1 0 85109 28049408 895 33554432000 4194304 5970956 140729614299696 140729614296296 5496079 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 6848 895 710 434 0 212 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27392
[startup+0.200322 s]
/proc/loadavg: 0.00 0.06 0.13 4/244 2525
/proc/meminfo: memFree=32094864/32770624 swapFree=5952/190648
[pid=2525] ppid=2518 vsize=27720 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 1128 0 2 0 17 0 0 0 20 0 1 0 85109 28385280 961 33554432000 4194304 5970956 140729614299696 140729614296296 139832825801701 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 6930 961 710 434 0 294 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 27720
[startup+0.30026 s]
/proc/loadavg: 0.00 0.06 0.13 4/244 2525
/proc/meminfo: memFree=32094864/32770624 swapFree=5952/190648
[pid=2525] ppid=2518 vsize=28176 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 1279 0 2 0 27 0 0 0 20 0 1 0 85109 28852224 1061 33554432000 4194304 5970956 140729614299696 140729614296296 139832825801701 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 7044 1061 710 434 0 408 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 28176
[startup+0.70021 s]
/proc/loadavg: 0.00 0.06 0.13 4/244 2525
/proc/meminfo: memFree=32094864/32770624 swapFree=5952/190648
[pid=2525] ppid=2518 vsize=30384 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 1976 0 2 0 67 0 0 0 20 0 1 0 85109 31113216 1428 33554432000 4194304 5970956 140729614299696 140729614296296 5471028 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 7596 1428 710 434 0 960 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 30384
[startup+1.50021 s]
/proc/loadavg: 0.00 0.06 0.13 4/246 2527
/proc/meminfo: memFree=32058704/32770624 swapFree=5952/192352
[pid=2525] ppid=2518 vsize=54876 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 8302 0 2 0 146 1 0 0 20 0 1 0 85109 56193024 7763 33554432000 4194304 5970956 140729614299696 140729614293288 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 13719 7763 782 434 0 7083 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 54876
[startup+3.10021 s]
/proc/loadavg: 0.00 0.06 0.13 4/246 2527
/proc/meminfo: memFree=31960520/32770624 swapFree=5952/192352
[pid=2525] ppid=2518 vsize=147672 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 31592 0 2 0 302 4 0 0 20 0 1 0 85109 151216128 30972 33554432000 4194304 5970956 140729614299696 140729614293288 139832825801701 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 36918 30972 782 434 0 30282 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 147672
[startup+6.30019 s]
/proc/loadavg: 0.16 0.10 0.14 4/246 2527
/proc/meminfo: memFree=31673328/32770624 swapFree=5952/192384
[pid=2525] ppid=2518 vsize=333376 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 78155 0 2 0 616 11 0 0 20 0 1 0 85109 341377024 77438 33554432000 4194304 5970956 140729614299696 140729614291304 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 83344 77438 782 434 0 76708 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 333376
[startup+12.7002 s]
/proc/loadavg: 0.31 0.13 0.15 3/246 2527
/proc/meminfo: memFree=31159380/32770624 swapFree=5952/192392
[pid=2525] ppid=2518 vsize=703300 CPUtime=12.66 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 170746 0 2 0 1243 23 0 0 20 0 1 0 85109 720179200 169828 33554432000 4194304 5970956 140729614299696 140729614293288 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 175825 169828 782 434 0 169189 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 703300
[startup+25.5003 s]
/proc/loadavg: 0.68 0.22 0.18 3/246 2527
/proc/meminfo: memFree=30373984/32770624 swapFree=5952/192404
[pid=2525] ppid=2518 vsize=1442368 CPUtime=25.46 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 355865 0 2 0 2496 50 0 0 20 0 1 0 85109 1476984832 354635 33554432000 4194304 5970956 140729614299696 140729614293288 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 360592 354635 782 434 0 353956 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1442368
[startup+51.1003 s]
/proc/loadavg: 1.13 0.36 0.23 3/246 2527
/proc/meminfo: memFree=28881712/32770624 swapFree=5952/192408
[pid=2525] ppid=2518 vsize=2918052 CPUtime=51.05 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 725175 0 2 0 5006 99 0 0 20 0 1 0 85109 2988085248 723560 33554432000 4194304 5970956 140729614299696 140729614291304 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 729513 723560 782 434 0 722877 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2918052
[startup+102.3 s]
/proc/loadavg: 1.62 0.62 0.32 4/246 2531
/proc/meminfo: memFree=25941708/32770624 swapFree=5952/193200
[pid=2525] ppid=2518 vsize=5782808 CPUtime=102.23 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 1861157 0 2 0 10022 201 0 0 20 0 1 0 85109 5921595392 1439833 33554432000 4194304 5970956 140729614299696 140729614296664 4964477 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1445702 1439833 833 434 0 1439066 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 5782808
[startup+162.3 s]
/proc/loadavg: 1.99 0.90 0.44 4/246 2532
/proc/meminfo: memFree=25919556/32770624 swapFree=5952/193252
[pid=2525] ppid=2518 vsize=5801948 CPUtime=162.17 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 2084563 0 2 0 16004 213 0 0 20 0 1 0 85109 5941194752 1444606 33554432000 4194304 5970956 140729614299696 140729614296664 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1450487 1444606 833 434 0 1443851 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 5801948
[startup+222.308 s]
/proc/loadavg: 2.00 1.10 0.54 4/246 2533
/proc/meminfo: memFree=25461996/32770624 swapFree=5952/193276
[pid=2525] ppid=2518 vsize=6259328 CPUtime=222.13 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 2835989 0 2 0 21959 254 0 0 20 0 1 0 85109 6409551872 1558915 33554432000 4194304 5970956 140729614299696 140729614296664 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1564832 1558915 833 434 0 1558196 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 6259328
[startup+282.3 s]
/proc/loadavg: 2.00 1.26 0.63 4/246 2534
/proc/meminfo: memFree=25262036/32770624 swapFree=5952/193312
[pid=2525] ppid=2518 vsize=6455612 CPUtime=282.07 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 3384606 0 2 0 27922 285 0 0 20 0 1 0 85109 6610546688 1608016 33554432000 4194304 5970956 140729614299696 140729614296664 139832825801701 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1613903 1608016 833 434 0 1607267 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 6455612
[startup+342.3 s]
/proc/loadavg: 2.00 1.40 0.71 4/244 2535
/proc/meminfo: memFree=25092372/32770624 swapFree=5952/193352
[pid=2525] ppid=2518 vsize=6624176 CPUtime=342.02 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 3641624 0 2 0 33900 302 0 0 20 0 1 0 85109 6783156224 1650178 33554432000 4194304 5970956 140729614299696 140729614296664 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1656044 1650178 833 434 0 1649408 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 6624176
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.79 4/243 2536
/proc/meminfo: memFree=25092340/32770624 swapFree=5952/193372
[pid=2525] ppid=2518 vsize=6624308 CPUtime=401.98 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 4246321 0 2 0 39871 327 0 0 20 0 1 0 85109 6783291392 1650219 33554432000 4194304 5970956 140729614299696 140729614296664 5052093 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1656077 1650219 833 434 0 1649441 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 6624308
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.87 6/243 2544
/proc/meminfo: memFree=24679684/32770624 swapFree=5952/193440
[pid=2525] ppid=2518 vsize=7034960 CPUtime=461.93 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 5257537 0 2 0 45804 389 0 0 20 0 1 0 85109 7203799040 1752872 33554432000 4194304 5970956 140729614299696 140729614296664 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1758740 1752872 833 434 0 1752104 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 7034960
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.94 4/243 2545
/proc/meminfo: memFree=24650512/32770624 swapFree=5952/193464
[pid=2525] ppid=2518 vsize=7064132 CPUtime=521.87 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 5804732 0 2 0 51770 417 0 0 20 0 1 0 85109 7233671168 1760167 33554432000 4194304 5970956 140729614299696 140729614296664 4961411 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1766033 1760167 833 434 0 1759397 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 7064132
[startup+582.3 s]
/proc/loadavg: 2.00 1.73 1.01 4/243 2546
/proc/meminfo: memFree=24415364/32770624 swapFree=5952/193488
[pid=2525] ppid=2518 vsize=7299356 CPUtime=581.82 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 6643505 0 2 0 57722 460 0 0 20 0 1 0 85109 7474540544 1818974 33554432000 4194304 5970956 140729614299696 140729614296664 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 1824839 1818974 833 434 0 1818203 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 7299356
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.68 4/243 2597
/proc/meminfo: memFree=23129292/32770624 swapFree=5952/193980
[pid=2525] ppid=2518 vsize=8579360 CPUtime=1601 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 16948917 0 2 0 159117 983 0 0 20 0 1 0 85109 8785264640 2138980 33554432000 4194304 5970956 140729614299696 140729614296664 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2144840 2138980 833 434 0 2138204 0
Current children cumulated CPU time (s) 1601
Current children cumulated vsize (KiB) 8579360
[startup+1662.3 s]
/proc/loadavg: 2.26 2.08 1.72 4/244 2606
/proc/meminfo: memFree=23125088/32770624 swapFree=5952/194016
[pid=2525] ppid=2518 vsize=8583452 CPUtime=1660.94 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 17501392 0 2 0 165083 1011 0 0 20 0 1 0 85109 8789454848 2139984 33554432000 4194304 5970956 140729614299696 140729614296664 4964904 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2145863 2139984 833 434 0 2139227 0
Current children cumulated CPU time (s) 1660.94
Current children cumulated vsize (KiB) 8583452
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 1.74 4/244 2607
/proc/meminfo: memFree=23120608/32770624 swapFree=5952/194040
[pid=2525] ppid=2518 vsize=8587544 CPUtime=1720.89 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 18067644 0 2 0 171051 1038 0 0 20 0 1 0 85109 8793645056 2141023 33554432000 4194304 5970956 140729614299696 140729614296664 4964629 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2146886 2141023 833 434 0 2140250 0
Current children cumulated CPU time (s) 1720.89
Current children cumulated vsize (KiB) 8587544
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 1.76 4/244 2608
/proc/meminfo: memFree=23115980/32770624 swapFree=5952/194064
[pid=2525] ppid=2518 vsize=8592032 CPUtime=1780.84 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 18603120 0 2 0 177024 1060 0 0 20 0 1 0 85109 8798240768 2142151 33554432000 4194304 5970956 140729614299696 140729614296664 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2148008 2142151 833 434 0 2141372 0
Current children cumulated CPU time (s) 1780.84
Current children cumulated vsize (KiB) 8592032
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 1.77 6/244 2609
/proc/meminfo: memFree=23110280/32770624 swapFree=5952/194092
[pid=2525] ppid=2518 vsize=8597708 CPUtime=1840.79 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 19088958 0 2 0 182992 1087 0 0 20 0 1 0 85109 8804052992 2143544 33554432000 4194304 5970956 140729614299696 140729614296664 4964444 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2149427 2143544 833 434 0 2142791 0
Current children cumulated CPU time (s) 1840.79
Current children cumulated vsize (KiB) 8597708
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 1.79 4/244 2610
/proc/meminfo: memFree=23109872/32770624 swapFree=5952/194124
[pid=2525] ppid=2518 vsize=8598632 CPUtime=1900.75 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 19693941 0 2 0 188960 1115 0 0 20 0 1 0 85109 8804999168 2143790 33554432000 4194304 5970956 140729614299696 140729614296664 4964363 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2149658 2143790 833 434 0 2143022 0
Current children cumulated CPU time (s) 1900.75
Current children cumulated vsize (KiB) 8598632
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 1.80 4/243 2611
/proc/meminfo: memFree=23108788/32770624 swapFree=5952/194152
[pid=2525] ppid=2518 vsize=8599952 CPUtime=1960.68 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 20274826 0 2 0 194926 1142 0 0 20 0 1 0 85109 8806350848 2144128 33554432000 4194304 5970956 140729614299696 140729614296664 4964586 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2149988 2144128 833 434 0 2143352 0
Current children cumulated CPU time (s) 1960.68
Current children cumulated vsize (KiB) 8599952
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.81 4/243 2612
/proc/meminfo: memFree=23106136/32770624 swapFree=5952/194176
[pid=2525] ppid=2518 vsize=8602196 CPUtime=2020.64 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 20778128 0 2 0 200895 1169 0 0 20 0 1 0 85109 8808648704 2144683 33554432000 4194304 5970956 140729614299696 140729614296664 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2150549 2144683 833 434 0 2143913 0
Current children cumulated CPU time (s) 2020.64
Current children cumulated vsize (KiB) 8602196
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.82 4/243 2613
/proc/meminfo: memFree=23103196/32770624 swapFree=5952/194200
[pid=2525] ppid=2518 vsize=8605496 CPUtime=2080.59 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 21258298 0 2 0 206868 1191 0 0 20 0 1 0 85109 8812027904 2145494 33554432000 4194304 5970956 140729614299696 140729614296664 5070333 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2151374 2145494 833 434 0 2144738 0
Current children cumulated CPU time (s) 2080.59
Current children cumulated vsize (KiB) 8605496
[startup+2142.3 s]
/proc/loadavg: 2.16 2.05 1.84 4/243 2614
/proc/meminfo: memFree=23096808/32770624 swapFree=5952/194228
[pid=2525] ppid=2518 vsize=8611700 CPUtime=2140.53 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 21730226 0 2 0 212836 1217 0 0 20 0 1 0 85109 8818380800 2147055 33554432000 4194304 5970956 140729614299696 140729614296664 4964406 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2152925 2147055 833 434 0 2146289 0
Current children cumulated CPU time (s) 2140.53
Current children cumulated vsize (KiB) 8611700
[startup+2202.31 s]
/proc/loadavg: 2.06 2.04 1.86 4/243 2615
/proc/meminfo: memFree=22977024/32770624 swapFree=5952/194260
[pid=2525] ppid=2518 vsize=8731160 CPUtime=2200.51 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 22297450 0 2 0 218801 1250 0 0 20 0 1 0 85109 8940707840 2176906 33554432000 4194304 5970956 140729614299696 140729614296664 4964386 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2182790 2176906 833 434 0 2176154 0
Current children cumulated CPU time (s) 2200.51
Current children cumulated vsize (KiB) 8731160
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 1.87 4/244 2624
/proc/meminfo: memFree=22957860/32770624 swapFree=5952/194296
[pid=2525] ppid=2518 vsize=8750564 CPUtime=2260.45 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 22841303 0 2 0 224769 1276 0 0 20 0 1 0 85109 8960577536 2181752 33554432000 4194304 5970956 140729614299696 140729614296664 139832825801701 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2187641 2181752 833 434 0 2181005 0
Current children cumulated CPU time (s) 2260.45
Current children cumulated vsize (KiB) 8750564
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 1.87 4/244 2625
/proc/meminfo: memFree=22946044/32770624 swapFree=5952/194320
[pid=2525] ppid=2518 vsize=8761784 CPUtime=2320.4 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 23283904 0 2 0 230742 1298 0 0 20 0 1 0 85109 8972066816 2184578 33554432000 4194304 5970956 140729614299696 140729614296664 4964340 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2190446 2184578 833 434 0 2183810 0
Current children cumulated CPU time (s) 2320.4
Current children cumulated vsize (KiB) 8761784
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.88 4/244 2626
/proc/meminfo: memFree=22938356/32770624 swapFree=5952/194344
[pid=2525] ppid=2518 vsize=8769308 CPUtime=2380.35 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 23719866 0 2 0 236714 1321 0 0 20 0 1 0 85109 8979771392 2186492 33554432000 4194304 5970956 140729614299696 140729614296664 5052080 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2192327 2186492 833 434 0 2185691 0
Current children cumulated CPU time (s) 2380.35
Current children cumulated vsize (KiB) 8769308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402 s]
/proc/loadavg: 2.00 2.02 1.88 4/244 2626
/proc/meminfo: memFree=22936712/32770624 swapFree=5952/194352
[pid=2525] ppid=2518 vsize=8770628 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202496 23837316 0 2 0 238674 1329 0 0 20 0 1 0 85109 8981123072 2186832 33554432000 4194304 5970956 140729614299696 140729614296664 4964705 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 29212672 140729614304449 140729614304579 140729614304579 140729614307278 0
/proc/2525/statm: 2192657 2186832 833 434 0 2186021 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 8770628
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 2525 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2402.2 s]
/proc/loadavg: 2.00 2.02 1.88 4/244 2626
/proc/meminfo: memFree=22936712/32770624 swapFree=5952/194352
[pid=2525] ppid=2518 vsize=0 CPUtime=2400.23 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202500 23837344 0 2 0 238674 1349 0 0 20 0 1 0 85109 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 8 0 0 1 0 0 0 0 0 0 0 0 0 0
/proc/2525/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.23
Current children cumulated vsize (KiB) 0
[startup+2402.3 s]
/proc/loadavg: 2.00 2.02 1.88 4/244 2626
/proc/meminfo: memFree=22936712/32770624 swapFree=5952/194352
[pid=2525] ppid=2518 vsize=0 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14
/proc/2525/stat : 2525 (cosoco) R 2518 2525 2463 0 -1 4202500 23837344 0 2 0 238674 1358 0 0 20 0 1 0 85109 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 8 0 0 1 0 0 0 0 0 0 0 0 0 0
/proc/2525/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.32
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 2402.33
CPU time (s): 2400.37
CPU user time (s): 2386.75
CPU system time (s): 13.6189
CPU usage (%): 99.9183
Max. virtual memory (cumulated for all children) (KiB): 8770628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.75
system time used= 13.6189
maximum resident set size= 8747372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23837344
page faults= 2
swaps= 0
block input operations= 2328
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 579
involuntary context switches= 122188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99814 second user time and 14.9356 second system time
The end