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-3755132-1339195185/watcher-3755132-1339195185 -o /tmp/evaluation-result-3755132-1339195185/solver-3755132-1339195185 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755132-1339195185.wbo 1401391332 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: 2.00 2.01 2.00 3/177 16500
/proc/meminfo: memFree=29506252/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[startup+0.0505049 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16500
/proc/meminfo: memFree=29506252/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100357 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16500
/proc/meminfo: memFree=29506252/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300294 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16500
/proc/meminfo: memFree=29506252/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700297 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16500
/proc/meminfo: memFree=29506252/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/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: 2.00 2.01 2.00 3/181 16504
/proc/meminfo: memFree=29443548/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=25188 CPUtime=0.43 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 7547 0 0 0 33 10 0 0 20 0 1 0 385646943 25792512 5526 33554432000 4194304 6006132 140734240215920 140734240209024 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 6297 5526 156 443 0 5850 0
[pid=16503] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16503/stat : 16503 (cp2_pre.sh) S 16501 16500 12876 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 385646987 9367552 276 33554432000 4194304 5064252 140736729017296 140736729016000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16503/statm: 2287 276 234 213 0 72 0
[pid=16504] ppid=16503 vsize=44088 CPUtime=1.04 cores=1,3,5,7
/proc/16504/stat : 16504 (coprocessor) R 16503 16500 12876 0 -1 4202496 8405 0 0 0 103 1 0 0 20 0 1 0 385646988 45146112 10384 33554432000 4194304 6586260 140735328229328 140735328224696 5599260 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16504/statm: 11022 10384 189 584 0 10434 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 87572
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16504
/proc/meminfo: memFree=29442548/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=25188 CPUtime=3.07 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 7562 13752 0 0 33 11 260 3 20 0 1 0 385646943 25792512 5527 33554432000 4194304 6006132 140734240215920 140734240209600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 6297 5527 157 443 0 5850 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34336
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16512
/proc/meminfo: memFree=29187176/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 303976
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16514
/proc/meminfo: memFree=28857544/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=375796 CPUtime=7.11 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 60427 0 0 0 692 19 0 0 20 0 1 0 385647501 384815104 84928 33554432000 4194304 5208918 140733434364928 140733434362888 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 93949 84928 104 248 0 93698 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 688920
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 16517
/proc/meminfo: memFree=28855976/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=375796 CPUtime=19.9 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 60438 0 0 0 1971 19 0 0 20 0 1 0 385647501 384815104 85450 33554432000 4194304 5208918 140733434364928 140733434362888 4229049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 93949 85450 104 248 0 93698 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 688920
[startup+51.1005 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 16517
/proc/meminfo: memFree=28855692/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=375796 CPUtime=45.5 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 60454 0 0 0 4531 19 0 0 20 0 1 0 385647501 384815104 85466 33554432000 4194304 5208918 140733434364928 140733434362888 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 93949 85466 104 248 0 93698 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 688920
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 16518
/proc/meminfo: memFree=28851408/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=380612 CPUtime=96.7 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 61444 0 0 0 9650 20 0 0 20 0 1 0 385647501 389746688 86456 33554432000 4194304 5208918 140733434364928 140733434362760 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95153 86456 104 248 0 94902 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 693736
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 16518
/proc/meminfo: memFree=28848888/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=380612 CPUtime=156.69 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 61446 0 0 0 15649 20 0 0 20 0 1 0 385647501 389746688 86969 33554432000 4194304 5208918 140733434364928 140733434362760 4228947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95153 86969 104 248 0 94902 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 693736
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16518
/proc/meminfo: memFree=28846944/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16558
/proc/meminfo: memFree=28898600/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=381004 CPUtime=1356.48 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62500 0 0 0 135627 21 0 0 20 0 1 0 385647501 390148096 87030 33554432000 4194304 5208918 140733434364928 140733434362680 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95251 87030 104 248 0 95000 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 694128
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16558
/proc/meminfo: memFree=28895436/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=381004 CPUtime=1416.48 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62501 0 0 0 141627 21 0 0 20 0 1 0 385647501 390148096 87542 33554432000 4194304 5208918 140733434364928 140733434362680 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95251 87542 104 248 0 95000 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 694128
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 16558
/proc/meminfo: memFree=28893824/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=381004 CPUtime=1476.46 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62501 0 0 0 147625 21 0 0 20 0 1 0 385647501 390148096 87542 33554432000 4194304 5208918 140733434364928 140733434362680 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95251 87542 104 248 0 95000 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 694128
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 16558
/proc/meminfo: memFree=28888676/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=382060 CPUtime=1536.46 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62658 0 0 0 153625 21 0 0 20 0 1 0 385647501 391229440 87699 33554432000 4194304 5208918 140733434364928 140733434362888 4229546 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95515 87699 105 248 0 95264 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 695184
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 16558
/proc/meminfo: memFree=28888552/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=382060 CPUtime=1596.45 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62660 0 0 0 159624 21 0 0 20 0 1 0 385647501 391229440 87701 33554432000 4194304 5208918 140733434364928 140733434362888 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95515 87701 105 248 0 95264 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 695184
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 16611
/proc/meminfo: memFree=27851296/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=382060 CPUtime=1656.44 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62661 0 0 0 165623 21 0 0 20 0 1 0 385647501 391229440 87702 33554432000 4194304 5208918 140733434364928 140733434362888 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95515 87702 105 248 0 95264 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 695184
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 16611
/proc/meminfo: memFree=27853584/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=382060 CPUtime=1716.43 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62662 0 0 0 171622 21 0 0 20 0 1 0 385647501 391229440 87703 33554432000 4194304 5208918 140733434364928 140733434362888 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95515 87703 105 248 0 95264 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 695184
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 16611
/proc/meminfo: memFree=27850296/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=382060 CPUtime=1776.43 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62663 0 0 0 177621 22 0 0 20 0 1 0 385647501 391229440 87704 33554432000 4194304 5208918 140733434364928 140733434362888 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95515 87704 105 248 0 95264 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 695184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 16611
/proc/meminfo: memFree=27850296/32873844 swapFree=7124/7124
[pid=16500] ppid=16498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16500/stat : 16500 (npSolver-wbo.sh) S 16498 16500 12876 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385646943 9367552 274 33554432000 4194304 5064252 140733716093792 140733716092704 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16500/statm: 2287 274 233 213 0 72 0
[pid=16501] ppid=16500 vsize=294828 CPUtime=5.56 cores=1,3,5,7
/proc/16501/stat : 16501 (npSolver-wbo) S 16500 16500 12876 0 -1 4202496 18189 16846 0 0 241 46 264 5 20 0 1 0 385646943 301903872 41986 33554432000 4194304 6006132 140734240215920 140734240207328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16501/statm: 73707 41986 178 443 0 73260 0
[pid=16513] ppid=16501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16513/stat : 16513 (satsolver.sh) S 16501 16500 12876 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647501 9367552 267 33554432000 4194304 5064252 140735930214256 140735930213168 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16513/statm: 2287 267 226 213 0 72 0
[pid=16514] ppid=16513 vsize=382060 CPUtime=1794.53 cores=1,3,5,7
/proc/16514/stat : 16514 (glucose) R 16513 16500 12876 0 -1 4202496 62663 0 0 0 179431 22 0 0 20 0 1 0 385647501 391229440 87704 33554432000 4194304 5208918 140733434364928 140733434362888 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16514/statm: 95515 87704 105 248 0 95264 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 695184
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.37
CPU system time (s): 0.748886
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 823964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.748886
maximum resident set size= 435548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 284640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168
involuntary context switches= 1870
runsolver used 3.76643 second user time and 8.28174 second system time
The end