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-3752791-1339212312/watcher-3752791-1339212312 -o /tmp/evaluation-result-3752791-1339212312/solver-3752791-1339212312 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752791-1339212312.wbo 1279724303 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 1.98 4/173 30335
/proc/meminfo: memFree=31599920/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[startup+0.029804 s]
/proc/loadavg: 2.00 2.01 1.98 4/173 30335
/proc/meminfo: memFree=31599920/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100289 s]
/proc/loadavg: 2.00 2.01 1.98 4/173 30335
/proc/meminfo: memFree=31599920/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300308 s]
/proc/loadavg: 2.00 2.01 1.98 4/173 30335
/proc/meminfo: memFree=31599920/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700315 s]
/proc/loadavg: 2.00 2.01 1.98 4/173 30335
/proc/meminfo: memFree=31599920/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 1.98 3/179 30348
/proc/meminfo: memFree=31392048/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=135596 CPUtime=1.48 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) R 30335 30335 29498 0 -1 4202496 18803 0 0 0 143 5 0 0 20 0 1 0 387356318 138850304 31090 33554432000 4194304 6006132 140736018463952 140736018459016 4562763 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30336/statm: 33899 31090 148 443 0 33452 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 144744
[startup+3.10036 s]
/proc/loadavg: 2.00 2.01 1.98 3/179 30348
/proc/meminfo: memFree=31251156/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=135596 CPUtime=2.69 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 18811 0 0 0 199 70 0 0 20 0 1 0 387356318 138850304 31097 33554432000 4194304 6006132 140736018463952 140736018457056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30336/statm: 33899 31097 155 443 0 33452 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 144744
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 30350
/proc/meminfo: memFree=30807996/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=135596 CPUtime=2.69 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 18811 0 0 0 199 70 0 0 20 0 1 0 387356318 138850304 31097 33554432000 4194304 6006132 140736018463952 140736018457056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30336/statm: 33899 31097 155 443 0 33452 0
[pid=30349] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30349/stat : 30349 (cp2_pre.sh) S 30336 30335 29498 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 387356587 9367552 277 33554432000 4194304 5064252 140735545187552 140735545186256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30349/statm: 2287 277 234 213 0 72 0
[pid=30350] ppid=30349 vsize=231332 CPUtime=3.58 cores=1,3,5,7
/proc/30350/stat : 30350 (coprocessor) R 30349 30335 29498 0 -1 4202496 27928 0 0 0 352 6 0 0 20 0 1 0 387356587 236883968 57059 33554432000 4194304 6586260 140734763052560 140734763047928 5599447 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30350/statm: 57833 57059 190 584 0 57245 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 385224
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 30352
/proc/meminfo: memFree=30177748/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=135596 CPUtime=2.69 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 18811 0 0 0 199 70 0 0 20 0 1 0 387356318 138850304 31097 33554432000 4194304 6006132 140736018463952 140736018457056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30336/statm: 33899 31097 155 443 0 33452 0
[pid=30349] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30349/stat : 30349 (cp2_pre.sh) S 30336 30335 29498 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 387356587 9367552 277 33554432000 4194304 5064252 140735545187552 140735545186256 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30349/statm: 2287 277 234 213 0 72 0
[pid=30350] ppid=30349 vsize=232520 CPUtime=9.98 cores=1,3,5,7
/proc/30350/stat : 30350 (coprocessor) R 30349 30335 29498 0 -1 4202496 28208 0 0 0 992 6 0 0 20 0 1 0 387356587 238100480 57339 33554432000 4194304 6586260 140734763052560 140734763048152 5599589 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30350/statm: 58130 57339 190 584 0 57542 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 386412
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 30360
/proc/meminfo: memFree=29880484/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=594424 CPUtime=25.47 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) R 30335 30335 29498 0 -1 4202496 94965 51391 0 0 436 120 1974 17 20 0 1 0 387356318 608690176 139970 33554432000 4194304 6006132 140736018463952 140736018456296 4537500 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30336/statm: 148606 139970 190 443 0 148159 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 603572
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 30361
/proc/meminfo: memFree=28014644/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=2560504 CPUtime=51.07 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) R 30335 30335 29498 0 -1 4202496 98890 51391 0 0 2925 191 1974 17 20 0 1 0 387356318 2621956096 611522 33554432000 4194304 6006132 140736018463952 140736018456296 4537521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30336/statm: 640126 611522 190 443 0 639679 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2569652
[startup+102.307 s]
/proc/loadavg: 2.45 2.11 2.02 3/181 30371
/proc/meminfo: memFree=16599584/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938419 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938419 190 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 267 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 267 226 213 0 72 0
[pid=30366] ppid=30365 vsize=5915076 CPUtime=22.67 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 385910 0 0 0 2072 195 0 0 20 0 1 0 387364280 6057037824 1132018 33554432000 4194304 5208918 140735171762768 140735170712168 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1478769 1132018 70 248 0 1478518 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 10291212
[startup+162.3 s]
/proc/loadavg: 2.48 2.20 2.05 3/181 30371
/proc/meminfo: memFree=9771396/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938419 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938419 190 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 267 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 267 226 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=82.56 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762206 0 0 0 7886 370 0 0 20 0 1 0 387364280 7825178624 1750872 33554432000 4194304 5208918 140735171762768 140735171760648 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750872 104 248 0 1910193 0
Current children cumulated CPU time (s) 161.57
Current children cumulated vsize (KiB) 12017912
[startup+222.3 s]
/proc/loadavg: 2.41 2.21 2.06 3/182 30372
/proc/meminfo: memFree=3546048/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 275 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 275 233 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938419 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938419 190 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 267 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 267 226 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=142.55 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762206 0 0 0 13885 370 0 0 20 0 1 0 387364280 7825178624 1750872 33554432000 4194304 5208918 140735171762768 140735171760648 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750872 104 248 0 1910193 0
Current children cumulated CPU time (s) 221.56
################
# More data... #
################
/proc/30366/statm: 1910444 1750877 103 248 0 1910193 0
Current children cumulated CPU time (s) 1361.39
Current children cumulated vsize (KiB) 12017912
[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 2.22 3/183 30442
/proc/meminfo: memFree=17641824/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1342.37 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762212 0 0 0 133866 371 0 0 20 0 1 0 387364280 7825178624 1750877 33554432000 4194304 5208918 140735171762768 140735171760648 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750877 103 248 0 1910193 0
Current children cumulated CPU time (s) 1421.38
Current children cumulated vsize (KiB) 12017912
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.20 3/183 30442
/proc/meminfo: memFree=17638908/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1402.36 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762212 0 0 0 139865 371 0 0 20 0 1 0 387364280 7825178624 1750877 33554432000 4194304 5208918 140735171762768 140735171760648 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750877 103 248 0 1910193 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 12017912
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.18 3/184 30445
/proc/meminfo: memFree=17633316/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1462.35 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762213 0 0 0 145864 371 0 0 20 0 1 0 387364280 7825178624 1750878 33554432000 4194304 5208918 140735171762768 140735171760648 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750878 103 248 0 1910193 0
Current children cumulated CPU time (s) 1541.36
Current children cumulated vsize (KiB) 12017912
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.18 3/183 30446
/proc/meminfo: memFree=17625832/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1522.34 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762213 0 0 0 151863 371 0 0 20 0 1 0 387364280 7825178624 1750878 33554432000 4194304 5208918 140735171762768 140735171760648 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750878 103 248 0 1910193 0
Current children cumulated CPU time (s) 1601.35
Current children cumulated vsize (KiB) 12017912
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.17 3/183 30446
/proc/meminfo: memFree=17620748/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1582.33 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762213 0 0 0 157862 371 0 0 20 0 1 0 387364280 7825178624 1750878 33554432000 4194304 5208918 140735171762768 140735171760648 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750878 103 248 0 1910193 0
Current children cumulated CPU time (s) 1661.34
Current children cumulated vsize (KiB) 12017912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/183 30446
/proc/meminfo: memFree=17618080/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1642.32 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762213 0 0 0 163861 371 0 0 20 0 1 0 387364280 7825178624 1750878 33554432000 4194304 5208918 140735171762768 140735171760648 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750878 103 248 0 1910193 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 12017912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/183 30446
/proc/meminfo: memFree=17615788/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1702.31 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762214 0 0 0 169860 371 0 0 20 0 1 0 387364280 7825178624 1750879 33554432000 4194304 5208918 140735171762768 140735171760648 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750879 103 248 0 1910193 0
Current children cumulated CPU time (s) 1781.32
Current children cumulated vsize (KiB) 12017912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.01 2.14 3/183 30446
/proc/meminfo: memFree=17613864/32873844 swapFree=7124/7124
[pid=30335] ppid=30333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (npSolver-wbo-It) S 30333 30335 29498 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387356317 9367552 271 33554432000 4194304 5064252 140737301084640 140737301083552 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30335/statm: 2287 271 229 213 0 72 0
[pid=30336] ppid=30335 vsize=4357840 CPUtime=79.01 cores=1,3,5,7
/proc/30336/stat : 30336 (npSolver-wbo) S 30335 30335 29498 0 -1 4202496 103296 51391 0 0 5083 827 1974 17 20 0 1 0 387356318 4462428160 938418 33554432000 4194304 6006132 140736018463952 140736018455344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30336/statm: 1089460 938418 189 443 0 1089013 0
[pid=30365] ppid=30336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30365/stat : 30365 (satsolver.sh) S 30336 30335 29498 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387364279 9367552 263 33554432000 4194304 5064252 140733966415152 140733966414064 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30365/statm: 2287 263 222 213 0 72 0
[pid=30366] ppid=30365 vsize=7641776 CPUtime=1721.02 cores=1,3,5,7
/proc/30366/stat : 30366 (glucose) R 30365 30335 29498 0 -1 4202496 762214 0 0 0 171731 371 0 0 20 0 1 0 387364280 7825178624 1750879 33554432000 4194304 5208918 140735171762768 140735171760648 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30366/statm: 1910444 1750879 103 248 0 1910193 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 12017912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30335 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.02
CPU time (s): 1800.03
CPU user time (s): 1787.88
CPU system time (s): 12.15
CPU usage (%): 99.945
Max. virtual memory (cumulated for all children) (KiB): 15846148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.36234 second user time and 11.6212 second system time
The end