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-3749446-1339112177/watcher-3749446-1339112177 -o /tmp/evaluation-result-3749446-1339112177/solver-3749446-1339112177 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749446-1339112177.opb 719110570 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.40 1.11 1.30 3/177 28868
/proc/meminfo: memFree=26781832/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0

[startup+0.0411621 s]
/proc/loadavg: 1.40 1.11 1.30 3/177 28868
/proc/meminfo: memFree=26781832/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100243 s]
/proc/loadavg: 1.40 1.11 1.30 3/177 28868
/proc/meminfo: memFree=26781832/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30022 s]
/proc/loadavg: 1.40 1.11 1.30 3/177 28868
/proc/meminfo: memFree=26781832/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700234 s]
/proc/loadavg: 1.40 1.11 1.30 3/177 28868
/proc/meminfo: memFree=26781832/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/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: 1.40 1.11 1.30 3/179 28870
/proc/meminfo: memFree=26597512/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=184456 CPUtime=1.49 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) R 28868 28868 25783 0 -1 4202496 28297 0 0 0 142 7 0 0 20 0 1 0 377343617 188882944 44204 33554432000 4194304 6004724 140736185638864 140736185634888 4582623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28869/statm: 46114 44204 154 442 0 45668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193604

[startup+3.10027 s]
/proc/loadavg: 1.40 1.11 1.30 3/179 28870
/proc/meminfo: memFree=26406200/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=3.03 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29876 0 0 0 274 29 0 0 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185632912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 291944

[startup+6.30035 s]
/proc/loadavg: 1.45 1.13 1.30 3/181 28872
/proc/meminfo: memFree=25551108/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=3.03 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29876 0 0 0 274 29 0 0 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185632912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
[pid=28871] ppid=28869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28871/stat : 28871 (cp2_pre.sh) S 28869 28868 25783 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377343921 9367552 277 33554432000 4194304 5064252 140733463976064 140733463974768 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28871/statm: 2287 277 234 213 0 72 0
[pid=28872] ppid=28871 vsize=544560 CPUtime=3.25 cores=0,2,4,6
/proc/28872/stat : 28872 (coprocessor) R 28871 28868 25783 0 -1 4202496 60200 0 0 0 311 14 0 0 20 0 1 0 377343921 557629440 122691 33554432000 4194304 6586260 140735331467792 140735331464120 4498585 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/28872/statm: 136140 122691 167 584 0 135552 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 845652

[startup+12.7003 s]
/proc/loadavg: 1.57 1.16 1.31 3/181 28872
/proc/meminfo: memFree=24801636/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=12.14 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29885 74160 0 0 274 29 869 42 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185634000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 291944

[startup+25.5003 s]
/proc/loadavg: 1.67 1.20 1.32 3/181 28875
/proc/meminfo: memFree=24322984/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=12.14 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29885 74160 0 0 274 29 869 42 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185634000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
[pid=28874] ppid=28869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28874/stat : 28874 (satsolver.sh) S 28869 28868 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377344833 9367552 267 33554432000 4194304 5064252 140735283167936 140735283166848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28874/statm: 2287 267 226 213 0 72 0
[pid=28875] ppid=28874 vsize=248660 CPUtime=13.33 cores=0,2,4,6
/proc/28875/stat : 28875 (glucose) R 28874 28868 25783 0 -1 4202496 44629 0 0 0 1324 9 0 0 20 0 1 0 377344833 254627840 57545 33554432000 4194304 5208918 140736666218928 140736666216760 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28875/statm: 62165 57545 104 248 0 61914 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 549752

Solver just ended. Dumping a history of the last processes samples

[startup+25.6004 s]
/proc/loadavg: 1.67 1.20 1.32 3/181 28875
/proc/meminfo: memFree=24322984/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=12.14 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29885 74160 0 0 274 29 869 42 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185634000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
[pid=28874] ppid=28869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28874/stat : 28874 (satsolver.sh) S 28869 28868 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377344833 9367552 267 33554432000 4194304 5064252 140735283167936 140735283166848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28874/statm: 2287 267 226 213 0 72 0
[pid=28875] ppid=28874 vsize=248660 CPUtime=13.43 cores=0,2,4,6
/proc/28875/stat : 28875 (glucose) R 28874 28868 25783 0 -1 4202496 44629 0 0 0 1334 9 0 0 20 0 1 0 377344833 254627840 57545 33554432000 4194304 5208918 140736666218928 140736666216760 4229206 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28875/statm: 62165 57545 104 248 0 61914 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 549752

[startup+32.0068 s]
/proc/loadavg: 1.69 1.21 1.32 3/181 28875
/proc/meminfo: memFree=23794276/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=12.14 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29885 74160 0 0 274 29 869 42 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185634000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
[pid=28874] ppid=28869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28874/stat : 28874 (satsolver.sh) S 28869 28868 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377344833 9367552 267 33554432000 4194304 5064252 140735283167936 140735283166848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28874/statm: 2287 267 226 213 0 72 0
[pid=28875] ppid=28874 vsize=248660 CPUtime=19.83 cores=0,2,4,6
/proc/28875/stat : 28875 (glucose) R 28874 28868 25783 0 -1 4202496 44881 0 0 0 1974 9 0 0 20 0 1 0 377344833 254627840 58308 33554432000 4194304 5208918 140736666218928 140736666216760 4219359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28875/statm: 62165 58308 104 248 0 61914 0
Current children cumulated CPU time (s) 31.97
Current children cumulated vsize (KiB) 549752

