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-3292193-1304081023/watcher-3292193-1304081023 -o /tmp/evaluation-result-3292193-1304081023/solver-3292193-1304081023 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3292193-1304081023.cnf 216699731 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: 7.10 7.89 7.89 3/179 7605
/proc/meminfo: memFree=29750964/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0

[startup+0.106579 s]
/proc/loadavg: 7.10 7.89 7.89 3/179 7605
/proc/meminfo: memFree=29750964/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200563 s]
/proc/loadavg: 7.10 7.89 7.89 3/179 7605
/proc/meminfo: memFree=29750964/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300548 s]
/proc/loadavg: 7.10 7.89 7.89 3/179 7605
/proc/meminfo: memFree=29750964/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.7005 s]
/proc/loadavg: 7.10 7.89 7.89 3/179 7605
/proc/meminfo: memFree=29750964/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50037 s]
/proc/loadavg: 7.10 7.89 7.89 4/181 7607
/proc/meminfo: memFree=29735544/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=31964 CPUtime=1.49 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 5079 0 0 0 149 0 0 0 25 0 1 0 500517650 32731136 3858 33554432000 4194304 5787044 140734853150240 18446744073709551615 4336744 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7606/statm: 7991 3858 337 389 0 3741 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40664

[startup+3.10108 s]
/proc/loadavg: 7.10 7.89 7.89 4/181 7607
/proc/meminfo: memFree=29731452/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=38932 CPUtime=3.09 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 6840 0 0 0 308 1 0 0 25 0 1 0 500517650 39866368 5619 33554432000 4194304 5787044 140734853150240 18446744073709551615 254261310400 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7606/statm: 9733 5619 342 389 0 5483 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47632

[startup+6.30048 s]
/proc/loadavg: 6.85 7.83 7.87 5/182 7608
/proc/meminfo: memFree=29723560/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=115940 CPUtime=7.67 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 7656 0 0 0 749 18 0 0 19 0 2 0 500517650 118722560 6200 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7606/statm: 28985 6200 392 389 0 24735 0
[pid=7606/tid=7608] ppid=7605 vsize=115940 CPUtime=1.37 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 175 0 0 0 121 16 0 0 15 0 2 0 500518066 118722560 6200 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 124640

[startup+12.7003 s]
/proc/loadavg: 6.46 7.73 7.84 5/182 7609
/proc/meminfo: memFree=29718764/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=117508 CPUtime=18.17 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 8182 0 0 0 1757 60 0 0 25 0 2 0 500517650 120328192 6726 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7606/statm: 29377 6726 392 389 0 25127 0
[pid=7606/tid=7608] ppid=7605 vsize=117508 CPUtime=5.47 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 292 0 0 0 490 57 0 0 15 0 2 0 500518066 120328192 6726 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.17
Current children cumulated vsize (KiB) 126208

[startup+25.501 s]
/proc/loadavg: 5.77 7.51 7.77 4/182 7609
/proc/meminfo: memFree=29708220/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=120132 CPUtime=39.44 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 10084 0 0 0 3809 135 0 0 25 0 2 0 500517650 123015168 8627 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7606/statm: 30033 8627 392 389 0 25783 0
[pid=7606/tid=7608] ppid=7605 vsize=120132 CPUtime=13.94 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 448 0 0 0 1267 127 0 0 15 0 2 0 500518066 123015168 8627 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39.44
Current children cumulated vsize (KiB) 128832

[startup+51.1005 s]
/proc/loadavg: 4.81 7.15 7.64 4/182 7638
/proc/meminfo: memFree=29684676/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=132784 CPUtime=76.89 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 14596 0 0 0 7473 216 0 0 25 0 2 0 500517650 135970816 13137 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 33196 13137 392 389 0 28946 0
[pid=7606/tid=7608] ppid=7605 vsize=132784 CPUtime=25.8 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 586 0 0 0 2393 187 0 0 18 0 2 0 500518066 135970816 13137 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 76.89
Current children cumulated vsize (KiB) 141484

[startup+102.3 s]
/proc/loadavg: 4.07 6.59 7.42 5/182 7640
/proc/meminfo: memFree=29640232/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=153648 CPUtime=150.36 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 20050 0 0 0 14718 318 0 0 25 0 2 0 500517650 157335552 18334 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 38412 18334 392 389 0 34162 0
[pid=7606/tid=7608] ppid=7605 vsize=153648 CPUtime=48.06 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 744 0 0 0 4553 253 0 0 18 0 2 0 500518066 157335552 18334 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 150.36
Current children cumulated vsize (KiB) 162348

