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-3701502-1338079784/watcher-3701502-1338079784 -o /tmp/evaluation-result-3701502-1338079784/solver-3701502-1338079784 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701502-1338079784.opb 965527092 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.25 2.08 2.02 3/180 16439
/proc/meminfo: memFree=31207060/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[startup+0.0309829 s]
/proc/loadavg: 2.25 2.08 2.02 3/180 16439
/proc/meminfo: memFree=31207060/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.25 2.08 2.02 3/180 16439
/proc/meminfo: memFree=31207060/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300135 s]
/proc/loadavg: 2.25 2.08 2.02 3/180 16439
/proc/meminfo: memFree=31207060/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 2.25 2.08 2.02 3/180 16439
/proc/meminfo: memFree=31207060/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.25 2.08 2.02 3/184 16453
/proc/meminfo: memFree=31188548/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6360 CPUtime=0.59 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 1822 7204 0 0 33 7 18 1 20 0 1 0 274102984 6512640 929 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1590 929 173 440 0 1146 0
[pid=16452] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16452/stat : 16452 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274103046 9367552 267 33554432000 4194304 5064252 140737108141632 140737108140544 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16452/statm: 2287 267 226 213 0 72 0
[pid=16453] ppid=16452 vsize=15028 CPUtime=0.87 cores=1,3,5,7
/proc/16453/stat : 16453 (glucose) R 16452 16439 11113 0 -1 4202496 2488 0 0 0 87 0 0 0 20 0 1 0 274103046 15388672 3388 33554432000 4194304 5208918 140734623468848 140734623466696 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16453/statm: 3757 3388 95 248 0 3506 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39684
[startup+3.10037 s]
/proc/loadavg: 2.25 2.08 2.02 3/184 16453
/proc/meminfo: memFree=31187812/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6360 CPUtime=0.59 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 1822 7204 0 0 33 7 18 1 20 0 1 0 274102984 6512640 929 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1590 929 173 440 0 1146 0
[pid=16452] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16452/stat : 16452 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274103046 9367552 267 33554432000 4194304 5064252 140737108141632 140737108140544 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16452/statm: 2287 267 226 213 0 72 0
[pid=16453] ppid=16452 vsize=15464 CPUtime=2.47 cores=1,3,5,7
/proc/16453/stat : 16453 (glucose) R 16452 16439 11113 0 -1 4202496 2579 0 0 0 247 0 0 0 20 0 1 0 274103046 15835136 3479 33554432000 4194304 5208918 140734623468848 140734623466760 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16453/statm: 3866 3479 95 248 0 3615 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40120
[startup+6.30036 s]
/proc/loadavg: 2.23 2.08 2.02 3/183 16453
/proc/meminfo: memFree=31185388/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6360 CPUtime=0.59 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 1822 7204 0 0 33 7 18 1 20 0 1 0 274102984 6512640 929 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1590 929 173 440 0 1146 0
[pid=16452] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16452/stat : 16452 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274103046 9367552 267 33554432000 4194304 5064252 140737108141632 140737108140544 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16452/statm: 2287 267 226 213 0 72 0
[pid=16453] ppid=16452 vsize=14436 CPUtime=5.67 cores=1,3,5,7
/proc/16453/stat : 16453 (glucose) R 16452 16439 11113 0 -1 4202496 3747 0 0 0 567 0 0 0 20 0 1 0 274103046 14782464 3224 33554432000 4194304 5208918 140734623468848 140734623466920 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16453/statm: 3609 3224 96 248 0 3358 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39092
[startup+12.7003 s]
/proc/loadavg: 2.21 2.08 2.02 3/184 16454
/proc/meminfo: memFree=31179040/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6408 CPUtime=12.67 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) R 16439 16439 11113 0 -1 4202496 3013 20866 0 0 41 7 1212 7 20 0 1 0 274102984 6561792 812 33554432000 4194304 5992684 140733622432160 140733622423968 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1602 812 173 440 0 1158 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15556
[startup+25.5004 s]
/proc/loadavg: 2.16 2.08 2.02 3/184 16484
/proc/meminfo: memFree=31184956/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=21.03 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 4606 38447 0 0 63 8 2015 17 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16483] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16483/stat : 16483 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274105090 9367552 266 33554432000 4194304 5064252 140736223947760 140736223946672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16483/statm: 2287 266 226 213 0 72 0
[pid=16484] ppid=16483 vsize=15872 CPUtime=4.43 cores=1,3,5,7
/proc/16484/stat : 16484 (glucose) R 16483 16439 11113 0 -1 4202496 3985 0 0 0 443 0 0 0 20 0 1 0 274105090 16252928 3428 33554432000 4194304 5208918 140735842213024 140735842210984 4212859 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16484/statm: 3968 3428 102 248 0 3717 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40540
[startup+51.1004 s]
/proc/loadavg: 2.11 2.07 2.01 3/184 16491
/proc/meminfo: memFree=31151432/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=47.08 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 5122 47445 0 0 64 8 4617 19 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16490] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16490/stat : 16490 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274107696 9367552 267 33554432000 4194304 5064252 140735172630768 140735172629680 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16490/statm: 2287 267 226 213 0 72 0
[pid=16491] ppid=16490 vsize=15964 CPUtime=3.96 cores=1,3,5,7
/proc/16491/stat : 16491 (glucose) R 16490 16439 11113 0 -1 4202496 3770 0 0 0 396 0 0 0 20 0 1 0 274107696 16347136 3455 33554432000 4194304 5208918 140736217910576 140736217908424 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16491/statm: 3991 3455 102 248 0 3740 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 40632
Solver just ended. Dumping a history of the last processes samples
[startup+76.7004 s]
/proc/loadavg: 2.07 2.06 2.01 3/184 16505
/proc/meminfo: memFree=31159308/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=73.65 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 6201 63872 0 0 83 8 7248 26 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16504] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274110354 9367552 267 33554432000 4194304 5064252 140737410680848 140737410679760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16504/statm: 2287 267 226 213 0 72 0
[pid=16505] ppid=16504 vsize=15724 CPUtime=2.99 cores=1,3,5,7
/proc/16505/stat : 16505 (glucose) R 16504 16439 11113 0 -1 4202496 3795 0 0 0 299 0 0 0 20 0 1 0 274110354 16101376 3252 33554432000 4194304 5208918 140733558006992 140733558004824 4229155 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16505/statm: 3931 3252 102 248 0 3680 0
Current children cumulated CPU time (s) 76.64
Current children cumulated vsize (KiB) 40392
[startup+89.5004 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 16505
/proc/meminfo: memFree=31149824/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=73.65 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 6201 63872 0 0 83 8 7248 26 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16504] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274110354 9367552 267 33554432000 4194304 5064252 140737410680848 140737410679760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16504/statm: 2287 267 226 213 0 72 0
[pid=16505] ppid=16504 vsize=21140 CPUtime=15.79 cores=1,3,5,7
/proc/16505/stat : 16505 (glucose) R 16504 16439 11113 0 -1 4202496 5686 0 0 0 1578 1 0 0 20 0 1 0 274110354 21647360 5000 33554432000 4194304 5208918 140733558006992 140733558004856 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16505/statm: 5285 5000 102 248 0 5034 0
Current children cumulated CPU time (s) 89.44
Current children cumulated vsize (KiB) 45808
[startup+92.7004 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 16505
/proc/meminfo: memFree=31149700/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=73.65 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 6201 63872 0 0 83 8 7248 26 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16504] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274110354 9367552 267 33554432000 4194304 5064252 140737410680848 140737410679760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16504/statm: 2287 267 226 213 0 72 0
[pid=16505] ppid=16504 vsize=21140 CPUtime=18.99 cores=1,3,5,7
/proc/16505/stat : 16505 (glucose) R 16504 16439 11113 0 -1 4202496 5686 0 0 0 1898 1 0 0 20 0 1 0 274110354 21647360 5000 33554432000 4194304 5208918 140733558006992 140733558004856 4213264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16505/statm: 5285 5000 102 248 0 5034 0
Current children cumulated CPU time (s) 92.64
Current children cumulated vsize (KiB) 45808
[startup+95.9004 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 16505
/proc/meminfo: memFree=31143804/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=73.65 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 6201 63872 0 0 83 8 7248 26 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16504] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274110354 9367552 267 33554432000 4194304 5064252 140737410680848 140737410679760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16504/statm: 2287 267 226 213 0 72 0
[pid=16505] ppid=16504 vsize=25492 CPUtime=22.19 cores=1,3,5,7
/proc/16505/stat : 16505 (glucose) R 16504 16439 11113 0 -1 4202496 5689 0 0 0 2218 1 0 0 20 0 1 0 274110354 26103808 6025 33554432000 4194304 5208918 140733558006992 140733558004856 4214288 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16505/statm: 6373 6025 102 248 0 6122 0
Current children cumulated CPU time (s) 95.84
Current children cumulated vsize (KiB) 50160
[startup+96.7004 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 16505
/proc/meminfo: memFree=31143804/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=73.65 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 6201 63872 0 0 83 8 7248 26 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16504] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274110354 9367552 267 33554432000 4194304 5064252 140737410680848 140737410679760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16504/statm: 2287 267 226 213 0 72 0
[pid=16505] ppid=16504 vsize=25492 CPUtime=23 cores=1,3,5,7
/proc/16505/stat : 16505 (glucose) R 16504 16439 11113 0 -1 4202496 5690 0 0 0 2299 1 0 0 20 0 1 0 274110354 26103808 6026 33554432000 4194304 5208918 140733558006992 140733558004856 4229238 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16505/statm: 6373 6026 102 248 0 6122 0
Current children cumulated CPU time (s) 96.65
Current children cumulated vsize (KiB) 50160
[startup+97.5004 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 16505
/proc/meminfo: memFree=31143804/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=73.65 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 6201 63872 0 0 83 8 7248 26 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16504] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274110354 9367552 267 33554432000 4194304 5064252 140737410680848 140737410679760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16504/statm: 2287 267 226 213 0 72 0
[pid=16505] ppid=16504 vsize=23936 CPUtime=23.79 cores=1,3,5,7
/proc/16505/stat : 16505 (glucose) R 16504 16439 11113 0 -1 4202496 6188 0 0 0 2378 1 0 0 20 0 1 0 274110354 24510464 5418 33554432000 4194304 5208918 140733558006992 140733558004856 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16505/statm: 5984 5418 102 248 0 5733 0
Current children cumulated CPU time (s) 97.44
Current children cumulated vsize (KiB) 48604
[startup+97.7004 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 16505
/proc/meminfo: memFree=31143804/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=73.65 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) S 16439 16439 11113 0 -1 4202496 6201 63872 0 0 83 8 7248 26 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622424480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
[pid=16504] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16504/stat : 16504 (satsolver.sh) S 16440 16439 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274110354 9367552 267 33554432000 4194304 5064252 140737410680848 140737410679760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16504/statm: 2287 267 226 213 0 72 0
[pid=16505] ppid=16504 vsize=23936 CPUtime=23.99 cores=1,3,5,7
/proc/16505/stat : 16505 (glucose) R 16504 16439 11113 0 -1 4202496 6188 0 0 0 2398 1 0 0 20 0 1 0 274110354 24510464 5418 33554432000 4194304 5208918 140733558006992 140733558004856 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16505/statm: 5984 5418 102 248 0 5733 0
Current children cumulated CPU time (s) 97.64
Current children cumulated vsize (KiB) 48604
[startup+97.8004 s]
/proc/loadavg: 2.05 2.06 2.01 3/181 16509
/proc/meminfo: memFree=31167052/32873844 swapFree=6080/6080
[pid=16439] ppid=16437 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16439/stat : 16439 (npSolver-pbo.sh) S 16437 16439 11113 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274102984 9367552 274 33554432000 4194304 5064252 140735843945728 140735843944640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16439/statm: 2287 274 233 213 0 72 0
[pid=16440] ppid=16439 vsize=6372 CPUtime=97.77 cores=1,3,5,7
/proc/16440/stat : 16440 (npSolver-pbo) R 16439 16439 11113 0 -1 4202496 6258 72590 0 0 85 8 9653 31 20 0 1 0 274102984 6524928 967 33554432000 4194304 5992684 140733622432160 140733622423968 4479689 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16440/statm: 1593 967 173 440 0 1149 0
Current children cumulated CPU time (s) 97.77
Current children cumulated vsize (KiB) 15520
Child status: 0
Real time (s): 97.8728
CPU time (s): 97.8561
CPU user time (s): 97.4512
CPU system time (s): 0.404938
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 50160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.4512
system time used= 0.404938
maximum resident set size= 30176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 325
involuntary context switches= 213
runsolver used 0.173973 second user time and 0.45993 second system time
The end