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-3251072-1304086246/watcher-3251072-1304086246 -o /tmp/evaluation-result-3251072-1304086246/solver-3251072-1304086246 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3251072-1304086246.cnf 1078307638 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.70 3.67 3.60 3/179 2323
/proc/meminfo: memFree=24312340/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0

[startup+0.0433799 s]
/proc/loadavg: 3.70 3.67 3.60 3/179 2323
/proc/meminfo: memFree=24312340/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100343 s]
/proc/loadavg: 3.70 3.67 3.60 3/179 2323
/proc/meminfo: memFree=24312340/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300336 s]
/proc/loadavg: 3.70 3.67 3.60 3/179 2323
/proc/meminfo: memFree=24312340/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70026 s]
/proc/loadavg: 3.70 3.67 3.60 3/179 2323
/proc/meminfo: memFree=24312340/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50111 s]
/proc/loadavg: 3.70 3.67 3.60 3/181 2325
/proc/meminfo: memFree=24284672/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=44768 CPUtime=1.48 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 17856 0 0 0 148 0 0 0 25 0 1 0 598855126 45842432 7016 33554432000 4194304 5787044 140736918343984 18446744073709551615 4336664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2324/statm: 11192 7016 336 389 0 6942 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53468

[startup+3.10081 s]
/proc/loadavg: 3.70 3.67 3.60 4/181 2325
/proc/meminfo: memFree=24283680/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=44768 CPUtime=3.08 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 17856 0 0 0 308 0 0 0 25 0 1 0 598855126 45842432 7016 33554432000 4194304 5787044 140736918343984 18446744073709551615 4336664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2324/statm: 11192 7016 336 389 0 6942 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53468

[startup+6.30017 s]
/proc/loadavg: 3.64 3.66 3.59 4/181 2325
/proc/meminfo: memFree=24276116/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=46220 CPUtime=6.28 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 18232 0 0 0 628 0 0 0 25 0 1 0 598855126 47329280 7392 33554432000 4194304 5787044 140736918343984 18446744073709551615 4336781 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2324/statm: 11555 7392 337 389 0 7305 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 54920

[startup+12.701 s]
/proc/loadavg: 3.59 3.65 3.59 4/181 2325
/proc/meminfo: memFree=24273188/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=46220 CPUtime=12.69 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 18232 0 0 0 1269 0 0 0 25 0 1 0 598855126 47329280 7392 33554432000 4194304 5787044 140736918343984 18446744073709551615 4336749 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2324/statm: 11555 7392 337 389 0 7305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54920

[startup+25.5006 s]
/proc/loadavg: 3.46 3.61 3.58 4/181 2326
/proc/meminfo: memFree=24269212/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=50312 CPUtime=25.49 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 19280 0 0 0 2549 0 0 0 25 0 1 0 598855126 51519488 8440 33554432000 4194304 5787044 140736918343984 18446744073709551615 4336173 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2324/statm: 12578 8440 339 389 0 8328 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59012

[startup+51.1008 s]
/proc/loadavg: 3.51 3.61 3.58 3/182 2328
/proc/meminfo: memFree=24251880/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=142472 CPUtime=66.99 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 32179 0 0 0 6637 62 0 0 25 0 2 0 598855126 145891328 12957 33554432000 4194304 5787044 140736918343984 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 35618 12957 392 389 0 31368 0
[pid=2324/tid=2327] ppid=2323 vsize=142472 CPUtime=15.9 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 232 0 0 0 1534 56 0 0 15 0 2 0 598858178 145891328 12957 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 66.99
Current children cumulated vsize (KiB) 151172

[startup+102.306 s]
/proc/loadavg: 3.64 3.63 3.58 5/182 2329
/proc/meminfo: memFree=24234748/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=157884 CPUtime=158.37 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 36306 0 0 0 15659 178 0 0 25 0 2 0 598855126 161673216 17084 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 39471 17084 392 389 0 35221 0
[pid=2324/tid=2327] ppid=2323 vsize=157884 CPUtime=56.07 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 524 0 0 0 5445 162 0 0 15 0 2 0 598858178 161673216 17084 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 158.37
Current children cumulated vsize (KiB) 166584

[startup+162.301 s]
/proc/loadavg: 3.77 3.66 3.59 5/182 2330
/proc/meminfo: memFree=24219968/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=171572 CPUtime=266.92 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 39926 0 0 0 26405 287 0 0 25 0 2 0 598855126 175689728 20704 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 42893 20704 392 389 0 38643 0
[pid=2324/tid=2327] ppid=2323 vsize=171572 CPUtime=104.62 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 853 0 0 0 10203 259 0 0 15 0 2 0 598858178 175689728 20704 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 266.92
Current children cumulated vsize (KiB) 180272

