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-3259390-1304046669/watcher-3259390-1304046669 -o /tmp/evaluation-result-3259390-1304046669/solver-3259390-1304046669 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3259390-1304046669.cnf 1699177424 4800 15500 4
running on 4 cores: 1,3,5,7
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.38 3.64 4.64 3/177 23976
/proc/meminfo: memFree=18311508/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[startup+0.022031 s]
/proc/loadavg: 3.38 3.64 4.64 3/177 23976
/proc/meminfo: memFree=18311508/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.101016 s]
/proc/loadavg: 3.38 3.64 4.64 3/177 23976
/proc/meminfo: memFree=18311508/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300982 s]
/proc/loadavg: 3.38 3.64 4.64 3/177 23976
/proc/meminfo: memFree=18311508/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700897 s]
/proc/loadavg: 3.38 3.64 4.64 3/177 23976
/proc/meminfo: memFree=18311508/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50074 s]
/proc/loadavg: 3.38 3.64 4.64 3/180 23979
/proc/meminfo: memFree=18290644/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=33728 CPUtime=1.49 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 10057 0 0 0 148 1 0 0 25 0 1 0 516263575 34537472 4384 33554432000 4194304 5787044 140735734560592 18446744073709551615 4336254 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23978/statm: 8432 4384 337 389 0 4182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42428
[startup+3.10042 s]
/proc/loadavg: 3.38 3.64 4.64 5/181 23980
/proc/meminfo: memFree=18286344/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=33728 CPUtime=3.09 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 10057 0 0 0 308 1 0 0 25 0 1 0 516263575 34537472 4384 33554432000 4194304 5787044 140735734560592 18446744073709551615 18446744073699065955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23978/statm: 8432 4384 337 389 0 4182 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42428
[startup+6.3008 s]
/proc/loadavg: 3.27 3.61 4.62 4/181 23980
/proc/meminfo: memFree=18282000/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=36104 CPUtime=6.29 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 10663 0 0 0 628 1 0 0 25 0 1 0 516263575 36970496 4990 33554432000 4194304 5787044 140735734560592 18446744073709551615 4336808 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23978/statm: 9026 4990 339 389 0 4776 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44804
[startup+12.7005 s]
/proc/loadavg: 3.25 3.60 4.62 5/182 23981
/proc/meminfo: memFree=18269324/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=121572 CPUtime=15.68 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 17399 0 0 0 1498 70 0 0 25 0 2 0 516263575 124489728 7524 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 30393 7524 392 389 0 26143 0
[pid=23978/tid=23981] ppid=23976 vsize=121572 CPUtime=2.98 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) S 23976 23976 22756 0 -1 4202560 163 0 0 0 239 59 0 0 15 0 2 0 516264422 124489728 7524 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 18446604463505056832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 15.68
Current children cumulated vsize (KiB) 130272
[startup+25.5009 s]
/proc/loadavg: 3.11 3.55 4.58 5/182 23981
/proc/meminfo: memFree=18255072/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=131376 CPUtime=37.67 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 19985 0 0 0 3502 265 0 0 25 0 2 0 516263575 134529024 10110 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 32844 10110 392 389 0 28594 0
[pid=23978/tid=23981] ppid=23976 vsize=131376 CPUtime=12.16 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) S 23976 23976 22756 0 -1 4202560 306 0 0 0 989 227 0 0 15 0 2 0 516264422 134529024 10110 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 18446604463505056832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 37.67
Current children cumulated vsize (KiB) 140076
[startup+51.1009 s]
/proc/loadavg: 3.21 3.54 4.55 5/182 23982
/proc/meminfo: memFree=18228804/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=141876 CPUtime=81.55 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 22757 0 0 0 7514 641 0 0 25 0 2 0 516263575 145281024 12882 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 35469 12882 392 389 0 31219 0
[pid=23978/tid=23981] ppid=23976 vsize=141876 CPUtime=30.45 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 514 0 0 0 2499 546 0 0 16 0 2 0 516264422 145281024 12882 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 81.55
Current children cumulated vsize (KiB) 150576
[startup+102.307 s]
/proc/loadavg: 3.33 3.52 4.49 5/182 23983
/proc/meminfo: memFree=18189844/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=162964 CPUtime=170.1 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 28233 0 0 0 15671 1339 0 0 25 0 2 0 516263575 166875136 18358 33554432000 4194304 5787044 140735734560592 18446744073709551615 5530953 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 40741 18358 392 389 0 36491 0
[pid=23978/tid=23981] ppid=23976 vsize=162964 CPUtime=67.79 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) S 23976 23976 22756 0 -1 4202560 816 0 0 0 5640 1139 0 0 15 0 2 0 516264422 166875136 18358 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 18446604463505056832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 170.1
Current children cumulated vsize (KiB) 171664
[startup+162.301 s]
/proc/loadavg: 3.49 3.53 4.43 4/182 23985
/proc/meminfo: memFree=18158072/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=184736 CPUtime=274.94 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 33871 0 0 0 25473 2021 0 0 25 0 2 0 516263575 189169664 23996 33554432000 4194304 5787044 140735734560592 18446744073709551615 5527227 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 46184 23996 392 389 0 41934 0
[pid=23978/tid=23981] ppid=23976 vsize=184736 CPUtime=112.64 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 1134 0 0 0 9559 1705 0 0 15 0 2 0 516264422 189169664 23996 33554432000 4194304 5787044 140735734560592 18446744073709551615 5528404 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 274.94
Current children cumulated vsize (KiB) 193436
[startup+222.301 s]
/proc/loadavg: 3.51 3.51 4.36 6/182 23987
/proc/meminfo: memFree=18122700/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=204952 CPUtime=381.12 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 39160 0 0 0 35885 2227 0 0 25 0 2 0 516263575 209870848 29285 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 51238 29285 392 389 0 46988 0
[pid=23978/tid=23981] ppid=23976 vsize=204952 CPUtime=158.81 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 1373 0 0 0 14053 1828 0 0 15 0 2 0 516264422 209870848 29285 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 381.12
Current children cumulated vsize (KiB) 213652
[startup+282.301 s]
/proc/loadavg: 3.46 3.49 4.30 6/182 23988
/proc/meminfo: memFree=18097748/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=212072 CPUtime=487.54 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 41118 0 0 0 46328 2426 0 0 25 0 2 0 516263575 217161728 31243 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 53018 31243 392 389 0 48768 0
[pid=23978/tid=23981] ppid=23976 vsize=212072 CPUtime=205.22 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 1543 0 0 0 18575 1947 0 0 15 0 2 0 516264422 217161728 31243 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 487.54
Current children cumulated vsize (KiB) 220772
[startup+342.301 s]
/proc/loadavg: 3.61 3.52 4.26 6/182 23990
################
# More data... #
################
[pid=23978] ppid=23976 vsize=330340 CPUtime=1243.28 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 72416 0 0 0 120822 3506 0 0 25 0 2 0 516263575 338268160 62028 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 82585 62028 392 389 0 78335 0
[pid=23978/tid=23981] ppid=23976 vsize=330340 CPUtime=540.95 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 2818 0 0 0 51506 2589 0 0 15 0 2 0 516264422 338268160 62028 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.28
Current children cumulated vsize (KiB) 339040
[startup+762.307 s]
/proc/loadavg: 3.51 3.60 4.02 6/182 24001
/proc/meminfo: memFree=17909532/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=330340 CPUtime=1351.77 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 72452 0 0 0 131532 3645 0 0 25 0 2 0 516263575 338268160 62064 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/23978/statm: 82585 62064 392 389 0 78335 0
[pid=23978/tid=23981] ppid=23976 vsize=330340 CPUtime=589.43 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 2854 0 0 0 56272 2671 0 0 16 0 2 0 516264422 338268160 62064 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1351.77
Current children cumulated vsize (KiB) 339040
[startup+822.3 s]
/proc/loadavg: 3.63 3.62 4.00 6/182 24003
/proc/meminfo: memFree=17909128/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=330340 CPUtime=1460.75 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 72531 0 0 0 142299 3776 0 0 25 0 2 0 516263575 338268160 62143 33554432000 4194304 5787044 140735734560592 18446744073709551615 5527540 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 82585 62143 392 389 0 78335 0
[pid=23978/tid=23981] ppid=23976 vsize=330340 CPUtime=638.41 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) S 23976 23976 22756 0 -1 4202560 2933 0 0 0 61089 2752 0 0 15 0 2 0 516264422 338268160 62143 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 18446604463505056832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1460.75
Current children cumulated vsize (KiB) 339040
[startup+882.3 s]
/proc/loadavg: 3.64 3.62 3.98 6/182 24004
/proc/meminfo: memFree=17904008/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=334440 CPUtime=1569.99 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 73784 0 0 0 153109 3890 0 0 25 0 2 0 516263575 342466560 63396 33554432000 4194304 5787044 140735734560592 18446744073709551615 5533080 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 83610 63396 392 389 0 79360 0
[pid=23978/tid=23981] ppid=23976 vsize=334440 CPUtime=687.66 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 3107 0 0 0 65944 2822 0 0 15 0 2 0 516264422 342466560 63396 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1569.99
Current children cumulated vsize (KiB) 343140
[startup+942.3 s]
/proc/loadavg: 3.68 3.63 3.96 6/182 24006
/proc/meminfo: memFree=17873592/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=367344 CPUtime=1679.65 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 82418 0 0 0 163958 4007 0 0 25 0 2 0 516263575 376160256 71005 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 91836 71005 392 389 0 87586 0
[pid=23978/tid=23981] ppid=23976 vsize=367344 CPUtime=737.31 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 3316 0 0 0 70841 2890 0 0 16 0 2 0 516264422 376160256 71005 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1679.65
Current children cumulated vsize (KiB) 376044
[startup+1002.3 s]
/proc/loadavg: 3.79 3.66 3.95 5/182 24007
/proc/meminfo: memFree=17838840/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=400108 CPUtime=1789.48 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 90916 0 0 0 174829 4119 0 0 25 0 2 0 516263575 409710592 79503 33554432000 4194304 5787044 140735734560592 18446744073709551615 5527008 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 100027 79503 392 389 0 95777 0
[pid=23978/tid=23981] ppid=23976 vsize=400108 CPUtime=787.15 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) S 23976 23976 22756 0 -1 4202560 3533 0 0 0 75759 2956 0 0 16 0 2 0 516264422 409710592 79503 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 18446604463505056832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (KiB) 408808
[startup+1062.3 s]
/proc/loadavg: 3.59 3.63 3.91 5/182 24009
/proc/meminfo: memFree=17819836/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=407572 CPUtime=1897.91 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 92435 0 0 0 185548 4243 0 0 25 0 2 0 516263575 417353728 81022 33554432000 4194304 5787044 140735734560592 18446744073709551615 5526823 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 101893 81022 392 389 0 97643 0
[pid=23978/tid=23981] ppid=23976 vsize=407572 CPUtime=835.58 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 3576 0 0 0 80527 3031 0 0 16 0 2 0 516264422 417353728 81022 33554432000 4194304 5787044 140735734560592 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1897.91
Current children cumulated vsize (KiB) 416272
[startup+1122.3 s]
/proc/loadavg: 3.70 3.66 3.90 6/182 24011
/proc/meminfo: memFree=17811268/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=407572 CPUtime=2007.04 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 92459 0 0 0 196340 4364 0 0 25 0 2 0 516263575 417353728 81046 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 101893 81046 392 389 0 97643 0
[pid=23978/tid=23981] ppid=23976 vsize=407572 CPUtime=884.7 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 3600 0 0 0 85370 3100 0 0 16 0 2 0 516264422 417353728 81046 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2007.04
Current children cumulated vsize (KiB) 416272
[startup+1182.3 s]
/proc/loadavg: 3.78 3.69 3.90 5/182 24012
/proc/meminfo: memFree=17797344/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=407572 CPUtime=2116.61 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 92499 0 0 0 207186 4475 0 0 25 0 2 0 516263575 417353728 81086 33554432000 4194304 5787044 140735734560592 18446744073709551615 5526823 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/23978/statm: 101893 81086 392 389 0 97643 0
[pid=23978/tid=23981] ppid=23976 vsize=407572 CPUtime=934.26 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) R 23976 23976 22756 0 -1 4202560 3640 0 0 0 90260 3166 0 0 16 0 2 0 516264422 417353728 81086 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2116.61
Current children cumulated vsize (KiB) 416272
[startup+1242.3 s]
/proc/loadavg: 3.85 3.73 3.90 6/182 24014
/proc/meminfo: memFree=17787392/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=407572 CPUtime=2226.18 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 92562 0 0 0 218041 4577 0 0 25 0 2 0 516263575 417353728 81149 33554432000 4194304 5787044 140735734560592 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23978/statm: 101893 81149 392 389 0 97643 0
[pid=23978/tid=23981] ppid=23976 vsize=407572 CPUtime=983.84 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) S 23976 23976 22756 0 -1 4202560 3701 0 0 0 95158 3226 0 0 16 0 2 0 516264422 417353728 81149 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 18446604463505056832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2226.18
Current children cumulated vsize (KiB) 416272
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.88 3.76 3.90 5/182 24015
/proc/meminfo: memFree=17786872/32950928 swapFree=67111528/67111528
[pid=23976] ppid=23974 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (prissup.sh) S 23974 23976 22756 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 516263575 8908800 251 33554432000 4194304 4922060 140736984752048 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/23976/statm: 2175 251 211 178 0 68 0
[pid=23978] ppid=23976 vsize=407572 CPUtime=2331.71 cores=1,3,5,7
/proc/23978/stat : 23978 (priss) R 23976 23976 22756 0 -1 4202496 92654 0 0 0 228496 4675 0 0 25 0 2 0 516263575 417353728 81241 33554432000 4194304 5787044 140735734560592 18446744073709551615 5527998 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/23978/statm: 101893 81241 392 389 0 97643 0
[pid=23978/tid=23981] ppid=23976 vsize=407572 CPUtime=1031.66 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (priss) S 23976 23976 22756 0 -1 4202560 3790 0 0 0 99885 3281 0 0 16 0 2 0 516264422 417353728 81241 33554432000 4194304 5787044 140735734560592 18446744073709551615 254512515505 0 0 4096 0 18446604463505056832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2331.71
Current children cumulated vsize (KiB) 416272
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 23976 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 2331.71
#
# 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): 2331.71
CPU user time (s): 2284.96
CPU system time (s): 46.75
CPU usage (%): 179.36
Max. virtual memory (cumulated for all children) (KiB): 416272
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= 330
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= 4
involuntary context switches= 2
runsolver used 2.0037 second user time and 5.07623 second system time
The end