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-3751731-1339174015/watcher-3751731-1339174015 -o /tmp/evaluation-result-3751731-1339174015/solver-3751731-1339174015 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751731-1339174015.opb 433849589 HOME HOME
running on 4 cores: 0,2,4,6
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.00 2.01 2.00 3/177 16775
/proc/meminfo: memFree=29987756/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[startup+0.0853761 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16775
/proc/meminfo: memFree=29987756/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100175 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16775
/proc/meminfo: memFree=29987756/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300146 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16775
/proc/meminfo: memFree=29987756/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700141 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16775
/proc/meminfo: memFree=29987756/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16777
/proc/meminfo: memFree=29818724/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=146308 CPUtime=1.49 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4202496 16304 0 0 0 144 5 0 0 20 0 1 0 383527508 149819392 33309 33554432000 4194304 6004724 140734296640912 140734296636936 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 36577 33309 130 442 0 36131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155456
[startup+3.10019 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 16777
/proc/meminfo: memFree=29577532/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=324736 CPUtime=3.09 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4202496 37253 0 0 0 297 12 0 0 20 0 1 0 383527508 332529664 79247 33554432000 4194304 6004724 140734296640912 140734296636488 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 81184 79248 130 442 0 80738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 333884
[startup+6.30019 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 16777
/proc/meminfo: memFree=28784980/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=895492 CPUtime=6.29 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4202496 82958 0 0 0 600 29 0 0 20 0 1 0 383527508 916983808 174325 33554432000 4194304 6004724 140734296640912 140734296636936 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 223873 174325 130 442 0 223427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 904640
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16777
/proc/meminfo: memFree=27603132/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=1762320 CPUtime=12.69 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4202496 169497 0 0 0 1213 56 0 0 20 0 1 0 383527508 1804615680 325504 33554432000 4194304 6004724 140734296640912 140734296636488 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 440580 325504 130 442 0 440134 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1771468
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16777
/proc/meminfo: memFree=25118264/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=3045844 CPUtime=25.49 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4202496 342442 0 0 0 2443 106 0 0 20 0 1 0 383527508 3118944256 690842 33554432000 4194304 6004724 140734296640912 140734296635512 5055511 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 761461 690842 162 442 0 761015 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3054992
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16777
/proc/meminfo: memFree=21227400/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=6192332 CPUtime=51.08 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4202496 346151 0 0 0 4929 179 0 0 20 0 1 0 383527508 6340947968 1182553 33554432000 4194304 6004724 140734296640912 140734296635512 4779815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 1548083 1182553 163 442 0 1547637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6201480
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16777
/proc/meminfo: memFree=12842700/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10386636 CPUtime=102.28 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4202496 350720 0 0 0 9915 313 0 0 20 0 1 0 383527508 10635915264 2211673 33554432000 4194304 6004724 140734296640912 140734296635512 4536049 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2596659 2211673 163 442 0 2596213 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10395784
[startup+162.3 s]
/proc/loadavg: 3.08 2.28 2.09 1/181 16779
/proc/meminfo: memFree=2616396/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=134.62 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) D 16775 16775 16392 0 -1 4204032 361709 0 21 0 13086 376 0 0 20 0 1 0 383527508 10703024128 2599948 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071581216301 0 0 17 2 0 0 2564 0 0
/proc/16776/statm: 2613043 2599948 220 442 0 2612597 0
Current children cumulated CPU time (s) 134.62
Current children cumulated vsize (KiB) 10461320
[startup+222.3 s]
/proc/loadavg: 4.32 2.81 2.28 1/182 16783
/proc/meminfo: memFree=1597892/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=134.85 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) D 16775 16775 16392 0 -1 4204032 361874 0 47 0 13086 399 0 0 20 0 1 0 383527508 10703024128 2600131 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071581216301 0 0 17 6 0 0 6290 0 0
/proc/16776/statm: 2613043 2600131 220 442 0 2612597 0
Current children cumulated CPU time (s) 134.85
Current children cumulated vsize (KiB) 10461320
heavy processes:
%CPU=12 pid=16778 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 4.17 3.02 2.38 1/181 16783
/proc/meminfo: memFree=213344/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=135.47 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 461 0 0 20 0 1 0 383527508 10703024128 2600243 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600243 220 442 0 2612597 0
Current children cumulated CPU time (s) 135.47
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.81 3.41 2.56 3/181 16783
/proc/meminfo: memFree=203776/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=136.5 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 564 0 0 20 0 1 0 383527508 10703024128 2600242 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600242 219 442 0 2612597 0
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (KiB) 10461320
heavy processes:
[startup+402.3 s]
/proc/loadavg: 5.05 3.72 2.71 1/181 16783
/proc/meminfo: memFree=243076/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=136.5 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 564 0 0 20 0 1 0 383527508 10703024128 2600242 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600242 219 442 0 2612597 0
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (KiB) 10461320
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+404.2 s]
/proc/loadavg: 5.04 3.74 2.72 1/181 16783
/proc/meminfo: memFree=244564/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=136.5 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 564 0 0 20 0 1 0 383527508 10703024128 2600242 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600242 219 442 0 2612597 0
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (KiB) 10461320
[startup+405.8 s]
/proc/loadavg: 5.04 3.74 2.72 1/181 16783
/proc/meminfo: memFree=245680/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=136.5 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 564 0 0 20 0 1 0 383527508 10703024128 2600242 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600242 219 442 0 2612597 0
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (KiB) 10461320
[startup+406.6 s]
/proc/loadavg: 5.04 3.74 2.72 1/181 16783
/proc/meminfo: memFree=245680/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=136.5 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 564 0 0 20 0 1 0 383527508 10703024128 2600242 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600242 219 442 0 2612597 0
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (KiB) 10461320
[startup+407.006 s]
/proc/loadavg: 5.04 3.74 2.72 1/181 16783
/proc/meminfo: memFree=245804/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=136.5 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 564 0 0 20 0 1 0 383527508 10703024128 2600242 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600242 219 442 0 2612597 0
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (KiB) 10461320
[startup+407.4 s]
/proc/loadavg: 5.04 3.74 2.72 1/181 16783
/proc/meminfo: memFree=245804/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=10452172 CPUtime=136.5 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) S 16775 16775 16392 0 -1 4204032 361979 0 54 0 13086 564 0 0 20 0 1 0 383527508 10703024128 2600242 33554432000 4194304 6004724 140734296640912 140734296636584 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 2613043 2600242 219 442 0 2612597 0
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (KiB) 10461320
[startup+407.5 s]
/proc/loadavg: 5.04 3.74 2.72 1/181 16783
/proc/meminfo: memFree=245804/32873648 swapFree=7628/7628
[pid=16775] ppid=16773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16775/stat : 16775 (npSolver-pbo-It) S 16773 16775 16392 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383527508 9367552 275 33554432000 4194304 5064252 140734651442512 140734651441424 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16775/statm: 2287 275 233 213 0 72 0
[pid=16776] ppid=16775 vsize=0 CPUtime=136.56 cores=0,2,4,6
/proc/16776/stat : 16776 (npSolver-pbo) R 16775 16775 16392 0 -1 4204036 361979 0 54 0 13086 570 0 0 20 0 1 0 383527508 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 7217 0 0
/proc/16776/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.56
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 407.556
CPU time (s): 136.625
CPU user time (s): 130.867
CPU system time (s): 5.75812
CPU usage (%): 33.523
Max. virtual memory (cumulated for all children) (KiB): 14590088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.867
system time used= 5.75812
maximum resident set size= 10400972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362354
page faults= 54
swaps= 0
block input operations= 3336
block output operations= 59968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 752128
involuntary context switches= 170
runsolver used 0.596909 second user time and 1.67274 second system time
The end