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-3749451-1339112562/watcher-3749451-1339112562 -o /tmp/evaluation-result-3749451-1339112562/solver-3749451-1339112562 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749451-1339112562.opb 422191105 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.08 1.02 1.19 3/179 10195
/proc/meminfo: memFree=30683216/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[startup+0.036538 s]
/proc/loadavg: 1.08 1.02 1.19 3/179 10195
/proc/meminfo: memFree=30683216/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 1.08 1.02 1.19 3/179 10195
/proc/meminfo: memFree=30683216/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300258 s]
/proc/loadavg: 1.08 1.02 1.19 3/179 10195
/proc/meminfo: memFree=30683216/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 1.08 1.02 1.19 3/179 10195
/proc/meminfo: memFree=30683216/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 1.08 1.02 1.19 3/181 10197
/proc/meminfo: memFree=30437396/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=216732 CPUtime=1.49 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) R 10195 10195 8372 0 -1 4202496 24744 0 0 0 142 7 0 0 20 0 1 0 21223331 221933568 40014 33554432000 4194304 6004724 140734266136256 140734266132280 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 54183 40015 129 442 0 53737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225880
[startup+3.10028 s]
/proc/loadavg: 1.08 1.02 1.19 3/181 10197
/proc/meminfo: memFree=30240104/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=399512 CPUtime=3.08 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) R 10195 10195 8372 0 -1 4202496 73102 0 0 0 292 16 0 0 20 0 1 0 21223331 409100288 99532 33554432000 4194304 6004724 140734266136256 140734266133064 4224992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 99878 99532 139 442 0 99432 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 408660
[startup+6.30027 s]
/proc/loadavg: 1.15 1.03 1.19 3/183 10199
/proc/meminfo: memFree=29344840/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=661656 CPUtime=6.28 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) R 10195 10195 8372 0 -1 4202496 74632 0 0 0 605 23 0 0 20 0 1 0 21223331 677535744 156154 33554432000 4194304 6004724 140734266136256 140734266131064 4618006 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 165414 156154 147 442 0 164968 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 670804
[startup+12.7003 s]
/proc/loadavg: 1.30 1.06 1.20 3/183 10199
/proc/meminfo: memFree=28660964/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=1448088 CPUtime=12.68 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) R 10195 10195 8372 0 -1 4202496 76259 0 0 0 1226 42 0 0 20 0 1 0 21223331 1482842112 269306 33554432000 4194304 6004724 140734266136256 140734266130856 5055504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 362022 269306 147 442 0 361576 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1457236
[startup+25.5003 s]
/proc/loadavg: 1.45 1.11 1.21 3/183 10202
/proc/meminfo: memFree=26617964/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=4022836 CPUtime=25.49 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) R 10195 10195 8372 0 -1 4202496 79084 0 0 0 2352 197 0 0 20 0 1 0 21223331 4119384064 862846 33554432000 4194304 6004724 140734266136256 140734266132128 5193835 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 1005709 862846 157 442 0 1005263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4031984
[startup+51.1065 s]
/proc/loadavg: 1.98 1.26 1.26 3/185 10252
/proc/meminfo: memFree=24537576/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=26.36 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79092 0 0 0 2352 284 0 0 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266130304 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10203] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10203/stat : 10203 (cp2_pre.sh) S 10196 10195 8372 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 21225968 9367552 277 33554432000 4194304 5064252 140733352532592 140733352531296 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10203/statm: 2287 277 234 213 0 72 0
[pid=10204] ppid=10203 vsize=3155520 CPUtime=23.48 cores=0,2,4,6
/proc/10204/stat : 10204 (coprocessor) R 10203 10195 8372 0 -1 4202496 26719 0 0 0 2264 84 0 0 20 0 1 0 21225969 3231252480 642813 33554432000 4194304 6586260 140735929203360 140735929199112 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 122 0 0
/proc/10204/statm: 788880 642813 157 584 0 788292 0
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (KiB) 5670596
[startup+102.3 s]
/proc/loadavg: 3.01 1.65 1.39 3/185 10252
/proc/meminfo: memFree=23516484/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=26.36 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79092 0 0 0 2352 284 0 0 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266130304 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10203] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10203/stat : 10203 (cp2_pre.sh) S 10196 10195 8372 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 21225968 9367552 277 33554432000 4194304 5064252 140733352532592 140733352531296 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10203/statm: 2287 277 234 213 0 72 0
[pid=10204] ppid=10203 vsize=3155520 CPUtime=67.85 cores=0,2,4,6
/proc/10204/stat : 10204 (coprocessor) D 10203 10195 8372 0 -1 4202496 26719 0 0 0 6482 303 0 0 20 0 1 0 21225969 3231252480 642813 33554432000 4194304 6586260 140735929203360 140735929199112 5732496 0 0 4096 8404994 18446744071580543392 0 0 17 2 0 0 773 0 0
/proc/10204/statm: 788880 642813 157 584 0 788292 0
Current children cumulated CPU time (s) 94.21
Current children cumulated vsize (KiB) 5670596
[startup+162.3 s]
/proc/loadavg: 2.43 1.74 1.43 3/185 10255
/proc/meminfo: memFree=23895752/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4318880 CPUtime=54.04 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 426401 0 0 0 5272 132 0 0 20 0 1 0 21234155 4422533120 895642 33554432000 4194304 5208918 140735958587440 140735958585288 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1079720 895642 95 248 0 1079469 0
Current children cumulated CPU time (s) 153.19
Current children cumulated vsize (KiB) 6833956
[startup+222.3 s]
/proc/loadavg: 2.16 1.78 1.47 3/185 10256
/proc/meminfo: memFree=23880468/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4333080 CPUtime=114.03 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 436140 0 0 0 11268 135 0 0 20 0 1 0 21234155 4437073920 899429 33554432000 4194304 5208918 140735958587440 140735958585288 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1083270 899429 95 248 0 1083019 0
Current children cumulated CPU time (s) 213.18
Current children cumulated vsize (KiB) 6848156
[startup+282.3 s]
/proc/loadavg: 2.06 1.82 1.50 3/185 10256
/proc/meminfo: memFree=23901792/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/10255/statm: 1097432 915695 104 248 0 1097181 0
Current children cumulated CPU time (s) 1353.01
Current children cumulated vsize (KiB) 6904804
[startup+1422.3 s]
/proc/loadavg: 2.15 2.03 1.84 3/185 10289
/proc/meminfo: memFree=23796992/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4389728 CPUtime=1313.85 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 555582 0 0 0 131200 185 0 0 20 0 1 0 21234155 4495081472 915696 33554432000 4194304 5208918 140735958587440 140735958585576 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097432 915696 104 248 0 1097181 0
Current children cumulated CPU time (s) 1413
Current children cumulated vsize (KiB) 6904804
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 1.85 3/185 10290
/proc/meminfo: memFree=23795844/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4390952 CPUtime=1373.84 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 561853 0 0 0 137197 187 0 0 20 0 1 0 21234155 4496334848 916004 33554432000 4194304 5208918 140735958587440 140735958585576 4229176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097738 916004 104 248 0 1097487 0
Current children cumulated CPU time (s) 1472.99
Current children cumulated vsize (KiB) 6906028
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/185 10290
/proc/meminfo: memFree=23795812/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4391084 CPUtime=1433.83 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 567828 0 0 0 143193 190 0 0 20 0 1 0 21234155 4496470016 916037 33554432000 4194304 5208918 140735958587440 140735958585576 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097771 916037 104 248 0 1097520 0
Current children cumulated CPU time (s) 1532.98
Current children cumulated vsize (KiB) 6906160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/185 10290
/proc/meminfo: memFree=23778880/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4391216 CPUtime=1493.82 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 573801 0 0 0 149190 192 0 0 20 0 1 0 21234155 4496605184 916070 33554432000 4194304 5208918 140735958587440 140735958585576 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097804 916070 104 248 0 1097553 0
Current children cumulated CPU time (s) 1592.97
Current children cumulated vsize (KiB) 6906292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/186 10293
/proc/meminfo: memFree=23778096/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4391340 CPUtime=1553.8 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 579809 0 0 0 155185 195 0 0 20 0 1 0 21234155 4496732160 916101 33554432000 4194304 5208918 140735958587440 140735958585576 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097835 916101 104 248 0 1097584 0
Current children cumulated CPU time (s) 1652.95
Current children cumulated vsize (KiB) 6906416
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/185 10293
/proc/meminfo: memFree=23778224/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4391412 CPUtime=1613.78 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 585787 0 0 0 161181 197 0 0 20 0 1 0 21234155 4496805888 916119 33554432000 4194304 5208918 140735958587440 140735958585576 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097853 916119 104 248 0 1097602 0
Current children cumulated CPU time (s) 1712.93
Current children cumulated vsize (KiB) 6906488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/185 10294
/proc/meminfo: memFree=23778220/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4391412 CPUtime=1673.76 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 591743 0 0 0 167176 200 0 0 20 0 1 0 21234155 4496805888 916127 33554432000 4194304 5208918 140735958587440 140735958585576 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097853 916127 104 248 0 1097602 0
Current children cumulated CPU time (s) 1772.91
Current children cumulated vsize (KiB) 6906488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.4 s]
/proc/loadavg: 2.00 2.00 1.88 3/185 10294
/proc/meminfo: memFree=23778156/32873844 swapFree=7120/7120
[pid=10195] ppid=10193 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10195/stat : 10195 (npSolver-pbo.sh) S 10193 10195 8372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 21223331 9367552 275 33554432000 4194304 5064252 140734908389664 140734908388576 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10195/statm: 2287 275 233 213 0 72 0
[pid=10196] ppid=10195 vsize=2496780 CPUtime=99.15 cores=0,2,4,6
/proc/10196/stat : 10196 (npSolver-pbo) S 10195 10195 8372 0 -1 4202496 79098 27622 0 0 2352 285 6922 356 20 0 1 0 21223331 2556702720 481338 33554432000 4194304 6004724 140734266136256 140734266131392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10196/statm: 624195 481338 163 442 0 623749 0
[pid=10254] ppid=10196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10254/stat : 10254 (satsolver.sh) S 10196 10195 8372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 21234154 9367552 267 33554432000 4194304 5064252 140736130779344 140736130778256 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10254/statm: 2287 267 226 213 0 72 0
[pid=10255] ppid=10254 vsize=4391480 CPUtime=1700.86 cores=0,2,4,6
/proc/10255/stat : 10255 (glucose) R 10254 10195 8372 0 -1 4202496 594744 0 0 0 169885 201 0 0 20 0 1 0 21234155 4496875520 916144 33554432000 4194304 5208918 140735958587440 140735958585576 4229125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10255/statm: 1097870 916144 104 248 0 1097619 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6906556
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 10195 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1809.42
CPU time (s): 1800.01
CPU user time (s): 1791.59
CPU system time (s): 8.42
CPU usage (%): 99.4799
Max. virtual memory (cumulated for all children) (KiB): 6948080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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= 1
runsolver used 4.22236 second user time and 10.6924 second system time
The end