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-3753175-1339206493/watcher-3753175-1339206493 -o /tmp/evaluation-result-3753175-1339206493/solver-3753175-1339206493 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753175-1339206493.wbo 527387730 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.63 2.11 1.97 2/180 20534
/proc/meminfo: memFree=30143220/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[startup+0.0189749 s]
/proc/loadavg: 2.63 2.11 1.97 2/180 20534
/proc/meminfo: memFree=30143220/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100146 s]
/proc/loadavg: 2.63 2.11 1.97 2/180 20534
/proc/meminfo: memFree=30143220/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300159 s]
/proc/loadavg: 2.63 2.11 1.97 2/180 20534
/proc/meminfo: memFree=30143220/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700139 s]
/proc/loadavg: 2.63 2.11 1.97 2/180 20534
/proc/meminfo: memFree=30143220/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.63 2.11 1.97 3/184 20556
/proc/meminfo: memFree=30009576/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=30788 CPUtime=0.58 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 7244 0 0 0 48 10 0 0 20 0 1 0 386774721 31526912 7138 33554432000 4194304 6006132 140734451682592 140734451675696 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 7697 7138 157 443 0 7250 0
[pid=20548] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20548/stat : 20548 (cp2_pre.sh) S 20535 20534 15057 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 386774781 9367552 277 33554432000 4194304 5064252 140736359400528 140736359399232 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20548/statm: 2287 277 234 213 0 72 0
[pid=20549] ppid=20548 vsize=79228 CPUtime=0.88 cores=0,2,4,6
/proc/20549/stat : 20549 (coprocessor) R 20548 20534 15057 0 -1 4202496 14514 0 0 0 86 2 0 0 20 0 1 0 386774781 81129472 18832 33554432000 4194304 6586260 140734950592640 140734950587960 5599216 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0
/proc/20549/statm: 19807 18832 191 584 0 19219 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 128312
[startup+3.10027 s]
/proc/loadavg: 2.66 2.12 1.97 3/184 20573
/proc/meminfo: memFree=30034976/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=30788 CPUtime=3.07 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) R 20534 20534 15057 0 -1 4202496 7989 26815 0 0 49 10 240 8 20 0 1 0 386774721 31526912 7141 33554432000 4194304 6006132 140734451682592 140734451676272 5192048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 7697 7141 160 443 0 7250 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 39936
[startup+6.30022 s]
/proc/loadavg: 2.66 2.12 1.97 3/184 20643
/proc/meminfo: memFree=30006696/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=3.42 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 10374 27331 0 0 61 32 240 9 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=20607] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20607/stat : 20607 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386775066 9367552 266 33554432000 4194304 5064252 140734412087120 140734412086032 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20607/statm: 2287 266 226 213 0 72 0
[pid=20608] ppid=20607 vsize=66780 CPUtime=2.83 cores=0,2,4,6
/proc/20608/stat : 20608 (glucose) R 20607 20534 15057 0 -1 4202496 13669 0 0 0 281 2 0 0 20 0 1 0 386775066 68382720 15182 33554432000 4194304 5208918 140736002800624 140736002798296 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20608/statm: 16695 15182 95 248 0 16444 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 128912
[startup+12.7003 s]
/proc/loadavg: 2.71 2.15 1.98 3/184 20751
/proc/meminfo: memFree=30029896/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=3.42 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 10374 27331 0 0 61 32 240 9 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=20607] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20607/stat : 20607 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386775066 9367552 266 33554432000 4194304 5064252 140734412087120 140734412086032 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20607/statm: 2287 266 226 213 0 72 0
[pid=20608] ppid=20607 vsize=66780 CPUtime=9.23 cores=0,2,4,6
/proc/20608/stat : 20608 (glucose) R 20607 20534 15057 0 -1 4202496 13670 0 0 0 921 2 0 0 20 0 1 0 386775066 68382720 15183 33554432000 4194304 5208918 140736002800624 140736002798296 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20608/statm: 16695 15183 95 248 0 16444 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 128912
[startup+25.5002 s]
/proc/loadavg: 2.76 2.18 1.99 3/184 20993
/proc/meminfo: memFree=30021624/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=3.42 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 10374 27331 0 0 61 32 240 9 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=20607] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20607/stat : 20607 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386775066 9367552 266 33554432000 4194304 5064252 140734412087120 140734412086032 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20607/statm: 2287 266 226 213 0 72 0
[pid=20608] ppid=20607 vsize=66780 CPUtime=22.03 cores=0,2,4,6
/proc/20608/stat : 20608 (glucose) R 20607 20534 15057 0 -1 4202496 13670 0 0 0 2201 2 0 0 20 0 1 0 386775066 68382720 15183 33554432000 4194304 5208918 140736002800624 140736002798296 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20608/statm: 16695 15183 95 248 0 16444 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 128912
[startup+51.1002 s]
/proc/loadavg: 2.84 2.24 2.02 4/185 21451
/proc/meminfo: memFree=30038944/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=3.42 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 10374 27331 0 0 61 32 240 9 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=20607] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20607/stat : 20607 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386775066 9367552 266 33554432000 4194304 5064252 140734412087120 140734412086032 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20607/statm: 2287 266 226 213 0 72 0
[pid=20608] ppid=20607 vsize=66780 CPUtime=47.62 cores=0,2,4,6
/proc/20608/stat : 20608 (glucose) R 20607 20534 15057 0 -1 4202496 13674 0 0 0 4760 2 0 0 20 0 1 0 386775066 68382720 15186 33554432000 4194304 5208918 140736002800624 140736002798296 4211599 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20608/statm: 16695 15186 95 248 0 16444 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 128912
[startup+102.307 s]
/proc/loadavg: 2.40 2.22 2.02 3/183 22390
/proc/meminfo: memFree=30030760/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=3.42 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 10374 27331 0 0 61 32 240 9 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=20607] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20607/stat : 20607 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386775066 9367552 266 33554432000 4194304 5064252 140734412087120 140734412086032 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20607/statm: 2287 266 226 213 0 72 0
[pid=20608] ppid=20607 vsize=66780 CPUtime=98.81 cores=0,2,4,6
/proc/20608/stat : 20608 (glucose) R 20607 20534 15057 0 -1 4202496 13675 0 0 0 9879 2 0 0 20 0 1 0 386775066 68382720 15187 33554432000 4194304 5208918 140736002800624 140736002798296 4211792 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20608/statm: 16695 15187 95 248 0 16444 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 128912
[startup+162.3 s]
/proc/loadavg: 1.86 2.11 1.99 3/183 23473
/proc/meminfo: memFree=30040792/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=3.42 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 10374 27331 0 0 61 32 240 9 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=20607] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20607/stat : 20607 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386775066 9367552 266 33554432000 4194304 5064252 140734412087120 140734412086032 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20607/statm: 2287 266 226 213 0 72 0
[pid=20608] ppid=20607 vsize=66780 CPUtime=158.79 cores=0,2,4,6
/proc/20608/stat : 20608 (glucose) R 20607 20534 15057 0 -1 4202496 13676 0 0 0 15877 2 0 0 20 0 1 0 386775066 68382720 15188 33554432000 4194304 5208918 140736002800624 140736002798296 4211744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20608/statm: 16695 15188 95 248 0 16444 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.92 1.92 1.90 3/184 12885
/proc/meminfo: memFree=29987336/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1099.88 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 16280 71572 0 0 78 35 109836 39 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=8137] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8137/stat : 8137 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386884731 9367552 267 33554432000 4194304 5064252 140736578243056 140736578241968 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8137/statm: 2287 267 226 213 0 72 0
[pid=8138] ppid=8137 vsize=76336 CPUtime=262.14 cores=0,2,4,6
/proc/8138/stat : 8138 (glucose) R 8137 20534 15057 0 -1 4202496 14368 0 0 0 26211 3 0 0 20 0 1 0 386884731 78168064 16494 33554432000 4194304 5208918 140734529698064 140734529695816 4211740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8138/statm: 19084 16494 103 248 0 18833 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 138468
[startup+1422.31 s]
/proc/loadavg: 1.81 1.87 1.89 3/183 13988
/proc/meminfo: memFree=30017024/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1099.88 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 16280 71572 0 0 78 35 109836 39 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=8137] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8137/stat : 8137 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386884731 9367552 267 33554432000 4194304 5064252 140736578243056 140736578241968 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8137/statm: 2287 267 226 213 0 72 0
[pid=8138] ppid=8137 vsize=69156 CPUtime=322.14 cores=0,2,4,6
/proc/8138/stat : 8138 (glucose) R 8137 20534 15057 0 -1 4202496 14720 0 0 0 32211 3 0 0 20 0 1 0 386884731 70815744 15968 33554432000 4194304 5208918 140734529698064 140734529696152 4211750 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8138/statm: 17289 15968 104 248 0 17038 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 131288
[startup+1482.3 s]
/proc/loadavg: 1.93 1.89 1.89 3/181 15071
/proc/meminfo: memFree=30026288/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1099.88 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 16280 71572 0 0 78 35 109836 39 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=8137] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8137/stat : 8137 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386884731 9367552 267 33554432000 4194304 5064252 140736578243056 140736578241968 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8137/statm: 2287 267 226 213 0 72 0
[pid=8138] ppid=8137 vsize=76468 CPUtime=382.12 cores=0,2,4,6
/proc/8138/stat : 8138 (glucose) R 8137 20534 15057 0 -1 4202496 14806 0 0 0 38209 3 0 0 20 0 1 0 386884731 78303232 16562 33554432000 4194304 5208918 140734529698064 140734529695912 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8138/statm: 19117 16562 104 248 0 18866 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 138600
[startup+1542.3 s]
/proc/loadavg: 1.97 1.91 1.90 3/183 16174
/proc/meminfo: memFree=30002268/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1099.88 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 16280 71572 0 0 78 35 109836 39 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=8137] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8137/stat : 8137 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386884731 9367552 267 33554432000 4194304 5064252 140736578243056 140736578241968 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8137/statm: 2287 267 226 213 0 72 0
[pid=8138] ppid=8137 vsize=76600 CPUtime=442.11 cores=0,2,4,6
/proc/8138/stat : 8138 (glucose) R 8137 20534 15057 0 -1 4202496 14842 0 0 0 44208 3 0 0 20 0 1 0 386884731 78438400 17109 33554432000 4194304 5208918 140734529698064 140734529695912 4211668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8138/statm: 19150 17109 104 248 0 18899 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 138732
[startup+1602.3 s]
/proc/loadavg: 1.83 1.88 1.89 3/183 17253
/proc/meminfo: memFree=29972756/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1099.88 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 16280 71572 0 0 78 35 109836 39 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=8137] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8137/stat : 8137 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386884731 9367552 267 33554432000 4194304 5064252 140736578243056 140736578241968 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8137/statm: 2287 267 226 213 0 72 0
[pid=8138] ppid=8137 vsize=88368 CPUtime=502.1 cores=0,2,4,6
/proc/8138/stat : 8138 (glucose) R 8137 20534 15057 0 -1 4202496 15835 0 0 0 50206 4 0 0 20 0 1 0 386884731 90488832 20272 33554432000 4194304 5208918 140734529698064 140734529696008 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8138/statm: 22092 20272 105 248 0 21841 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 150500
[startup+1662.3 s]
/proc/loadavg: 1.97 1.91 1.90 3/183 18359
/proc/meminfo: memFree=29996692/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1645.92 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 19233 93604 0 0 86 36 164416 54 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=18074] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18074/stat : 18074 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386939345 9367552 266 33554432000 4194304 5064252 140734442795440 140734442794352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18074/statm: 2287 266 226 213 0 72 0
[pid=18075] ppid=18074 vsize=66780 CPUtime=16.04 cores=0,2,4,6
/proc/18075/stat : 18075 (glucose) R 18074 20534 15057 0 -1 4202496 13101 0 0 0 1601 3 0 0 20 0 1 0 386939346 68382720 14675 33554432000 4194304 5208918 140734047691520 140734047689192 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18075/statm: 16695 14675 95 248 0 16444 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 128912
[startup+1722.3 s]
/proc/loadavg: 1.88 1.89 1.90 3/183 19440
/proc/meminfo: memFree=30022492/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1645.92 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 19233 93604 0 0 86 36 164416 54 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=18074] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18074/stat : 18074 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386939345 9367552 266 33554432000 4194304 5064252 140734442795440 140734442794352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18074/statm: 2287 266 226 213 0 72 0
[pid=18075] ppid=18074 vsize=66780 CPUtime=76.03 cores=0,2,4,6
/proc/18075/stat : 18075 (glucose) R 18074 20534 15057 0 -1 4202496 13106 0 0 0 7599 4 0 0 20 0 1 0 386939346 68382720 14719 33554432000 4194304 5208918 140734047691520 140734047689192 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18075/statm: 16695 14719 95 248 0 16444 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 128912
[startup+1782.3 s]
/proc/loadavg: 1.87 1.88 1.89 3/183 20554
/proc/meminfo: memFree=30070652/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1645.92 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 19233 93604 0 0 86 36 164416 54 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=18074] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18074/stat : 18074 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386939345 9367552 266 33554432000 4194304 5064252 140734442795440 140734442794352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18074/statm: 2287 266 226 213 0 72 0
[pid=18075] ppid=18074 vsize=66780 CPUtime=136.02 cores=0,2,4,6
/proc/18075/stat : 18075 (glucose) R 18074 20534 15057 0 -1 4202496 13108 0 0 0 13597 5 0 0 20 0 1 0 386939346 68382720 14721 33554432000 4194304 5208918 140734047691520 140734047689192 4211577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18075/statm: 16695 14721 95 248 0 16444 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 128912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.97 1.90 1.90 3/183 20561
/proc/meminfo: memFree=30042240/32873648 swapFree=7628/7628
[pid=20534] ppid=20532 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20534/stat : 20534 (npSolver-wbo-It) S 20532 20534 15057 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774721 9367552 275 33554432000 4194304 5064252 140736184457216 140736184456128 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20534/statm: 2287 275 233 213 0 72 0
[pid=20535] ppid=20534 vsize=43836 CPUtime=1645.92 cores=0,2,4,6
/proc/20535/stat : 20535 (npSolver-wbo) S 20534 20534 15057 0 -1 4202496 19233 93604 0 0 86 36 164416 54 20 0 1 0 386774721 44888064 9717 33554432000 4194304 6006132 140734451682592 140734451673952 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20535/statm: 10959 9717 176 443 0 10512 0
[pid=18074] ppid=20535 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18074/stat : 18074 (satsolver.sh) S 20535 20534 15057 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386939345 9367552 266 33554432000 4194304 5064252 140734442795440 140734442794352 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18074/statm: 2287 266 226 213 0 72 0
[pid=18075] ppid=18074 vsize=66780 CPUtime=154.12 cores=0,2,4,6
/proc/18075/stat : 18075 (glucose) R 18074 20534 15057 0 -1 4202496 13108 0 0 0 15407 5 0 0 20 0 1 0 386939346 68382720 14721 33554432000 4194304 5208918 140734047691520 140734047689192 4211632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18075/statm: 16695 14721 95 248 0 16444 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 128912
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.08
CPU user time (s): 1799.11
CPU system time (s): 0.977851
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 161996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.977851
maximum resident set size= 92668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 113872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1574
involuntary context switches= 2395
runsolver used 4.63129 second user time and 12.2021 second system time
The end