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-3749445-1339112259/watcher-3749445-1339112259 -o /tmp/evaluation-result-3749445-1339112259/solver-3749445-1339112259 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749445-1339112259.opb 232313495 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: 1.94 1.99 2.00 3/171 9608
/proc/meminfo: memFree=31822180/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0

[startup+0.0417661 s]
/proc/loadavg: 1.94 1.99 2.00 3/171 9608
/proc/meminfo: memFree=31822180/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100302 s]
/proc/loadavg: 1.94 1.99 2.00 3/171 9608
/proc/meminfo: memFree=31822180/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300293 s]
/proc/loadavg: 1.94 1.99 2.00 3/171 9608
/proc/meminfo: memFree=31822180/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700311 s]
/proc/loadavg: 1.94 1.99 2.00 3/171 9608
/proc/meminfo: memFree=31822180/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 1.94 1.99 2.00 3/177 9614
/proc/meminfo: memFree=31511636/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=184456 CPUtime=1.48 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) R 9608 9608 7832 0 -1 4202496 27974 0 0 0 139 9 0 0 20 0 1 0 377351379 188882944 42763 33554432000 4194304 6004724 140737060164992 140737060161800 4534761 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9612/statm: 46114 42763 154 442 0 45668 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 193604

[startup+3.10038 s]
/proc/loadavg: 1.94 1.99 2.00 3/177 9614
/proc/meminfo: memFree=31388700/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=404896 CPUtime=3.07 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) D 9608 9608 7832 0 -1 4202496 30009 0 0 0 287 20 0 0 20 0 1 0 377351379 414613504 98916 33554432000 4194304 6004724 140737060164992 140737060160864 5193835 0 0 4096 0 18446744071581216301 0 0 17 1 0 0 0 0 0
/proc/9612/statm: 101224 98916 157 442 0 100778 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 414044

[startup+6.30051 s]
/proc/loadavg: 2.03 2.01 2.01 3/181 9618
/proc/meminfo: memFree=30102024/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=3.2 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30016 0 0 0 287 33 0 0 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060159040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9617] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9617/stat : 9617 (cp2_pre.sh) S 9612 9608 7832 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377351766 9367552 276 33554432000 4194304 5064252 140737245744272 140737245742976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9617/statm: 2287 276 234 213 0 72 0
[pid=9618] ppid=9617 vsize=482296 CPUtime=2.41 cores=1,3,5,7
/proc/9618/stat : 9618 (coprocessor) R 9617 9608 7832 0 -1 4202496 43289 0 0 0 224 17 0 0 20 0 1 0 377351767 493871104 107824 33554432000 4194304 6586260 140734587199872 140734587196136 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/9618/statm: 120574 107825 163 584 0 119986 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 783392

[startup+12.7004 s]
/proc/loadavg: 2.11 2.02 2.01 3/181 9618
/proc/meminfo: memFree=29766504/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=3.2 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30016 0 0 0 287 33 0 0 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060159040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9617] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9617/stat : 9617 (cp2_pre.sh) S 9612 9608 7832 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377351766 9367552 276 33554432000 4194304 5064252 140737245744272 140737245742976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9617/statm: 2287 276 234 213 0 72 0
[pid=9618] ppid=9617 vsize=632740 CPUtime=8.81 cores=1,3,5,7
/proc/9618/stat : 9618 (coprocessor) R 9617 9608 7832 0 -1 4202496 72451 0 0 0 843 38 0 0 20 0 1 0 377351767 647925760 152872 33554432000 4194304 6586260 140734587199872 140734587195624 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/9618/statm: 158185 152872 198 584 0 157597 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 933836

