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-4241214-1500648178/watcher-4241214-1500648178 -o /tmp/evaluation-result-4241214-1500648178/solver-4241214-1500648178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2491 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241214-1500648178.xml
pid=2513
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.08 0.04 0.06 4/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2521] ppid=2513 vsize=5512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) D 2513 2521 2458 0 -1 4194304 157 0 0 0 0 0 0 0 20 0 1 0 85609 5644288 36 33554432000 4194304 5970956 140725687203360 140725687200456 140084492966394 0 0 4096 0 18446744071580431491 0 0 17 12 0 0 0 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 1378 36 27 434 0 39 0
[startup+0.100165 s]
/proc/loadavg: 0.08 0.04 0.06 4/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2521] ppid=2513 vsize=27248 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 1080 0 3 0 6 0 0 0 20 0 1 0 85609 27901952 880 33554432000 4194304 5970956 140725687203360 140725687199960 140084476894203 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 6812 880 743 434 0 176 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27248
[startup+0.200361 s]
/proc/loadavg: 0.08 0.04 0.06 4/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2521] ppid=2513 vsize=29360 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 1604 0 3 0 16 0 0 0 20 0 1 0 85609 30064640 1445 33554432000 4194304 5970956 140725687203360 140725687196952 4966541 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 7340 1445 783 434 0 704 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 29360
[startup+0.300318 s]
/proc/loadavg: 0.08 0.04 0.06 4/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2521] ppid=2513 vsize=32152 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 2300 0 3 0 26 0 0 0 20 0 1 0 85609 32923648 2108 33554432000 4194304 5970956 140725687203360 140725687196952 140084476894203 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 8038 2108 783 434 0 1402 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 32152
[startup+0.700297 s]
/proc/loadavg: 0.08 0.04 0.06 4/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2521] ppid=2513 vsize=43668 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 5208 0 3 0 65 0 0 0 20 0 1 0 85609 44716032 4988 33554432000 4194304 5970956 140725687203360 140725687196952 4966541 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 10917 4988 783 434 0 4281 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 43668
[startup+1.50029 s]
/proc/loadavg: 0.08 0.04 0.06 4/247 2525
/proc/meminfo: memFree=32028576/32770624 swapFree=5952/193352
[pid=2521] ppid=2513 vsize=66836 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 10977 0 3 0 144 1 0 0 20 0 1 0 85609 68440064 10817 33554432000 4194304 5970956 140725687203360 140725687197192 140084486497096 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 16709 10817 783 434 0 10073 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 66836
[startup+3.10034 s]
/proc/loadavg: 0.08 0.04 0.06 4/247 2525
/proc/meminfo: memFree=31933220/32770624 swapFree=5952/193352
[pid=2521] ppid=2513 vsize=111520 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 31075 0 3 0 303 3 0 0 20 0 1 0 85609 114196480 22023 33554432000 4194304 5970956 140725687203360 140725687200328 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 27880 22023 832 434 0 21244 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 111520
[startup+6.30032 s]
/proc/loadavg: 0.15 0.06 0.07 4/247 2525
/proc/meminfo: memFree=31694768/32770624 swapFree=5952/193352
[pid=2521] ppid=2513 vsize=136072 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 54152 0 3 0 621 4 0 0 20 0 1 0 85609 139337728 28180 33554432000 4194304 5970956 140725687203360 140725687200328 4964758 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 34018 28180 832 434 0 27382 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 136072
[startup+12.7003 s]
/proc/loadavg: 0.30 0.09 0.08 4/247 2525
/proc/meminfo: memFree=31306980/32770624 swapFree=5952/193352
[pid=2521] ppid=2513 vsize=144124 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 74220 0 3 0 1260 5 0 0 20 0 1 0 85609 147582976 30209 33554432000 4194304 5970956 140725687203360 140725687200328 4964690 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 36031 30209 832 434 0 29395 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 144124
[startup+25.5005 s]
/proc/loadavg: 0.68 0.19 0.11 4/247 2525
/proc/meminfo: memFree=30544748/32770624 swapFree=5952/194060
[pid=2521] ppid=2513 vsize=152704 CPUtime=25.44 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 109601 0 3 0 2537 7 0 0 20 0 1 0 85609 156368896 32347 33554432000 4194304 5970956 140725687203360 140725687200328 4968183 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 38176 32347 833 434 0 31540 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 152704
[startup+51.1005 s]
/proc/loadavg: 1.13 0.33 0.16 4/246 2525
/proc/meminfo: memFree=28971120/32770624 swapFree=5952/194080
[pid=2521] ppid=2513 vsize=156664 CPUtime=51.01 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 128703 0 3 0 5093 8 0 0 20 0 1 0 85609 160423936 33338 33554432000 4194304 5970956 140725687203360 140725687200328 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39166 33338 833 434 0 32530 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 156664
[startup+102.3 s]
/proc/loadavg: 1.62 0.59 0.25 4/247 2529
/proc/meminfo: memFree=28954260/32770624 swapFree=5952/194900
[pid=2521] ppid=2513 vsize=157588 CPUtime=102.17 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 137860 0 3 0 10208 9 0 0 20 0 1 0 85609 161370112 33565 33554432000 4194304 5970956 140725687203360 140725687200328 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39397 33565 833 434 0 32761 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 157588
[startup+162.3 s]
/proc/loadavg: 1.99 0.88 0.37 4/247 2530
/proc/meminfo: memFree=28546168/32770624 swapFree=5952/194944
[pid=2521] ppid=2513 vsize=157720 CPUtime=162.13 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 138370 0 3 0 16204 9 0 0 20 0 1 0 85609 161505280 33583 33554432000 4194304 5970956 140725687203360 140725687200328 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39430 33583 833 434 0 32794 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 157720
[startup+222.308 s]
/proc/loadavg: 1.99 1.08 0.48 4/247 2531
/proc/meminfo: memFree=28330908/32770624 swapFree=5952/194980
[pid=2521] ppid=2513 vsize=157720 CPUtime=222.1 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 138884 0 3 0 22201 9 0 0 20 0 1 0 85609 161505280 33603 33554432000 4194304 5970956 140725687203360 140725687200920 4961271 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39430 33603 833 434 0 32794 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 157720
[startup+282.3 s]
/proc/loadavg: 2.00 1.25 0.57 4/247 2532
/proc/meminfo: memFree=28186232/32770624 swapFree=5952/195004
[pid=2521] ppid=2513 vsize=157720 CPUtime=282.06 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 139395 0 3 0 28197 9 0 0 20 0 1 0 85609 161505280 33606 33554432000 4194304 5970956 140725687203360 140725687200920 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39430 33606 833 434 0 32794 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 157720
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.66 4/244 2533
/proc/meminfo: memFree=28037632/32770624 swapFree=5952/195032
[pid=2521] ppid=2513 vsize=157720 CPUtime=342.03 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 139911 0 3 0 34194 9 0 0 20 0 1 0 85609 161505280 33610 33554432000 4194304 5970956 140725687203360 140725687200920 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39430 33610 833 434 0 32794 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 157720
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.74 4/243 2534
/proc/meminfo: memFree=28010268/32770624 swapFree=5952/195060
[pid=2521] ppid=2513 vsize=157720 CPUtime=401.99 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 140375 0 3 0 40190 9 0 0 20 0 1 0 85609 161505280 33610 33554432000 4194304 5970956 140725687203360 140725687200920 4964721 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39430 33610 833 434 0 32794 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 157720
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 4/243 2542
/proc/meminfo: memFree=27933720/32770624 swapFree=5952/195100
[pid=2521] ppid=2513 vsize=157720 CPUtime=461.96 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 140834 0 3 0 46187 9 0 0 20 0 1 0 85609 161505280 33614 33554432000 4194304 5970956 140725687203360 140725687200920 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39430 33614 833 434 0 32794 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 157720
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.90 4/243 2543
/proc/meminfo: memFree=27934124/32770624 swapFree=5952/195128
[pid=2521] ppid=2513 vsize=157852 CPUtime=521.93 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 141359 0 3 0 52184 9 0 0 20 0 1 0 85609 161640448 33614 33554432000 4194304 5970956 140725687203360 140725687200328 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39463 33614 833 434 0 32827 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 157852
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.97 4/243 2544
/proc/meminfo: memFree=27781044/32770624 swapFree=5952/195148
[pid=2521] ppid=2513 vsize=157852 CPUtime=581.89 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 141853 0 3 0 58180 9 0 0 20 0 1 0 85609 161640448 33621 33554432000 4194304 5970956 140725687203360 140725687200328 4961400 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39463 33621 833 434 0 32827 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 157852
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.63 4/243 2591
/proc/meminfo: memFree=27196328/32770624 swapFree=5952/195576
[pid=2521] ppid=2513 vsize=157852 CPUtime=1541.35 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 150013 0 3 0 154126 9 0 0 20 0 1 0 85609 161640448 33651 33554432000 4194304 5970956 140725687203360 140725687200328 5070313 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39463 33651 833 434 0 32827 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 157852
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.66 4/243 2592
/proc/meminfo: memFree=27190000/32770624 swapFree=5952/195636
[pid=2521] ppid=2513 vsize=157984 CPUtime=1601.32 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 150578 0 3 0 160122 10 0 0 20 0 1 0 85609 161775616 33671 33554432000 4194304 5970956 140725687203360 140725687200328 4964440 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33671 833 434 0 32860 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 157984
[startup+1662.3 s]
/proc/loadavg: 2.15 2.02 1.69 4/243 2600
/proc/meminfo: memFree=27188440/32770624 swapFree=5952/195668
[pid=2521] ppid=2513 vsize=157984 CPUtime=1661.29 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 150968 0 3 0 166119 10 0 0 20 0 1 0 85609 161775616 33671 33554432000 4194304 5970956 140725687203360 140725687200328 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33671 833 434 0 32860 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 157984
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.71 4/243 2601
/proc/meminfo: memFree=27188240/32770624 swapFree=5952/195712
[pid=2521] ppid=2513 vsize=157984 CPUtime=1721.26 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 151507 0 3 0 172116 10 0 0 20 0 1 0 85609 161775616 33671 33554432000 4194304 5970956 140725687203360 140725687200328 4964371 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33671 833 434 0 32860 0
Current children cumulated CPU time (s) 1721.26
Current children cumulated vsize (KiB) 157984
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.73 4/243 2602
/proc/meminfo: memFree=27187980/32770624 swapFree=5952/195732
[pid=2521] ppid=2513 vsize=157984 CPUtime=1781.22 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 151997 0 3 0 178112 10 0 0 20 0 1 0 85609 161775616 33671 33554432000 4194304 5970956 140725687203360 140725687200328 4964784 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33671 833 434 0 32860 0
Current children cumulated CPU time (s) 1781.22
Current children cumulated vsize (KiB) 157984
[startup+1842.3 s]
/proc/loadavg: 2.01 2.01 1.74 4/243 2603
/proc/meminfo: memFree=27187444/32770624 swapFree=5952/195764
[pid=2521] ppid=2513 vsize=157984 CPUtime=1841.19 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 152497 0 3 0 184109 10 0 0 20 0 1 0 85609 161775616 33671 33554432000 4194304 5970956 140725687203360 140725687200328 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33671 833 434 0 32860 0
Current children cumulated CPU time (s) 1841.19
Current children cumulated vsize (KiB) 157984
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 4/243 2604
/proc/meminfo: memFree=27186912/32770624 swapFree=5952/195784
[pid=2521] ppid=2513 vsize=157984 CPUtime=1901.15 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 153048 0 3 0 190105 10 0 0 20 0 1 0 85609 161775616 33671 33554432000 4194304 5970956 140725687203360 140725687200328 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33671 833 434 0 32860 0
Current children cumulated CPU time (s) 1901.15
Current children cumulated vsize (KiB) 157984
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 4/243 2605
/proc/meminfo: memFree=27173016/32770624 swapFree=5952/195820
[pid=2521] ppid=2513 vsize=157984 CPUtime=1961.12 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 153467 0 3 0 196102 10 0 0 20 0 1 0 85609 161775616 33672 33554432000 4194304 5970956 140725687203360 140725687200328 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33672 833 434 0 32860 0
Current children cumulated CPU time (s) 1961.12
Current children cumulated vsize (KiB) 157984
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 4/243 2606
/proc/meminfo: memFree=27154728/32770624 swapFree=5952/195848
[pid=2521] ppid=2513 vsize=157984 CPUtime=2021.09 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 154043 0 3 0 202099 10 0 0 20 0 1 0 85609 161775616 33672 33554432000 4194304 5970956 140725687203360 140725687200328 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33672 833 434 0 32860 0
Current children cumulated CPU time (s) 2021.09
Current children cumulated vsize (KiB) 157984
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 4/243 2607
/proc/meminfo: memFree=27151892/32770624 swapFree=5952/195876
[pid=2521] ppid=2513 vsize=157984 CPUtime=2081.06 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 154523 0 3 0 208096 10 0 0 20 0 1 0 85609 161775616 33672 33554432000 4194304 5970956 140725687203360 140725687200328 4961429 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33672 833 434 0 32860 0
Current children cumulated CPU time (s) 2081.06
Current children cumulated vsize (KiB) 157984
[startup+2142.3 s]
/proc/loadavg: 2.16 2.05 1.82 4/243 2608
/proc/meminfo: memFree=27149532/32770624 swapFree=5952/195900
[pid=2521] ppid=2513 vsize=157984 CPUtime=2141.02 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 155017 0 3 0 214092 10 0 0 20 0 1 0 85609 161775616 33672 33554432000 4194304 5970956 140725687203360 140725687200328 4964846 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33672 833 434 0 32860 0
Current children cumulated CPU time (s) 2141.02
Current children cumulated vsize (KiB) 157984
[startup+2202.31 s]
/proc/loadavg: 2.06 2.04 1.83 4/243 2609
/proc/meminfo: memFree=27147864/32770624 swapFree=5952/195936
[pid=2521] ppid=2513 vsize=157984 CPUtime=2201 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 155533 0 3 0 220090 10 0 0 20 0 1 0 85609 161775616 33672 33554432000 4194304 5970956 140725687203360 140725687200328 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33672 833 434 0 32860 0
Current children cumulated CPU time (s) 2201
Current children cumulated vsize (KiB) 157984
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 1.85 4/243 2617
/proc/meminfo: memFree=27125812/32770624 swapFree=5952/195968
[pid=2521] ppid=2513 vsize=157984 CPUtime=2260.96 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 156027 0 3 0 226086 10 0 0 20 0 1 0 85609 161775616 33673 33554432000 4194304 5970956 140725687203360 140725687200328 4908982 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33673 833 434 0 32860 0
Current children cumulated CPU time (s) 2260.96
Current children cumulated vsize (KiB) 157984
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 1.86 4/243 2618
/proc/meminfo: memFree=27121968/32770624 swapFree=5952/196004
[pid=2521] ppid=2513 vsize=157984 CPUtime=2320.92 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 156509 0 3 0 232082 10 0 0 20 0 1 0 85609 161775616 33673 33554432000 4194304 5970956 140725687203360 140725687200328 4961420 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33673 833 434 0 32860 0
Current children cumulated CPU time (s) 2320.92
Current children cumulated vsize (KiB) 157984
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 2619
/proc/meminfo: memFree=27117096/32770624 swapFree=5952/196028
[pid=2521] ppid=2513 vsize=157984 CPUtime=2380.89 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 156992 0 3 0 238079 10 0 0 20 0 1 0 85609 161775616 33673 33554432000 4194304 5970956 140725687203360 140725687200328 4967839 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33673 833 434 0 32860 0
Current children cumulated CPU time (s) 2380.89
Current children cumulated vsize (KiB) 157984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 2619
/proc/meminfo: memFree=27115908/32770624 swapFree=5952/196028
[pid=2521] ppid=2513 vsize=157984 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 157472 0 3 0 239998 10 0 0 20 0 1 0 85609 161775616 33673 33554432000 4194304 5970956 140725687203360 140725687200328 4964242 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33673 833 434 0 32860 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 157984
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 2521 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 2619
/proc/meminfo: memFree=27115908/32770624 swapFree=5952/196028
[pid=2521] ppid=2513 vsize=157984 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/2521/stat : 2521 (cosoco) R 2513 2521 2458 0 -1 4202496 157472 0 3 0 239998 10 0 0 20 0 1 0 85609 161775616 33673 33554432000 4194304 5970956 140725687203360 140725687200328 4964242 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 20791296 140725687207105 140725687207235 140725687207235 140725687209934 0
/proc/2521/statm: 39496 33673 833 434 0 32860 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 157984
Child status: 1
Real time (s): 2401.5
CPU time (s): 2400.09
CPU user time (s): 2399.98
CPU system time (s): 0.107939
CPU usage (%): 99.9412
Max. virtual memory (cumulated for all children) (KiB): 157984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.107939
maximum resident set size= 134740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157506
page faults= 3
swaps= 0
block input operations= 2832
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79
involuntary context switches= 121960
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.4905 second user time and 12.3247 second system time
The end