runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14815 MiB free)
memory of node 1: 16384 MiB (15377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397179-1568590949/watcher-4397179-1568590949 -o /tmp/evaluation-result-4397179-1568590949/solver-4397179-1568590949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4609 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397179-1568590949.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7921, runsolver pid=7918
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908548/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=12964 CPUtime=0.1 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 3429 0 0 0 10 0 0 0 20 0 1 0 435366338 37175296 3241 33554432000 4194304 6211092 140722729724224 140722729720760 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3241 882 493 0 2381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 12964 KiB
[startup+0.209935 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908276/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=12964 CPUtime=0.21 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 3429 0 0 0 21 0 0 0 20 0 1 0 435366338 37175296 3241 33554432000 4194304 6211092 140722729724224 140722729720760 5250293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3241 882 493 0 2381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 12964 KiB
[startup+0.30938 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908276/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=12964 CPUtime=0.31 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 3429 0 0 0 31 0 0 0 20 0 1 0 435366338 37175296 3241 33554432000 4194304 6211092 140722729724224 140722729720760 5250224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3241 882 493 0 2381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 12964 KiB
[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908220/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=12964 CPUtime=0.69 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 3429 0 0 0 69 0 0 0 20 0 1 0 435366338 37175296 3241 33554432000 4194304 6211092 140722729724224 140722729722488 5250279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3241 882 493 0 2381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 12964 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908220/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=12964 CPUtime=1.49 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 3429 0 0 0 149 0 0 0 20 0 1 0 435366338 37175296 3241 33554432000 4194304 6211092 140722729724224 140722729722488 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3241 882 493 0 2381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 12964 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908220/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=13068 CPUtime=3.09 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 5563 0 0 0 309 0 0 0 20 0 1 0 435366338 37175296 3267 33554432000 4194304 6211092 140722729724224 140722729722488 5136311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3267 908 493 0 2381 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 13068 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908196/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=13068 CPUtime=6.29 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 7697 0 0 0 628 1 0 0 20 0 1 0 435366338 37175296 3267 33554432000 4194304 6211092 140722729724224 140722729722488 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3267 908 493 0 2381 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 13068 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908072/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=13068 CPUtime=12.69 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 9892 0 0 0 1268 1 0 0 20 0 1 0 435366338 37175296 3267 33554432000 4194304 6211092 140722729724224 140722729722488 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3267 908 493 0 2381 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 13068 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7922
/proc/meminfo: memFree=30908320/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=13068 CPUtime=25.49 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 14191 0 0 0 2548 1 0 0 20 0 1 0 435366338 37175296 3267 33554432000 4194304 6211092 140722729724224 140722729722488 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3267 908 493 0 2381 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 13068 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7925
/proc/meminfo: memFree=30907384/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=36304 memory=13068 CPUtime=51.1 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 15351 0 0 0 5109 1 0 0 20 0 1 0 435366338 37175296 3267 33554432000 4194304 6211092 140722729724224 140722729722488 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9076 3267 908 493 0 2381 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 13068 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 7930
/proc/meminfo: memFree=30905840/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=38024 memory=14564 CPUtime=102.29 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 16537 0 0 0 10228 1 0 0 20 0 1 0 435366338 38936576 3641 33554432000 4194304 6211092 140722729724224 140722729721576 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9506 3641 908 493 0 2811 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 14564 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 7934
/proc/meminfo: memFree=30905240/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=38420 memory=15224 CPUtime=162.29 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 17837 0 0 0 16228 1 0 0 20 0 1 0 435366338 39342080 3806 33554432000 4194304 6211092 140722729724224 140722729721624 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9605 3806 908 493 0 2910 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 15224 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7940
/proc/meminfo: memFree=30905280/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=38420 memory=15224 CPUtime=222.29 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 18590 0 0 0 22228 1 0 0 20 0 1 0 435366338 39342080 3806 33554432000 4194304 6211092 140722729724224 140722729721624 5136256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9605 3806 908 493 0 2910 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 15224 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7944
/proc/meminfo: memFree=30904908/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=38552 memory=15232 CPUtime=282.3 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 19355 0 0 0 28229 1 0 0 20 0 1 0 435366338 39477248 3808 33554432000 4194304 6211092 140722729724224 140722729721624 5136256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9638 3808 908 493 0 2943 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 38552 KiB
Current children cumulated memory: 15232 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7948
/proc/meminfo: memFree=30904684/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=38552 memory=15260 CPUtime=342.3 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 20123 0 0 0 34229 1 0 0 20 0 1 0 435366338 39477248 3815 33554432000 4194304 6211092 140722729724224 140722729721624 5136279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9638 3815 908 493 0 2943 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 38552 KiB
Current children cumulated memory: 15260 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7954
/proc/meminfo: memFree=30905112/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=38552 memory=15280 CPUtime=402.3 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 20400 0 0 0 40229 1 0 0 20 0 1 0 435366338 39477248 3820 33554432000 4194304 6211092 140722729724224 140722729721624 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9638 3820 908 493 0 2943 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 38552 KiB
Current children cumulated memory: 15280 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7958
/proc/meminfo: memFree=30904552/32770624 swapFree=66937076/67108860
[pid=7921] ppid=7918 vsize=38552 memory=15280 CPUtime=462.3 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 20673 0 0 0 46229 1 0 0 20 0 1 0 435366338 39477248 3820 33554432000 4194304 6211092 140722729724224 140722729721624 5250459 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9638 3820 908 493 0 2943 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 38552 KiB
Current children cumulated memory: 15280 KiB
################
# More data... #
################
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8172
/proc/meminfo: memFree=30809112/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=1782.34 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 26915 0 0 0 178233 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8178
/proc/meminfo: memFree=30808336/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=1842.34 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 27195 0 0 0 184233 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 8182
/proc/meminfo: memFree=30808972/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=1902.34 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 27477 0 0 0 190233 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 8186
/proc/meminfo: memFree=30808956/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=1962.34 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 27757 0 0 0 196233 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 8192
/proc/meminfo: memFree=30808768/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=2022.34 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 28049 0 0 0 202233 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8196
/proc/meminfo: memFree=30808396/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=2082.35 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 28281 0 0 0 208234 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5136256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8200
/proc/meminfo: memFree=30808876/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=2142.35 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 28630 0 0 0 214234 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8206
/proc/meminfo: memFree=30808448/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15376 CPUtime=2202.35 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 28915 0 0 0 220234 1 0 0 20 0 1 0 435366338 39645184 3844 33554432000 4194304 6211092 140722729724224 140722729721576 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3844 908 493 0 2984 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15376 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8210
/proc/meminfo: memFree=30808560/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15380 CPUtime=2262.35 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 29200 0 0 0 226234 1 0 0 20 0 1 0 435366338 39645184 3845 33554432000 4194304 6211092 140722729724224 140722729721576 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3845 908 493 0 2984 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15380 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8222
/proc/meminfo: memFree=30808556/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15380 CPUtime=2322.35 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 29433 0 0 0 232234 1 0 0 20 0 1 0 435366338 39645184 3845 33554432000 4194304 6211092 140722729724224 140722729721576 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3845 908 493 0 2984 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15380 KiB
[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/200 8228
/proc/meminfo: memFree=30808276/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15380 CPUtime=2382.35 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 29722 0 0 0 238234 1 0 0 20 0 1 0 435366338 39645184 3845 33554432000 4194304 6211092 140722729724224 140722729721576 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3845 908 493 0 2984 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15380 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/200 8232
/proc/meminfo: memFree=30808584/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15384 CPUtime=2442.36 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 30015 0 0 0 244235 1 0 0 20 0 1 0 435366338 39645184 3846 33554432000 4194304 6211092 140722729724224 140722729721576 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3846 908 493 0 2984 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15384 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 8236
/proc/meminfo: memFree=30808612/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15384 CPUtime=2502.36 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 30295 0 0 0 250235 1 0 0 20 0 1 0 435366338 39645184 3846 33554432000 4194304 6211092 140722729724224 140722729721576 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3846 908 493 0 2984 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15384 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/200 8238
/proc/meminfo: memFree=30808704/32770624 swapFree=66937100/67108860
[pid=7921] ppid=7918 vsize=38716 memory=15388 CPUtime=2520.07 cores=1,3,5,7
/proc/7921/stat : 7921 (cosoco) R 7918 7921 4577 0 -1 4202496 30569 0 0 0 252006 1 0 0 20 0 1 0 435366338 39645184 3847 33554432000 4194304 6211092 140722729724224 140722729721576 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9342976 140722729726987 140722729727089 140722729727089 140722729729998 0
/proc/7921/statm: 9679 3847 908 493 0 2984 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 15388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7921 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.06 s, system=0.018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.08
CPU user time (s): 2520.06
CPU system time (s): 0.018
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 38716
Max. memory (cumulated for all children) (KiB): 15388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.018
maximum resident set size= 15452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30618
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= 18
involuntary context switches= 694
# summary of solver processes directly reported to runsolver:
# pid: 7921
# total CPU time (s): 2520.08
# total CPU user time (s): 2520.06
# total CPU system time (s): 0.018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30048 second user time and 16.5744 second system time
The end