[startup+222.301 s]
/proc/loadavg: 3.56 3.63 3.59 5/182 2332
/proc/meminfo: memFree=24201084/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=188268 CPUtime=376.1 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 44083 0 0 0 37234 376 0 0 25 0 2 0 598855126 192786432 24861 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 47067 24861 392 389 0 42817 0
[pid=2324/tid=2327] ppid=2323 vsize=188268 CPUtime=153.8 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 1132 0 0 0 15045 335 0 0 15 0 2 0 598858178 192786432 24861 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 376.1
Current children cumulated vsize (KiB) 196968

[startup+282.301 s]
/proc/loadavg: 3.73 3.66 3.60 5/182 2334
/proc/meminfo: memFree=24169696/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=189852 CPUtime=485.67 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 44658 0 0 0 48111 456 0 0 25 0 2 0 598855126 194408448 25436 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 47463 25436 392 389 0 43213 0
[pid=2324/tid=2327] ppid=2323 vsize=189852 CPUtime=203.36 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 1261 0 0 0 19933 403 0 0 15 0 2 0 598858178 194408448 25436 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 485.67
Current children cumulated vsize (KiB) 198552

[startup+342.301 s]
/proc/loadavg: 3.91 3.71 3.62 5/182 2335
/proc/meminfo: memFree=24123796/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0

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


[startup+402.301 s]
/proc/loadavg: 3.75 3.70 3.62 5/182 2337
/proc/meminfo: memFree=24089296/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=206160 CPUtime=705.87 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 49025 0 0 0 69991 596 0 0 25 0 2 0 598855126 211107840 29803 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 51540 29803 392 389 0 47290 0
[pid=2324/tid=2327] ppid=2323 vsize=206160 CPUtime=303.57 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 1537 0 0 0 29832 525 0 0 15 0 2 0 598858178 211107840 29803 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 705.87
Current children cumulated vsize (KiB) 214860

[startup+462.3 s]
/proc/loadavg: 3.78 3.72 3.63 5/182 2338
/proc/meminfo: memFree=24039664/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=224424 CPUtime=816.7 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 53996 0 0 0 81017 653 0 0 25 0 2 0 598855126 229810176 34774 33554432000 4194304 5787044 140736918343984 18446744073709551615 5531924 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 56106 34774 392 389 0 51856 0
[pid=2324/tid=2327] ppid=2323 vsize=224424 CPUtime=354.39 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 1861 0 0 0 34867 572 0 0 15 0 2 0 598858178 229810176 34774 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 816.7
Current children cumulated vsize (KiB) 233124

[startup+522.3 s]
/proc/loadavg: 3.52 3.66 3.62 5/182 2340
/proc/meminfo: memFree=24023160/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=926.89 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55470 0 0 0 91981 708 0 0 25 0 2 0 598855126 235401216 36248 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527482 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36248 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=404.59 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 1997 0 0 0 39840 619 0 0 15 0 2 0 598858178 235401216 36248 33554432000 4194304 5787044 140736918343984 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 926.89
Current children cumulated vsize (KiB) 238584

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

[startup+537.5 s]
/proc/loadavg: 3.55 3.66 3.62 4/182 2370
/proc/meminfo: memFree=24633248/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=954.95 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55473 0 0 0 94773 722 0 0 25 0 2 0 598855126 235401216 36251 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527037 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36251 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=417.45 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 1998 0 0 0 41114 631 0 0 15 0 2 0 598858178 235401216 36251 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527399 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 954.95
Current children cumulated vsize (KiB) 238584

[startup+550.301 s]
/proc/loadavg: 3.50 3.64 3.61 5/182 2371
/proc/meminfo: memFree=24623352/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=978.58 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55479 0 0 0 97123 735 0 0 25 0 2 0 598855126 235401216 36257 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36257 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=428.28 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 2003 0 0 0 42186 642 0 0 15 0 2 0 598858178 235401216 36257 33554432000 4194304 5787044 140736918343984 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 978.58
Current children cumulated vsize (KiB) 238584

[startup+556.701 s]
/proc/loadavg: 3.46 3.63 3.61 4/182 2371
/proc/meminfo: memFree=24620248/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=990.36 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55486 0 0 0 98295 741 0 0 25 0 2 0 598855126 235401216 36264 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527218 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36264 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=433.65 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 2009 0 0 0 42718 647 0 0 15 0 2 0 598858178 235401216 36264 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 990.36
Current children cumulated vsize (KiB) 238584