[startup+25.5005 s]
/proc/loadavg: 2.16 2.04 2.02 3/182 9627
/proc/meminfo: memFree=30935380/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=13.58 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30024 73352 0 0 287 33 989 49 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060160128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9623] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9623/stat : 9623 (satsolver.sh) S 9612 9608 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377352806 9367552 267 33554432000 4194304 5064252 140736922480064 140736922478976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9623/statm: 2287 267 226 213 0 72 0
[pid=9624] ppid=9623 vsize=238928 CPUtime=11.21 cores=1,3,5,7
/proc/9624/stat : 9624 (glucose) R 9623 9608 7832 0 -1 4202496 43487 0 0 0 1112 9 0 0 20 0 1 0 377352807 244662272 55773 33554432000 4194304 5208918 140733815701344 140733815699192 4229195 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9624/statm: 59732 55773 103 248 0 59481 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 540024

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

[startup+26.4005 s]
/proc/loadavg: 2.15 2.04 2.01 3/175 9635
/proc/meminfo: memFree=31218632/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=13.58 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30024 73352 0 0 287 33 989 49 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060160128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9623] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9623/stat : 9623 (satsolver.sh) S 9612 9608 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377352806 9367552 267 33554432000 4194304 5064252 140736922480064 140736922478976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9623/statm: 2287 267 226 213 0 72 0
[pid=9624] ppid=9623 vsize=239336 CPUtime=12.11 cores=1,3,5,7
/proc/9624/stat : 9624 (glucose) R 9623 9608 7832 0 -1 4202496 43569 0 0 0 1202 9 0 0 20 0 1 0 377352807 245080064 55855 33554432000 4194304 5208918 140733815701344 140733815699192 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9624/statm: 59834 55855 103 248 0 59583 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 540432

[startup+32.8071 s]
/proc/loadavg: 2.14 2.04 2.01 3/179 9667
/proc/meminfo: memFree=31039528/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=13.58 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30024 73352 0 0 287 33 989 49 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060160128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9623] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9623/stat : 9623 (satsolver.sh) S 9612 9608 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377352806 9367552 267 33554432000 4194304 5064252 140736922480064 140736922478976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9623/statm: 2287 267 226 213 0 72 0
[pid=9624] ppid=9623 vsize=246412 CPUtime=18.52 cores=1,3,5,7
/proc/9624/stat : 9624 (glucose) R 9623 9608 7832 0 -1 4202496 44159 0 0 0 1843 9 0 0 20 0 1 0 377352807 252325888 57467 33554432000 4194304 5208918 140733815701344 140733815699176 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9624/statm: 61603 57467 103 248 0 61352 0
Current children cumulated CPU time (s) 32.1
Current children cumulated vsize (KiB) 547508

[startup+36.0004 s]
/proc/loadavg: 2.21 2.05 2.02 3/179 9667
/proc/meminfo: memFree=30682616/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=13.58 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30024 73352 0 0 287 33 989 49 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060160128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9623] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9623/stat : 9623 (satsolver.sh) S 9612 9608 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377352806 9367552 267 33554432000 4194304 5064252 140736922480064 140736922478976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9623/statm: 2287 267 226 213 0 72 0
[pid=9624] ppid=9623 vsize=246412 CPUtime=21.72 cores=1,3,5,7
/proc/9624/stat : 9624 (glucose) R 9623 9608 7832 0 -1 4202496 44202 0 0 0 2163 9 0 0 20 0 1 0 377352807 252325888 57510 33554432000 4194304 5208918 140733815701344 140733815697720 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9624/statm: 61603 57510 103 248 0 61352 0
Current children cumulated CPU time (s) 35.3
Current children cumulated vsize (KiB) 547508

