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-3751501-1339153004/watcher-3751501-1339153004 -o /tmp/evaluation-result-3751501-1339153004/solver-3751501-1339153004 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751501-1339153004.opb 2015025620 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: 1.04 2.09 2.29 3/182 31834
/proc/meminfo: memFree=31542728/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[startup+0.0455219 s]
/proc/loadavg: 1.04 2.09 2.29 3/182 31834
/proc/meminfo: memFree=31542728/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100228 s]
/proc/loadavg: 1.04 2.09 2.29 3/182 31834
/proc/meminfo: memFree=31542728/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 1.04 2.09 2.29 3/182 31834
/proc/meminfo: memFree=31542728/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.906975 s]
/proc/loadavg: 1.04 2.09 2.29 3/182 31834
/proc/meminfo: memFree=31542728/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 1.04 2.09 2.29 3/184 32645
/proc/meminfo: memFree=31396576/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=181392 CPUtime=1.49 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 8358 0 0 0 143 6 0 0 20 0 1 0 25267398 185745408 36446 33554432000 4194304 6004724 140733315013840 140733315009720 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 45348 36446 130 442 0 44902 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190540
[startup+3.10038 s]
/proc/loadavg: 1.11 2.08 2.28 3/184 787
/proc/meminfo: memFree=31361460/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=246576 CPUtime=3.08 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 23403 0 0 0 299 9 0 0 20 0 1 0 25267398 252493824 51491 33554432000 4194304 6004724 140733315013840 140733315009480 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 61644 51491 130 442 0 61198 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 255724
[startup+6.30032 s]
/proc/loadavg: 1.11 2.08 2.28 3/183 2565
/proc/meminfo: memFree=31137996/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=564856 CPUtime=6.28 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 110891 0 0 0 602 26 0 0 20 0 1 0 25267398 578412544 134689 33554432000 4194304 6004724 140733315013840 140733315009864 4423144 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 141214 134689 139 442 0 140768 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 574004
[startup+12.7004 s]
/proc/loadavg: 1.10 2.05 2.27 3/183 5981
/proc/meminfo: memFree=30523388/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=1089424 CPUtime=12.68 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 113572 0 0 0 1226 42 0 0 20 0 1 0 25267398 1115570176 259818 33554432000 4194304 6004724 140733315013840 140733315008792 4582448 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 272356 259818 154 442 0 271910 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1098572
[startup+25.5003 s]
/proc/loadavg: 1.08 2.01 2.26 3/184 12315
/proc/meminfo: memFree=29625064/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=2662288 CPUtime=25.48 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 115827 0 0 0 2463 85 0 0 20 0 1 0 25267398 2726182912 497898 33554432000 4194304 6004724 140733315013840 140733315008440 4579903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 665572 497898 154 442 0 665126 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2671436
[startup+51.1072 s]
/proc/loadavg: 1.05 1.93 2.22 3/183 25987
/proc/meminfo: memFree=27487152/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=4759440 CPUtime=51.08 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 118373 0 0 0 4948 160 0 0 20 0 1 0 25267398 4873666560 1015530 33554432000 4194304 6004724 140733315013840 140733315008792 5055521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 1189860 1015530 154 442 0 1189414 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4768588
[startup+102.3 s]
/proc/loadavg: 1.02 1.77 2.15 3/181 19876
/proc/meminfo: memFree=23359568/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=8953744 CPUtime=102.27 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 122966 0 0 0 9922 305 0 0 20 0 1 0 25267398 9168633856 2058029 33554432000 4194304 6004724 140733315013840 140733315008440 4534761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 2238436 2058029 154 442 0 2237990 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 8962892
[startup+162.3 s]
/proc/loadavg: 1.00 1.63 2.07 3/184 18478
/proc/meminfo: memFree=22589384/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=162.24 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) R 31834 31834 13680 0 -1 4202496 602283 0 0 0 15836 388 0 0 20 0 1 0 25267398 9235742720 2234445 33554432000 4194304 6004724 140733315013840 140733315009096 4581185 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 2254820 2234445 203 442 0 2254374 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 9028428
[startup+222.3 s]
/proc/loadavg: 2.93 2.02 2.18 1/185 31561
/proc/meminfo: memFree=14000288/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=177.2 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 767 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 177.2
Current children cumulated vsize (KiB) 9028428
heavy processes:
%CPU=31 pid=24267 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 4.17 2.56 2.35 2/185 6884
/proc/meminfo: memFree=11166328/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=178.05 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 852 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 178.05
Current children cumulated vsize (KiB) 9028428
heavy processes:
%CPU=18 pid=24267 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 31837 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.65 2.96 2.50 2/184 12893
/proc/meminfo: memFree=9298352/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=178.78 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 925 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 178.78
Current children cumulated vsize (KiB) 9028428
heavy processes:
%CPU=14 pid=24267 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 31837 6 506 18446744073709551615
[startup+402.3 s]
/proc/loadavg: 4.87 3.36 2.67 2/185 23227
/proc/meminfo: memFree=7314464/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
heavy processes:
%CPU=12 pid=24267 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 31837 6 506 18446744073709551615
[startup+462.307 s]
/proc/loadavg: 4.39 3.50 2.76 2/184 15816
/proc/meminfo: memFree=7373368/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+474.9 s]
/proc/loadavg: 4.33 3.52 2.77 3/186 22280
/proc/meminfo: memFree=7372980/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
[startup+488.01 s]
/proc/loadavg: 4.28 3.53 2.78 1/184 27926
/proc/meminfo: memFree=7374784/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
[startup+491.21 s]
/proc/loadavg: 4.34 3.56 2.79 2/185 28348
/proc/meminfo: memFree=7609660/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
[startup+493.301 s]
/proc/loadavg: 4.31 3.56 2.80 2/184 29056
/proc/meminfo: memFree=7610048/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
[startup+494.514 s]
/proc/loadavg: 4.31 3.56 2.80 2/184 29732
/proc/meminfo: memFree=7610000/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
[startup+495.305 s]
/proc/loadavg: 4.31 3.56 2.80 2/185 30507
/proc/meminfo: memFree=7610976/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) S 31832 31834 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25267398 9367552 274 33554432000 4194304 5064252 140736170703936 140736170702848 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31834/statm: 2287 274 233 213 0 72 0
[pid=31837] ppid=31834 vsize=9019280 CPUtime=179.71 cores=1,3,5,7
/proc/31837/stat : 31837 (npSolver-pbo) S 31834 31834 13680 0 -1 4204032 634347 0 0 0 16953 1018 0 0 20 0 1 0 25267398 9235742720 2239314 33554432000 4194304 6004724 140733315013840 140733315009512 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/31837/statm: 2254820 2239314 212 442 0 2254374 0
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (KiB) 9028428
[startup+496.324 s]
/proc/loadavg: 4.31 3.56 2.80 2/185 30507
/proc/meminfo: memFree=7610976/32873844 swapFree=7632/7632
[pid=31834] ppid=31832 vsize=9152 CPUtime=179.74 cores=1,3,5,7
/proc/31834/stat : 31834 (npSolver-pbo-It) R 31832 31834 13680 0 -1 4202496 361 634347 0 0 0 0 16953 1021 20 0 1 0 25267398 9371648 278 33554432000 4194304 5064252 140736170703936 140736170702848 215124220683 0 65536 4100 65538 0 0 0 17 3 0 0 0 0 0
/proc/31834/statm: 2288 278 236 213 0 73 0
Current children cumulated CPU time (s) 179.74
Current children cumulated vsize (KiB) 9152
Child status: 0
Real time (s): 496.325
CPU time (s): 179.755
CPU user time (s): 169.532
CPU system time (s): 10.2224
CPU usage (%): 36.2172
Max. virtual memory (cumulated for all children) (KiB): 13157196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.532
system time used= 10.2224
maximum resident set size= 8957256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634721
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= 1826438
involuntary context switches= 555
runsolver used 0.802877 second user time and 2.34964 second system time
The end