[startup+559.906 s]
/proc/loadavg: 3.43 3.62 3.61 5/182 2371
/proc/meminfo: memFree=24619816/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=996.27 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55488 0 0 0 98883 744 0 0 25 0 2 0 598855126 235401216 36266 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36266 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=436.36 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 2010 0 0 0 42987 649 0 0 15 0 2 0 598858178 235401216 36266 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 996.27
Current children cumulated vsize (KiB) 238584

[startup+563.101 s]
/proc/loadavg: 3.43 3.62 3.61 5/182 2371
/proc/meminfo: memFree=24619568/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=1002.15 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55491 0 0 0 99469 746 0 0 25 0 2 0 598855126 235401216 36269 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36269 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=439.05 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 2013 0 0 0 43254 651 0 0 15 0 2 0 598858178 235401216 36269 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1002.15
Current children cumulated vsize (KiB) 238584

[startup+563.901 s]
/proc/loadavg: 3.43 3.62 3.61 5/182 2371
/proc/meminfo: memFree=24619568/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=1003.62 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55491 0 0 0 99615 747 0 0 25 0 2 0 598855126 235401216 36269 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527716 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36269 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=439.71 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 2013 0 0 0 43320 651 0 0 15 0 2 0 598858178 235401216 36269 33554432000 4194304 5787044 140736918343984 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1003.62
Current children cumulated vsize (KiB) 238584

[startup+564.7 s]
/proc/loadavg: 3.47 3.63 3.61 5/182 2371
/proc/meminfo: memFree=24619444/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=1005.09 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55492 0 0 0 99761 748 0 0 25 0 2 0 598855126 235401216 36270 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889903 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36270 392 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=440.38 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) R 2323 2323 1375 0 -1 4202560 2014 0 0 0 43386 652 0 0 15 0 2 0 598858178 235401216 36270 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1005.09
Current children cumulated vsize (KiB) 238584

[startup+565.1 s]
/proc/loadavg: 3.47 3.63 3.61 5/182 2371
/proc/meminfo: memFree=24619444/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=1005.79 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55511 0 0 0 99830 749 0 0 18 0 2 0 598855126 235401216 36289 33554432000 4194304 5787044 140736918343984 18446744073709551615 252457723666 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36289 407 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=440.68 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) S 2323 2323 1375 0 -1 4202560 2015 0 0 0 43416 652 0 0 15 0 2 0 598858178 235401216 36289 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 18446604453873171200 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1005.79
Current children cumulated vsize (KiB) 238584

[startup+565.2 s]
/proc/loadavg: 3.47 3.63 3.61 5/182 2371
/proc/meminfo: memFree=24619444/32951124 swapFree=67111348/67111528
[pid=2323] ppid=2321 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2323/stat : 2323 (prissup.sh) S 2321 2323 1375 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 598855125 8908800 252 33554432000 4194304 4922060 140736207614912 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/2323/statm: 2175 252 211 178 0 68 0
[pid=2324] ppid=2323 vsize=229884 CPUtime=1005.89 cores=0,2,4,6
/proc/2324/stat : 2324 (priss) R 2323 2323 1375 0 -1 4202496 55511 0 0 0 99840 749 0 0 18 0 2 0 598855126 235401216 36289 33554432000 4194304 5787044 140736918343984 18446744073709551615 252457715090 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/2324/statm: 57471 36289 407 389 0 53221 0
[pid=2324/tid=2327] ppid=2323 vsize=229884 CPUtime=440.68 cores=0,2,4,6
/proc/2324/task/2327/stat : 2327 (priss) S 2323 2323 1375 0 -1 4202560 2015 0 0 0 43416 652 0 0 15 0 2 0 598858178 235401216 36289 33554432000 4194304 5787044 140736918343984 18446744073709551615 252469889457 0 0 4096 0 18446604453873171200 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1005.89
Current children cumulated vsize (KiB) 238584

Child status: 10
Real time (s): 565.214
CPU time (s): 1005.91
CPU user time (s): 998.415
CPU system time (s): 7.49886
CPU usage (%): 177.971
Max. virtual memory (cumulated for all children) (KiB): 238584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 998.415
system time used= 7.49886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55869
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= 4816668
involuntary context switches= 1898

runsolver used 1.08083 second user time and 1.9887 second system time

The end