[startup+39.2005 s]
/proc/loadavg: 2.21 2.05 2.02 3/179 9667
/proc/meminfo: memFree=30215044/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=13.58 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30024 73352 0 0 287 33 989 49 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060160128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9623] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9623/stat : 9623 (satsolver.sh) S 9612 9608 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377352806 9367552 267 33554432000 4194304 5064252 140736922480064 140736922478976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9623/statm: 2287 267 226 213 0 72 0
[pid=9624] ppid=9623 vsize=246412 CPUtime=24.91 cores=1,3,5,7
/proc/9624/stat : 9624 (glucose) R 9623 9608 7832 0 -1 4202496 44202 0 0 0 2482 9 0 0 20 0 1 0 377352807 252325888 57510 33554432000 4194304 5208918 140733815701344 140733815697720 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9624/statm: 61603 57510 103 248 0 61352 0
Current children cumulated CPU time (s) 38.49
Current children cumulated vsize (KiB) 547508

[startup+40.0004 s]
/proc/loadavg: 2.21 2.05 2.02 3/179 9667
/proc/meminfo: memFree=30156280/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=13.58 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) S 9608 9608 7832 0 -1 4202496 30024 73352 0 0 287 33 989 49 20 0 1 0 377351379 289587200 68398 33554432000 4194304 6004724 140737060164992 140737060160128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68398 163 442 0 70254 0
[pid=9623] ppid=9612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9623/stat : 9623 (satsolver.sh) S 9612 9608 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377352806 9367552 267 33554432000 4194304 5064252 140736922480064 140736922478976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9623/statm: 2287 267 226 213 0 72 0
[pid=9624] ppid=9623 vsize=246412 CPUtime=25.72 cores=1,3,5,7
/proc/9624/stat : 9624 (glucose) R 9623 9608 7832 0 -1 4202496 44294 0 0 0 2562 10 0 0 20 0 1 0 377352807 252325888 57602 33554432000 4194304 5208918 140733815701344 140733815697864 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9624/statm: 61603 57602 105 248 0 61352 0
Current children cumulated CPU time (s) 39.3
Current children cumulated vsize (KiB) 547508

[startup+40.8003 s]
/proc/loadavg: 2.21 2.05 2.02 3/179 9670
/proc/meminfo: memFree=30357308/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282800 CPUtime=40.11 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) R 9608 9608 7832 0 -1 4202496 35717 124836 0 0 320 35 3590 66 20 0 1 0 377351379 289587200 68403 33554432000 4194304 6004724 140737060164992 140737060158984 5190736 0 0 4096 0 0 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70700 68403 168 442 0 70254 0
Current children cumulated CPU time (s) 40.11
Current children cumulated vsize (KiB) 291948

[startup+41.0003 s]
/proc/loadavg: 2.21 2.05 2.02 3/179 9670
/proc/meminfo: memFree=30357308/32873852 swapFree=6864/6864
[pid=9608] ppid=9604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9608/stat : 9608 (npSolver-pbo.sh) S 9604 9608 7832 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377351379 9367552 275 33554432000 4194304 5064252 140736176260208 140736176259120 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9608/statm: 2287 275 233 213 0 72 0
[pid=9612] ppid=9608 vsize=282804 CPUtime=40.31 cores=1,3,5,7
/proc/9612/stat : 9612 (npSolver-pbo) R 9608 9608 7832 0 -1 4202496 46791 124836 0 0 339 36 3590 66 20 0 1 0 377351379 289591296 68406 33554432000 4194304 6004724 140737060164992 140737060158984 4959366 0 0 4096 0 0 0 0 17 1 0 0 65 0 0
/proc/9612/statm: 70701 68406 170 442 0 70255 0
Current children cumulated CPU time (s) 40.31
Current children cumulated vsize (KiB) 291952

Child status: 0
Real time (s): 41.0237
CPU time (s): 40.3529
CPU user time (s): 39.315
CPU system time (s): 1.03784
CPU usage (%): 98.3647
Max. virtual memory (cumulated for all children) (KiB): 933836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.315
system time used= 1.03784
maximum resident set size= 627648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172318
page faults= 0
swaps= 0
block input operations= 8
block output operations= 364768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1314
involuntary context switches= 81

runsolver used 0.065989 second user time and 0.200969 second system time

The end