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-4242825-1500663816/watcher-4242825-1500663816 -o /tmp/evaluation-result-4242825-1500663816/solver-4242825-1500663816 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9885 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242825-1500663816.xml
pid=12436
running on 8 cores: 1,3,5,7,9,11,13,15
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/246 12439
/proc/meminfo: memFree=32017028/32770624 swapFree=5920/202184
[pid=12439] ppid=12436 vsize=27648 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 1121 0 0 0 0 0 0 0 20 0 1 0 1648553 28311552 937 33554432000 4194304 5970956 140724389892880 140724389889528 139659500473317 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 6912 937 704 434 0 276 0
[startup+0.100153 s]
/proc/loadavg: 2.08 2.03 2.05 3/246 12439
/proc/meminfo: memFree=32017028/32770624 swapFree=5920/202184
[pid=12439] ppid=12436 vsize=51812 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 6329 0 0 0 8 1 0 0 20 0 1 0 1648553 53055488 6635 33554432000 4194304 5970956 140724389892880 140724389888360 139659500542952 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 12997 6635 842 434 0 6361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51812
[startup+0.200366 s]
/proc/loadavg: 2.08 2.03 2.05 3/246 12439
/proc/meminfo: memFree=32017028/32770624 swapFree=5920/202184
[pid=12439] ppid=12436 vsize=110912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 16570 0 0 0 16 2 0 0 20 0 1 0 1648553 113573888 18962 33554432000 4194304 5970956 140724389892880 140724389889704 139659500542507 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 27911 18982 842 434 0 21275 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 110912
[startup+0.300342 s]
/proc/loadavg: 2.08 2.03 2.05 3/246 12439
/proc/meminfo: memFree=32017028/32770624 swapFree=5920/202184
[pid=12439] ppid=12436 vsize=168216 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 25130 0 0 0 25 4 0 0 20 0 1 0 1648553 172253184 33612 33554432000 4194304 5970956 140724389892880 140724389889704 139659500473317 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 42054 33612 842 434 0 35418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 168216
[startup+0.700287 s]
/proc/loadavg: 2.08 2.03 2.05 3/246 12439
/proc/meminfo: memFree=32017028/32770624 swapFree=5920/202184
[pid=12439] ppid=12436 vsize=403576 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 58564 0 0 0 59 10 0 0 20 0 1 0 1648553 413261824 91047 33554432000 4194304 5970956 140724389892880 140724389889704 139659500473317 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 100894 91047 842 434 0 94258 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 403576
[startup+1.50029 s]
/proc/loadavg: 2.08 2.03 2.05 3/247 12440
/proc/meminfo: memFree=31586044/32770624 swapFree=5920/202224
[pid=12439] ppid=12436 vsize=529920 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 68799 0 0 0 136 12 0 0 20 0 1 0 1648553 542638080 108491 33554432000 4194304 5970956 140724389892880 140724389889944 139659500479384 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132480 108491 858 434 0 125844 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 529920
[startup+3.10028 s]
/proc/loadavg: 2.08 2.03 2.05 3/247 12440
/proc/meminfo: memFree=31585548/32770624 swapFree=5920/202224
[pid=12439] ppid=12436 vsize=530216 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 72151 0 0 0 296 13 0 0 20 0 1 0 1648553 542941184 108570 33554432000 4194304 5970956 140724389892880 140724389890184 5031479 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132554 108570 858 434 0 125918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 530216
[startup+6.30028 s]
/proc/loadavg: 2.07 2.03 2.05 3/247 12440
/proc/meminfo: memFree=31584700/32770624 swapFree=5920/202232
[pid=12439] ppid=12436 vsize=530616 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 79111 0 0 0 616 13 0 0 20 0 1 0 1648553 543350784 108647 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108647 858 434 0 126018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 530616
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/247 12440
/proc/meminfo: memFree=31584128/32770624 swapFree=5920/202232
[pid=12439] ppid=12436 vsize=530616 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 84374 0 0 0 1254 14 0 0 20 0 1 0 1648553 543350784 108647 33554432000 4194304 5970956 140724389892880 140724389890184 5031479 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108647 858 434 0 126018 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 530616
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 12440
/proc/meminfo: memFree=31583864/32770624 swapFree=5920/202248
[pid=12439] ppid=12436 vsize=530616 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 85660 0 0 0 2533 14 0 0 20 0 1 0 1648553 543350784 108647 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108647 858 434 0 126018 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 530616
[startup+51.1004 s]
/proc/loadavg: 2.03 2.03 2.05 3/248 12441
/proc/meminfo: memFree=31583940/32770624 swapFree=5920/202264
[pid=12439] ppid=12436 vsize=530616 CPUtime=51.05 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 86368 0 0 0 5091 14 0 0 20 0 1 0 1648553 543350784 108647 33554432000 4194304 5970956 140724389892880 140724389890184 5136786 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108647 858 434 0 126018 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 530616
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12442
/proc/meminfo: memFree=31584132/32770624 swapFree=5920/202304
[pid=12439] ppid=12436 vsize=530616 CPUtime=102.25 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 87316 0 0 0 10210 15 0 0 20 0 1 0 1648553 543350784 108649 33554432000 4194304 5970956 140724389892880 140724389890184 5136623 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108649 858 434 0 126018 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 530616
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12443
/proc/meminfo: memFree=31584244/32770624 swapFree=5920/202344
[pid=12439] ppid=12436 vsize=530616 CPUtime=162.21 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 87853 0 0 0 16206 15 0 0 20 0 1 0 1648553 543350784 108649 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108649 858 434 0 126018 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 530616
[startup+222.308 s]
/proc/loadavg: 2.08 2.03 2.05 3/247 12444
/proc/meminfo: memFree=31584032/32770624 swapFree=5920/202380
[pid=12439] ppid=12436 vsize=530616 CPUtime=222.19 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 88370 0 0 0 22204 15 0 0 20 0 1 0 1648553 543350784 108649 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108649 858 434 0 126018 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 530616
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/247 12445
/proc/meminfo: memFree=31584176/32770624 swapFree=5920/202420
[pid=12439] ppid=12436 vsize=530616 CPUtime=282.15 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 88876 0 0 0 28200 15 0 0 20 0 1 0 1648553 543350784 108649 33554432000 4194304 5970956 140724389892880 140724389890184 5136634 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 108649 858 434 0 126018 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 530616
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 12446
/proc/meminfo: memFree=31581808/32770624 swapFree=5920/202452
[pid=12439] ppid=12436 vsize=530616 CPUtime=342.12 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 89365 0 0 0 34197 15 0 0 20 0 1 0 1648553 543350784 109231 33554432000 4194304 5970956 140724389892880 140724389890184 5239706 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 109231 858 434 0 126018 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 530616
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 12455
/proc/meminfo: memFree=31581624/32770624 swapFree=5920/202472
[pid=12439] ppid=12436 vsize=530616 CPUtime=402.1 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 90320 0 0 0 40195 15 0 0 20 0 1 0 1648553 543350784 109231 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 109231 858 434 0 126018 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 530616
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 12456
/proc/meminfo: memFree=31582244/32770624 swapFree=5920/202508
[pid=12439] ppid=12436 vsize=530616 CPUtime=462.06 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 91239 0 0 0 46191 15 0 0 20 0 1 0 1648553 543350784 109231 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 109231 858 434 0 126018 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 530616
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/247 12457
/proc/meminfo: memFree=31582288/32770624 swapFree=5920/202548
[pid=12439] ppid=12436 vsize=530616 CPUtime=522.03 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 92161 0 0 0 52188 15 0 0 20 0 1 0 1648553 543350784 109231 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 109231 858 434 0 126018 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 530616
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/247 12458
/proc/meminfo: memFree=31582728/32770624 swapFree=5920/202576
[pid=12439] ppid=12436 vsize=530616 CPUtime=582 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 93101 0 0 0 58185 15 0 0 20 0 1 0 1648553 543350784 109231 33554432000 4194304 5970956 140724389892880 140724389890184 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 132654 109231 858 434 0 126018 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 530616
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/246 12550
/proc/meminfo: memFree=30764360/32770624 swapFree=5920/204128
[pid=12439] ppid=12436 vsize=536672 CPUtime=1481.53 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 129083 0 0 0 148135 18 0 0 20 0 1 0 1648553 549552128 111231 33554432000 4194304 5970956 140724389892880 140724389889752 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134168 111231 863 434 0 127532 0
Current children cumulated CPU time (s) 1481.53
Current children cumulated vsize (KiB) 536672
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/245 12551
/proc/meminfo: memFree=30765288/32770624 swapFree=5920/204172
[pid=12439] ppid=12436 vsize=536672 CPUtime=1541.52 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 131190 0 0 0 154133 19 0 0 20 0 1 0 1648553 549552128 111233 33554432000 4194304 5970956 140724389892880 140724389889752 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134168 111233 863 434 0 127532 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 536672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/247 12561
/proc/meminfo: memFree=30763344/32770624 swapFree=5920/204216
[pid=12439] ppid=12436 vsize=536672 CPUtime=1601.48 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 133284 0 0 0 160129 19 0 0 20 0 1 0 1648553 549552128 111241 33554432000 4194304 5970956 140724389892880 140724389889752 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134168 111241 863 434 0 127532 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 536672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/247 12562
/proc/meminfo: memFree=30763420/32770624 swapFree=5920/204264
[pid=12439] ppid=12436 vsize=536672 CPUtime=1661.45 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 135454 0 0 0 166126 19 0 0 20 0 1 0 1648553 549552128 111249 33554432000 4194304 5970956 140724389892880 140724389889752 5031479 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134168 111249 863 434 0 127532 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 536672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/247 12563
/proc/meminfo: memFree=30762368/32770624 swapFree=5920/204304
[pid=12439] ppid=12436 vsize=536792 CPUtime=1721.42 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 137608 0 0 0 172123 19 0 0 20 0 1 0 1648553 549675008 111255 33554432000 4194304 5970956 140724389892880 140724389890216 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134198 111255 863 434 0 127562 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 536792
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/247 12564
/proc/meminfo: memFree=30763144/32770624 swapFree=5920/204340
[pid=12439] ppid=12436 vsize=536792 CPUtime=1781.39 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 139787 0 0 0 178120 19 0 0 20 0 1 0 1648553 549675008 111258 33554432000 4194304 5970956 140724389892880 140724389890216 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134198 111258 863 434 0 127562 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (KiB) 536792
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/247 12565
/proc/meminfo: memFree=30763384/32770624 swapFree=5920/204380
[pid=12439] ppid=12436 vsize=536792 CPUtime=1841.36 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 141865 0 0 0 184117 19 0 0 20 0 1 0 1648553 549675008 111261 33554432000 4194304 5970956 140724389892880 140724389890216 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134198 111261 863 434 0 127562 0
Current children cumulated CPU time (s) 1841.36
Current children cumulated vsize (KiB) 536792
[startup+1902.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/247 12567
/proc/meminfo: memFree=30763752/32770624 swapFree=5920/204416
[pid=12439] ppid=12436 vsize=536792 CPUtime=1901.34 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 143972 0 0 0 190114 20 0 0 20 0 1 0 1648553 549675008 111266 33554432000 4194304 5970956 140724389892880 140724389890216 5031424 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134198 111266 863 434 0 127562 0
Current children cumulated CPU time (s) 1901.34
Current children cumulated vsize (KiB) 536792
[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/247 12568
/proc/meminfo: memFree=30763648/32770624 swapFree=5920/204460
[pid=12439] ppid=12436 vsize=536792 CPUtime=1961.3 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 146065 0 0 0 196110 20 0 0 20 0 1 0 1648553 549675008 111272 33554432000 4194304 5970956 140724389892880 140724389890216 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134198 111272 863 434 0 127562 0
Current children cumulated CPU time (s) 1961.3
Current children cumulated vsize (KiB) 536792
[startup+2022.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/247 12569
/proc/meminfo: memFree=30763360/32770624 swapFree=5920/204500
[pid=12439] ppid=12436 vsize=536792 CPUtime=2021.28 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 148174 0 0 0 202107 21 0 0 20 0 1 0 1648553 549675008 111279 33554432000 4194304 5970956 140724389892880 140724389890216 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134198 111279 863 434 0 127562 0
Current children cumulated CPU time (s) 2021.28
Current children cumulated vsize (KiB) 536792
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/247 12570
/proc/meminfo: memFree=30763640/32770624 swapFree=5920/204536
[pid=12439] ppid=12436 vsize=536792 CPUtime=2081.26 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 150286 0 0 0 208105 21 0 0 20 0 1 0 1648553 549675008 111282 33554432000 4194304 5970956 140724389892880 140724389890216 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134198 111282 863 434 0 127562 0
Current children cumulated CPU time (s) 2081.26
Current children cumulated vsize (KiB) 536792
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 12571
/proc/meminfo: memFree=30764296/32770624 swapFree=5920/204576
[pid=12439] ppid=12436 vsize=536924 CPUtime=2141.22 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 152357 0 0 0 214101 21 0 0 20 0 1 0 1648553 549810176 111290 33554432000 4194304 5970956 140724389892880 140724389889752 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134231 111290 863 434 0 127595 0
Current children cumulated CPU time (s) 2141.22
Current children cumulated vsize (KiB) 536924
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12579
/proc/meminfo: memFree=30762980/32770624 swapFree=5920/204584
[pid=12439] ppid=12436 vsize=536924 CPUtime=2201.2 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 154490 0 0 0 220099 21 0 0 20 0 1 0 1648553 549810176 111290 33554432000 4194304 5970956 140724389892880 140724389889752 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134231 111290 863 434 0 127595 0
Current children cumulated CPU time (s) 2201.2
Current children cumulated vsize (KiB) 536924
[startup+2262.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/246 12580
/proc/meminfo: memFree=30763252/32770624 swapFree=5920/204632
[pid=12439] ppid=12436 vsize=536924 CPUtime=2261.16 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 156622 0 0 0 226095 21 0 0 20 0 1 0 1648553 549810176 111307 33554432000 4194304 5970956 140724389892880 140724389889752 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134231 111307 863 434 0 127595 0
Current children cumulated CPU time (s) 2261.16
Current children cumulated vsize (KiB) 536924
[startup+2322.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/246 12581
/proc/meminfo: memFree=30763268/32770624 swapFree=5920/204668
[pid=12439] ppid=12436 vsize=536924 CPUtime=2321.13 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 158768 0 0 0 232092 21 0 0 20 0 1 0 1648553 549810176 111308 33554432000 4194304 5970956 140724389892880 140724389889752 5136620 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134231 111308 863 434 0 127595 0
Current children cumulated CPU time (s) 2321.13
Current children cumulated vsize (KiB) 536924
[startup+2382.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/246 12582
/proc/meminfo: memFree=30762980/32770624 swapFree=5920/204708
[pid=12439] ppid=12436 vsize=536924 CPUtime=2381.11 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 160886 0 0 0 238089 22 0 0 20 0 1 0 1648553 549810176 111308 33554432000 4194304 5970956 140724389892880 140724389889752 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134231 111308 863 434 0 127595 0
Current children cumulated CPU time (s) 2381.11
Current children cumulated vsize (KiB) 536924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.2 s]
/proc/loadavg: 2.02 2.05 2.05 3/246 12583
/proc/meminfo: memFree=30762900/32770624 swapFree=5920/204744
[pid=12439] ppid=12436 vsize=536924 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/12439/stat : 12439 (cosoco) R 12436 12439 9853 0 -1 4202496 161651 0 0 0 239978 22 0 0 20 0 1 0 1648553 549810176 111308 33554432000 4194304 5970956 140724389892880 140724389889752 5031479 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 17022976 140724389897404 140724389897539 140724389897539 140724389900238 0
/proc/12439/statm: 134231 111308 863 434 0 127595 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 536924
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 12439 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.2
CPU time (s): 2400.01
CPU user time (s): 2399.79
CPU system time (s): 0.226887
CPU usage (%): 99.9504
Max. virtual memory (cumulated for all children) (KiB): 536924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.79
system time used= 0.226887
maximum resident set size= 445276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161673
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= 19
involuntary context switches= 120787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17789 second user time and 13.1148 second system time
The end