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-4260117-1502022991/watcher-4260117-1502022991 -o /tmp/evaluation-result-4260117-1502022991/solver-4260117-1502022991 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260117-1502022991.xml
pid=24285
running on 4 cores: 1,3,5,7
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.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24288/stat : 24288 (runsolver) D 24285 24288 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4494870 24240128 107 18446744073709551615 4194304 4338465 140733479855376 140733479853016 139621472547543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 7569408 140733479862466 140733479862858 140733479862858 140733479866314 0
/proc/24288/statm: 5918 107 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24288/stat : 24288 (runsolver) D 24285 24288 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4494870 24240128 107 18446744073709551615 4194304 4338465 140733479855376 140733479853016 139621472547543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 7569408 140733479862466 140733479862858 140733479862858 140733479866314 0
/proc/24288/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200302 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=0.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 9 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919898 0 0 1 8405026 0 0 0 17 7 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27812
[startup+0.300298 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=0.19 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 19 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4909775 0 0 1 8405026 0 0 0 17 7 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27812
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=0.59 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 59 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 140095545060448 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 27812
[startup+1.50022 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 24289
/proc/meminfo: memFree=31706732/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=1.39 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 139 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919993 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 27812
[startup+3.10023 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 24289
/proc/meminfo: memFree=31706360/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=2.99 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1634 0 0 0 299 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4873211 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 27812
[startup+6.30023 s]
/proc/loadavg: 1.85 1.98 2.03 3/182 24289
/proc/meminfo: memFree=31706608/32770624 swapFree=0/338400
[pid=24288] ppid=24285 vsize=27812 CPUtime=6.19 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1931 0 0 0 619 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919917 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 27812
[startup+12.7002 s]
/proc/loadavg: 1.86 1.98 2.03 3/182 24289
/proc/meminfo: memFree=31706360/32770624 swapFree=0/338412
[pid=24288] ppid=24285 vsize=27812 CPUtime=12.59 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 2230 0 0 0 1259 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4872987 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 27812
[startup+25.5003 s]
/proc/loadavg: 1.88 1.98 2.03 3/182 24290
/proc/meminfo: memFree=31706508/32770624 swapFree=0/338420
[pid=24288] ppid=24285 vsize=27812 CPUtime=25.39 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 2824 0 0 0 2539 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000046 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 27812
[startup+51.1003 s]
/proc/loadavg: 1.93 1.99 2.03 3/182 24290
/proc/meminfo: memFree=31706520/32770624 swapFree=0/338456
[pid=24288] ppid=24285 vsize=27812 CPUtime=50.99 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 3121 0 0 0 5099 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919811 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 27812
[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/182 24292
/proc/meminfo: memFree=31706260/32770624 swapFree=0/338524
[pid=24288] ppid=24285 vsize=27812 CPUtime=102.19 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 3419 0 0 0 10219 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5126757 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 27812
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 24295
/proc/meminfo: memFree=31706124/32770624 swapFree=0/338588
[pid=24288] ppid=24285 vsize=27812 CPUtime=162.18 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 3716 0 0 0 16218 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 27812
[startup+222.305 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 24297
/proc/meminfo: memFree=31705884/32770624 swapFree=0/338624
[pid=24288] ppid=24285 vsize=27812 CPUtime=222.18 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4013 0 0 0 22218 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919958 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 27812
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24299
/proc/meminfo: memFree=31706176/32770624 swapFree=0/338672
[pid=24288] ppid=24285 vsize=27812 CPUtime=282.18 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4310 0 0 0 28218 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919847 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 27812
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24302
/proc/meminfo: memFree=31705832/32770624 swapFree=0/338732
[pid=24288] ppid=24285 vsize=27812 CPUtime=342.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4607 0 0 0 34217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27812
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24304
/proc/meminfo: memFree=31706088/32770624 swapFree=0/338780
[pid=24288] ppid=24285 vsize=27812 CPUtime=402.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4904 0 0 0 40217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5127039 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 27812
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 24321
/proc/meminfo: memFree=31701268/32770624 swapFree=0/338856
[pid=24288] ppid=24285 vsize=27812 CPUtime=462.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 5201 0 0 0 46217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919893 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 27812
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 24323
/proc/meminfo: memFree=31701488/32770624 swapFree=0/338900
[pid=24288] ppid=24285 vsize=27812 CPUtime=522.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 5498 0 0 0 52217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 27812
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 24325
/proc/meminfo: memFree=31705104/32770624 swapFree=0/338932
[pid=24288] ppid=24285 vsize=27812 CPUtime=582.16 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 5795 0 0 0 58216 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919917 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 27812
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24371
/proc/meminfo: memFree=31704396/32770624 swapFree=0/339556
[pid=24288] ppid=24285 vsize=27812 CPUtime=1542.12 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 10407 0 0 0 154212 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 27812
[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 24373
/proc/meminfo: memFree=31704356/32770624 swapFree=0/339584
[pid=24288] ppid=24285 vsize=27812 CPUtime=1602.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 10679 0 0 0 160211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5143792 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 27812
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 24390
/proc/meminfo: memFree=31700576/32770624 swapFree=0/339644
[pid=24288] ppid=24285 vsize=27812 CPUtime=1662.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 10951 0 0 0 166211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919958 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 27812
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 24392
/proc/meminfo: memFree=31700864/32770624 swapFree=0/339688
[pid=24288] ppid=24285 vsize=27812 CPUtime=1722.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 11248 0 0 0 172211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919847 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 27812
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 24394
/proc/meminfo: memFree=31703184/32770624 swapFree=0/339716
[pid=24288] ppid=24285 vsize=27812 CPUtime=1782.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 11518 0 0 0 178211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4873013 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 27812
[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 24396
/proc/meminfo: memFree=31703472/32770624 swapFree=0/339752
[pid=24288] ppid=24285 vsize=27812 CPUtime=1842.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 11815 0 0 0 184210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 27812
[startup+1902.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 24398
/proc/meminfo: memFree=31703980/32770624 swapFree=0/339788
[pid=24288] ppid=24285 vsize=27812 CPUtime=1902.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12087 0 0 0 190210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 27812
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 24401
/proc/meminfo: memFree=31703500/32770624 swapFree=0/339824
[pid=24288] ppid=24285 vsize=27812 CPUtime=1962.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12363 0 0 0 196210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5118347 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 27812
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24403
/proc/meminfo: memFree=31704176/32770624 swapFree=0/339864
[pid=24288] ppid=24285 vsize=27812 CPUtime=2022.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12660 0 0 0 202209 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919893 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 27812
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 24405
/proc/meminfo: memFree=31704184/32770624 swapFree=0/339896
[pid=24288] ppid=24285 vsize=27812 CPUtime=2082.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12932 0 0 0 208210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 27812
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 24408
/proc/meminfo: memFree=31704208/32770624 swapFree=0/339940
[pid=24288] ppid=24285 vsize=27812 CPUtime=2142.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 13204 0 0 0 214209 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919815 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 27812
[startup+2202.31 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 24471
/proc/meminfo: memFree=31514700/32770624 swapFree=0/341300
[pid=24288] ppid=24285 vsize=27812 CPUtime=2202.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 13501 0 0 0 220209 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919850 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 27812
[startup+2262.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 24488
/proc/meminfo: memFree=31505984/32770624 swapFree=0/341412
[pid=24288] ppid=24285 vsize=27812 CPUtime=2262.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 13774 0 0 0 226208 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 27812
[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 24515
/proc/meminfo: memFree=31495720/32770624 swapFree=0/341500
[pid=24288] ppid=24285 vsize=27812 CPUtime=2322.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14047 0 0 0 232208 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919798 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 27812
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 24517
/proc/meminfo: memFree=31496872/32770624 swapFree=0/341560
[pid=24288] ppid=24285 vsize=27812 CPUtime=2382.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14319 0 0 0 238208 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 27812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 24517
/proc/meminfo: memFree=31497004/32770624 swapFree=0/341576
[pid=24288] ppid=24285 vsize=27812 CPUtime=2400.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14591 0 0 0 240008 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000064 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27812
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 24288 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 24517
/proc/meminfo: memFree=31497004/32770624 swapFree=0/341576
[pid=24288] ppid=24285 vsize=27812 CPUtime=2400.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14591 0 0 0 240008 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000064 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27812
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2400.09
CPU system time (s): 0.002
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 27812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.002
maximum resident set size= 4776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14640
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= 10
involuntary context switches= 671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46047 second user time and 8.97443 second system time
The end