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-4267885-1502550741/watcher-4267885-1502550741 -o /tmp/evaluation-result-4267885-1502550741/solver-4267885-1502550741 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267885-1502550741.xml
pid=11224
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.14 2.05 2.05 2/180 11227
/proc/meminfo: memFree=31348432/32770624 swapFree=0/330148
[pid=11227] ppid=11224 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11227/stat : 11227 (runsolver) D 11224 11227 1785 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 57269548 24240128 108 18446744073709551615 4194304 4338465 140731307864320 140731307861960 139906955490007 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 27213824 140731307868354 140731307868745 140731307868745 140731307872202 0
/proc/11227/statm: 5918 108 54 36 0 2156 0
[startup+0.10084 s]
/proc/loadavg: 2.14 2.05 2.05 2/180 11227
/proc/meminfo: memFree=31348432/32770624 swapFree=0/330148
[pid=11227] ppid=11224 vsize=28412 CPUtime=0.01 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 57269548 29093888 1162 18446744073709551615 4194304 5972588 140728505862032 140728505859080 140598963744274 0 0 1 0 0 0 0 17 6 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1162 734 435 0 466 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28412
[startup+0.20084 s]
/proc/loadavg: 2.14 2.05 2.05 2/180 11227
/proc/meminfo: memFree=31348432/32770624 swapFree=0/330148
[pid=11227] ppid=11224 vsize=28412 CPUtime=0.11 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 1383 0 0 0 11 0 0 0 20 0 1 0 57269548 29093888 1162 18446744073709551615 4194304 5972588 140728505862032 140728505849224 5319872 0 0 1 8405026 0 0 0 17 6 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1162 734 435 0 466 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28412
[startup+0.310839 s]
/proc/loadavg: 2.14 2.05 2.05 2/180 11227
/proc/meminfo: memFree=31348432/32770624 swapFree=0/330148
[pid=11227] ppid=11224 vsize=28412 CPUtime=0.22 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 1386 0 0 0 22 0 0 0 20 0 1 0 57269548 29093888 1162 18446744073709551615 4194304 5972588 140728505862032 140728505859480 5325752 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1162 734 435 0 466 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 28412
[startup+0.700278 s]
/proc/loadavg: 2.14 2.05 2.05 2/180 11227
/proc/meminfo: memFree=31348432/32770624 swapFree=0/330148
[pid=11227] ppid=11224 vsize=28412 CPUtime=0.61 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 1387 0 0 0 61 0 0 0 20 0 1 0 57269548 29093888 1228 18446744073709551615 4194304 5972588 140728505862032 140728505859480 4935681 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1228 779 435 0 466 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 28412
[startup+1.50028 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 11228
/proc/meminfo: memFree=31346232/32770624 swapFree=0/330120
[pid=11227] ppid=11224 vsize=28412 CPUtime=1.41 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 1387 0 0 0 141 0 0 0 20 0 1 0 57269548 29093888 1228 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935493 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1228 779 435 0 466 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 28412
[startup+3.10028 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 11228
/proc/meminfo: memFree=31346108/32770624 swapFree=0/330120
[pid=11227] ppid=11224 vsize=28412 CPUtime=3.01 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 1764 0 0 0 301 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505859480 5319908 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 28412
[startup+6.30028 s]
/proc/loadavg: 2.13 2.05 2.05 3/181 11228
/proc/meminfo: memFree=31345860/32770624 swapFree=0/330120
[pid=11227] ppid=11224 vsize=28412 CPUtime=6.21 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 2145 0 0 0 621 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505859480 5139327 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 28412
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 11228
/proc/meminfo: memFree=31345736/32770624 swapFree=0/330120
[pid=11227] ppid=11224 vsize=28412 CPUtime=12.61 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 2552 0 0 0 1261 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4934350 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 28412
[startup+25.5003 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 11228
/proc/meminfo: memFree=31345492/32770624 swapFree=0/330116
[pid=11227] ppid=11224 vsize=28412 CPUtime=25.4 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 3142 0 0 0 2540 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935787 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 28412
[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 11228
/proc/meminfo: memFree=31345124/32770624 swapFree=0/330112
[pid=11227] ppid=11224 vsize=28412 CPUtime=51 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 3683 0 0 0 5100 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935486 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 28412
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 11244
/proc/meminfo: memFree=31340184/32770624 swapFree=0/330156
[pid=11227] ppid=11224 vsize=28412 CPUtime=102.2 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 4079 0 0 0 10220 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505859480 4935525 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 28412
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 11271
/proc/meminfo: memFree=31338260/32770624 swapFree=0/330204
[pid=11227] ppid=11224 vsize=28412 CPUtime=162.19 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 4471 0 0 0 16219 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935596 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 28412
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 11273
/proc/meminfo: memFree=31339384/32770624 swapFree=0/330232
[pid=11227] ppid=11224 vsize=28412 CPUtime=222.19 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 4848 0 0 0 22219 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 28412
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 11275
/proc/meminfo: memFree=31343656/32770624 swapFree=0/330248
[pid=11227] ppid=11224 vsize=28412 CPUtime=282.18 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 5225 0 0 0 28218 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4975100 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 28412
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 11277
/proc/meminfo: memFree=31343856/32770624 swapFree=0/330256
[pid=11227] ppid=11224 vsize=28412 CPUtime=342.17 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 5602 0 0 0 34217 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 28412
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 11279
/proc/meminfo: memFree=31343608/32770624 swapFree=0/330252
[pid=11227] ppid=11224 vsize=28412 CPUtime=402.17 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 5992 0 0 0 40217 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505859480 4935459 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 28412
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 11281
/proc/meminfo: memFree=31343608/32770624 swapFree=0/330280
[pid=11227] ppid=11224 vsize=28412 CPUtime=462.16 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 6369 0 0 0 46216 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505859480 4935663 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 28412
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 11283
/proc/meminfo: memFree=31343748/32770624 swapFree=0/330284
[pid=11227] ppid=11224 vsize=28412 CPUtime=522.16 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 6761 0 0 0 52216 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 5139327 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 28412
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11285
/proc/meminfo: memFree=31344344/32770624 swapFree=0/330304
[pid=11227] ppid=11224 vsize=28412 CPUtime=582.15 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 7151 0 0 0 58215 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505859480 4935613 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 28412
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 11350
/proc/meminfo: memFree=31343456/32770624 swapFree=0/330532
[pid=11227] ppid=11224 vsize=28412 CPUtime=1602.05 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 12492 0 0 0 160205 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935625 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 28412
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11352
/proc/meminfo: memFree=31343224/32770624 swapFree=0/330548
[pid=11227] ppid=11224 vsize=28412 CPUtime=1662.05 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 12869 0 0 0 166205 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 5139312 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 28412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11354
/proc/meminfo: memFree=31343712/32770624 swapFree=0/330568
[pid=11227] ppid=11224 vsize=28412 CPUtime=1722.04 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 13090 0 0 0 172204 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935490 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 28412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11357
/proc/meminfo: memFree=31342472/32770624 swapFree=0/330564
[pid=11227] ppid=11224 vsize=28412 CPUtime=1782.04 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 13311 0 0 0 178204 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4971573 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 28412
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11359
/proc/meminfo: memFree=31342600/32770624 swapFree=0/330560
[pid=11227] ppid=11224 vsize=28412 CPUtime=1842.03 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 13688 0 0 0 184203 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4978745 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 28412
[startup+1902.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/184 11375
/proc/meminfo: memFree=31339348/32770624 swapFree=0/330568
[pid=11227] ppid=11224 vsize=28412 CPUtime=1902.03 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 13875 0 0 0 190203 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935408 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 1902.03
Current children cumulated vsize (KiB) 28412
[startup+1962.3 s]
/proc/loadavg: 2.10 2.06 2.06 3/184 11440
/proc/meminfo: memFree=31221580/32770624 swapFree=0/330600
[pid=11227] ppid=11224 vsize=28412 CPUtime=1962.02 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 14059 0 0 0 196202 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4970744 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 28412
[startup+2022.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/181 11442
/proc/meminfo: memFree=31224648/32770624 swapFree=0/330604
[pid=11227] ppid=11224 vsize=28412 CPUtime=2022.02 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 14436 0 0 0 202202 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935482 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2022.02
Current children cumulated vsize (KiB) 28412
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 11444
/proc/meminfo: memFree=31225144/32770624 swapFree=0/330612
[pid=11227] ppid=11224 vsize=28412 CPUtime=2082.02 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 14619 0 0 0 208202 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935252 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2082.02
Current children cumulated vsize (KiB) 28412
[startup+2142.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 11446
/proc/meminfo: memFree=31225012/32770624 swapFree=0/330620
[pid=11227] ppid=11224 vsize=28412 CPUtime=2142 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 14801 0 0 0 214200 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935589 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 28412
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 11448
/proc/meminfo: memFree=31225564/32770624 swapFree=0/330632
[pid=11227] ppid=11224 vsize=28412 CPUtime=2202 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 14988 0 0 0 220200 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 5139505 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2202
Current children cumulated vsize (KiB) 28412
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11450
/proc/meminfo: memFree=31225316/32770624 swapFree=0/330632
[pid=11227] ppid=11224 vsize=28412 CPUtime=2261.99 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 15397 0 0 0 226199 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935454 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 28412
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11452
/proc/meminfo: memFree=31225612/32770624 swapFree=0/330636
[pid=11227] ppid=11224 vsize=28412 CPUtime=2321.99 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 15615 0 0 0 232199 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4936000 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 28412
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11454
/proc/meminfo: memFree=31224992/32770624 swapFree=0/330652
[pid=11227] ppid=11224 vsize=28412 CPUtime=2381.98 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 15843 0 0 0 238198 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935642 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 28412
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11456
/proc/meminfo: memFree=31225488/32770624 swapFree=0/330676
[pid=11227] ppid=11224 vsize=28412 CPUtime=2441.98 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 16220 0 0 0 244198 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2441.98
Current children cumulated vsize (KiB) 28412
[startup+2502.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 11458
/proc/meminfo: memFree=31225240/32770624 swapFree=0/330676
[pid=11227] ppid=11224 vsize=28412 CPUtime=2501.97 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 16402 0 0 0 250197 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4972754 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2501.97
Current children cumulated vsize (KiB) 28412
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 11473
/proc/meminfo: memFree=31222636/32770624 swapFree=0/330700
[pid=11227] ppid=11224 vsize=28412 CPUtime=2519.67 cores=0,2,4,6
/proc/11227/stat : 11227 (cosoco) R 11224 11227 1785 0 -1 4202496 16560 0 0 0 251967 0 0 0 20 0 1 0 57269548 29093888 1229 18446744073709551615 4194304 5972588 140728505862032 140728505849224 4935681 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 24723456 140728505868782 140728505868877 140728505868877 140728505872334 0
/proc/11227/statm: 7103 1229 779 435 0 466 0
Current children cumulated CPU time (s) 2519.67
Current children cumulated vsize (KiB) 28412
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 11227 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.68
CPU user time (s): 2519.68
CPU system time (s): 0.004999
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 28412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.004999
maximum resident set size= 4996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16619
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= 3155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06248 second user time and 7.91716 second system time
The end