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-3749433-1339112629/watcher-3749433-1339112629 -o /tmp/evaluation-result-3749433-1339112629/solver-3749433-1339112629 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749433-1339112629.opb 1520425965 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: 0.99 1.01 1.24 2/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[startup+0.101325 s]
/proc/loadavg: 0.99 1.01 1.24 2/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200174 s]
/proc/loadavg: 0.99 1.01 1.24 2/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300136 s]
/proc/loadavg: 0.99 1.01 1.24 2/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700111 s]
/proc/loadavg: 0.99 1.01 1.24 2/175 26005
/proc/meminfo: memFree=28986980/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 0.99 1.01 1.24 4/183 26019
/proc/meminfo: memFree=28963672/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=13448 CPUtime=1.45 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 2986 0 0 0 145 0 0 0 20 0 1 0 377390273 13770752 2925 33554432000 4194304 5208918 140735346026176 140735346024120 4229776 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26014/statm: 3362 2925 104 248 0 3111 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34380
[startup+3.10037 s]
/proc/loadavg: 1.07 1.02 1.24 4/183 26019
/proc/meminfo: memFree=28946196/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=16168 CPUtime=3.05 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 3673 0 0 0 305 0 0 0 20 0 1 0 377390273 16556032 3596 33554432000 4194304 5208918 140735346026176 140735346024040 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 4042 3596 104 248 0 3791 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37100
[startup+6.30039 s]
/proc/loadavg: 1.07 1.02 1.24 4/183 26019
/proc/meminfo: memFree=28906612/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=18020 CPUtime=6.25 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 3741 0 0 0 625 0 0 0 20 0 1 0 377390273 18452480 3663 33554432000 4194304 5208918 140735346026176 140735346024120 4229738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 4505 3663 104 248 0 4254 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 38952
[startup+12.7004 s]
/proc/loadavg: 1.21 1.05 1.25 4/183 26019
/proc/meminfo: memFree=28916544/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=20696 CPUtime=12.64 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 4449 0 0 0 1264 0 0 0 20 0 1 0 377390273 21192704 4348 33554432000 4194304 5208918 140735346026176 140735346024040 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 5174 4348 104 248 0 4923 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41628
Solver just ended. Dumping a history of the last processes samples
[startup+12.8005 s]
/proc/loadavg: 1.21 1.05 1.25 4/183 26019
/proc/meminfo: memFree=28916544/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=20696 CPUtime=12.74 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 4449 0 0 0 1274 0 0 0 20 0 1 0 377390273 21192704 4348 33554432000 4194304 5208918 140735346026176 140735346024040 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 5174 4348 104 248 0 4923 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 41628
[startup+14.4069 s]
/proc/loadavg: 1.21 1.05 1.25 4/183 26019
/proc/meminfo: memFree=28876136/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=22372 CPUtime=14.34 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 4955 0 0 0 1434 0 0 0 20 0 1 0 377390273 22908928 4831 33554432000 4194304 5208918 140735346026176 140735346024040 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 5593 4831 104 248 0 5342 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 43304
[startup+15.2004 s]
/proc/loadavg: 1.21 1.05 1.25 4/183 26019
/proc/meminfo: memFree=28876136/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=22372 CPUtime=15.14 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 5082 0 0 0 1514 0 0 0 20 0 1 0 377390273 22908928 4950 33554432000 4194304 5208918 140735346026176 140735346024040 4229403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 5593 4950 104 248 0 5342 0
Current children cumulated CPU time (s) 15.16
Current children cumulated vsize (KiB) 43304
[startup+15.4004 s]
/proc/loadavg: 1.21 1.05 1.25 4/183 26019
/proc/meminfo: memFree=28871296/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=22372 CPUtime=15.34 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 5082 0 0 0 1534 0 0 0 20 0 1 0 377390273 22908928 4950 33554432000 4194304 5208918 140735346026176 140735346024040 4229469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 5593 4950 104 248 0 5342 0
Current children cumulated CPU time (s) 15.36
Current children cumulated vsize (KiB) 43304
[startup+15.5069 s]
/proc/loadavg: 1.21 1.05 1.25 4/183 26019
/proc/meminfo: memFree=28871296/32873648 swapFree=7120/7120
[pid=26005] ppid=26001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26005/stat : 26005 (npSolver-pbo.sh) S 26001 26005 24192 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377390269 9367552 275 33554432000 4194304 5064252 140736437242496 140736437241408 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26005/statm: 2287 275 233 213 0 72 0
[pid=26007] ppid=26005 vsize=2636 CPUtime=0.02 cores=1,3,5,7
/proc/26007/stat : 26007 (npSolver-pbo) S 26005 26005 24192 0 -1 4202496 2424 1702 0 0 0 1 1 0 20 0 1 0 377390269 2699264 328 33554432000 4194304 6004724 140735886133744 140735886128880 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26007/statm: 659 328 148 442 0 213 0
[pid=26013] ppid=26007 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26013/stat : 26013 (satsolver.sh) S 26007 26005 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377390273 9367552 266 33554432000 4194304 5064252 140736178859584 140736178858496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=22372 CPUtime=15.44 cores=1,3,5,7
/proc/26014/stat : 26014 (glucose) R 26013 26005 24192 0 -1 4202496 5082 0 0 0 1544 0 0 0 20 0 1 0 377390273 22908928 4950 33554432000 4194304 5208918 140735346026176 140735346024040 4229507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26014/statm: 5593 4950 104 248 0 5342 0
Current children cumulated CPU time (s) 15.46
Current children cumulated vsize (KiB) 43304
Child status: 0
Real time (s): 15.5259
CPU time (s): 15.5176
CPU user time (s): 15.4876
CPU system time (s): 0.029995
CPU usage (%): 99.947
Max. virtual memory (cumulated for all children) (KiB): 43304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4876
system time used= 0.029995
maximum resident set size= 29796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12059
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 43
runsolver used 0.010998 second user time and 0.12698 second system time
The end