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-4240440-1500636382/watcher-4240440-1500636382 -o /tmp/evaluation-result-4240440-1500636382/solver-4240440-1500636382 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240440-1500636382.xml
pid=11478
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.08 2.03 2.05 3/186 11481
/proc/meminfo: memFree=31996140/32770624 swapFree=6312/28476
[pid=11481] ppid=11478 vsize=27120 CPUtime=0 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 971 0 0 0 0 0 0 0 20 0 1 0 18385243 27770880 807 33554432000 4194304 5970956 140723854679552 140723854678744 139957948328933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 6780 807 703 434 0 144 0
[startup+0.100119 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 11481
/proc/meminfo: memFree=31996140/32770624 swapFree=6312/28476
[pid=11481] ppid=11478 vsize=31072 CPUtime=0.09 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 2058 0 0 0 9 0 0 0 20 0 1 0 18385243 31817728 1897 33554432000 4194304 5970956 140723854679552 140723854672648 5060380 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 7768 1897 801 434 0 1132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31072
[startup+0.20029 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 11481
/proc/meminfo: memFree=31996140/32770624 swapFree=6312/28476
[pid=11481] ppid=11478 vsize=33660 CPUtime=0.19 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 2723 0 0 0 19 0 0 0 20 0 1 0 18385243 34467840 2541 33554432000 4194304 5970956 140723854679552 140723854672552 139957949253168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 8415 2541 801 434 0 1779 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33660
[startup+0.300225 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 11481
/proc/meminfo: memFree=31996140/32770624 swapFree=6312/28476
[pid=11481] ppid=11478 vsize=36764 CPUtime=0.29 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 3499 0 0 0 29 0 0 0 20 0 1 0 18385243 37646336 3317 33554432000 4194304 5970956 140723854679552 140723854672552 139957949162332 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 9191 3317 801 434 0 2555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36764
[startup+0.700213 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 11481
/proc/meminfo: memFree=31996140/32770624 swapFree=6312/28476
[pid=11481] ppid=11478 vsize=60828 CPUtime=0.69 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 8457 0 0 0 68 1 0 0 20 0 1 0 18385243 62287872 8768 33554432000 4194304 5970956 140723854679552 140723854676520 4964768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 15207 8768 847 434 0 8571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60828
[startup+1.50017 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 11482
/proc/meminfo: memFree=31963736/32770624 swapFree=6312/28496
[pid=11481] ppid=11478 vsize=65184 CPUtime=1.49 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 9570 0 0 0 148 1 0 0 20 0 1 0 18385243 66748416 9890 33554432000 4194304 5970956 140723854679552 140723854676520 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 16296 9890 847 434 0 9660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65184
[startup+3.10017 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 11482
/proc/meminfo: memFree=31957660/32770624 swapFree=6312/28496
[pid=11481] ppid=11478 vsize=72180 CPUtime=3.09 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 12034 0 0 0 308 1 0 0 20 0 1 0 18385243 73912320 11610 33554432000 4194304 5970956 140723854679552 140723854676520 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 18045 11610 847 434 0 11409 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72180
[startup+6.30018 s]
/proc/loadavg: 2.15 2.05 2.06 3/187 11482
/proc/meminfo: memFree=31938760/32770624 swapFree=6312/28520
[pid=11481] ppid=11478 vsize=90000 CPUtime=6.28 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 16983 0 0 0 626 2 0 0 20 0 1 0 18385243 92160000 16061 33554432000 4194304 5970956 140723854679552 140723854676520 139957948328933 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 22500 16061 847 434 0 15864 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 90000
[startup+12.7002 s]
/proc/loadavg: 2.14 2.05 2.05 3/187 11482
/proc/meminfo: memFree=31904784/32770624 swapFree=6312/28520
[pid=11481] ppid=11478 vsize=123660 CPUtime=12.68 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 25927 0 0 0 1265 3 0 0 20 0 1 0 18385243 126627840 24517 33554432000 4194304 5970956 140723854679552 140723854676520 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 30915 24517 848 434 0 24279 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 123660
[startup+25.5002 s]
/proc/loadavg: 2.11 2.04 2.05 3/187 11482
/proc/meminfo: memFree=31833700/32770624 swapFree=6312/28536
[pid=11481] ppid=11478 vsize=191112 CPUtime=25.48 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 43784 0 0 0 2542 6 0 0 20 0 1 0 18385243 195698688 41337 33554432000 4194304 5970956 140723854679552 140723854676520 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 47778 41337 848 434 0 41142 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191112
[startup+51.1002 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 11482
/proc/meminfo: memFree=31700584/32770624 swapFree=6312/28548
[pid=11481] ppid=11478 vsize=327732 CPUtime=51.07 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 78472 0 0 0 5097 10 0 0 20 0 1 0 18385243 335597568 75527 33554432000 4194304 5970956 140723854679552 140723854676520 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 81933 75527 848 434 0 75297 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 327732
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 11484
/proc/meminfo: memFree=31651168/32770624 swapFree=6312/28592
[pid=11481] ppid=11478 vsize=371952 CPUtime=102.25 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 125972 0 0 0 10210 15 0 0 20 0 1 0 18385243 380878848 86619 33554432000 4194304 5970956 140723854679552 140723854676520 4964432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 92988 86619 849 434 0 86352 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 371952
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 11485
/proc/meminfo: memFree=31651148/32770624 swapFree=6312/28628
[pid=11481] ppid=11478 vsize=372216 CPUtime=162.22 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 126119 0 0 0 16207 15 0 0 20 0 1 0 18385243 381149184 86676 33554432000 4194304 5970956 140723854679552 140723854676440 5052085 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 93054 86676 849 434 0 86418 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 372216
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 11494
/proc/meminfo: memFree=31649912/32770624 swapFree=6312/28656
[pid=11481] ppid=11478 vsize=372480 CPUtime=222.19 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 126307 0 0 0 22204 15 0 0 20 0 1 0 18385243 381419520 86742 33554432000 4194304 5970956 140723854679552 140723854676584 4964424 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 93120 86742 849 434 0 86484 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 372480
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 11495
/proc/meminfo: memFree=31650672/32770624 swapFree=6312/28696
[pid=11481] ppid=11478 vsize=373008 CPUtime=282.16 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 126670 0 0 0 28201 15 0 0 20 0 1 0 18385243 381960192 86872 33554432000 4194304 5970956 140723854679552 140723854676440 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 93252 86872 849 434 0 86616 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 373008
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11496
/proc/meminfo: memFree=31650904/32770624 swapFree=6312/28724
[pid=11481] ppid=11478 vsize=373404 CPUtime=342.13 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 127003 0 0 0 34198 15 0 0 20 0 1 0 18385243 382365696 86933 33554432000 4194304 5970956 140723854679552 140723854676584 4964444 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 93351 86933 849 434 0 86715 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 373404
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 11497
/proc/meminfo: memFree=31650184/32770624 swapFree=6312/28760
[pid=11481] ppid=11478 vsize=374328 CPUtime=402.11 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 127349 0 0 0 40195 16 0 0 20 0 1 0 18385243 383311872 87176 33554432000 4194304 5970956 140723854679552 140723854676440 4964452 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 93582 87176 849 434 0 86946 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 374328
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 11498
/proc/meminfo: memFree=31648944/32770624 swapFree=6312/28792
[pid=11481] ppid=11478 vsize=375124 CPUtime=462.08 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 127719 0 0 0 46192 16 0 0 20 0 1 0 18385243 384126976 87390 33554432000 4194304 5970956 140723854679552 140723854676584 4908982 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 93781 87390 849 434 0 87145 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 375124
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 11499
/proc/meminfo: memFree=31647844/32770624 swapFree=6312/28820
[pid=11481] ppid=11478 vsize=376580 CPUtime=522.05 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 128189 0 0 0 52189 16 0 0 20 0 1 0 18385243 385617920 87757 33554432000 4194304 5970956 140723854679552 140723854676424 5070523 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 94145 87757 849 434 0 87509 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 376580
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 11500
/proc/meminfo: memFree=31647268/32770624 swapFree=6312/28848
[pid=11481] ppid=11478 vsize=377772 CPUtime=582.01 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 128629 0 0 0 58185 16 0 0 20 0 1 0 18385243 386838528 88046 33554432000 4194304 5970956 140723854679552 140723854676584 4964452 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 94443 88046 849 434 0 87807 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 377772
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 11615
/proc/meminfo: memFree=31615492/32770624 swapFree=6312/30620
[pid=11481] ppid=11478 vsize=408780 CPUtime=1541.63 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 137712 0 0 0 154144 19 0 0 20 0 1 0 18385243 418590720 95822 33554432000 4194304 5970956 140723854679552 140723854676424 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102195 95822 849 434 0 95559 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 408780
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 11616
/proc/meminfo: memFree=31614784/32770624 swapFree=6312/30660
[pid=11481] ppid=11478 vsize=409176 CPUtime=1601.61 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 137876 0 0 0 160142 19 0 0 20 0 1 0 18385243 418996224 95909 33554432000 4194304 5970956 140723854679552 140723854676424 4961400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102294 95909 849 434 0 95658 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 409176
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 11617
/proc/meminfo: memFree=31612548/32770624 swapFree=6312/30688
[pid=11481] ppid=11478 vsize=411552 CPUtime=1661.6 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 138768 0 0 0 166140 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 411552
[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.05 3/187 11619
/proc/meminfo: memFree=31612668/32770624 swapFree=6312/30716
[pid=11481] ppid=11478 vsize=411552 CPUtime=1721.59 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 138850 0 0 0 172139 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 5098954 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 411552
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 11620
/proc/meminfo: memFree=31612460/32770624 swapFree=6312/30756
[pid=11481] ppid=11478 vsize=411552 CPUtime=1781.57 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 138935 0 0 0 178137 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4961411 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 411552
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 11621
/proc/meminfo: memFree=31612360/32770624 swapFree=6312/30784
[pid=11481] ppid=11478 vsize=411552 CPUtime=1841.56 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139018 0 0 0 184136 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 5098954 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 1841.56
Current children cumulated vsize (KiB) 411552
[startup+1902.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 11623
/proc/meminfo: memFree=31612664/32770624 swapFree=6312/30804
[pid=11481] ppid=11478 vsize=411552 CPUtime=1901.54 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139087 0 0 0 190134 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 5070523 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 1901.54
Current children cumulated vsize (KiB) 411552
[startup+1962.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/187 11624
/proc/meminfo: memFree=31612604/32770624 swapFree=6312/30856
[pid=11481] ppid=11478 vsize=411552 CPUtime=1961.53 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139186 0 0 0 196133 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 5052085 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 1961.53
Current children cumulated vsize (KiB) 411552
[startup+2022.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/188 11633
/proc/meminfo: memFree=31611788/32770624 swapFree=6312/30888
[pid=11481] ppid=11478 vsize=411552 CPUtime=2021.51 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139273 0 0 0 202131 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4964768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2021.51
Current children cumulated vsize (KiB) 411552
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 11656
/proc/meminfo: memFree=31611196/32770624 swapFree=6312/30924
[pid=11481] ppid=11478 vsize=411552 CPUtime=2081.51 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139337 0 0 0 208131 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4961400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2081.51
Current children cumulated vsize (KiB) 411552
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 11657
/proc/meminfo: memFree=31611716/32770624 swapFree=6312/30948
[pid=11481] ppid=11478 vsize=411552 CPUtime=2141.49 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139425 0 0 0 214129 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 5098954 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2141.49
Current children cumulated vsize (KiB) 411552
[startup+2202.31 s]
/proc/loadavg: 2.09 2.06 2.05 3/188 11658
/proc/meminfo: memFree=31612072/32770624 swapFree=6312/30996
[pid=11481] ppid=11478 vsize=411552 CPUtime=2201.48 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139510 0 0 0 220128 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 5070520 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2201.48
Current children cumulated vsize (KiB) 411552
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/188 11659
/proc/meminfo: memFree=31611888/32770624 swapFree=6312/31012
[pid=11481] ppid=11478 vsize=411552 CPUtime=2261.46 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139607 0 0 0 226126 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4964777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2261.46
Current children cumulated vsize (KiB) 411552
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 11660
/proc/meminfo: memFree=31613220/32770624 swapFree=6300/31044
[pid=11481] ppid=11478 vsize=411552 CPUtime=2321.44 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139697 0 0 0 232124 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4964768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2321.44
Current children cumulated vsize (KiB) 411552
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11662
/proc/meminfo: memFree=31611784/32770624 swapFree=6300/31100
[pid=11481] ppid=11478 vsize=411552 CPUtime=2381.43 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139781 0 0 0 238123 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4908971 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2381.43
Current children cumulated vsize (KiB) 411552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11662
/proc/meminfo: memFree=31611784/32770624 swapFree=6300/31100
[pid=11481] ppid=11478 vsize=411552 CPUtime=2400.02 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139784 0 0 0 239982 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4961411 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 411552
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 11481 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11662
/proc/meminfo: memFree=31611784/32770624 swapFree=6300/31100
[pid=11481] ppid=11478 vsize=411552 CPUtime=2400.02 cores=0,2,4,6
/proc/11481/stat : 11481 (cosoco) R 11478 11481 5313 0 -1 4202496 139784 0 0 0 239982 20 0 0 20 0 1 0 18385243 421429248 96498 33554432000 4194304 5970956 140723854679552 140723854676440 4961411 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9711616 140723854685372 140723854685507 140723854685507 140723854688206 0
/proc/11481/statm: 102888 96498 849 434 0 96252 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 411552
Child status: 1
Real time (s): 2400.9
CPU time (s): 2400.04
CPU user time (s): 2399.83
CPU system time (s): 0.208925
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 411552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.83
system time used= 0.208925
maximum resident set size= 386036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139811
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= 41
involuntary context switches= 123303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06895 second user time and 9.46879 second system time
The end