[startup+162.301 s]
/proc/loadavg: 3.55 5.99 7.16 5/182 7642
/proc/meminfo: memFree=29601528/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=172768 CPUtime=235.6 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 25189 0 0 0 23153 407 0 0 25 0 2 0 500517650 176914432 23473 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 43192 23473 392 389 0 38942 0
[pid=7606/tid=7608] ppid=7605 vsize=172768 CPUtime=73.3 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) S 7605 7605 4923 0 -1 4202560 1102 0 0 0 7028 302 0 0 18 0 2 0 500518066 176914432 23473 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 18446604453942575488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 235.6
Current children cumulated vsize (KiB) 181468

[startup+222.307 s]
/proc/loadavg: 3.64 5.58 6.94 6/182 7643
/proc/meminfo: memFree=29571496/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=185576 CPUtime=328.53 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 28901 0 0 0 32341 512 0 0 25 0 2 0 500517650 190029824 27185 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 46394 27185 392 389 0 42144 0
[pid=7606/tid=7608] ppid=7605 vsize=185576 CPUtime=106.22 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 1452 0 0 0 10250 372 0 0 15 0 2 0 500518066 190029824 27185 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 328.53
Current children cumulated vsize (KiB) 194276

[startup+282.3 s]
/proc/loadavg: 3.69 5.24 6.74 4/182 7645
/proc/meminfo: memFree=29551016/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=193076 CPUtime=434.16 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 31018 0 0 0 42744 672 0 0 25 0 2 0 500517650 197709824 29302 33554432000 4194304 5787044 140734853150240 18446744073709551615 5527008 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 48269 29302 392 389 0 44019 0
[pid=7606/tid=7608] ppid=7605 vsize=193076 CPUtime=151.86 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 1634 0 0 0 14668 518 0 0 15 0 2 0 500518066 197709824 29302 33554432000 4194304 5787044 140734853150240 18446744073709551615 5527037 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 434.16
Current children cumulated vsize (KiB) 201776


################
# More data... #
################


[startup+942.301 s]
/proc/loadavg: 3.52 3.79 5.14 5/182 7662
/proc/meminfo: memFree=29311420/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1601.4 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64509 0 0 0 158434 1706 0 0 25 0 2 0 500517650 325066752 61255 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61255 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=659.08 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 3915 0 0 0 64520 1388 0 0 15 0 2 0 500518066 325066752 61255 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 326148

[startup+1002.3 s]
/proc/loadavg: 3.58 3.76 5.05 5/182 7664
/proc/meminfo: memFree=29311264/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1698.22 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64522 0 0 0 168063 1759 0 0 25 0 2 0 500517650 325066752 61268 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61268 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=695.9 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 3928 0 0 0 68176 1414 0 0 15 0 2 0 500518066 325066752 61268 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1698.22
Current children cumulated vsize (KiB) 326148

[startup+1062.3 s]
/proc/loadavg: 3.41 3.68 4.94 5/182 7675
/proc/meminfo: memFree=29310140/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1796.65 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64606 0 0 0 177855 1810 0 0 25 0 2 0 500517650 325066752 61352 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61352 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=734.34 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 4010 0 0 0 71996 1438 0 0 15 0 2 0 500518066 325066752 61352 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 326148

[startup+1122.3 s]
/proc/loadavg: 3.56 3.66 4.85 5/182 7676
/proc/meminfo: memFree=29309116/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1896.12 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64743 0 0 0 187753 1859 0 0 25 0 2 0 500517650 325066752 61489 33554432000 4194304 5787044 140734853150240 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61489 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=773.8 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 4141 0 0 0 75920 1460 0 0 15 0 2 0 500518066 325066752 61489 33554432000 4194304 5787044 140734853150240 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1896.12
Current children cumulated vsize (KiB) 326148

Solver just ended. Dumping a history of the last processes samples

[startup+1126.4 s]
/proc/loadavg: 3.51 3.65 4.84 5/182 7676
/proc/meminfo: memFree=29309232/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1902.87 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64750 0 0 0 188427 1860 0 0 25 0 2 0 500517650 325066752 61496 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61496 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=776.46 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 4147 0 0 0 76185 1461 0 0 16 0 2 0 500518066 325066752 61496 33554432000 4194304 5787044 140734853150240 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1902.87
Current children cumulated vsize (KiB) 326148

[startup+1139.2 s]
/proc/loadavg: 3.51 3.64 4.82 5/182 7677
/proc/meminfo: memFree=29309100/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1924.24 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64790 0 0 0 190552 1872 0 0 25 0 2 0 500517650 325066752 61536 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61536 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=785.01 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 4186 0 0 0 77034 1467 0 0 16 0 2 0 500518066 325066752 61536 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1924.24
Current children cumulated vsize (KiB) 326148

