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-3749801-1339182837/watcher-3749801-1339182837 -o /tmp/evaluation-result-3749801-1339182837/solver-3749801-1339182837 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749801-1339182837.opb 1788640972 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: 1.85 1.97 1.99 3/177 15185
/proc/meminfo: memFree=29495956/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) R 15183 15185 14220 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 229 33554432000 4194304 5064252 140737019981504 140737018654376 4661664 0 0 4100 65536 0 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 232 194 213 0 72 0
[startup+0.0278999 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 15185
/proc/meminfo: memFree=29495956/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100171 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 15185
/proc/meminfo: memFree=29495956/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300143 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 15185
/proc/meminfo: memFree=29495956/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700156 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 15185
/proc/meminfo: memFree=29495956/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 15187
/proc/meminfo: memFree=29275736/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=216268 CPUtime=1.49 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) R 15185 15185 14220 0 -1 4202496 25080 0 0 0 142 7 0 0 20 0 1 0 384410006 221458432 41833 33554432000 4194304 6004724 140735961441728 140735961437368 4969078 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15187/statm: 54067 41833 130 442 0 53621 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225416
[startup+3.10026 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 15187
/proc/meminfo: memFree=29018436/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=436044 CPUtime=3.08 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) R 15185 15185 14220 0 -1 4202496 47909 0 0 0 294 14 0 0 20 0 1 0 384410006 446509056 87081 33554432000 4194304 6004724 140735961441728 140735961437368 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15187/statm: 109011 87081 130 442 0 108565 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 445192
[startup+6.30033 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 15187
/proc/meminfo: memFree=28125392/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=875332 CPUtime=6.28 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) R 15185 15185 14220 0 -1 4202496 92910 0 0 0 596 32 0 0 20 0 1 0 384410006 896339968 176410 33554432000 4194304 6004724 140735961441728 140735961437752 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15187/statm: 218833 176411 130 442 0 218387 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 884480
[startup+12.7003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 15187
/proc/meminfo: memFree=26750260/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=1757560 CPUtime=12.68 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) R 15185 15185 14220 0 -1 4202496 252966 0 0 0 1199 69 0 0 20 0 1 0 384410006 1799741440 410793 33554432000 4194304 6004724 140735961441728 140735961436024 4579276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15187/statm: 439390 410793 147 442 0 438944 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1766708
[startup+25.5003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 15187
/proc/meminfo: memFree=22640476/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=3592568 CPUtime=25.47 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) R 15185 15185 14220 0 -1 4202496 255835 0 0 0 2439 108 0 0 20 0 1 0 384410006 3678789632 636073 33554432000 4194304 6004724 140735961441728 140735961436328 5055496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15187/statm: 898142 636073 147 442 0 897696 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 3601716
[startup+51.1003 s]
/proc/loadavg: 2.26 2.05 2.01 4/181 15189
/proc/meminfo: memFree=19095684/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689724 CPUtime=51.07 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) R 15185 15185 14220 0 -1 4202496 258364 0 0 0 4939 168 0 0 20 0 1 0 384410006 5826277376 1132226 33554432000 4194304 6004724 140735961441728 140735961436888 4536263 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15187/statm: 1422431 1132226 154 442 0 1421985 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5698872
[startup+102.3 s]
/proc/loadavg: 3.17 2.32 2.11 3/183 15194
/proc/meminfo: memFree=9943728/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=59.86 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260429 0 0 0 5310 676 0 0 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961435776 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15190] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15190/stat : 15190 (cp2_pre.sh) S 15187 15185 14220 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 384415993 9367552 276 33554432000 4194304 5064252 140734833642384 140734833641088 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15190/statm: 2287 276 234 213 0 72 0
[pid=15191] ppid=15190 vsize=6395020 CPUtime=42.38 cores=0,2,4,6
/proc/15191/stat : 15191 (coprocessor) R 15190 15185 14220 0 -1 4202496 30404 0 0 0 4053 185 0 0 20 0 1 0 384415997 6548500480 1279602 33554432000 4194304 6586260 140736496435376 140736496431128 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/15191/statm: 1598755 1279602 158 584 0 1598167 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 12103056
[startup+162.3 s]
/proc/loadavg: 3.57 2.59 2.21 3/183 15194
/proc/meminfo: memFree=8645020/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=59.86 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260429 0 0 0 5310 676 0 0 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961435776 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15190] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15190/stat : 15190 (cp2_pre.sh) S 15187 15185 14220 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 384415993 9367552 276 33554432000 4194304 5064252 140734833642384 140734833641088 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15190/statm: 2287 276 234 213 0 72 0
[pid=15191] ppid=15190 vsize=6395020 CPUtime=100.97 cores=0,2,4,6
/proc/15191/stat : 15191 (coprocessor) R 15190 15185 14220 0 -1 4202496 30404 0 0 0 9621 476 0 0 20 0 1 0 384415997 6548500480 1279602 33554432000 4194304 6586260 140736496435376 140736496431128 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 137 0 0
/proc/15191/statm: 1598755 1279602 158 584 0 1598167 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 12103056
[startup+222.307 s]
/proc/loadavg: 2.67 2.51 2.20 3/183 15197
/proc/meminfo: memFree=9850932/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7844392 CPUtime=32.65 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 681642 0 0 0 3022 243 0 0 20 0 1 0 384428969 8032657408 1614460 33554432000 4194304 5208918 140735431388976 140735431386920 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1961098 1614460 102 248 0 1960847 0
Current children cumulated CPU time (s) 219.33
Current children cumulated vsize (KiB) 13552428
[startup+282.3 s]
/proc/loadavg: 2.30 2.43 2.19 3/183 15198
/proc/meminfo: memFree=9819920/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/15197/statm: 1988357 1643956 103 248 0 1988106 0
Current children cumulated CPU time (s) 1359.15
Current children cumulated vsize (KiB) 13661464
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 15208
/proc/meminfo: memFree=9701684/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7954088 CPUtime=1232.47 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 848131 0 0 0 122914 333 0 0 20 0 1 0 384428969 8144986112 1644164 33554432000 4194304 5208918 140735431388976 140735431386920 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1988522 1644164 103 248 0 1988271 0
Current children cumulated CPU time (s) 1419.15
Current children cumulated vsize (KiB) 13662124
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/183 15209
/proc/meminfo: memFree=9696868/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7958112 CPUtime=1292.45 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 854094 0 0 0 128909 336 0 0 20 0 1 0 384428969 8149106688 1645395 33554432000 4194304 5208918 140735431388976 140735431386824 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1989528 1645395 103 248 0 1989277 0
Current children cumulated CPU time (s) 1479.13
Current children cumulated vsize (KiB) 13666148
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.03 3/183 15209
/proc/meminfo: memFree=9693128/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7961144 CPUtime=1352.45 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 864311 0 0 0 134904 341 0 0 20 0 1 0 384428969 8152211456 1646156 33554432000 4194304 5208918 140735431388976 140735431386920 4229259 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1990286 1646156 103 248 0 1990035 0
Current children cumulated CPU time (s) 1539.13
Current children cumulated vsize (KiB) 13669180
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/184 15212
/proc/meminfo: memFree=9687772/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7962596 CPUtime=1412.43 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 869403 0 0 0 140899 344 0 0 20 0 1 0 384428969 8153698304 1646520 33554432000 4194304 5208918 140735431388976 140735431386824 4205761 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1990649 1646520 103 248 0 1990398 0
Current children cumulated CPU time (s) 1599.11
Current children cumulated vsize (KiB) 13670632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 15212
/proc/meminfo: memFree=9686720/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7963388 CPUtime=1472.42 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 879040 0 0 0 146893 349 0 0 20 0 1 0 384428969 8154509312 1646701 33554432000 4194304 5208918 140735431388976 140735431386824 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1990847 1646701 103 248 0 1990596 0
Current children cumulated CPU time (s) 1659.1
Current children cumulated vsize (KiB) 13671424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 15212
/proc/meminfo: memFree=9686412/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7964180 CPUtime=1532.41 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 883972 0 0 0 152889 352 0 0 20 0 1 0 384428969 8155320320 1646905 33554432000 4194304 5208918 140735431388976 140735431386824 4229176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1991045 1646905 103 248 0 1990794 0
Current children cumulated CPU time (s) 1719.09
Current children cumulated vsize (KiB) 13672216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 15213
/proc/meminfo: memFree=9683660/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7964772 CPUtime=1592.41 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 893592 0 0 0 158883 358 0 0 20 0 1 0 384428969 8155926528 1647065 33554432000 4194304 5208918 140735431388976 140735431387112 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1991193 1647065 103 248 0 1990942 0
Current children cumulated CPU time (s) 1779.09
Current children cumulated vsize (KiB) 13672808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 15238
/proc/meminfo: memFree=16170872/32873648 swapFree=7112/7112
[pid=15185] ppid=15183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15185/stat : 15185 (npSolver-pbo.sh) S 15183 15185 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384410006 9367552 275 33554432000 4194304 5064252 140737019981504 140737019980416 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15185/statm: 2287 275 233 213 0 72 0
[pid=15187] ppid=15185 vsize=5689740 CPUtime=186.67 cores=0,2,4,6
/proc/15187/stat : 15187 (npSolver-pbo) S 15185 15185 14220 0 -1 4202496 260435 31305 0 0 5310 678 12004 675 20 0 1 0 384410006 5826293760 1190607 33554432000 4194304 6004724 140735961441728 140735961436864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15187/statm: 1422435 1190607 163 442 0 1421989 0
[pid=15196] ppid=15187 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/15196/stat : 15196 (satsolver.sh) S 15187 15185 14220 0 -1 4202496 596 0 0 0 0 1 0 0 20 0 1 0 384428966 9367552 266 33554432000 4194304 5064252 140734428577216 140734428576128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15196/statm: 2287 266 226 213 0 72 0
[pid=15197] ppid=15196 vsize=7965300 CPUtime=1613.41 cores=0,2,4,6
/proc/15197/stat : 15197 (glucose) R 15196 15185 14220 0 -1 4202496 893707 0 0 0 160983 358 0 0 20 0 1 0 384428969 8156467200 1647180 33554432000 4194304 5208918 140735431388976 140735431386920 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15197/statm: 1991325 1647180 103 248 0 1991074 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13673336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15185 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.32
CPU time (s): 1800.09
CPU user time (s): 1782.97
CPU system time (s): 17.12
CPU usage (%): 99.8208
Max. virtual memory (cumulated for all children) (KiB): 13766236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 5.2512 second user time and 9.76252 second system time
The end