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-3714990-1338184375/watcher-3714990-1338184375 -o /tmp/evaluation-result-3714990-1338184375/solver-3714990-1338184375 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714990-1338184375.wbo 1423262959 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.00 2.02 2.06 3/179 4859
/proc/meminfo: memFree=30574088/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[startup+0.0479371 s]
/proc/loadavg: 2.00 2.02 2.06 3/179 4859
/proc/meminfo: memFree=30574088/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100266 s]
/proc/loadavg: 2.00 2.02 2.06 3/179 4859
/proc/meminfo: memFree=30574088/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300256 s]
/proc/loadavg: 2.00 2.02 2.06 3/179 4859
/proc/meminfo: memFree=30574088/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 2.00 2.02 2.06 3/179 4859
/proc/meminfo: memFree=30574088/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.02 2.06 3/183 4863
/proc/meminfo: memFree=30437616/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=27152 CPUtime=0.75 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 4389 0 0 0 74 1 0 0 20 0 1 0 284562399 27803648 4760 33554432000 4194304 5990268 140735396149408 140735396142560 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4860/statm: 6788 4760 156 439 0 6345 0
[pid=4862] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4862/stat : 4862 (cp2_pre.sh) S 4860 4859 32349 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284562475 9367552 277 33554432000 4194304 5064252 140736222615072 140736222613776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4862/statm: 2287 277 234 213 0 72 0
[pid=4863] ppid=4862 vsize=158424 CPUtime=0.72 cores=0,2,4,6
/proc/4863/stat : 4863 (coprocessor) R 4862 4859 32349 0 -1 4202496 27215 0 0 0 68 4 0 0 20 0 1 0 284562476 162226176 37920 33554432000 4194304 6586260 140733712517424 140733712513688 4775781 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/4863/statm: 39606 37920 175 584 0 39018 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 203872
[startup+3.10039 s]
/proc/loadavg: 2.00 2.02 2.06 3/183 4863
/proc/meminfo: memFree=30365964/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=27152 CPUtime=0.75 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 4389 0 0 0 74 1 0 0 20 0 1 0 284562399 27803648 4760 33554432000 4194304 5990268 140735396149408 140735396142560 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4860/statm: 6788 4760 156 439 0 6345 0
[pid=4862] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4862/stat : 4862 (cp2_pre.sh) S 4860 4859 32349 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284562475 9367552 277 33554432000 4194304 5064252 140736222615072 140736222613776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4862/statm: 2287 277 234 213 0 72 0
[pid=4863] ppid=4862 vsize=184064 CPUtime=2.32 cores=0,2,4,6
/proc/4863/stat : 4863 (coprocessor) R 4862 4859 32349 0 -1 4202496 30832 0 0 0 227 5 0 0 20 0 1 0 284562476 188481536 44603 33554432000 4194304 6586260 140733712517424 140733712512744 4683456 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/4863/statm: 46016 44603 191 584 0 45428 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 229512
[startup+6.3004 s]
/proc/loadavg: 2.08 2.04 2.06 3/183 4863
/proc/meminfo: memFree=30365096/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=27152 CPUtime=0.75 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 4389 0 0 0 74 1 0 0 20 0 1 0 284562399 27803648 4760 33554432000 4194304 5990268 140735396149408 140735396142560 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4860/statm: 6788 4760 156 439 0 6345 0
[pid=4862] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4862/stat : 4862 (cp2_pre.sh) S 4860 4859 32349 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284562475 9367552 277 33554432000 4194304 5064252 140736222615072 140736222613776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4862/statm: 2287 277 234 213 0 72 0
[pid=4863] ppid=4862 vsize=184064 CPUtime=5.52 cores=0,2,4,6
/proc/4863/stat : 4863 (coprocessor) R 4862 4859 32349 0 -1 4202496 30850 0 0 0 547 5 0 0 20 0 1 0 284562476 188481536 44621 33554432000 4194304 6586260 140733712517424 140733712512744 4683456 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/4863/statm: 46016 44621 191 584 0 45428 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 229512
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.06 3/183 4873
/proc/meminfo: memFree=30375428/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=63576 CPUtime=11.52 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 8170 57724 0 0 96 31 948 77 20 0 1 0 284562399 65101824 12747 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 11 0 0
/proc/4860/statm: 15894 12747 164 439 0 15451 0
[pid=4872] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4872/stat : 4872 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284563572 9367552 266 33554432000 4194304 5064252 140733413548400 140733413547312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4872/statm: 2287 266 226 213 0 72 0
[pid=4873] ppid=4872 vsize=134796 CPUtime=0.96 cores=0,2,4,6
/proc/4873/stat : 4873 (glucose) R 4872 4859 32349 0 -1 4202496 25621 0 0 0 91 5 0 0 20 0 1 0 284563573 138031104 30128 33554432000 4194304 5208918 140736908184144 140736908181992 4229328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4873/statm: 33699 30128 103 248 0 33448 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 216668
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.06 3/183 4887
/proc/meminfo: memFree=30431100/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=23.76 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 14262 121313 0 0 109 33 2114 120 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=4886] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4886/stat : 4886 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284564796 9367552 267 33554432000 4194304 5064252 140734491768976 140734491767888 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4886/statm: 2287 267 226 213 0 72 0
[pid=4887] ppid=4886 vsize=82996 CPUtime=1.51 cores=0,2,4,6
/proc/4887/stat : 4887 (glucose) R 4886 4859 32349 0 -1 4202496 16886 0 0 0 148 3 0 0 20 0 1 0 284564797 84987904 18538 33554432000 4194304 5208918 140733193775280 140733193773240 4229760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4887/statm: 20749 18538 103 248 0 20498 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 148484
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.06 3/183 4922
/proc/meminfo: memFree=30429028/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=49.51 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 29492 256454 0 0 139 38 4583 191 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=4921] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4921/stat : 4921 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284567373 9367552 266 33554432000 4194304 5064252 140737165613984 140737165612896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4921/statm: 2287 266 226 213 0 72 0
[pid=4922] ppid=4921 vsize=81900 CPUtime=1.35 cores=0,2,4,6
/proc/4922/stat : 4922 (glucose) R 4921 4859 32349 0 -1 4202496 16858 0 0 0 132 3 0 0 20 0 1 0 284567373 83865600 18026 33554432000 4194304 5208918 140734340844976 140734340842824 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4922/statm: 20475 18026 103 248 0 20224 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 147388
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.06 3/183 5020
/proc/meminfo: memFree=30440936/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=99.51 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 69780 617705 0 0 209 48 9315 379 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5019] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5019/stat : 5019 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284572372 9367552 267 33554432000 4194304 5064252 140737289981552 140737289980464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5019/statm: 2287 267 226 213 0 72 0
[pid=5020] ppid=5019 vsize=79324 CPUtime=2.56 cores=0,2,4,6
/proc/5020/stat : 5020 (glucose) R 5019 4859 32349 0 -1 4202496 15098 0 0 0 254 2 0 0 20 0 1 0 284572372 81227776 16333 33554432000 4194304 5208918 140733624135088 140733624133240 4205163 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5020/statm: 19831 16333 102 248 0 19580 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 144812
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 5062
/proc/meminfo: memFree=30450712/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=157.2 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 81975 769425 0 0 231 52 14987 450 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5061] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5672
/proc/meminfo: memFree=30352268/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1009.99 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 23251 0 0 0 100985 14 0 0 20 0 1 0 284597611 250368000 58132 33554432000 4194304 5208918 140736200758528 140736200754904 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 58132 105 248 0 60874 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 309988
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 5750
/proc/meminfo: memFree=30372304/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1069.99 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 23392 0 0 0 106984 15 0 0 20 0 1 0 284597611 250368000 58132 33554432000 4194304 5208918 140736200758528 140736200754312 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 58132 105 248 0 60874 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 309988
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 5813
/proc/meminfo: memFree=30379316/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1129.97 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 23533 0 0 0 112981 16 0 0 20 0 1 0 284597611 250368000 57620 33554432000 4194304 5208918 140736200758528 140736200754904 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 57620 105 248 0 60874 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 309988
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5869
/proc/meminfo: memFree=30383264/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1189.96 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 23674 0 0 0 118979 17 0 0 20 0 1 0 284597611 250368000 57108 33554432000 4194304 5208918 140736200758528 140736200754904 4229876 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 57108 105 248 0 60874 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 309988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5897
/proc/meminfo: memFree=30365564/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1249.95 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 23891 0 0 0 124977 18 0 0 20 0 1 0 284597611 250368000 56126 33554432000 4194304 5208918 140736200758528 140736200754904 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 56126 105 248 0 60874 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 309988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5900
/proc/meminfo: memFree=30350232/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1309.94 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 24263 0 0 0 130975 19 0 0 20 0 1 0 284597611 250368000 55572 33554432000 4194304 5208918 140736200758528 140736200756616 4229049 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 55572 105 248 0 60874 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 309988
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5900
/proc/meminfo: memFree=30323688/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1369.94 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 24270 0 0 0 136974 20 0 0 20 0 1 0 284597611 250368000 59156 33554432000 4194304 5208918 140736200758528 140736200754904 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 59156 105 248 0 60874 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 309988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5901
/proc/meminfo: memFree=30313520/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1429.92 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 24898 0 0 0 142971 21 0 0 20 0 1 0 284597611 250368000 58132 33554432000 4194304 5208918 140736200758528 140736200754904 4229039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 58132 105 248 0 60874 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 309988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5901
/proc/meminfo: memFree=30308980/32873844 swapFree=6600/6600
[pid=4859] ppid=4857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4859/stat : 4859 (npSolver-wbo-It) S 4857 4859 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562399 9367552 275 33554432000 4194304 5064252 140735639541728 140735639540640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4859/statm: 2287 275 233 213 0 72 0
[pid=4860] ppid=4859 vsize=47192 CPUtime=351.79 cores=0,2,4,6
/proc/4860/stat : 4860 (npSolver-wbo) S 4859 4859 32349 0 -1 4202496 135095 1538052 0 0 308 64 34070 737 20 0 1 0 284562399 48324608 9746 33554432000 4194304 5990268 140735396149408 140735396140832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/4860/statm: 11798 9746 164 439 0 11355 0
[pid=5293] ppid=4860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5293/stat : 5293 (satsolver.sh) S 4860 4859 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284597611 9367552 267 33554432000 4194304 5064252 140736254060832 140736254059744 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5293/statm: 2287 267 226 213 0 72 0
[pid=5294] ppid=5293 vsize=244500 CPUtime=1448.24 cores=0,2,4,6
/proc/5294/stat : 5294 (glucose) R 5293 4859 32349 0 -1 4202496 24900 0 0 0 144802 22 0 0 20 0 1 0 284597611 250368000 59156 33554432000 4194304 5208918 140736200758528 140736200754904 4229843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5294/statm: 61125 59156 105 248 0 60874 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 309988
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.62
CPU time (s): 1800.05
CPU user time (s): 1791.81
CPU system time (s): 8.24275
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 390128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.81
system time used= 8.24275
maximum resident set size= 271636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1699037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1301928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36475
involuntary context switches= 2993
runsolver used 3.85141 second user time and 8.74867 second system time
The end