[startup+35.2003 s]
/proc/loadavg: 1.72 1.22 1.32 3/181 28875
/proc/meminfo: memFree=23531512/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=12.14 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29885 74160 0 0 274 29 869 42 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185634000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
[pid=28874] ppid=28869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28874/stat : 28874 (satsolver.sh) S 28869 28868 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377344833 9367552 267 33554432000 4194304 5064252 140735283167936 140735283166848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28874/statm: 2287 267 226 213 0 72 0
[pid=28875] ppid=28874 vsize=248660 CPUtime=23.03 cores=0,2,4,6
/proc/28875/stat : 28875 (glucose) R 28874 28868 25783 0 -1 4202496 44881 0 0 0 2294 9 0 0 20 0 1 0 377344833 254627840 58308 33554432000 4194304 5208918 140736666218928 140736666216760 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28875/statm: 62165 58308 104 248 0 61914 0
Current children cumulated CPU time (s) 35.17
Current children cumulated vsize (KiB) 549752

[startup+38.4003 s]
/proc/loadavg: 1.72 1.22 1.32 3/181 28875
/proc/meminfo: memFree=23356920/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=12.14 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29885 74160 0 0 274 29 869 42 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185634000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
[pid=28874] ppid=28869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28874/stat : 28874 (satsolver.sh) S 28869 28868 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377344833 9367552 267 33554432000 4194304 5064252 140735283167936 140735283166848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28874/statm: 2287 267 226 213 0 72 0
[pid=28875] ppid=28874 vsize=248660 CPUtime=26.22 cores=0,2,4,6
/proc/28875/stat : 28875 (glucose) R 28874 28868 25783 0 -1 4202496 44881 0 0 0 2613 9 0 0 20 0 1 0 377344833 254627840 58308 33554432000 4194304 5208918 140736666218928 140736666216760 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28875/statm: 62165 58308 104 248 0 61914 0
Current children cumulated CPU time (s) 38.36
Current children cumulated vsize (KiB) 549752

[startup+39.2003 s]
/proc/loadavg: 1.74 1.24 1.33 3/181 28875
/proc/meminfo: memFree=23270780/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=12.14 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29885 74160 0 0 274 29 869 42 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185634000 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
[pid=28874] ppid=28869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28874/stat : 28874 (satsolver.sh) S 28869 28868 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377344833 9367552 267 33554432000 4194304 5064252 140735283167936 140735283166848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28874/statm: 2287 267 226 213 0 72 0
[pid=28875] ppid=28874 vsize=248660 CPUtime=27.02 cores=0,2,4,6
/proc/28875/stat : 28875 (glucose) R 28874 28868 25783 0 -1 4202496 44881 0 0 0 2693 9 0 0 20 0 1 0 377344833 254627840 58308 33554432000 4194304 5208918 140736666218928 140736666215304 4229203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28875/statm: 62165 58308 104 248 0 61914 0
Current children cumulated CPU time (s) 39.16
Current children cumulated vsize (KiB) 549752

[startup+40.0002 s]
/proc/loadavg: 1.74 1.24 1.33 3/181 28875
/proc/meminfo: memFree=23179120/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=39.65 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) S 28868 28868 25783 0 -1 4202496 29892 119734 0 0 274 29 3609 53 20 0 1 0 377343617 289583104 67791 33554432000 4194304 6004724 140736185638864 140736185633488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67791 163 442 0 70253 0
Current children cumulated CPU time (s) 39.65
Current children cumulated vsize (KiB) 291944

[startup+40.4001 s]
/proc/loadavg: 1.74 1.24 1.33 3/181 28875
/proc/meminfo: memFree=23179120/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=40.38 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) R 28868 28868 25783 0 -1 4202496 34931 125940 0 0 310 30 3641 57 20 0 1 0 377343617 289583104 67796 33554432000 4194304 6004724 140736185638864 140736185633240 5190736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67796 168 442 0 70253 0
Current children cumulated CPU time (s) 40.38
Current children cumulated vsize (KiB) 291944

[startup+40.5001 s]
/proc/loadavg: 1.74 1.24 1.33 3/181 28875
/proc/meminfo: memFree=23179120/32873648 swapFree=7112/7112
[pid=28868] ppid=28866 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28868/stat : 28868 (npSolver-pbo.sh) S 28866 28868 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377343617 9367552 275 33554432000 4194304 5064252 140736731699056 140736731697968 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28868/statm: 2287 275 233 213 0 72 0
[pid=28869] ppid=28868 vsize=282796 CPUtime=40.48 cores=0,2,4,6
/proc/28869/stat : 28869 (npSolver-pbo) R 28868 28868 25783 0 -1 4202496 34931 125940 0 0 320 30 3641 57 20 0 1 0 377343617 289583104 67796 33554432000 4194304 6004724 140736185638864 140736185633240 5190736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28869/statm: 70699 67796 168 442 0 70253 0
Current children cumulated CPU time (s) 40.48
Current children cumulated vsize (KiB) 291944

Child status: 0
Real time (s): 40.589
CPU time (s): 40.5818
CPU user time (s): 39.684
CPU system time (s): 0.897863
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 939136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.684
system time used= 0.897863
maximum resident set size= 618636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1304
involuntary context switches= 73

runsolver used 0.071989 second user time and 0.263959 second system time

The end