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-3715040-1338195861/watcher-3715040-1338195861 -o /tmp/evaluation-result-3715040-1338195861/solver-3715040-1338195861 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715040-1338195861.wbo 572247631 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.02 2.01 2.00 3/179 30490
/proc/meminfo: memFree=30710180/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[startup+0.079018 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30490
/proc/meminfo: memFree=30710180/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30490
/proc/meminfo: memFree=30710180/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30490
/proc/meminfo: memFree=30710180/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700268 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30490
/proc/meminfo: memFree=30710180/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 30494
/proc/meminfo: memFree=30608196/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=19784 CPUtime=0.58 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 4728 0 0 0 54 4 0 0 20 0 1 0 285712905 20258816 4079 33554432000 4194304 5990268 140735590762032 140735590755184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 4946 4079 153 439 0 4503 0
[pid=30493] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30493/stat : 30493 (cp2_pre.sh) S 30491 30490 29981 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 285712963 9367552 277 33554432000 4194304 5064252 140733219251248 140733219249952 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30493/statm: 2287 277 234 213 0 72 0
[pid=30494] ppid=30493 vsize=97916 CPUtime=0.9 cores=1,3,5,7
/proc/30494/stat : 30494 (coprocessor) R 30493 30490 29981 0 -1 4202496 18483 0 0 0 87 3 0 0 20 0 1 0 285712964 100265984 23542 33554432000 4194304 6586260 140737229601088 140737229597848 5599298 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30494/statm: 24479 23542 191 584 0 23891 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 135996
[startup+3.10039 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 30494
/proc/meminfo: memFree=30593800/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=19784 CPUtime=0.58 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 4728 0 0 0 54 4 0 0 20 0 1 0 285712905 20258816 4079 33554432000 4194304 5990268 140735590762032 140735590755184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 4946 4079 153 439 0 4503 0
[pid=30493] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30493/stat : 30493 (cp2_pre.sh) S 30491 30490 29981 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 285712963 9367552 277 33554432000 4194304 5064252 140733219251248 140733219249952 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30493/statm: 2287 277 234 213 0 72 0
[pid=30494] ppid=30493 vsize=116364 CPUtime=2.5 cores=1,3,5,7
/proc/30494/stat : 30494 (coprocessor) R 30493 30490 29981 0 -1 4202496 20926 0 0 0 216 34 0 0 20 0 1 0 285712964 119156736 27956 33554432000 4194304 6586260 140737229601088 140737229596856 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30494/statm: 29091 27956 202 584 0 28503 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 154444
[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 30502
/proc/meminfo: memFree=30555704/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 181416
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 30504
/proc/meminfo: memFree=30183464/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=311364 CPUtime=7.1 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 51498 0 0 0 696 14 0 0 20 0 1 0 285713463 318836736 66763 33554432000 4194304 5208918 140733227216688 140733227214520 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 77841 66763 103 248 0 77590 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 501928
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 30504
/proc/meminfo: memFree=30181808/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=311364 CPUtime=19.9 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 51505 0 0 0 1976 14 0 0 20 0 1 0 285713463 318836736 67276 33554432000 4194304 5208918 140733227216688 140733227214520 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 77841 67276 104 248 0 77590 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 501928
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30504
/proc/meminfo: memFree=30179588/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=311364 CPUtime=45.49 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 51506 0 0 0 4535 14 0 0 20 0 1 0 285713463 318836736 67277 33554432000 4194304 5208918 140733227216688 140733227214520 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 77841 67277 104 248 0 77590 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 501928
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 30504
/proc/meminfo: memFree=30175728/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=311364 CPUtime=96.69 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 51513 0 0 0 9655 14 0 0 20 0 1 0 285713463 318836736 67791 33554432000 4194304 5208918 140733227216688 140733227213064 4210859 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 77841 67791 105 248 0 77590 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 501928
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 30504
/proc/meminfo: memFree=30171964/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=311364 CPUtime=156.67 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 51515 0 0 0 15653 14 0 0 20 0 1 0 285713463 318836736 68113 33554432000 4194304 5208918 140733227216688 140733227213064 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 77841 68113 105 248 0 77590 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.06 2.12 2.06 3/183 30567
/proc/meminfo: memFree=21964276/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=326852 CPUtime=1356.49 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 55741 0 0 0 135631 18 0 0 20 0 1 0 285713463 334696448 75973 33554432000 4194304 5208918 140733227216688 140733227214440 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 81713 75973 105 248 0 81462 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 517416
[startup+1422.31 s]
/proc/loadavg: 2.02 2.10 2.05 3/183 30567
/proc/meminfo: memFree=21960132/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=328968 CPUtime=1416.48 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 56241 0 0 0 141630 18 0 0 20 0 1 0 285713463 336863232 76984 33554432000 4194304 5208918 140733227216688 140733227214536 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 82242 76984 105 248 0 81991 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 519532
[startup+1482.3 s]
/proc/loadavg: 2.00 2.08 2.05 3/183 30568
/proc/meminfo: memFree=21956724/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=329972 CPUtime=1476.47 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 56521 0 0 0 147629 18 0 0 20 0 1 0 285713463 337891328 77775 33554432000 4194304 5208918 140733227216688 140733227214440 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 82493 77775 105 248 0 82242 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 520536
[startup+1542.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/184 30571
/proc/meminfo: memFree=21953512/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=330288 CPUtime=1536.46 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 56621 0 0 0 153628 18 0 0 20 0 1 0 285713463 338214912 78386 33554432000 4194304 5208918 140733227216688 140733227214440 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 82572 78386 105 248 0 82321 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 520852
[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.04 3/183 30571
/proc/meminfo: memFree=21949872/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=331048 CPUtime=1596.46 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 56800 0 0 0 159627 19 0 0 20 0 1 0 285713463 338993152 79076 33554432000 4194304 5208918 140733227216688 140733227214440 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 82762 79076 105 248 0 82511 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 521612
[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.04 3/183 30571
/proc/meminfo: memFree=21914152/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=333032 CPUtime=1656.44 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 57954 0 0 0 165624 20 0 0 20 0 1 0 285713463 341024768 76469 33554432000 4194304 5208918 140733227216688 140733227214536 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 83258 76469 105 248 0 83007 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 523596
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.03 3/184 30572
/proc/meminfo: memFree=21898524/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=333572 CPUtime=1716.44 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 58092 0 0 0 171624 20 0 0 20 0 1 0 285713463 341577728 77118 33554432000 4194304 5208918 140733227216688 140733227214440 4205761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 83393 77118 105 248 0 83142 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 524136
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/183 30573
/proc/meminfo: memFree=21879584/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=334100 CPUtime=1776.43 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 58233 0 0 0 177623 20 0 0 20 0 1 0 285713463 342118400 77259 33554432000 4194304 5208918 140733227216688 140733227214536 4229843 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 83525 77259 105 248 0 83274 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 524664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.04 2.03 4/183 30573
/proc/meminfo: memFree=21875408/32873648 swapFree=6852/6852
[pid=30490] ppid=30488 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (npSolver-wbo-It) S 30488 30490 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285712904 9367552 275 33554432000 4194304 5064252 140736722849600 140736722848512 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30490/statm: 2287 275 233 213 0 72 0
[pid=30491] ppid=30490 vsize=172268 CPUtime=5.56 cores=1,3,5,7
/proc/30491/stat : 30491 (npSolver-wbo) S 30490 30490 29981 0 -1 4202496 13482 35471 0 0 202 42 270 42 20 0 1 0 285712905 176402432 35593 33554432000 4194304 5990268 140735590762032 140735590753456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30491/statm: 43067 35593 166 439 0 42624 0
[pid=30503] ppid=30491 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30503/stat : 30503 (satsolver.sh) S 30491 30490 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285713462 9367552 267 33554432000 4194304 5064252 140734907383680 140734907382592 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30503/statm: 2287 267 226 213 0 72 0
[pid=30504] ppid=30503 vsize=336656 CPUtime=1794.53 cores=1,3,5,7
/proc/30504/stat : 30504 (glucose) R 30503 30490 29981 0 -1 4202496 58318 0 0 0 179433 20 0 0 20 0 1 0 285713463 344735744 78366 33554432000 4194304 5208918 140733227216688 140733227213064 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30504/statm: 84164 78366 105 248 0 83913 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 527220
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.06
CPU system time (s): 1.05884
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 619900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.05884
maximum resident set size= 383300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 250832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302
involuntary context switches= 1868
runsolver used 9.73352 second user time and 12.5761 second system time
The end