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-3749800-1339182766/watcher-3749800-1339182766 -o /tmp/evaluation-result-3749800-1339182766/solver-3749800-1339182766 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749800-1339182766.opb 824306031 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.09 1.02 1.14 3/177 20717
/proc/meminfo: memFree=27486776/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[startup+0.0815411 s]
/proc/loadavg: 1.09 1.02 1.14 3/177 20717
/proc/meminfo: memFree=27486776/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 1.09 1.02 1.14 3/177 20717
/proc/meminfo: memFree=27486776/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 1.09 1.02 1.14 3/177 20717
/proc/meminfo: memFree=27486776/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 1.09 1.02 1.14 3/177 20717
/proc/meminfo: memFree=27486776/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.09 1.02 1.14 3/181 20721
/proc/meminfo: memFree=27417688/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=216664 CPUtime=1.49 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) R 20717 20717 19535 0 -1 4202496 24987 0 0 0 143 6 0 0 20 0 1 0 384402923 221863936 42251 33554432000 4194304 6004724 140735973084688 140735973080584 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 54166 42251 130 442 0 53720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225812
[startup+3.10032 s]
/proc/loadavg: 1.09 1.02 1.14 3/181 20721
/proc/meminfo: memFree=27265980/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=436704 CPUtime=3.09 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) R 20717 20717 19535 0 -1 4202496 47867 0 0 0 296 13 0 0 20 0 1 0 384402923 447184896 87550 33554432000 4194304 6004724 140735973084688 140735973080712 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 109176 87550 130 442 0 108730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 445852
[startup+6.30033 s]
/proc/loadavg: 1.32 1.07 1.16 3/180 20731
/proc/meminfo: memFree=26928920/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=877048 CPUtime=6.28 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) R 20717 20717 19535 0 -1 4202496 93132 0 0 0 602 26 0 0 20 0 1 0 384402923 898097152 178165 33554432000 4194304 6004724 140735973084688 140735973080328 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 219262 178166 130 442 0 218816 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 886196
[startup+12.7003 s]
/proc/loadavg: 1.45 1.10 1.17 3/181 20732
/proc/meminfo: memFree=25943996/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=1582944 CPUtime=12.68 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) R 20717 20717 19535 0 -1 4202496 222977 0 0 0 1212 56 0 0 20 0 1 0 384402923 1620934656 389722 33554432000 4194304 6004724 140735973084688 140735973079176 4534766 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 395736 389722 147 442 0 395290 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1592092
[startup+25.5002 s]
/proc/loadavg: 1.57 1.14 1.18 3/181 20732
/proc/meminfo: memFree=25009416/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=3417952 CPUtime=25.49 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) R 20717 20717 19535 0 -1 4202496 225845 0 0 0 2453 96 0 0 20 0 1 0 384402923 3499982848 614490 33554432000 4194304 6004724 140735973084688 140735973079640 4534755 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 854488 614490 147 442 0 854042 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3427100
[startup+51.1003 s]
/proc/loadavg: 1.80 1.23 1.21 3/183 20734
/proc/meminfo: memFree=20608600/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=48.18 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230012 0 0 0 4295 523 0 0 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973078736 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20733] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20733/stat : 20733 (cp2_pre.sh) S 20718 20717 19535 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 384407742 9367552 276 33554432000 4194304 5064252 140733678666160 140733678664864 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20733/statm: 2287 276 234 213 0 72 0
[pid=20734] ppid=20733 vsize=260544 CPUtime=2.88 cores=1,3,5,7
/proc/20734/stat : 20734 (coprocessor) R 20733 20717 19535 0 -1 4202496 13830 0 0 0 276 12 0 0 20 0 1 0 384407744 266797056 63183 33554432000 4194304 6586260 140734307540736 140734307537496 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20734/statm: 65136 63183 137 584 0 64548 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5793964
[startup+102.306 s]
/proc/loadavg: 2.74 1.56 1.32 3/183 20734
/proc/meminfo: memFree=16245436/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=48.18 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230012 0 0 0 4295 523 0 0 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973078736 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20733] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20733/stat : 20733 (cp2_pre.sh) S 20718 20717 19535 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 384407742 9367552 276 33554432000 4194304 5064252 140733678666160 140733678664864 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20733/statm: 2287 276 234 213 0 72 0
[pid=20734] ppid=20733 vsize=5196948 CPUtime=53.9 cores=1,3,5,7
/proc/20734/stat : 20734 (coprocessor) R 20733 20717 19535 0 -1 4202496 29918 0 0 0 5142 248 0 0 20 0 1 0 384407744 5321674752 1017995 33554432000 4194304 6586260 140734307540736 140734307536488 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 18 0 0
/proc/20734/statm: 1299237 1017995 158 584 0 1298649 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 10730368
[startup+162.3 s]
/proc/loadavg: 2.67 1.75 1.40 3/183 20737
/proc/meminfo: memFree=18625068/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=3724600 CPUtime=11.57 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 361188 0 0 0 1048 109 0 0 20 0 1 0 384417995 3813990400 803997 33554432000 4194304 5208918 140734598151120 140734597100520 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 931150 803998 69 248 0 930899 0
Current children cumulated CPU time (s) 161.32
Current children cumulated vsize (KiB) 9258020
[startup+222.3 s]
/proc/loadavg: 2.48 1.85 1.45 3/183 20737
/proc/meminfo: memFree=16402804/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5895008 CPUtime=71.56 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 569204 0 0 0 6965 191 0 0 20 0 1 0 384417995 6036488192 1308180 33554432000 4194304 5208918 140734598151120 140734598149064 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1473752 1308180 103 248 0 1473501 0
Current children cumulated CPU time (s) 221.31
Current children cumulated vsize (KiB) 11428428
[startup+282.3 s]
/proc/loadavg: 2.36 1.92 1.50 3/183 20737
/proc/meminfo: memFree=16396764/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20737/statm: 1488891 1325449 103 248 0 1488640 0
Current children cumulated CPU time (s) 1421.13
Current children cumulated vsize (KiB) 11488984
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.84 3/183 20748
/proc/meminfo: memFree=16226248/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5956668 CPUtime=1331.37 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 795672 0 0 0 132847 290 0 0 20 0 1 0 384417995 6099628032 1325720 33554432000 4194304 5208918 140734598151120 140734598148968 4229238 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1489167 1325720 103 248 0 1488916 0
Current children cumulated CPU time (s) 1481.12
Current children cumulated vsize (KiB) 11490088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 20749
/proc/meminfo: memFree=16243084/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5957448 CPUtime=1391.36 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 805912 0 0 0 138841 295 0 0 20 0 1 0 384417995 6100426752 1325931 33554432000 4194304 5208918 140734598151120 140734598149064 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1489362 1325931 103 248 0 1489111 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 11490868
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 20749
/proc/meminfo: memFree=16219144/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5957812 CPUtime=1451.35 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 816039 0 0 0 144835 300 0 0 20 0 1 0 384417995 6100799488 1326029 33554432000 4194304 5208918 140734598151120 140734598148968 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1489453 1326029 103 248 0 1489202 0
Current children cumulated CPU time (s) 1601.1
Current children cumulated vsize (KiB) 11491232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/184 20752
/proc/meminfo: memFree=16240980/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5960760 CPUtime=1511.34 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 826144 0 0 0 150829 305 0 0 20 0 1 0 384417995 6103818240 1326817 33554432000 4194304 5208918 140734598151120 140734598149256 4205220 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1490190 1326817 103 248 0 1489939 0
Current children cumulated CPU time (s) 1661.09
Current children cumulated vsize (KiB) 11494180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 20752
/proc/meminfo: memFree=16211712/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5962464 CPUtime=1571.34 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 836580 0 0 0 156824 310 0 0 20 0 1 0 384417995 6105563136 1327224 33554432000 4194304 5208918 140734598151120 140734598148968 4229203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1490616 1327224 103 248 0 1490365 0
Current children cumulated CPU time (s) 1721.09
Current children cumulated vsize (KiB) 11495884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/183 20759
/proc/meminfo: memFree=16379504/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5963132 CPUtime=1631.32 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 846060 0 0 0 162817 315 0 0 20 0 1 0 384417995 6106247168 1327383 33554432000 4194304 5208918 140734598151120 140734598148968 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1490783 1327383 103 248 0 1490532 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 11496552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 1.92 1.98 1.87 2/178 20767
/proc/meminfo: memFree=16840288/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5963132 CPUtime=1650.33 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 846078 0 0 0 164718 315 0 0 20 0 1 0 384417995 6106247168 1327401 33554432000 4194304 5208918 140734598151120 140734598148968 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1490783 1327401 103 248 0 1490532 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 11496552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 1.92 1.98 1.87 2/178 20767
/proc/meminfo: memFree=16840288/32873648 swapFree=7628/7628
[pid=20717] ppid=20715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20717/stat : 20717 (npSolver-pbo.sh) S 20715 20717 19535 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384402923 9367552 274 33554432000 4194304 5064252 140735845605408 140735845604320 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20717/statm: 2287 274 233 213 0 72 0
[pid=20718] ppid=20717 vsize=5515124 CPUtime=149.74 cores=1,3,5,7
/proc/20718/stat : 20718 (npSolver-pbo) S 20717 20717 19535 0 -1 4202496 230019 30821 0 0 4295 524 9606 549 20 0 1 0 384402923 5647486976 977536 33554432000 4194304 6004724 140735973084688 140735973079824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20718/statm: 1378781 977536 163 442 0 1378335 0
[pid=20736] ppid=20718 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20736/stat : 20736 (satsolver.sh) S 20718 20717 19535 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384417993 9367552 267 33554432000 4194304 5064252 140734337382768 140734337381680 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20736/statm: 2287 267 226 213 0 72 0
[pid=20737] ppid=20736 vsize=5963132 CPUtime=1650.33 cores=1,3,5,7
/proc/20737/stat : 20737 (glucose) R 20736 20717 19535 0 -1 4202496 846078 0 0 0 164718 315 0 0 20 0 1 0 384417995 6106247168 1327401 33554432000 4194304 5208918 140734598151120 140734598148968 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20737/statm: 1490783 1327401 103 248 0 1490532 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 11496552
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20717 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.08
CPU user time (s): 1786.19
CPU system time (s): 13.89
CPU usage (%): 99.9312
Max. virtual memory (cumulated for all children) (KiB): 11589848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.18136 second user time and 10.8534 second system time
The end