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-3701381-1338067960/watcher-3701381-1338067960 -o /tmp/evaluation-result-3701381-1338067960/solver-3701381-1338067960 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701381-1338067960.opb 608692175 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: 2.09 2.08 2.02 3/181 6942
/proc/meminfo: memFree=28689460/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (runsolver) D 6940 6942 3926 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 272920827 12095488 51 33554432000 4194304 5436572 140735262483792 140735262480088 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/6942/statm: 2953 51 31 304 0 2645 0
[startup+0.0923149 s]
/proc/loadavg: 2.09 2.08 2.02 3/181 6942
/proc/meminfo: memFree=28689460/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.09 2.08 2.02 3/181 6942
/proc/meminfo: memFree=28689460/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 2.09 2.08 2.02 3/181 6942
/proc/meminfo: memFree=28689460/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 2.09 2.08 2.02 3/181 6942
/proc/meminfo: memFree=28689460/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.09 2.08 2.02 3/185 6946
/proc/meminfo: memFree=28579204/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=69328 CPUtime=0.82 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 14877 0 0 0 75 7 0 0 20 0 1 0 272920828 70991872 15010 33554432000 4194304 5992684 140735528969408 140735528963440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6944/statm: 17332 15010 163 440 0 16888 0
[pid=6945] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6945/stat : 6945 (cp2_pre.sh) S 6944 6942 3926 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 272920910 9367552 277 33554432000 4194304 5064252 140733229524512 140733229523216 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6945/statm: 2287 277 234 213 0 72 0
[pid=6946] ppid=6945 vsize=206256 CPUtime=0.65 cores=0,2,4,6
/proc/6946/stat : 6946 (coprocessor) R 6945 6942 3926 0 -1 4202496 24386 0 0 0 60 5 0 0 20 0 1 0 272920911 211206144 45382 33554432000 4194304 6586260 140733809935904 140733809932168 5631635 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6946/statm: 51564 45382 166 584 0 50976 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 293880
[startup+3.10038 s]
/proc/loadavg: 2.09 2.08 2.02 3/185 6946
/proc/meminfo: memFree=28399800/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=69328 CPUtime=0.82 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 14877 0 0 0 75 7 0 0 20 0 1 0 272920828 70991872 15010 33554432000 4194304 5992684 140735528969408 140735528963440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6944/statm: 17332 15010 163 440 0 16888 0
[pid=6945] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6945/stat : 6945 (cp2_pre.sh) S 6944 6942 3926 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 272920910 9367552 277 33554432000 4194304 5064252 140733229524512 140733229523216 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6945/statm: 2287 277 234 213 0 72 0
[pid=6946] ppid=6945 vsize=242972 CPUtime=2.26 cores=0,2,4,6
/proc/6946/stat : 6946 (coprocessor) R 6945 6942 3926 0 -1 4202496 32080 0 0 0 219 7 0 0 20 0 1 0 272920911 248803328 58697 33554432000 4194304 6586260 140733809935904 140733809931720 4752734 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6946/statm: 60743 58697 182 584 0 60155 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 330596
[startup+6.3004 s]
/proc/loadavg: 2.09 2.08 2.02 3/185 6949
/proc/meminfo: memFree=28518880/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=69328 CPUtime=4.72 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 14887 39998 0 0 75 7 375 15 20 0 1 0 272920828 70991872 15010 33554432000 4194304 5992684 140735528969408 140735528964528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6944/statm: 17332 15010 163 440 0 16888 0
[pid=6948] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6948/stat : 6948 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272921301 9367552 267 33554432000 4194304 5064252 140736803739504 140736803738416 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6948/statm: 2287 267 226 213 0 72 0
[pid=6949] ppid=6948 vsize=132396 CPUtime=1.55 cores=0,2,4,6
/proc/6949/stat : 6949 (glucose) R 6948 6942 3926 0 -1 4202496 25358 0 0 0 151 4 0 0 20 0 1 0 272921301 135573504 30429 33554432000 4194304 5208918 140736409914064 140736409911912 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6949/statm: 33099 30429 95 248 0 32848 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 220020
[startup+12.7004 s]
/proc/loadavg: 2.08 2.08 2.02 3/185 6949
/proc/meminfo: memFree=28515616/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=69328 CPUtime=4.72 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 14887 39998 0 0 75 7 375 15 20 0 1 0 272920828 70991872 15010 33554432000 4194304 5992684 140735528969408 140735528964528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6944/statm: 17332 15010 163 440 0 16888 0
[pid=6948] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6948/stat : 6948 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272921301 9367552 267 33554432000 4194304 5064252 140736803739504 140736803738416 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6948/statm: 2287 267 226 213 0 72 0
[pid=6949] ppid=6948 vsize=132664 CPUtime=7.95 cores=0,2,4,6
/proc/6949/stat : 6949 (glucose) R 6948 6942 3926 0 -1 4202496 25434 0 0 0 791 4 0 0 20 0 1 0 272921301 135847936 30505 33554432000 4194304 5208918 140736409914064 140736409912024 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6949/statm: 33166 30505 95 248 0 32915 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 220288
[startup+25.5004 s]
/proc/loadavg: 2.06 2.07 2.02 3/185 6949
/proc/meminfo: memFree=28509916/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=69328 CPUtime=4.72 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 14887 39998 0 0 75 7 375 15 20 0 1 0 272920828 70991872 15010 33554432000 4194304 5992684 140735528969408 140735528964528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6944/statm: 17332 15010 163 440 0 16888 0
[pid=6948] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6948/stat : 6948 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272921301 9367552 267 33554432000 4194304 5064252 140736803739504 140736803738416 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6948/statm: 2287 267 226 213 0 72 0
[pid=6949] ppid=6948 vsize=134680 CPUtime=20.74 cores=0,2,4,6
/proc/6949/stat : 6949 (glucose) R 6948 6942 3926 0 -1 4202496 25990 0 0 0 2070 4 0 0 20 0 1 0 272921301 137912320 32083 33554432000 4194304 5208918 140736409914064 140736409911912 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6949/statm: 33670 32083 103 248 0 33419 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 222304
[startup+51.1004 s]
/proc/loadavg: 2.10 2.08 2.02 3/185 6956
/proc/meminfo: memFree=28427268/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=75800 CPUtime=27.8 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 18865 72854 0 0 113 155 2484 28 20 0 1 0 272920828 77619200 16750 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6944/statm: 18950 16750 174 440 0 18506 0
[pid=6955] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6955/stat : 6955 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272923610 9367552 266 33554432000 4194304 5064252 140737171423552 140737171422464 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6955/statm: 2287 266 226 213 0 72 0
[pid=6956] ppid=6955 vsize=182676 CPUtime=23.25 cores=0,2,4,6
/proc/6956/stat : 6956 (glucose) R 6955 6942 3926 0 -1 4202496 30784 0 0 0 2319 6 0 0 20 0 1 0 272923610 187060224 36426 33554432000 4194304 5208918 140734108653840 140734108651992 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6956/statm: 45669 36426 96 248 0 45418 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 276772
[startup+102.307 s]
/proc/loadavg: 2.04 2.07 2.01 3/185 6956
/proc/meminfo: memFree=28456980/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=75800 CPUtime=27.8 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 18865 72854 0 0 113 155 2484 28 20 0 1 0 272920828 77619200 16750 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6944/statm: 18950 16750 174 440 0 18506 0
[pid=6955] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6955/stat : 6955 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272923610 9367552 266 33554432000 4194304 5064252 140737171423552 140737171422464 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6955/statm: 2287 266 226 213 0 72 0
[pid=6956] ppid=6955 vsize=164452 CPUtime=74.42 cores=0,2,4,6
/proc/6956/stat : 6956 (glucose) R 6955 6942 3926 0 -1 4202496 32689 0 0 0 7433 9 0 0 20 0 1 0 272923610 168398848 36495 33554432000 4194304 5208918 140734108653840 140734108651992 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6956/statm: 41113 36495 96 248 0 40862 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 258548
[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/185 7001
/proc/meminfo: memFree=28420584/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=75800 CPUtime=27.8 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 18865 72854 0 0 113 155 2484 28 20 0 1 0 272920828 77619200 16750 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6944/statm: 18950 16750 174 440 0 18506 0
[pid=6955] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6956/stat : 6956 (glucose) R 6955 6942 3926 0 -1 4202496 52299 0 0 0 139368 51 0 0 20 0 1 0 272923610 224194560 44795 33554432000 4194304 5208918 140734108653840 140734108651992 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6956/statm: 54735 44795 96 248 0 54484 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 313036
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7025
/proc/meminfo: memFree=28285332/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=75800 CPUtime=27.8 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 18865 72854 0 0 113 155 2484 28 20 0 1 0 272920828 77619200 16750 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6944/statm: 18950 16750 174 440 0 18506 0
[pid=6955] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6955/stat : 6955 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272923610 9367552 266 33554432000 4194304 5064252 140737171423552 140737171422464 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6955/statm: 2287 266 226 213 0 72 0
[pid=6956] ppid=6955 vsize=269028 CPUtime=1454.18 cores=0,2,4,6
/proc/6956/stat : 6956 (glucose) R 6955 6942 3926 0 -1 4202496 53130 0 0 0 145366 52 0 0 20 0 1 0 272923610 275484672 53289 33554432000 4194304 5208918 140734108653840 140734108651992 4205238 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6956/statm: 67257 53289 96 248 0 67006 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 363124
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7025
/proc/meminfo: memFree=28246224/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=75800 CPUtime=27.8 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 18865 72854 0 0 113 155 2484 28 20 0 1 0 272920828 77619200 16750 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6944/statm: 18950 16750 174 440 0 18506 0
[pid=6955] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6955/stat : 6955 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272923610 9367552 266 33554432000 4194304 5064252 140737171423552 140737171422464 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6955/statm: 2287 266 226 213 0 72 0
[pid=6956] ppid=6955 vsize=269220 CPUtime=1514.14 cores=0,2,4,6
/proc/6956/stat : 6956 (glucose) R 6955 6942 3926 0 -1 4202496 53204 0 0 0 151362 52 0 0 20 0 1 0 272923610 275681280 62028 33554432000 4194304 5208918 140734108653840 140734108651688 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6956/statm: 67305 62028 96 248 0 67054 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 363316
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/185 7032
/proc/meminfo: memFree=28362456/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=81944 CPUtime=1577.13 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 22100 134293 0 0 118 156 157344 95 20 0 1 0 272920828 83910656 17857 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6944/statm: 20486 17857 174 440 0 20042 0
[pid=7031] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7031/stat : 7031 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273078575 9367552 266 33554432000 4194304 5064252 140734153683696 140734153682608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7031/statm: 2287 266 226 213 0 72 0
[pid=7032] ppid=7031 vsize=163272 CPUtime=24.8 cores=0,2,4,6
/proc/7032/stat : 7032 (glucose) R 7031 6942 3926 0 -1 4202496 28372 0 0 0 2474 6 0 0 20 0 1 0 273078575 167190528 33488 33554432000 4194304 5208918 140736667786976 140736667785128 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7032/statm: 40818 33488 96 248 0 40567 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 263512
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 7035
/proc/meminfo: memFree=28353024/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=81944 CPUtime=1577.13 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 22100 134293 0 0 118 156 157344 95 20 0 1 0 272920828 83910656 17857 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6944/statm: 20486 17857 174 440 0 20042 0
[pid=7031] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7031/stat : 7031 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273078575 9367552 266 33554432000 4194304 5064252 140734153683696 140734153682608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7031/statm: 2287 266 226 213 0 72 0
[pid=7032] ppid=7031 vsize=164012 CPUtime=84.79 cores=0,2,4,6
/proc/7032/stat : 7032 (glucose) R 7031 6942 3926 0 -1 4202496 30459 0 0 0 8470 9 0 0 20 0 1 0 273078575 167948288 34541 33554432000 4194304 5208918 140736667786976 140736667785128 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7032/statm: 41003 34541 96 248 0 40752 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 264252
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/186 7059
/proc/meminfo: memFree=28342172/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=81944 CPUtime=1577.13 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 22100 134293 0 0 118 156 157344 95 20 0 1 0 272920828 83910656 17857 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6944/statm: 20486 17857 174 440 0 20042 0
[pid=7031] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7031/stat : 7031 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273078575 9367552 266 33554432000 4194304 5064252 140734153683696 140734153682608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7031/statm: 2287 266 226 213 0 72 0
[pid=7032] ppid=7031 vsize=164332 CPUtime=144.77 cores=0,2,4,6
/proc/7032/stat : 7032 (glucose) R 7031 6942 3926 0 -1 4202496 31673 0 0 0 14466 11 0 0 20 0 1 0 273078575 168275968 36661 33554432000 4194304 5208918 140736667786976 140736667785128 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7032/statm: 41083 36661 96 248 0 40832 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 264572
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 7059
/proc/meminfo: memFree=28340960/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=81944 CPUtime=1577.13 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 22100 134293 0 0 118 156 157344 95 20 0 1 0 272920828 83910656 17857 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6944/statm: 20486 17857 174 440 0 20042 0
[pid=7031] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7031/stat : 7031 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273078575 9367552 266 33554432000 4194304 5064252 140734153683696 140734153682608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7031/statm: 2287 266 226 213 0 72 0
[pid=7032] ppid=7031 vsize=164564 CPUtime=204.72 cores=0,2,4,6
/proc/7032/stat : 7032 (glucose) R 7031 6942 3926 0 -1 4202496 32888 0 0 0 20459 13 0 0 20 0 1 0 273078575 168513536 37909 33554432000 4194304 5208918 140736667786976 140736667785128 4211540 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7032/statm: 41141 37909 96 248 0 40890 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 264804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 7059
/proc/meminfo: memFree=28328100/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=81944 CPUtime=1577.13 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 22100 134293 0 0 118 156 157344 95 20 0 1 0 272920828 83910656 17857 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6944/statm: 20486 17857 174 440 0 20042 0
[pid=7031] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7031/stat : 7031 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273078575 9367552 266 33554432000 4194304 5064252 140734153683696 140734153682608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7031/statm: 2287 266 226 213 0 72 0
[pid=7032] ppid=7031 vsize=195384 CPUtime=222.92 cores=0,2,4,6
/proc/7032/stat : 7032 (glucose) R 7031 6942 3926 0 -1 4202496 33505 0 0 0 22278 14 0 0 20 0 1 0 273078575 200073216 41212 33554432000 4194304 5208918 140736667786976 140736667785128 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7032/statm: 48846 41212 96 248 0 48595 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 295624
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 7059
/proc/meminfo: memFree=28328100/32873844 swapFree=7616/7616
[pid=6942] ppid=6940 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (npSolver-pbo.sh) S 6940 6942 3926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272920827 9367552 274 33554432000 4194304 5064252 140736698786688 140736698785600 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6942/statm: 2287 274 233 213 0 72 0
[pid=6944] ppid=6942 vsize=81944 CPUtime=1577.13 cores=0,2,4,6
/proc/6944/stat : 6944 (npSolver-pbo) S 6942 6942 3926 0 -1 4202496 22100 134293 0 0 118 156 157344 95 20 0 1 0 272920828 83910656 17857 33554432000 4194304 5992684 140735528969408 140735528961728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6944/statm: 20486 17857 174 440 0 20042 0
[pid=7031] ppid=6944 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7031/stat : 7031 (satsolver.sh) S 6944 6942 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273078575 9367552 266 33554432000 4194304 5064252 140734153683696 140734153682608 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7031/statm: 2287 266 226 213 0 72 0
[pid=7032] ppid=7031 vsize=195384 CPUtime=222.92 cores=0,2,4,6
/proc/7032/stat : 7032 (glucose) R 7031 6942 3926 0 -1 4202496 33505 0 0 0 22278 14 0 0 20 0 1 0 273078575 200073216 41212 33554432000 4194304 5208918 140736667786976 140736667785128 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7032/statm: 48846 41212 96 248 0 48595 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 295624
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6942 and gives
# childrusage.ru_utime.tv_sec=1574
# childrusage.ru_utime.tv_usec=627620
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=522616
# CPU time returned by wait4() is 1577.15
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1797.4
CPU system time (s): 2.65
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 494024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1574.63
system time used= 2.52262
maximum resident set size= 300252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157369
page faults= 0
swaps= 0
block input operations= 0
block output operations= 283272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1802
involuntary context switches= 1688
runsolver used 3.77642 second user time and 9.10961 second system time
The end