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-3697664-1338101503/watcher-3697664-1338101503 -o /tmp/evaluation-result-3697664-1338101503/solver-3697664-1338101503 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697664-1338101503.opb 90240695 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: 3.01 2.80 3.31 2/178 27242
/proc/meminfo: memFree=16392088/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[startup+0.0263469 s]
/proc/loadavg: 3.01 2.80 3.31 2/178 27242
/proc/meminfo: memFree=16392088/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10014 s]
/proc/loadavg: 3.01 2.80 3.31 2/178 27242
/proc/meminfo: memFree=16392088/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300165 s]
/proc/loadavg: 3.01 2.80 3.31 2/178 27242
/proc/meminfo: memFree=16392088/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700167 s]
/proc/loadavg: 3.01 2.80 3.31 2/178 27242
/proc/meminfo: memFree=16392088/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 3.09 2.82 3.31 2/180 27244
/proc/meminfo: memFree=16344856/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=67648 CPUtime=1.48 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 5791 0 0 0 146 2 0 0 20 0 1 0 276278716 69271552 16517 33554432000 4194304 5992684 140737301448368 140737301444616 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 16912 16517 128 440 0 16468 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 76796
[startup+3.10017 s]
/proc/loadavg: 3.09 2.82 3.31 3/180 27244
/proc/meminfo: memFree=15809272/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=100420 CPUtime=3.09 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 6609 0 0 0 304 5 0 0 20 0 1 0 276278716 102830080 23977 33554432000 4194304 5992684 140737301448368 140737301444232 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 25105 23977 128 440 0 24661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109568
[startup+6.30019 s]
/proc/loadavg: 3.16 2.84 3.31 3/181 27245
/proc/meminfo: memFree=23054980/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=455292 CPUtime=6.29 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 13381 0 0 0 615 14 0 0 20 0 1 0 276278716 466219008 95833 33554432000 4194304 5992684 140737301448368 140737301444488 5044393 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 113823 95833 146 440 0 113379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 464440
[startup+12.7002 s]
/proc/loadavg: 3.23 2.85 3.32 3/181 27245
/proc/meminfo: memFree=21204756/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=796400 CPUtime=12.69 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 30163 0 0 0 1246 23 0 0 20 0 1 0 276278716 815513600 152342 33554432000 4194304 5992684 140737301448368 140737301444488 4809289 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 199100 152342 146 440 0 198656 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 805548
[startup+25.5002 s]
/proc/loadavg: 3.27 2.88 3.32 3/181 27245
/proc/meminfo: memFree=18203032/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=1259800 CPUtime=25.48 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 59210 0 0 0 2508 40 0 0 20 0 1 0 276278716 1290035200 276773 33554432000 4194304 5992684 140737301448368 140737301444104 4809163 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 314950 276773 146 440 0 314506 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1268948
[startup+51.1002 s]
/proc/loadavg: 3.58 2.98 3.34 3/180 27245
/proc/meminfo: memFree=12220340/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=3163896 CPUtime=51.08 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 99887 0 0 0 5018 90 0 0 20 0 1 0 276278716 3239829504 510262 33554432000 4194304 5992684 140737301448368 140737301444488 4374644 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 790974 510262 146 440 0 790530 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3173044
[startup+102.3 s]
/proc/loadavg: 2.80 2.87 3.28 3/180 27245
/proc/meminfo: memFree=9589688/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=5711108 CPUtime=102.27 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 296776 0 0 0 10031 196 0 0 20 0 1 0 276278716 5848174592 1287550 33554432000 4194304 5992684 140737301448368 140737301443720 4570181 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 1427777 1287550 158 440 0 1427333 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5720256
[startup+162.3 s]
/proc/loadavg: 2.29 2.71 3.20 3/180 27246
/proc/meminfo: memFree=3717124/32873648 swapFree=7108/7108
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 275 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 275 233 213 0 72 0
[pid=27243] ppid=27242 vsize=11239140 CPUtime=162.26 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4202496 634950 0 0 0 15844 382 0 0 20 0 1 0 276278716 11508879360 2737145 33554432000 4194304 5992684 140737301448368 140737301442488 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 2809785 2737146 158 440 0 2809341 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11248288
[startup+222.3 s]
/proc/loadavg: 2.70 2.71 3.16 2/181 27247
/proc/meminfo: memFree=212168/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=206.16 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 600 0 0 20 0 1 0 276278716 13794516992 3359502 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27243/statm: 3367802 3359502 214 440 0 3367358 0
Current children cumulated CPU time (s) 206.16
Current children cumulated vsize (KiB) 13480356
[startup+282.307 s]
/proc/loadavg: 4.76 3.30 3.34 2/181 27247
/proc/meminfo: memFree=163636/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=207.94 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 778 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 207.94
Current children cumulated vsize (KiB) 13480356
heavy processes:
%CPU=19 pid=27247 uid=0 cmd=
[startup+342.3 s]
/proc/loadavg: 5.75 3.85 3.52 2/181 27247
/proc/meminfo: memFree=194648/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=209.25 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 909 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 209.25
Current children cumulated vsize (KiB) 13480356
heavy processes:
%CPU=15 pid=27247 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 27243 6 506 18446744073709551615
[startup+402.3 s]
/proc/loadavg: 6.62 4.45 3.75 2/181 27247
/proc/meminfo: memFree=180224/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=209.58 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 942 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 209.58
Current children cumulated vsize (KiB) 13480356
heavy processes:
%CPU=12 pid=27247 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 27243 6 506 18446744073709551615
[startup+462.3 s]
/proc/loadavg: 6.49 4.83 3.92 2/181 27248
/proc/meminfo: memFree=207256/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.48 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1032 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.48
Current children cumulated vsize (KiB) 13480356
heavy processes:
%CPU=11 pid=27247 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 27243 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+465.8 s]
/proc/loadavg: 6.49 4.83 3.92 3/181 27248
/proc/meminfo: memFree=203292/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.59 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1043 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.59
Current children cumulated vsize (KiB) 13480356
[startup+491.4 s]
/proc/loadavg: 6.30 4.94 3.99 2/182 27249
/proc/meminfo: memFree=188520/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.64 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1048 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.64
Current children cumulated vsize (KiB) 13480356
[startup+504.2 s]
/proc/loadavg: 6.25 4.98 4.01 2/182 27249
/proc/meminfo: memFree=188152/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.64 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1048 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.64
Current children cumulated vsize (KiB) 13480356
[startup+507.4 s]
/proc/loadavg: 6.31 5.01 4.02 2/182 27249
/proc/meminfo: memFree=187764/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.64 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1048 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.64
Current children cumulated vsize (KiB) 13480356
[startup+509 s]
/proc/loadavg: 6.31 5.01 4.02 2/182 27249
/proc/meminfo: memFree=209992/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.64 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1048 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.64
Current children cumulated vsize (KiB) 13480356
[startup+510.6 s]
/proc/loadavg: 6.31 5.01 4.02 2/183 27250
/proc/meminfo: memFree=209736/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.64 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1048 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.64
Current children cumulated vsize (KiB) 13480356
[startup+511.4 s]
/proc/loadavg: 6.29 5.03 4.03 2/184 27251
/proc/meminfo: memFree=208736/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=13471208 CPUtime=210.64 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) S 27242 27242 25163 0 -1 4204032 1173930 0 0 0 20016 1048 0 0 20 0 1 0 276278716 13794516992 3359501 33554432000 4194304 5992684 140737301448368 140737301444024 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27243/statm: 3367802 3359501 213 440 0 3367358 0
Current children cumulated CPU time (s) 210.64
Current children cumulated vsize (KiB) 13480356
[startup+511.8 s]
/proc/loadavg: 6.29 5.03 4.03 2/184 27251
/proc/meminfo: memFree=208736/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=0 CPUtime=210.74 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4204036 1173930 0 0 0 20016 1058 0 0 20 0 1 0 276278716 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27243/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 210.74
Current children cumulated vsize (KiB) 9148
[startup+511.9 s]
/proc/loadavg: 6.29 5.03 4.03 2/184 27251
/proc/meminfo: memFree=208736/32873648 swapFree=7116/7116
[pid=27242] ppid=27240 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27242/stat : 27242 (npSolver-pbo-It) S 27240 27242 25163 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 276278716 9367552 271 33554432000 4194304 5064252 140737126802560 140737126801472 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27242/statm: 2287 271 229 213 0 72 0
[pid=27243] ppid=27242 vsize=0 CPUtime=210.84 cores=1,3,5,7
/proc/27243/stat : 27243 (npSolver-pbo) R 27242 27242 25163 0 -1 4204036 1173930 0 0 0 20016 1068 0 0 20 0 1 0 276278716 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27243/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 210.84
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 511.991
CPU time (s): 210.925
CPU user time (s): 200.168
CPU system time (s): 10.7574
CPU usage (%): 41.197
Max. virtual memory (cumulated for all children) (KiB): 14275448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.168
system time used= 10.7574
maximum resident set size= 13486704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1174306
page faults= 0
swaps= 0
block input operations= 8
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1799374
involuntary context switches= 266
runsolver used 0.879866 second user time and 2.54261 second system time
The end