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 (15016 MiB free)
memory of node 1: 16384 MiB (14619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408228-1569787393/watcher-4408228-1569787393 -o /tmp/evaluation-result-4408228-1569787393/solver-4408228-1569787393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18444 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408228-1569787393.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18474, runsolver pid=18467
[startup+0.10017 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 18475
/proc/meminfo: memFree=30346664/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=4560 memory=188 CPUtime=0 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) D 18467 18474 18413 0 -1 1077936128 174 0 0 0 0 0 0 0 20 0 1 0 554653158 4669440 47 33554432000 4194304 6211132 140732657361168 140732657358344 140577869932231 0 0 4096 0 18446744072101662244 0 0 17 0 0 0 0 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 1140 47 37 493 0 43 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4560 KiB
Current children cumulated memory: 188 KiB
[startup+0.209521 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 18475
/proc/meminfo: memFree=30341448/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=8040 memory=204 CPUtime=0 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) D 18467 18474 18413 0 -1 4194304 175 0 0 0 0 0 0 0 20 0 1 0 554653158 8232960 51 33554432000 4194304 6211132 140732657361168 140732657358216 140577869937146 0 0 4096 0 18446744071580431491 0 0 17 2 0 0 1 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 2010 51 39 493 0 44 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 204 KiB
[startup+0.309371 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 18475
/proc/meminfo: memFree=30341448/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=20700 memory=312 CPUtime=0 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) D 18467 18474 18413 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 554653158 21196800 78 33554432000 4194304 6211132 140732657361168 140732657357752 140577869932231 0 0 4096 0 18446744072101662244 0 0 17 0 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 5175 78 56 493 0 55 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 20700 KiB
Current children cumulated memory: 312 KiB
[startup+0.700338 s]
/proc/loadavg: 0.00 0.01 0.05 4/201 18475
/proc/meminfo: memFree=30340832/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4528 CPUtime=0.34 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 1294 0 0 0 34 0 0 0 20 0 1 0 554653158 28553216 1132 33554432000 4194304 6211132 140732657361168 140732657359432 5168248 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1132 895 493 0 276 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4528 KiB
[startup+1.50034 s]
/proc/loadavg: 0.00 0.01 0.05 4/201 18475
/proc/meminfo: memFree=30340832/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4528 CPUtime=1.14 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 1297 0 0 0 114 0 0 0 20 0 1 0 554653158 28553216 1132 33554432000 4194304 6211132 140732657361168 140732657349048 5167539 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1132 895 493 0 276 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4528 KiB
[startup+3.10939 s]
/proc/loadavg: 0.16 0.05 0.06 4/201 18475
/proc/meminfo: memFree=30340860/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4528 CPUtime=2.75 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 1298 0 0 0 275 0 0 0 20 0 1 0 554653158 28553216 1132 33554432000 4194304 6211132 140732657361168 140732657349048 5186256 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1132 895 493 0 276 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4528 KiB
[startup+6.30033 s]
/proc/loadavg: 0.16 0.05 0.06 4/201 18475
/proc/meminfo: memFree=30340616/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4548 CPUtime=5.94 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 1666 0 0 0 594 0 0 0 20 0 1 0 554653158 28553216 1137 33554432000 4194304 6211132 140732657361168 140732657359304 5393997 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1137 895 493 0 276 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4548 KiB
[startup+12.7003 s]
/proc/loadavg: 0.31 0.08 0.07 4/201 18475
/proc/meminfo: memFree=30341024/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4548 CPUtime=12.34 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 1851 0 0 0 1234 0 0 0 20 0 1 0 554653158 28553216 1137 33554432000 4194304 6211132 140732657361168 140732657349048 5389929 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1137 895 493 0 276 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4548 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 4/202 18478
/proc/meminfo: memFree=30340744/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4548 CPUtime=25.14 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 2197 0 0 0 2514 0 0 0 20 0 1 0 554653158 28553216 1137 33554432000 4194304 6211132 140732657361168 140732657349048 5193740 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1137 895 493 0 276 0
Current children cumulated CPU time: 25.14 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4548 KiB
[startup+51.1094 s]
/proc/loadavg: 1.13 0.32 0.15 4/201 18478
/proc/meminfo: memFree=30341244/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4552 CPUtime=50.76 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 2391 0 0 0 5076 0 0 0 20 0 1 0 554653158 28553216 1138 33554432000 4194304 6211132 140732657361168 140732657359304 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1138 895 493 0 276 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4552 KiB
[startup+102.3 s]
/proc/loadavg: 1.70 0.60 0.25 4/201 18482
/proc/meminfo: memFree=30339772/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4552 CPUtime=101.95 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 2578 0 0 0 10195 0 0 0 20 0 1 0 554653158 28553216 1138 33554432000 4194304 6211132 140732657361168 140732657349048 5168251 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1138 895 493 0 276 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4552 KiB
[startup+162.3 s]
/proc/loadavg: 1.89 0.85 0.36 4/200 18488
/proc/meminfo: memFree=30339204/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4552 CPUtime=161.96 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 2756 0 0 0 16196 0 0 0 20 0 1 0 554653158 28553216 1138 33554432000 4194304 6211132 140732657361168 140732657359304 5102871 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1138 895 493 0 276 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4552 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.06 0.46 4/199 18492
/proc/meminfo: memFree=30338936/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=221.97 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 2927 0 0 0 22197 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5167056 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 221.97 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.56 4/199 18496
/proc/meminfo: memFree=30338732/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=281.97 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 2927 0 0 0 28197 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5167943 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 281.97 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 4/199 18502
/proc/meminfo: memFree=30339072/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=341.98 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 3115 0 0 0 34198 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657349048 5394002 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 341.98 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 4/199 18506
/proc/meminfo: memFree=30339248/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=401.99 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 3115 0 0 0 40199 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657349048 5393997 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 401.99 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.81 4/200 18518
/proc/meminfo: memFree=30338092/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=462 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 3285 0 0 0 46200 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657349048 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 462 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
################
# More data... #
################
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.71 4/200 18641
/proc/meminfo: memFree=30338140/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=1782.16 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5233 0 0 0 178216 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5393952 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 4/200 18645
/proc/meminfo: memFree=30338440/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=1842.16 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5233 0 0 0 184216 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.75 4/200 18649
/proc/meminfo: memFree=30338440/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=1902.17 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5390 0 0 0 190217 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5156940 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/200 18655
/proc/meminfo: memFree=30338040/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=1962.18 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5401 0 0 0 196218 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5394016 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 4/199 18659
/proc/meminfo: memFree=30338184/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2022.19 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5572 0 0 0 202219 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.79 4/199 18663
/proc/meminfo: memFree=30338400/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2082.19 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5572 0 0 0 208219 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5102815 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.80 4/199 18669
/proc/meminfo: memFree=30337736/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2142.2 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5741 0 0 0 214220 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5168401 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.81 4/199 18673
/proc/meminfo: memFree=30337844/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2202.21 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5743 0 0 0 220221 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5168304 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/200 18685
/proc/meminfo: memFree=30338364/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2262.21 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5896 0 0 0 226221 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5168395 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/201 18691
/proc/meminfo: memFree=30338128/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2322.22 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 5896 0 0 0 232222 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.85 4/200 18695
/proc/meminfo: memFree=30338120/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2382.23 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 6084 0 0 0 238223 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5149714 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.86 4/200 18699
/proc/meminfo: memFree=30338396/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2442.24 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 6085 0 0 0 244224 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5186301 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.00 1.87 4/201 18705
/proc/meminfo: memFree=30337572/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2502.24 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 6256 0 0 0 250224 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5393993 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.56 2.12 1.91 4/200 18705
/proc/meminfo: memFree=30337744/32770624 swapFree=67002108/67108860
[pid=18474] ppid=18467 vsize=27884 memory=4560 CPUtime=2519.95 cores=0,2,4,6
/proc/18474/stat : 18474 (cosoco) R 18467 18474 18413 0 -1 4202496 6256 0 0 0 251995 0 0 0 20 0 1 0 554653158 28553216 1140 33554432000 4194304 6211132 140732657361168 140732657359304 5166878 0 0 4096 8405026 0 0 0 17 2 0 0 8 0 0 8312316 8317760 23470080 140732657370123 140732657370225 140732657370225 140732657373134 0
/proc/18474/statm: 6971 1140 895 493 0 276 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 27884 KiB
Current children cumulated memory: 4560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18474 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.96 s, system=0.008 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): 2519.97
CPU user time (s): 2519.96
CPU system time (s): 0.008
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 27884
Max. memory (cumulated for all children) (KiB): 4560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.008
maximum resident set size= 4624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6308
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= 48
involuntary context switches= 636
# summary of solver processes directly reported to runsolver:
# pid: 18474
# total CPU time (s): 2519.97
# total CPU user time (s): 2519.96
# total CPU system time (s): 0.008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17553 second user time and 16.8188 second system time
The end