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-3752810-1339213208/watcher-3752810-1339213208 -o /tmp/evaluation-result-3752810-1339213208/solver-3752810-1339213208 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752810-1339213208.wbo 953367602 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: 1.98 2.01 1.98 3/178 31379
/proc/meminfo: memFree=29843512/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[startup+0.080527 s]
/proc/loadavg: 1.98 2.01 1.98 3/178 31379
/proc/meminfo: memFree=29843512/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10032 s]
/proc/loadavg: 1.98 2.01 1.98 3/178 31379
/proc/meminfo: memFree=29843512/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 1.98 2.01 1.98 3/178 31379
/proc/meminfo: memFree=29843512/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700251 s]
/proc/loadavg: 1.98 2.01 1.98 3/178 31379
/proc/meminfo: memFree=29843512/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.98 2.01 1.98 3/180 31412
/proc/meminfo: memFree=29799108/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=93472 CPUtime=1.48 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) R 31379 31379 17664 0 -1 4202496 16378 24694 0 0 73 10 59 6 20 0 1 0 387449226 95715328 22466 33554432000 4194304 6006132 140734776406336 140734776399032 4583817 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 23368 22466 193 443 0 22921 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102620
[startup+3.10033 s]
/proc/loadavg: 1.98 2.01 1.98 3/180 31426
/proc/meminfo: memFree=29677892/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=322848 CPUtime=3.08 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) R 31379 31379 17664 0 -1 4202496 18077 24694 0 0 228 15 59 6 20 0 1 0 387449226 330596352 50114 33554432000 4194304 6006132 140734776406336 140734776399032 4535954 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 80712 50114 193 443 0 80265 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 331996
[startup+6.30034 s]
/proc/loadavg: 1.98 2.01 1.98 3/180 31506
/proc/meminfo: memFree=29478960/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=921852 CPUtime=6.27 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) R 31379 31379 17664 0 -1 4202496 19340 24694 0 0 535 27 59 6 20 0 1 0 387449226 943976448 191704 33554432000 4194304 6006132 140734776406336 140734776398680 5195051 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 230463 191704 193 443 0 230016 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 931000
[startup+12.7004 s]
/proc/loadavg: 1.98 2.01 1.98 3/182 31525
/proc/meminfo: memFree=27524524/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=896028 CPUtime=5.92 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 118707 0 0 0 550 42 0 0 20 0 1 0 387449903 917532672 197621 33554432000 4194304 5208918 140737469337280 140737469335128 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31523/statm: 224007 197621 104 248 0 223756 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1466208
[startup+25.5004 s]
/proc/loadavg: 2.20 2.06 2.00 3/182 31525
/proc/meminfo: memFree=27256800/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=903700 CPUtime=18.71 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 120725 0 0 0 1826 45 0 0 20 0 1 0 387449903 925388800 202705 33554432000 4194304 5208918 140737469337280 140737469335128 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31523/statm: 225925 202705 105 248 0 225674 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1473880
[startup+51.1004 s]
/proc/loadavg: 2.19 2.07 2.00 3/182 31525
/proc/meminfo: memFree=27220832/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=911048 CPUtime=44.31 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 122778 0 0 0 4384 47 0 0 20 0 1 0 387449903 932913152 212922 33554432000 4194304 5208918 140737469337280 140737469335128 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31523/statm: 227762 212922 105 248 0 227511 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1481228
[startup+102.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/181 31526
/proc/meminfo: memFree=27183048/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=923124 CPUtime=95.5 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 126955 0 0 0 9493 57 0 0 20 0 1 0 387449903 945278976 209907 33554432000 4194304 5208918 140737469337280 140737469333656 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31523/statm: 230781 209907 105 248 0 230530 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1493304
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/181 31526
/proc/meminfo: memFree=27135220/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=949392 CPUtime=155.49 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 134683 0 0 0 15483 66 0 0 20 0 1 0 387449903 972177408 220475 33554432000 4194304 5208918 140737469337280 140737469335128 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31523/statm: 237348 220475 105 248 0 237097 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1519572
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 31526
/proc/meminfo: memFree=27099404/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 175588 0 0 0 135306 218 0 0 20 0 1 0 387449903 1227087872 260184 33554432000 4194304 5208918 140737469337280 140737469333656 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 299582 260184 105 248 0 299331 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1768508
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31559
/proc/meminfo: memFree=26758420/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1200344 CPUtime=1415.23 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 176068 0 0 0 141304 219 0 0 20 0 1 0 387449903 1229152256 277016 33554432000 4194304 5208918 140737469337280 140737469333656 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 300086 277016 105 248 0 299835 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1770524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31559
/proc/meminfo: memFree=26753136/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1202128 CPUtime=1475.21 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 177128 0 0 0 147298 223 0 0 20 0 1 0 387449903 1230979072 272384 33554432000 4194304 5208918 140737469337280 140737469333656 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 300532 272384 105 248 0 300281 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1772308
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31559
/proc/meminfo: memFree=26745456/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1204916 CPUtime=1535.2 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 178333 0 0 0 153293 227 0 0 20 0 1 0 387449903 1233833984 264776 33554432000 4194304 5208918 140737469337280 140737469333592 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 301229 264776 105 248 0 300978 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1775096
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 31560
/proc/meminfo: memFree=26700200/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1207288 CPUtime=1595.2 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 178921 0 0 0 159291 229 0 0 20 0 1 0 387449903 1236262912 282227 33554432000 4194304 5208918 140737469337280 140737469335128 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 301822 282227 105 248 0 301571 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1777468
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 31560
/proc/meminfo: memFree=26704964/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1209052 CPUtime=1655.19 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 179935 0 0 0 165286 233 0 0 20 0 1 0 387449903 1238069248 277035 33554432000 4194304 5208918 140737469337280 140737469335128 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 302263 277035 105 248 0 302012 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1779232
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 31560
/proc/meminfo: memFree=26774252/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1210628 CPUtime=1715.18 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 180914 0 0 0 171281 237 0 0 20 0 1 0 387449903 1239683072 267661 33554432000 4194304 5208918 140737469337280 140737469335128 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 302657 267661 105 248 0 302406 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1780808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31560
/proc/meminfo: memFree=26683012/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1212732 CPUtime=1775.18 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 181428 0 0 0 177280 238 0 0 20 0 1 0 387449903 1241837568 285549 33554432000 4194304 5208918 140737469337280 140737469333656 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 303183 285549 105 248 0 302932 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1782912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31563
/proc/meminfo: memFree=26746904/32873844 swapFree=7124/7124
[pid=31379] ppid=31377 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31379/stat : 31379 (npSolver-wbo-It) S 31377 31379 17664 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387449226 9367552 274 33554432000 4194304 5064252 140734051676480 140734051675392 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31379/statm: 2287 274 233 213 0 72 0
[pid=31380] ppid=31379 vsize=551884 CPUtime=6.74 cores=0,2,4,6
/proc/31380/stat : 31380 (npSolver-wbo) S 31379 31379 17664 0 -1 4202496 19342 24694 0 0 535 74 59 6 20 0 1 0 387449226 565129216 99213 33554432000 4194304 6006132 140734776406336 140734776397728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31380/statm: 137971 99213 193 443 0 137524 0
[pid=31522] ppid=31380 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31522/stat : 31522 (satsolver.sh) S 31380 31379 17664 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387449903 9367552 266 33554432000 4194304 5064252 140736660902640 140736660901552 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31522/statm: 2287 266 226 213 0 72 0
[pid=31523] ppid=31522 vsize=1213072 CPUtime=1793.28 cores=0,2,4,6
/proc/31523/stat : 31523 (glucose) R 31522 31379 17664 0 -1 4202496 182082 0 0 0 179085 243 0 0 20 0 1 0 387449903 1242185728 263641 33554432000 4194304 5208918 140737469337280 140737469335128 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31523/statm: 303268 263641 105 248 0 303017 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1783252
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31379 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=952095
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=822874
# CPU time returned by wait4() is 6.77497
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.02
CPU user time (s): 1796.79
CPU system time (s): 3.23
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 2126944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.95209
system time used= 0.822874
maximum resident set size= 766816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 756256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 35
runsolver used 2.88556 second user time and 6.94494 second system time
The end