[startup+1145.6 s]
/proc/loadavg: 3.43 3.62 4.80 5/182 7677
/proc/meminfo: memFree=29308976/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1934.92 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64806 0 0 0 191616 1876 0 0 25 0 2 0 500517650 325066752 61552 33554432000 4194304 5787044 140734853150240 18446744073709551615 5527407 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61552 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=789.31 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 4202 0 0 0 77461 1470 0 0 16 0 2 0 500518066 325066752 61552 33554432000 4194304 5787044 140734853150240 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1934.92
Current children cumulated vsize (KiB) 326148

[startup+1152 s]
/proc/loadavg: 3.48 3.63 4.80 5/182 7677
/proc/meminfo: memFree=29308728/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1945.59 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64825 0 0 0 192677 1882 0 0 25 0 2 0 500517650 325066752 61571 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61571 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=793.56 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) S 7605 7605 4923 0 -1 4202560 4221 0 0 0 77884 1472 0 0 16 0 2 0 500518066 325066752 61571 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 18446604453942575488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1945.59
Current children cumulated vsize (KiB) 326148

[startup+1155.2 s]
/proc/loadavg: 3.44 3.62 4.79 5/182 7677
/proc/meminfo: memFree=29308600/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1950.98 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64830 0 0 0 193214 1884 0 0 25 0 2 0 500517650 325066752 61576 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440623 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61576 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=795.76 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) R 7605 7605 4923 0 -1 4202560 4225 0 0 0 78103 1473 0 0 16 0 2 0 500518066 325066752 61576 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1950.98
Current children cumulated vsize (KiB) 326148

[startup+1156 s]
/proc/loadavg: 3.44 3.62 4.79 5/182 7677
/proc/meminfo: memFree=29308600/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1952.3 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64835 0 0 0 193345 1885 0 0 25 0 2 0 500517650 325066752 61581 33554432000 4194304 5787044 140734853150240 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61581 392 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=796.27 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) S 7605 7605 4923 0 -1 4202560 4229 0 0 0 78154 1473 0 0 16 0 2 0 500518066 325066752 61581 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 18446604453942575488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1952.3
Current children cumulated vsize (KiB) 326148

[startup+1156.4 s]
/proc/loadavg: 3.44 3.62 4.79 5/182 7677
/proc/meminfo: memFree=29308600/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1952.91 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64853 0 0 0 193405 1886 0 0 25 0 2 0 500517650 325066752 61599 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273423750 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61599 407 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=796.5 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) S 7605 7605 4923 0 -1 4202560 4232 0 0 0 78176 1474 0 0 15 0 2 0 500518066 325066752 61599 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 18446604453942575488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1952.91
Current children cumulated vsize (KiB) 326148

[startup+1156.6 s]
/proc/loadavg: 3.44 3.62 4.79 5/182 7677
/proc/meminfo: memFree=29308600/32951124 swapFree=67111348/67111528
[pid=7605] ppid=7603 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (prissup.sh) S 7603 7605 4923 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500517650 8908800 252 33554432000 4194304 4922060 140736784024624 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7605/statm: 2175 252 211 178 0 68 0
[pid=7606] ppid=7605 vsize=317448 CPUtime=1953.11 cores=0,2,4,6
/proc/7606/stat : 7606 (priss) R 7605 7605 4923 0 -1 4202496 64853 0 0 0 193425 1886 0 0 25 0 2 0 500517650 325066752 61599 33554432000 4194304 5787044 140734853150240 18446744073709551615 254261274386 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7606/statm: 79362 61599 407 389 0 75112 0
[pid=7606/tid=7608] ppid=7605 vsize=317448 CPUtime=796.5 cores=0,2,4,6
/proc/7606/task/7608/stat : 7608 (priss) S 7605 7605 4923 0 -1 4202560 4232 0 0 0 78176 1474 0 0 15 0 2 0 500518066 325066752 61599 33554432000 4194304 5787044 140734853150240 18446744073709551615 254273440177 0 0 4096 0 18446604453942575488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1953.11
Current children cumulated vsize (KiB) 326148

Child status: 10
Real time (s): 1156.68
CPU time (s): 1953.21
CPU user time (s): 1934.33
CPU system time (s): 18.8801
CPU usage (%): 168.862
Max. virtual memory (cumulated for all children) (KiB): 326148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1934.33
system time used= 18.8801
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65211
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= 15755701
involuntary context switches= 2621

runsolver used 2.02369 second user time and 4.28435 second system time

The end