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-3702896-1338072883/watcher-3702896-1338072883 -o /tmp/evaluation-result-3702896-1338072883/solver-3702896-1338072883 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702896-1338072883.opb 757918286 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.00 2.00 2.00 2/178 6714
/proc/meminfo: memFree=28076192/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[startup+0.0529639 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 6714
/proc/meminfo: memFree=28076192/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 6714
/proc/meminfo: memFree=28076192/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 6714
/proc/meminfo: memFree=28076192/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 6714
/proc/meminfo: memFree=28076192/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/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: 2.00 2.00 2.00 3/180 6716
/proc/meminfo: memFree=28049036/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=102488 CPUtime=1.48 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) R 6714 6714 4763 0 -1 4202496 12267 0 0 0 146 2 0 0 20 0 1 0 273414273 104947712 18865 33554432000 4194304 5992684 140733687247952 140733687240952 5044375 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 25622 18866 157 440 0 25178 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 111636
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6718
/proc/meminfo: memFree=27889636/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=111876 CPUtime=1.74 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 15210 0 0 0 164 10 0 0 20 0 1 0 273414273 114561024 23291 33554432000 4194304 5992684 140733687247952 140733687242400 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 27969 23291 164 440 0 27525 0
[pid=6717] ppid=6715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6717/stat : 6717 (cp2_pre.sh) S 6715 6714 4763 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 273414449 9367552 277 33554432000 4194304 5064252 140733226423456 140733226422160 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6717/statm: 2287 277 234 213 0 72 0
[pid=6718] ppid=6717 vsize=318944 CPUtime=1.33 cores=1,3,5,7
/proc/6718/stat : 6718 (coprocessor) R 6717 6714 4763 0 -1 4202496 34368 0 0 0 125 8 0 0 20 0 1 0 273414449 326598656 70665 33554432000 4194304 6586260 140734292315536 140734292311800 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/6718/statm: 79736 70665 166 584 0 79148 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 449116
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6718
/proc/meminfo: memFree=27609048/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=111876 CPUtime=1.74 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 15210 0 0 0 164 10 0 0 20 0 1 0 273414273 114561024 23291 33554432000 4194304 5992684 140733687247952 140733687242400 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 27969 23291 164 440 0 27525 0
[pid=6717] ppid=6715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6717/stat : 6717 (cp2_pre.sh) S 6715 6714 4763 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 273414449 9367552 277 33554432000 4194304 5064252 140733226423456 140733226422160 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6717/statm: 2287 277 234 213 0 72 0
[pid=6718] ppid=6717 vsize=363776 CPUtime=4.53 cores=1,3,5,7
/proc/6718/stat : 6718 (coprocessor) R 6717 6714 4763 0 -1 4202496 44824 0 0 0 444 9 0 0 20 0 1 0 273414449 372506624 81121 33554432000 4194304 6586260 140734292315536 140734292311352 4498526 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/6718/statm: 90944 81121 170 584 0 90356 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 493948
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6718
/proc/meminfo: memFree=27500948/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=111876 CPUtime=1.74 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 15210 0 0 0 164 10 0 0 20 0 1 0 273414273 114561024 23291 33554432000 4194304 5992684 140733687247952 140733687242400 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 27969 23291 164 440 0 27525 0
[pid=6717] ppid=6715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6717/stat : 6717 (cp2_pre.sh) S 6715 6714 4763 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 273414449 9367552 277 33554432000 4194304 5064252 140733226423456 140733226422160 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6717/statm: 2287 277 234 213 0 72 0
[pid=6718] ppid=6717 vsize=439308 CPUtime=10.93 cores=1,3,5,7
/proc/6718/stat : 6718 (coprocessor) R 6717 6714 4763 0 -1 4202496 56396 0 0 0 1076 17 0 0 20 0 1 0 273414449 449851392 106153 33554432000 4194304 6586260 140734292315536 140734292311288 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/6718/statm: 109827 106153 198 584 0 109239 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 569480
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6723
/proc/meminfo: memFree=27510792/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=128296 CPUtime=16.56 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 15833 57816 0 0 219 234 1174 29 20 0 1 0 273414273 131375104 27421 33554432000 4194304 5992684 140733687247952 140733687240240 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 32074 27421 189 440 0 31630 0
[pid=6720] ppid=6715 vsize=206028 CPUtime=1.97 cores=1,3,5,7
/proc/6720/stat : 6720 (glucosInc) S 6715 6714 4763 0 -1 4202496 35077 0 0 0 190 7 0 0 20 0 1 0 273415646 210972672 47272 33554432000 4194304 5654031 140737100975552 140737100973864 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 51507 47272 146 357 0 51147 0
[pid=6722] ppid=6715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6722/stat : 6722 (satsolver.sh) S 6715 6714 4763 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273416129 9367552 266 33554432000 4194304 5064252 140733222595600 140733222594512 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6722/statm: 2287 266 226 213 0 72 0
[pid=6723] ppid=6722 vsize=201644 CPUtime=6.92 cores=1,3,5,7
/proc/6723/stat : 6723 (glucose) R 6722 6714 4763 0 -1 4202496 34814 0 0 0 685 7 0 0 20 0 1 0 273416129 206483456 45393 33554432000 4194304 5208918 140733830807088 140733830804936 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6723/statm: 50411 45393 95 248 0 50160 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 554264
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6731
/proc/meminfo: memFree=27696232/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=128296 CPUtime=29.74 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 15902 133147 0 0 219 234 2461 60 20 0 1 0 273414273 131375104 27424 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 32074 27424 192 440 0 31630 0
[pid=6730] ppid=6715 vsize=203600 CPUtime=21.31 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 34970 0 0 0 2125 6 0 0 20 0 1 0 273417251 208486400 46100 33554432000 4194304 5654031 140736557295840 140736557293624 4232810 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 50900 46100 131 357 0 50540 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 341044
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6731
/proc/meminfo: memFree=27692372/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=29.8 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 16464 133147 0 0 224 235 2461 60 20 0 1 0 273414273 139137024 28449 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28449 192 440 0 33525 0
[pid=6730] ppid=6715 vsize=208384 CPUtime=34.06 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 37119 0 0 0 3400 6 0 0 20 0 1 0 273417251 213385216 45430 33554432000 4194304 5654031 140736557295840 140736557283656 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 52096 45430 152 357 0 51736 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 353408
[startup+70.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6771
/proc/meminfo: memFree=27754992/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=29.8 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 16464 133147 0 0 224 235 2461 60 20 0 1 0 273414273 139137024 28449 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28449 192 440 0 33525 0
[pid=6730] ppid=6715 vsize=208384 CPUtime=40.47 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 37120 0 0 0 4040 7 0 0 20 0 1 0 273417251 213385216 45942 33554432000 4194304 5654031 140736557295840 140736557283656 4208584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 52096 45942 152 357 0 51736 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 353408
[startup+76.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6771
/proc/meminfo: memFree=26653612/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=29.8 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 16464 133147 0 0 224 235 2461 60 20 0 1 0 273414273 139137024 28449 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28449 192 440 0 33525 0
[pid=6730] ppid=6715 vsize=208384 CPUtime=46.87 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 37120 0 0 0 4680 7 0 0 20 0 1 0 273417251 213385216 45942 33554432000 4194304 5654031 140736557295840 140736557283656 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 52096 45942 152 357 0 51736 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 353408
[startup+78.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6773
/proc/meminfo: memFree=26617516/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=29.8 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 16464 133147 0 0 224 235 2461 60 20 0 1 0 273414273 139137024 28449 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28449 192 440 0 33525 0
[pid=6730] ppid=6715 vsize=210340 CPUtime=48.46 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 37181 0 0 0 4839 7 0 0 20 0 1 0 273417251 215388160 46003 33554432000 4194304 5654031 140736557295840 140736557293608 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 52585 46003 152 357 0 52225 0
Current children cumulated CPU time (s) 78.26
Current children cumulated vsize (KiB) 355364
[startup+79.9003 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 6773
/proc/meminfo: memFree=26490796/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=29.8 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 16464 133147 0 0 224 235 2461 60 20 0 1 0 273414273 139137024 28449 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28449 192 440 0 33525 0
[pid=6730] ppid=6715 vsize=210340 CPUtime=50.06 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 37181 0 0 0 4999 7 0 0 20 0 1 0 273417251 215388160 46003 33554432000 4194304 5654031 140736557295840 140736557283656 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 52585 46003 152 357 0 52225 0
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (KiB) 355364
[startup+80.3067 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 6773
/proc/meminfo: memFree=26319760/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=29.8 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 16464 133147 0 0 224 235 2461 60 20 0 1 0 273414273 139137024 28449 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28449 192 440 0 33525 0
[pid=6730] ppid=6715 vsize=210340 CPUtime=50.47 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 37181 0 0 0 5040 7 0 0 20 0 1 0 273417251 215388160 46003 33554432000 4194304 5654031 140736557295840 140736557283656 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 52585 46003 152 357 0 52225 0
Current children cumulated CPU time (s) 80.27
Current children cumulated vsize (KiB) 355364
[startup+80.5003 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 6773
/proc/meminfo: memFree=26319760/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=29.8 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) S 6714 6714 4763 0 -1 4202496 16464 133147 0 0 224 235 2461 60 20 0 1 0 273414273 139137024 28449 33554432000 4194304 5992684 140733687247952 140733687233784 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28449 192 440 0 33525 0
[pid=6730] ppid=6715 vsize=210340 CPUtime=50.66 cores=1,3,5,7
/proc/6730/stat : 6730 (glucosInc) R 6715 6714 4763 0 -1 4202496 37181 0 0 0 5059 7 0 0 20 0 1 0 273417251 215388160 46003 33554432000 4194304 5654031 140736557295840 140736557283656 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6730/statm: 52585 46003 152 357 0 52225 0
Current children cumulated CPU time (s) 80.46
Current children cumulated vsize (KiB) 355364
[startup+80.6036 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 6773
/proc/meminfo: memFree=26319760/32873648 swapFree=6864/6864
[pid=6714] ppid=6712 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6714/stat : 6714 (npSolver-pbo-It) S 6712 6714 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273414273 9367552 275 33554432000 4194304 5064252 140733637169296 140733637168208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6714/statm: 2287 275 233 213 0 72 0
[pid=6715] ppid=6714 vsize=135876 CPUtime=80.58 cores=1,3,5,7
/proc/6715/stat : 6715 (npSolver-pbo) R 6714 6714 4763 0 -1 4202496 16529 170767 0 0 224 235 7530 69 20 0 1 0 273414273 139137024 28450 33554432000 4194304 5992684 140733687247952 140733687244288 4952720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 33969 28450 193 440 0 33525 0
Current children cumulated CPU time (s) 80.58
Current children cumulated vsize (KiB) 145024
Child status: 0
Real time (s): 80.6072
CPU time (s): 80.6107
CPU user time (s): 77.5542
CPU system time (s): 3.05653
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 608296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.5542
system time used= 3.05653
maximum resident set size= 438200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187687
page faults= 0
swaps= 0
block input operations= 8
block output operations= 497104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2132
involuntary context switches= 121
runsolver used 0.151976 second user time and 0.39194 second system time
The end