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-3750654-1339133599/watcher-3750654-1339133599 -o /tmp/evaluation-result-3750654-1339133599/solver-3750654-1339133599 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750654-1339133599.opb 1666529548 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.07 2.02 2.00 3/179 14357
/proc/meminfo: memFree=30028868/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0

[startup+0.0303421 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14357
/proc/meminfo: memFree=30028868/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100234 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14357
/proc/meminfo: memFree=30028868/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300266 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14357
/proc/meminfo: memFree=30028868/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700192 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14357
/proc/meminfo: memFree=30028868/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/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.07 2.02 2.00 3/183 14371
/proc/meminfo: memFree=29987712/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=0.62 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 8108 7233 0 0 32 10 18 2 20 0 1 0 379488536 27648000 6409 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6409 162 442 0 6304 0
[pid=14370] ppid=14358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14370/stat : 14370 (satsolver.sh) S 14358 14357 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379488599 9367552 267 33554432000 4194304 5064252 140737307596400 140737307595312 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14370/statm: 2287 267 226 213 0 72 0
[pid=14371] ppid=14370 vsize=15212 CPUtime=0.85 cores=1,3,5,7
/proc/14371/stat : 14371 (glucose) R 14370 14357 9764 0 -1 4202496 2521 0 0 0 85 0 0 0 20 0 1 0 379488600 15577088 3431 33554432000 4194304 5208918 140733563541456 140733563539304 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14371/statm: 3803 3431 95 248 0 3552 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 60508

[startup+3.10036 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 14371
/proc/meminfo: memFree=29987208/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=3.07 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) R 14357 14357 9764 0 -1 4202496 8161 13666 0 0 37 10 256 4 20 0 1 0 379488536 27648000 6410 33554432000 4194304 6004724 140734063693840 140734063685680 4625688 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6410 162 442 0 6304 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 36148

[startup+6.30033 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 14392
/proc/meminfo: memFree=29988884/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=3.93 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 9344 24892 0 0 42 10 333 8 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
[pid=14391] ppid=14358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14391/stat : 14391 (satsolver.sh) S 14358 14357 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379488960 9367552 267 33554432000 4194304 5064252 140736820108880 140736820107792 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14391/statm: 2287 267 226 213 0 72 0
[pid=14392] ppid=14391 vsize=14752 CPUtime=2.05 cores=1,3,5,7
/proc/14392/stat : 14392 (glucose) R 14391 14357 9764 0 -1 4202496 2669 0 0 0 205 0 0 0 20 0 1 0 379488960 15106048 3025 33554432000 4194304 5208918 140735539347472 140735539345320 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14392/statm: 3688 3025 95 248 0 3437 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 60048

[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 14406
/proc/meminfo: memFree=29989844/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=11.36 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 10347 38143 0 0 53 11 1059 13 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
[pid=14405] ppid=14358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14405/stat : 14405 (satsolver.sh) S 14358 14357 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379489702 9367552 266 33554432000 4194304 5064252 140733563785408 140733563784320 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14405/statm: 2287 266 226 213 0 72 0
[pid=14406] ppid=14405 vsize=14520 CPUtime=1.02 cores=1,3,5,7
/proc/14406/stat : 14406 (glucose) R 14405 14357 9764 0 -1 4202496 2496 0 0 0 102 0 0 0 20 0 1 0 379489703 14868480 2877 33554432000 4194304 5208918 140737382572848 140737382570696 4205227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14406/statm: 3630 2877 95 248 0 3379 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 59816

############
# WARNING:
# current cumulated CPU time (12.86 s) is less than in the last sample (18.19 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (5.33 s) to the 'lost time'.

[startup+18.5004 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14413
/proc/meminfo: memFree=29987660/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=12.86 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 10854 43727 0 0 62 11 1196 17 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
[pid=14412] ppid=14358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14412/stat : 14412 (satsolver.sh) S 14358 14357 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379489852 9367552 267 33554432000 4194304 5064252 140735874561968 140735874560880 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14412/statm: 2287 267 226 213 0 72 0
[pid=14413] ppid=14412 vsize=20544 CPUtime=5.33 cores=1,3,5,7
/proc/14413/stat : 14413 (glucose) R 14412 14357 9764 0 -1 4202496 5570 0 0 0 532 1 0 0 20 0 1 0 379489852 21037056 4356 33554432000 4194304 5208918 140735184505056 140735184503000 4229151 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14413/statm: 5136 4356 96 248 0 4885 0
Current children cumulated CPU time (s) 18.19
Current children cumulated vsize (KiB) 65840

[startup+18.6003 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14413
/proc/meminfo: memFree=29979844/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=12.86 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) R 14357 14357 9764 0 -1 4202496 10854 43727 0 0 62 11 1196 17 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 0 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
Current children cumulated CPU time (s) 12.86
Current children cumulated vsize (KiB) 36148
#
############


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

[startup+19.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14413
/proc/meminfo: memFree=29979844/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=18.33 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 11340 52649 0 0 63 12 1739 19 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
Current children cumulated CPU time (s) 18.33
Current children cumulated vsize (KiB) 36148

[startup+20.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14420
/proc/meminfo: memFree=29985920/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=18.33 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 11340 52649 0 0 63 12 1739 19 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
[pid=14419] ppid=14358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (satsolver.sh) S 14358 14357 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379490399 9367552 267 33554432000 4194304 5064252 140736418741744 140736418740656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14419/statm: 2287 267 226 213 0 72 0
[pid=14420] ppid=14419 vsize=14724 CPUtime=2.06 cores=1,3,5,7
/proc/14420/stat : 14420 (glucose) R 14419 14357 9764 0 -1 4202496 2639 0 0 0 206 0 0 0 20 0 1 0 379490399 15077376 3010 33554432000 4194304 5208918 140736434102736 140736434100584 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 3681 3010 95 248 0 3430 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 60020

[startup+22.3003 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14420
/proc/meminfo: memFree=29985176/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=18.33 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 11340 52649 0 0 63 12 1739 19 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
[pid=14419] ppid=14358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (satsolver.sh) S 14358 14357 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379490399 9367552 267 33554432000 4194304 5064252 140736418741744 140736418740656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14419/statm: 2287 267 226 213 0 72 0
[pid=14420] ppid=14419 vsize=14884 CPUtime=3.66 cores=1,3,5,7
/proc/14420/stat : 14420 (glucose) R 14419 14357 9764 0 -1 4202496 2888 0 0 0 366 0 0 0 20 0 1 0 379490399 15241216 3027 33554432000 4194304 5208918 140736434102736 140736434100568 4229155 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 3721 3027 101 248 0 3470 0
Current children cumulated CPU time (s) 21.99
Current children cumulated vsize (KiB) 60180

[startup+23.1069 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14420
/proc/meminfo: memFree=29984308/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=18.33 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) S 14357 14357 9764 0 -1 4202496 11340 52649 0 0 63 12 1739 19 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063686192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
[pid=14419] ppid=14358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (satsolver.sh) S 14358 14357 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379490399 9367552 267 33554432000 4194304 5064252 140736418741744 140736418740656 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14419/statm: 2287 267 226 213 0 72 0
[pid=14420] ppid=14419 vsize=15172 CPUtime=4.46 cores=1,3,5,7
/proc/14420/stat : 14420 (glucose) R 14419 14357 9764 0 -1 4202496 3021 0 0 0 446 0 0 0 20 0 1 0 379490399 15536128 3154 33554432000 4194304 5208918 140736434102736 140736434100888 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 3793 3154 101 248 0 3542 0
Current children cumulated CPU time (s) 22.79
Current children cumulated vsize (KiB) 60468

[startup+23.3003 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14420
/proc/meminfo: memFree=29984308/32873844 swapFree=7636/7636
[pid=14357] ppid=14355 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14357/stat : 14357 (npSolver-pbo.sh) S 14355 14357 9764 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379488536 9367552 275 33554432000 4194304 5064252 140736495495392 140736495494304 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14357/statm: 2287 275 233 213 0 72 0
[pid=14358] ppid=14357 vsize=27000 CPUtime=23 cores=1,3,5,7
/proc/14358/stat : 14358 (npSolver-pbo) R 14357 14357 9764 0 -1 4202496 11393 58193 0 0 66 12 2200 22 20 0 1 0 379488536 27648000 6411 33554432000 4194304 6004724 140734063693840 140734063685680 4625641 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14358/statm: 6750 6411 163 442 0 6304 0
Current children cumulated CPU time (s) 23
Current children cumulated vsize (KiB) 36148

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 5.33
#  lost CPU user time (s): 5.32
#  lost CPU system time (s): 0.00999999

Real time (s): 23.3664
CPU time (s): 28.4115
CPU user time (s): 28.0475
CPU system time (s): 0.363946
CPU usage (%): 121.591
Max. virtual memory (cumulated for all children) (KiB): 65840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7275
system time used= 0.353946
maximum resident set size= 52888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220
involuntary context switches= 127

runsolver used 0.049992 second user time and 0.146977 second system time

The end