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-3700883-1338126337/watcher-3700883-1338126337 -o /tmp/evaluation-result-3700883-1338126337/solver-3700883-1338126337 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700883-1338126337.opb 1312486342 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.00 1.93 3/179 19378
/proc/meminfo: memFree=28710124/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[startup+0.0816521 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 19378
/proc/meminfo: memFree=28710124/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 19378
/proc/meminfo: memFree=28710124/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 19378
/proc/meminfo: memFree=28710124/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 19378
/proc/meminfo: memFree=28710124/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 19380
/proc/meminfo: memFree=28485920/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=1.48 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) R 19378 19378 18976 0 -1 4202496 13691 0 0 0 143 5 0 0 20 0 1 0 278760645 176005120 28429 33554432000 4194304 5992684 140737029021200 140737029016520 4568047 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 28429 167 440 0 42526 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 181028
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 19382
/proc/meminfo: memFree=28281456/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=1.88 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14157 0 0 0 165 23 0 0 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029015232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19381] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19381/stat : 19381 (cp2_pre.sh) S 19379 19378 18976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278760834 9367552 277 33554432000 4194304 5064252 140736913963072 140736913961776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19381/statm: 2287 277 234 213 0 72 0
[pid=19382] ppid=19381 vsize=245084 CPUtime=1.19 cores=1,3,5,7
/proc/19382/stat : 19382 (coprocessor) R 19381 19378 18976 0 -1 4202496 17590 0 0 0 113 6 0 0 20 0 1 0 278760834 250966016 49617 33554432000 4194304 6586260 140736129485152 140736129481912 4561220 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19382/statm: 61271 49617 157 584 0 60683 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 435260
[startup+6.30047 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 19385
/proc/meminfo: memFree=28134000/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=1.88 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14157 0 0 0 165 23 0 0 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029015232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19381] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19381/stat : 19381 (cp2_pre.sh) S 19379 19378 18976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278760834 9367552 277 33554432000 4194304 5064252 140736913963072 140736913961776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19381/statm: 2287 277 234 213 0 72 0
[pid=19382] ppid=19381 vsize=408860 CPUtime=4.39 cores=1,3,5,7
/proc/19382/stat : 19382 (coprocessor) R 19381 19378 18976 0 -1 4202496 50532 0 0 0 426 13 0 0 20 0 1 0 278760834 418672640 99933 33554432000 4194304 6586260 140736129485152 140736129481176 4759898 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19382/statm: 102215 99933 182 584 0 101627 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 599036
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 19388
/proc/meminfo: memFree=28404052/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=174116 CPUtime=2.92 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 31552 0 0 0 286 6 0 0 20 0 1 0 278761622 178294784 38487 33554432000 4194304 5208918 140735339244608 140735339242440 4205631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 43529 38487 103 248 0 43278 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 364292
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 19388
/proc/meminfo: memFree=28400588/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=174116 CPUtime=15.72 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 32029 0 0 0 1566 6 0 0 20 0 1 0 278761622 178294784 38964 33554432000 4194304 5208918 140735339244608 140735339242440 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 43529 38964 103 248 0 43278 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 364292
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 19388
/proc/meminfo: memFree=28397736/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=194592 CPUtime=41.32 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 32739 0 0 0 4125 7 0 0 20 0 1 0 278761622 199262208 39670 33554432000 4194304 5208918 140735339244608 140735339242760 4211521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 48648 39670 104 248 0 48397 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 384768
[startup+102.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 19388
/proc/meminfo: memFree=28392588/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=196492 CPUtime=92.52 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 33403 0 0 0 9245 7 0 0 20 0 1 0 278761622 201207808 40842 33554432000 4194304 5208918 140735339244608 140735339242440 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 49123 40842 104 248 0 48872 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 386668
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/183 19389
/proc/meminfo: memFree=28387372/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=196492 CPUtime=152.5 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 33404 0 0 0 15243 7 0 0 20 0 1 0 278761622 201207808 41354 33554432000 4194304 5208918 140735339244608 140735339242440 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 49123 41354 104 248 0 48872 0
Current children cumulated CPU time (s) 162.11
################
# More data... #
################
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 37284 0 0 0 141220 11 0 0 20 0 1 0 278761622 238587904 49109 33554432000 4194304 5208918 140735339244608 140735339242568 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 58249 49109 105 248 0 57998 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 423172
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/184 19432
/proc/meminfo: memFree=27399248/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=232996 CPUtime=1472.3 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 37299 0 0 0 147219 11 0 0 20 0 1 0 278761622 238587904 49635 33554432000 4194304 5208918 140735339244608 140735339242568 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 58249 49635 105 248 0 57998 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 423172
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 1.96 3/183 19432
/proc/meminfo: memFree=27416448/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=202472 CPUtime=1532.3 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 37824 0 0 0 153218 12 0 0 20 0 1 0 278761622 207331328 44518 33554432000 4194304 5208918 140735339244608 140735339240984 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 50618 44518 105 248 0 50367 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 392648
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/183 19432
/proc/meminfo: memFree=27410488/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=202656 CPUtime=1592.28 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 37889 0 0 0 159216 12 0 0 20 0 1 0 278761622 207519744 45094 33554432000 4194304 5208918 140735339244608 140735339242360 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 50664 45094 105 248 0 50413 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 392832
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/183 19433
/proc/meminfo: memFree=27431460/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=202788 CPUtime=1652.27 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 37924 0 0 0 165215 12 0 0 20 0 1 0 278761622 207654912 45640 33554432000 4194304 5208918 140735339244608 140735339242456 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 50697 45640 105 248 0 50446 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 392964
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/183 19433
/proc/meminfo: memFree=27423268/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=202996 CPUtime=1712.26 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 37944 0 0 0 171214 12 0 0 20 0 1 0 278761622 207867904 46682 33554432000 4194304 5208918 140735339244608 140735339242360 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 50749 46682 105 248 0 50498 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 393172
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/183 19433
/proc/meminfo: memFree=27416320/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=234068 CPUtime=1772.25 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 38601 0 0 0 177212 13 0 0 20 0 1 0 278761622 239685632 47848 33554432000 4194304 5208918 140735339244608 140735339242760 4211888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 58517 47848 105 248 0 58266 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 424244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 1.98 3/183 19475
/proc/meminfo: memFree=28403772/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=234068 CPUtime=1790.45 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 38605 0 0 0 179032 13 0 0 20 0 1 0 278761622 239685632 47852 33554432000 4194304 5208918 140735339244608 140735339242760 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 58517 47852 105 248 0 58266 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 424244
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 1.98 3/183 19475
/proc/meminfo: memFree=28403772/32873844 swapFree=7108/7108
[pid=19378] ppid=19376 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19378/stat : 19378 (npSolver-pbo.sh) S 19376 19378 18976 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278760645 9367552 275 33554432000 4194304 5064252 140736351057424 140736351056336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19378/statm: 2287 275 233 213 0 72 0
[pid=19379] ppid=19378 vsize=171880 CPUtime=9.61 cores=1,3,5,7
/proc/19379/stat : 19379 (npSolver-pbo) S 19378 19378 18976 0 -1 4202496 14164 59520 0 0 165 23 740 33 20 0 1 0 278760645 176005120 31508 33554432000 4194304 5992684 140737029021200 140737029016320 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19379/statm: 42970 31508 174 440 0 42526 0
[pid=19387] ppid=19379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19379 19378 18976 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278761621 9367552 266 33554432000 4194304 5064252 140733779495904 140733779494816 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19387/statm: 2287 266 226 213 0 72 0
[pid=19388] ppid=19387 vsize=234068 CPUtime=1790.45 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose) R 19387 19378 18976 0 -1 4202496 38605 0 0 0 179032 13 0 0 20 0 1 0 278761622 239685632 47852 33554432000 4194304 5208918 140735339244608 140735339242760 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 58517 47852 105 248 0 58266 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 424244
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19378 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=55623
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=582911
# CPU time returned by wait4() is 9.63853
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1799.37
CPU system time (s): 0.69
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 647952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05562
system time used= 0.582911
maximum resident set size= 462724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 236304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 19
runsolver used 3.38848 second user time and 9.35258 second system time
The end