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-3750148-1339177492/watcher-3750148-1339177492 -o /tmp/evaluation-result-3750148-1339177492/solver-3750148-1339177492 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750148-1339177492.opb 884761810 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: 4.03 2.63 2.22 2/180 10938
/proc/meminfo: memFree=24583900/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[startup+0.00786389 s]
/proc/loadavg: 4.03 2.63 2.22 2/180 10938
/proc/meminfo: memFree=24583900/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100287 s]
/proc/loadavg: 4.03 2.63 2.22 2/180 10938
/proc/meminfo: memFree=24583900/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300309 s]
/proc/loadavg: 4.03 2.63 2.22 2/180 10938
/proc/meminfo: memFree=24583900/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 4.03 2.63 2.22 2/180 10938
/proc/meminfo: memFree=24583900/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 4.03 2.63 2.22 3/182 10940
/proc/meminfo: memFree=24453328/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=215772 CPUtime=1.49 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4202496 24812 0 0 0 142 7 0 0 20 0 1 0 383875632 220950528 38926 33554432000 4194304 6004724 140736021412688 140736021408200 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 53943 38927 130 442 0 53497 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 224920
[startup+3.1003 s]
/proc/loadavg: 4.02 2.65 2.23 3/182 10940
/proc/meminfo: memFree=24306644/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=435284 CPUtime=3.08 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4202496 47550 0 0 0 294 14 0 0 20 0 1 0 383875632 445730816 80506 33554432000 4194304 6004724 140736021412688 140736021408584 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 108821 80506 130 442 0 108375 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 444432
[startup+6.30032 s]
/proc/loadavg: 4.02 2.65 2.23 3/182 10943
/proc/meminfo: memFree=27222708/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=935784 CPUtime=6.28 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4202496 110533 0 0 0 601 27 0 0 20 0 1 0 383875632 958242816 187946 33554432000 4194304 6004724 140736021412688 140736021408328 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 233946 187950 130 442 0 233500 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 944932
[startup+12.7003 s]
/proc/loadavg: 4.02 2.69 2.24 3/182 10943
/proc/meminfo: memFree=25113088/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=1422244 CPUtime=12.69 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4202496 168230 0 0 0 1222 47 0 0 20 0 1 0 383875632 1456377856 328895 33554432000 4194304 6004724 140736021412688 140736021407496 4534761 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 355561 328895 163 442 0 355115 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1431392
[startup+25.5003 s]
/proc/loadavg: 3.71 2.67 2.24 3/182 10943
/proc/meminfo: memFree=22997672/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=2995108 CPUtime=25.49 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4202496 170467 0 0 0 2464 85 0 0 20 0 1 0 383875632 3066990592 557759 33554432000 4194304 6004724 140736021412688 140736021407848 4534738 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 748777 557759 163 442 0 748331 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3004256
[startup+51.1003 s]
/proc/loadavg: 3.12 2.61 2.23 3/182 10943
/proc/meminfo: memFree=21055184/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=5092260 CPUtime=51.08 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4202496 172956 0 0 0 4962 146 0 0 20 0 1 0 383875632 5214474240 1046207 33554432000 4194304 6004724 140736021412688 140736021407496 5055529 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 1273065 1046207 163 442 0 1272619 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5101408
[startup+102.306 s]
/proc/loadavg: 2.45 2.51 2.22 3/181 10943
/proc/meminfo: memFree=16907316/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9286564 CPUtime=102.28 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4202496 177515 0 0 0 9948 280 0 0 20 0 1 0 383875632 9509441536 2070207 33554432000 4194304 6004724 140736021412688 140736021407848 4617296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 2321641 2070207 163 442 0 2321195 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 9295712
[startup+162.3 s]
/proc/loadavg: 3.72 2.81 2.33 3/182 10944
/proc/meminfo: memFree=7757884/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=126.54 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 603 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.54
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=37 pid=10944 uid=0 cmd=
[startup+222.3 s]
/proc/loadavg: 4.57 3.22 2.50 2/182 10945
/proc/meminfo: memFree=4876284/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.14 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 663 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.14
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=20 pid=10944 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10939 6 506 18446744073709551615
[startup+282.307 s]
/proc/loadavg: 5.01 3.59 2.67 2/182 10945
/proc/meminfo: memFree=2100736/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.43 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 692 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.43
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=16 pid=10944 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10939 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 5.03 3.86 2.82 2/183 10948
/proc/meminfo: memFree=771948/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=13 pid=10944 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10939 6 506 18446744073709551615
[startup+402.3 s]
/proc/loadavg: 5.22 4.13 2.98 2/182 10948
/proc/meminfo: memFree=754696/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=10 pid=10944 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 10939 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+411.3 s]
/proc/loadavg: 5.28 4.16 3.00 2/182 10948
/proc/meminfo: memFree=754572/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
[startup+417.7 s]
/proc/loadavg: 5.24 4.19 3.02 2/182 10948
/proc/meminfo: memFree=754820/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
[startup+424.1 s]
/proc/loadavg: 5.22 4.20 3.03 2/182 10948
/proc/meminfo: memFree=755316/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
[startup+427.3 s]
/proc/loadavg: 5.22 4.20 3.03 2/182 10948
/proc/meminfo: memFree=923708/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
[startup+428.1 s]
/proc/loadavg: 5.20 4.22 3.04 2/182 10948
/proc/meminfo: memFree=923584/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
[startup+428.9 s]
/proc/loadavg: 5.20 4.22 3.04 2/182 10948
/proc/meminfo: memFree=923956/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=9352100 CPUtime=127.84 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) S 10938 10938 10289 0 -1 4204032 179744 0 0 0 12051 733 0 0 20 0 1 0 383875632 9576550400 2323337 33554432000 4194304 6004724 140736021412688 140736021408360 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 2338025 2323337 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 9361248
[startup+429.1 s]
/proc/loadavg: 5.20 4.22 3.04 2/182 10948
/proc/meminfo: memFree=923956/32873844 swapFree=7380/7380
[pid=10938] ppid=10936 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10938/stat : 10938 (npSolver-pbo.sh) S 10936 10938 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383875632 9367552 274 33554432000 4194304 5064252 140736058678512 140736058677424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10938/statm: 2287 274 233 213 0 72 0
[pid=10939] ppid=10938 vsize=0 CPUtime=127.9 cores=0,2,4,6
/proc/10939/stat : 10939 (npSolver-pbo) R 10938 10938 10289 0 -1 4204036 179744 0 0 0 12051 739 0 0 20 0 1 0 383875632 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10939/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 429.108
CPU time (s): 127.919
CPU user time (s): 120.511
CPU system time (s): 7.40787
CPU usage (%): 29.8103
Max. virtual memory (cumulated for all children) (KiB): 13490016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.511
system time used= 7.40787
maximum resident set size= 9293348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180117
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= 1798810
involuntary context switches= 192
runsolver used 0.801878 second user time and 1.91871 second system time
The end