runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3292653-1304082009/watcher-3292653-1304082009 -o /tmp/evaluation-result-3292653-1304082009/solver-3292653-1304082009 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3292653-1304082009.cnf 1781909354 4800 15500 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.55 4.48 6.08 3/179 1558
/proc/meminfo: memFree=27532316/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[startup+0.0169491 s]
/proc/loadavg: 3.55 4.48 6.08 3/179 1558
/proc/meminfo: memFree=27532316/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100936 s]
/proc/loadavg: 3.55 4.48 6.08 3/179 1558
/proc/meminfo: memFree=27532316/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300899 s]
/proc/loadavg: 3.55 4.48 6.08 3/179 1558
/proc/meminfo: memFree=27532316/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700822 s]
/proc/loadavg: 3.55 4.48 6.08 3/179 1558
/proc/meminfo: memFree=27532316/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50068 s]
/proc/loadavg: 3.55 4.48 6.08 4/181 1560
/proc/meminfo: memFree=27397532/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=227084 CPUtime=1.49 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 57841 0 0 0 140 9 0 0 25 0 1 0 519798992 232534016 49834 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917557648 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 56771 49835 304 389 0 52521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 235784
[startup+3.10039 s]
/proc/loadavg: 3.55 4.48 6.08 4/181 1560
/proc/meminfo: memFree=26987340/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=889812 CPUtime=3.09 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 223695 0 0 0 280 29 0 0 25 0 1 0 519798992 911167488 198558 33554432000 4194304 5787044 140734709413936 18446744073709551615 218905391813 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 222453 198560 331 389 0 218203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 898512
[startup+6.30086 s]
/proc/loadavg: 3.51 4.45 6.07 3/181 1560
/proc/meminfo: memFree=26305084/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=752816 CPUtime=6.28 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 332730 0 0 0 584 44 0 0 25 0 1 0 519798992 770883584 164285 33554432000 4194304 5787044 140734709413936 18446744073709551615 4318944 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 188204 164285 334 389 0 183954 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 761516
[startup+12.7007 s]
/proc/loadavg: 3.39 4.41 6.04 4/181 1561
/proc/meminfo: memFree=26868496/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=759360 CPUtime=12.69 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 334147 0 0 0 1224 45 0 0 25 0 1 0 519798992 777584640 165702 33554432000 4194304 5787044 140734709413936 18446744073709551615 4318959 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 189840 165702 334 389 0 185590 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 768060
[startup+25.5004 s]
/proc/loadavg: 3.23 4.33 5.99 4/181 1561
/proc/meminfo: memFree=26777056/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=852708 CPUtime=25.49 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 354647 0 0 0 2502 47 0 0 25 0 1 0 519798992 873172992 186202 33554432000 4194304 5787044 140734709413936 18446744073709551615 4330524 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 213177 186202 336 389 0 208927 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 861408
[startup+51.1007 s]
/proc/loadavg: 3.08 4.20 5.90 4/182 1563
/proc/meminfo: memFree=26760400/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=852708 CPUtime=51.09 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 354647 0 0 0 5062 47 0 0 25 0 1 0 519798992 873172992 186202 33554432000 4194304 5787044 140734709413936 18446744073709551615 4330490 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 213177 186202 336 389 0 208927 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 861408
[startup+102.306 s]
/proc/loadavg: 2.81 3.95 5.73 4/181 1572
/proc/meminfo: memFree=26738544/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=852708 CPUtime=102.3 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 354652 0 0 0 10183 47 0 0 25 0 1 0 519798992 873172992 186207 33554432000 4194304 5787044 140734709413936 18446744073709551615 4330542 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 213177 186207 336 389 0 208927 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 861408
[startup+162.301 s]
/proc/loadavg: 2.66 3.70 5.53 3/181 1574
/proc/meminfo: memFree=26719788/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=852708 CPUtime=162.29 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 354672 0 0 0 16182 47 0 0 25 0 1 0 519798992 873172992 186227 33554432000 4194304 5787044 140734709413936 18446744073709551615 4330524 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 213177 186227 336 389 0 208927 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 861408
[startup+222.301 s]
/proc/loadavg: 2.82 3.54 5.36 4/181 1575
/proc/meminfo: memFree=26696072/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=852708 CPUtime=222.3 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 354672 0 0 0 22183 47 0 0 25 0 1 0 519798992 873172992 186227 33554432000 4194304 5787044 140734709413936 18446744073709551615 4330542 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 213177 186227 336 389 0 208927 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 861408
[startup+282.301 s]
/proc/loadavg: 2.70 3.37 5.18 4/181 1580
/proc/meminfo: memFree=26695692/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=852708 CPUtime=282.29 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 354674 0 0 0 28182 47 0 0 25 0 1 0 519798992 873172992 186229 33554432000 4194304 5787044 140734709413936 18446744073709551615 4330511 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 213177 186229 336 389 0 208927 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 861408
[startup+342.301 s]
/proc/loadavg: 2.58 3.21 5.01 4/181 1582
/proc/meminfo: memFree=26689188/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=832224 CPUtime=342.29 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 361387 0 0 0 34181 48 0 0 25 0 1 0 519798992 852197376 180591 33554432000 4194304 5787044 140734709413936 18446744073709551615 4391211 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1559/statm: 208056 180591 336 389 0 203806 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 840924
[startup+402.301 s]
/proc/loadavg: 2.68 3.12 4.87 4/181 1583
/proc/meminfo: memFree=26587352/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=1559] ppid=1558 vsize=1361384 CPUtime=869.78 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 556514 0 0 0 86726 252 0 0 25 0 2 0 519798992 1394057216 294675 33554432000 4194304 5787044 140734709413936 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 340346 294675 390 389 0 336096 0
[pid=1559/tid=1587] ppid=1558 vsize=1361384 CPUtime=167.46 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2081 0 0 0 16605 141 0 0 18 0 2 0 519849568 1394057216 294675 33554432000 4194304 5787044 140734709413936 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 869.78
Current children cumulated vsize (KiB) 1370084
[startup+762.307 s]
/proc/loadavg: 3.60 3.41 4.41 5/182 1594
/proc/meminfo: memFree=26155616/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1369964 CPUtime=977.71 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 558596 0 0 0 97477 294 0 0 25 0 2 0 519798992 1402843136 296757 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917555055 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 342491 296757 390 389 0 338241 0
[pid=1559/tid=1587] ppid=1558 vsize=1369964 CPUtime=215.38 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2081 0 0 0 21381 157 0 0 18 0 2 0 519849568 1402843136 296757 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917554609 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 977.71
Current children cumulated vsize (KiB) 1378664
[startup+822.301 s]
/proc/loadavg: 3.61 3.46 4.37 4/182 1595
/proc/meminfo: memFree=26130916/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1371156 CPUtime=1085.64 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 558891 0 0 0 108227 337 0 0 25 0 2 0 519798992 1404063744 297052 33554432000 4194304 5787044 140734709413936 18446744073709551615 4213865 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 342789 297052 390 389 0 338539 0
[pid=1559/tid=1587] ppid=1558 vsize=1371156 CPUtime=263.33 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) S 1558 1558 1030 0 -1 4202560 2081 0 0 0 26159 174 0 0 18 0 2 0 519849568 1404063744 297052 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917554609 0 0 4096 0 18446604448284941248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1085.64
Current children cumulated vsize (KiB) 1379856
[startup+882.301 s]
/proc/loadavg: 3.49 3.46 4.31 4/182 1597
/proc/meminfo: memFree=26109052/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1380484 CPUtime=1193.19 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 561262 0 0 0 118944 375 0 0 25 0 2 0 519798992 1413615616 299423 33554432000 4194304 5787044 140734709413936 18446744073709551615 5526823 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 345121 299423 390 389 0 340871 0
[pid=1559/tid=1587] ppid=1558 vsize=1380484 CPUtime=310.86 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2081 0 0 0 30898 188 0 0 18 0 2 0 519849568 1413615616 299423 33554432000 4194304 5787044 140734709413936 18446744073709551615 5527202 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1193.19
Current children cumulated vsize (KiB) 1389184
[startup+942.301 s]
/proc/loadavg: 3.71 3.53 4.28 5/182 1598
/proc/meminfo: memFree=26108884/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1380484 CPUtime=1301.3 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 561266 0 0 0 129713 417 0 0 25 0 2 0 519798992 1413615616 299427 33554432000 4194304 5787044 140734709413936 18446744073709551615 5528386 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 345121 299427 390 389 0 340871 0
[pid=1559/tid=1587] ppid=1558 vsize=1380484 CPUtime=358.97 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) S 1558 1558 1030 0 -1 4202560 2081 0 0 0 35692 205 0 0 18 0 2 0 519849568 1413615616 299427 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917554609 0 0 4096 0 18446604448284941248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.3
Current children cumulated vsize (KiB) 1389184
[startup+1002.3 s]
/proc/loadavg: 3.69 3.56 4.24 5/182 1600
/proc/meminfo: memFree=26099052/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1390700 CPUtime=1409.42 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 563758 0 0 0 140487 455 0 0 25 0 2 0 519798992 1424076800 301919 33554432000 4194304 5787044 140734709413936 18446744073709551615 5527508 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 347675 301919 390 389 0 343425 0
[pid=1559/tid=1587] ppid=1558 vsize=1390700 CPUtime=407.09 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2151 0 0 0 40489 220 0 0 18 0 2 0 519849568 1424076800 301919 33554432000 4194304 5787044 140734709413936 18446744073709551615 5531849 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1409.42
Current children cumulated vsize (KiB) 1399400
[startup+1062.3 s]
/proc/loadavg: 3.60 3.56 4.20 4/182 1602
/proc/meminfo: memFree=26097784/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1390700 CPUtime=1517.09 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 564077 0 0 0 151215 494 0 0 25 0 2 0 519798992 1424076800 302238 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917555055 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 347675 302238 390 389 0 343425 0
[pid=1559/tid=1587] ppid=1558 vsize=1390700 CPUtime=454.76 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2169 0 0 0 45240 236 0 0 18 0 2 0 519849568 1424076800 302238 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917554609 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1517.09
Current children cumulated vsize (KiB) 1399400
[startup+1122.3 s]
/proc/loadavg: 3.65 3.58 4.16 5/182 1603
/proc/meminfo: memFree=26092796/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1394136 CPUtime=1625.09 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 565167 0 0 0 161977 532 0 0 25 0 2 0 519798992 1427595264 303328 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917555055 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 348534 303328 390 389 0 344284 0
[pid=1559/tid=1587] ppid=1558 vsize=1394136 CPUtime=502.76 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) S 1558 1558 1030 0 -1 4202560 2297 0 0 0 50025 251 0 0 18 0 2 0 519849568 1427595264 303328 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917554609 0 0 4096 0 18446604448284941248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1625.09
Current children cumulated vsize (KiB) 1402836
[startup+1182.3 s]
/proc/loadavg: 3.67 3.59 4.13 5/182 1605
/proc/meminfo: memFree=26071176/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1403904 CPUtime=1733.35 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 567720 0 0 0 172769 566 0 0 25 0 2 0 519798992 1437597696 305881 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917555055 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 350976 305881 390 389 0 346726 0
[pid=1559/tid=1587] ppid=1558 vsize=1403904 CPUtime=551.01 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2395 0 0 0 54837 264 0 0 18 0 2 0 519849568 1437597696 305881 33554432000 4194304 5787044 140734709413936 18446744073709551615 218917554609 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1733.35
Current children cumulated vsize (KiB) 1412604
[startup+1242.3 s]
/proc/loadavg: 3.66 3.60 4.10 5/182 1606
/proc/meminfo: memFree=26054036/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1403904 CPUtime=1841.84 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 567723 0 0 0 183580 604 0 0 25 0 2 0 519798992 1437597696 305884 33554432000 4194304 5787044 140734709413936 18446744073709551615 5531219 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 350976 305884 390 389 0 346726 0
[pid=1559/tid=1587] ppid=1558 vsize=1403904 CPUtime=599.5 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2398 0 0 0 59670 280 0 0 18 0 2 0 519849568 1437597696 305884 33554432000 4194304 5787044 140734709413936 18446744073709551615 5549536 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1841.84
Current children cumulated vsize (KiB) 1412604
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.72 3.63 4.07 5/182 1638
/proc/meminfo: memFree=26329332/32951124 swapFree=67111356/67111528
[pid=1558] ppid=1556 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/1558/stat : 1558 (prissup.sh) S 1556 1558 1030 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 519798992 8908800 252 33554432000 4194304 4922060 140733372571840 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/1558/statm: 2175 252 211 178 0 68 0
[pid=1559] ppid=1558 vsize=1403904 CPUtime=1945.6 cores=0,2,4,6
/proc/1559/stat : 1559 (priss) R 1558 1558 1030 0 -1 4202496 567747 0 0 0 193918 642 0 0 25 0 2 0 519798992 1437597696 305908 33554432000 4194304 5787044 140734709413936 18446744073709551615 5526895 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1559/statm: 350976 305908 390 389 0 346726 0
[pid=1559/tid=1587] ppid=1558 vsize=1403904 CPUtime=645.56 cores=0,2,4,6
/proc/1559/task/1587/stat : 1587 (priss) R 1558 1558 1030 0 -1 4202560 2420 0 0 0 64261 295 0 0 18 0 2 0 519849568 1437597696 305908 33554432000 4194304 5787044 140734709413936 18446744073709551615 5524737 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1945.6
Current children cumulated vsize (KiB) 1412604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1558 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1945.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1300.02
CPU time (s): 1945.6
CPU user time (s): 1939.18
CPU system time (s): 6.42
CPU usage (%): 149.66
Max. virtual memory (cumulated for all children) (KiB): 1412604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332
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= 5
involuntary context switches= 2
runsolver used 2.34464 second user time and 4.75328 second system time
The end