runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3698449-1338086244/watcher-3698449-1338086244 -o /tmp/evaluation-result-3698449-1338086244/solver-3698449-1338086244 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698449-1338086244.opb 311447701 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.02 2.01 2.00 3/179 11989
/proc/meminfo: memFree=27354168/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[startup+0.064116 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11989
/proc/meminfo: memFree=27354168/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11989
/proc/meminfo: memFree=27354168/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300283 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11989
/proc/meminfo: memFree=27354168/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11989
/proc/meminfo: memFree=27354168/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11991
/proc/meminfo: memFree=27338700/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=56468 CPUtime=1.49 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4202496 8884 0 0 0 147 2 0 0 20 0 1 0 274751346 57823232 11084 33554432000 4194304 5992684 140737438696848 140737438689416 4233022 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11990/statm: 14117 11084 161 440 0 13673 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65616
[startup+3.10035 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11991
/proc/meminfo: memFree=27260388/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=186452 CPUtime=3.09 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4202496 17914 0 0 0 303 6 0 0 20 0 1 0 274751346 190926848 40506 33554432000 4194304 5992684 140737438696848 140737438690808 4957503 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11990/statm: 46613 40507 161 440 0 46169 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 195600
[startup+6.30034 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 11991
/proc/meminfo: memFree=26997864/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=645008 CPUtime=6.29 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4202496 35553 0 0 0 612 17 0 0 20 0 1 0 274751346 660488192 100366 33554432000 4194304 5992684 140737438696848 140737438689272 4964368 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11990/statm: 161252 100366 161 440 0 160808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 654156
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 11991
/proc/meminfo: memFree=26485704/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=1299580 CPUtime=12.69 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4202496 69057 0 0 0 1235 34 0 0 20 0 1 0 274751346 1330769920 221506 33554432000 4194304 5992684 140737438696848 140737438691880 4524999 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11990/statm: 324895 221506 161 440 0 324451 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308728
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 11991
/proc/meminfo: memFree=25677524/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=2655144 CPUtime=25.48 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4202496 247663 0 0 0 2452 96 0 0 20 0 1 0 274751346 2718867456 414997 33554432000 4194304 5992684 140737438696848 140737438692056 4957503 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11990/statm: 663786 414997 162 440 0 663342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2664292
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 11991
/proc/meminfo: memFree=24146328/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=3303308 CPUtime=51.07 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4202496 636927 0 0 0 4906 201 0 0 20 0 1 0 274751346 3382587392 812521 33554432000 4194304 5992684 140737438696848 140737438672056 4571742 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11990/statm: 825827 812521 162 440 0 825383 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3312456
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11992
/proc/meminfo: memFree=20999628/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=6632508 CPUtime=102.25 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4202496 1402824 0 0 0 9798 427 0 0 20 0 1 0 274751346 6791688192 1592297 33554432000 4194304 5992684 140737438696848 140737438660568 4523474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11990/statm: 1658127 1592297 162 440 0 1657683 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 6641656
[startup+162.3 s]
/proc/loadavg: 3.23 2.30 2.10 2/182 11996
/proc/meminfo: memFree=11356468/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=130.9 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 869 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 130.9
Current children cumulated vsize (KiB) 11491248
[startup+222.3 s]
/proc/loadavg: 4.31 2.77 2.27 2/181 11996
/proc/meminfo: memFree=7967032/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=131.73 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 952 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 131.73
Current children cumulated vsize (KiB) 11491248
heavy processes:
%CPU=21 pid=11993 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 4.75 3.18 2.44 2/181 11996
/proc/meminfo: memFree=4398216/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.63 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1042 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.63
Current children cumulated vsize (KiB) 11491248
heavy processes:
%CPU=17 pid=11993 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 11990 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.90 3.51 2.60 2/181 11996
/proc/meminfo: memFree=4297596/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
heavy processes:
%CPU=12 pid=11993 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 11990 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+360.3 s]
/proc/loadavg: 4.92 3.58 2.64 2/181 11996
/proc/meminfo: memFree=4246820/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
[startup+373.1 s]
/proc/loadavg: 4.94 3.65 2.67 2/181 11996
/proc/meminfo: memFree=4319912/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
[startup+376.3 s]
/proc/loadavg: 4.94 3.65 2.67 2/181 11996
/proc/meminfo: memFree=4468268/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
[startup+377.9 s]
/proc/loadavg: 4.95 3.67 2.68 2/181 11996
/proc/meminfo: memFree=4466948/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
[startup+379.5 s]
/proc/loadavg: 4.95 3.67 2.68 2/181 11996
/proc/meminfo: memFree=4458508/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
[startup+379.9 s]
/proc/loadavg: 4.95 3.67 2.68 2/181 11996
/proc/meminfo: memFree=4458508/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
[startup+380.1 s]
/proc/loadavg: 4.95 3.67 2.68 2/181 11996
/proc/meminfo: memFree=4458508/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=11482100 CPUtime=132.66 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) S 11989 11989 5308 0 -1 4204032 1775160 0 0 0 12221 1045 0 0 20 0 1 0 274751346 11757670400 1969488 33554432000 4194304 5992684 140737438696848 140737438692504 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 2870525 1969488 212 440 0 2870081 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 11491248
[startup+380.2 s]
/proc/loadavg: 4.95 3.67 2.68 2/181 11996
/proc/meminfo: memFree=4458508/32873648 swapFree=6848/6848
[pid=11989] ppid=11987 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11989/stat : 11989 (npSolver-pbo-It) S 11987 11989 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274751346 9367552 275 33554432000 4194304 5064252 140736657270880 140736657269792 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11989/statm: 2287 275 233 213 0 72 0
[pid=11990] ppid=11989 vsize=0 CPUtime=132.74 cores=1,3,5,7
/proc/11990/stat : 11990 (npSolver-pbo) R 11989 11989 5308 0 -1 4204036 1775160 0 0 0 12221 1053 0 0 20 0 1 0 274751346 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11990/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 132.74
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 380.262
CPU time (s): 132.818
CPU user time (s): 122.217
CPU system time (s): 10.6004
CPU usage (%): 34.928
Max. virtual memory (cumulated for all children) (KiB): 15221796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.217
system time used= 10.6004
maximum resident set size= 11012004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1775535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1742439
involuntary context switches= 351
runsolver used 0.78888 second user time and 1.82972 second system time
The end