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-3702291-1338063826/watcher-3702291-1338063826 -o /tmp/evaluation-result-3702291-1338063826/solver-3702291-1338063826 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702291-1338063826.opb 291796175 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.05 2.02 2.00 3/177 10826
/proc/meminfo: memFree=28750448/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[startup+0.0806759 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10826
/proc/meminfo: memFree=28750448/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10826
/proc/meminfo: memFree=28750448/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10826
/proc/meminfo: memFree=28750448/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10826
/proc/meminfo: memFree=28750448/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 10828
/proc/meminfo: memFree=28704376/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=57256 CPUtime=1.48 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) R 10826 10826 8327 0 -1 4202496 8443 0 0 0 147 1 0 0 20 0 1 0 272449579 58630144 11991 33554432000 4194304 5992684 140734309346688 140734309340168 4524999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10827/statm: 14314 11991 167 440 0 13870 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 66404
[startup+3.10037 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 10828
/proc/meminfo: memFree=28616716/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=184636 CPUtime=3.09 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) R 10826 10826 8327 0 -1 4202496 16840 0 0 0 303 6 0 0 20 0 1 0 272449579 189067264 36692 33554432000 4194304 5992684 140734309346688 140734309342008 4965949 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10827/statm: 46159 36692 169 440 0 45715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193784
[startup+6.30035 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 10828
/proc/meminfo: memFree=28316892/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=358304 CPUtime=6.28 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) R 10826 10826 8327 0 -1 4202496 28135 0 0 0 616 12 0 0 20 0 1 0 272449579 366903296 88803 33554432000 4194304 5992684 140734309346688 140734309239064 4571317 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10827/statm: 89576 88803 169 440 0 89132 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 367452
[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 10828
/proc/meminfo: memFree=27728680/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=1262668 CPUtime=12.68 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) R 10826 10826 8327 0 -1 4202496 59150 0 0 0 1231 37 0 0 20 0 1 0 272449579 1292972032 184842 33554432000 4194304 5992684 140734309346688 140734309342088 4411616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10827/statm: 315667 184842 169 440 0 315223 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1271816
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 10828
/proc/meminfo: memFree=26450744/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=2521924 CPUtime=25.48 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) R 10826 10826 8327 0 -1 4202496 113124 0 0 0 2472 76 0 0 20 0 1 0 272449579 2582450176 391093 33554432000 4194304 5992684 140734309346688 140734309333736 4523474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10827/statm: 630481 391093 169 440 0 630037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2531072
[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10828
/proc/meminfo: memFree=22838300/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=4865904 CPUtime=51.07 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) R 10826 10826 8327 0 -1 4202496 177163 0 0 0 4960 147 0 0 20 0 1 0 272449579 4982685696 851155 33554432000 4194304 5992684 140734309346688 140734309342088 4571337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10827/statm: 1216476 851155 169 440 0 1216032 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 4875052
[startup+102.307 s]
/proc/loadavg: 2.47 2.12 2.04 3/181 10830
/proc/meminfo: memFree=9482448/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=78.61 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238087 0 0 0 7072 789 0 0 20 0 1 0 272449579 5219385344 1241753 33554432000 4194304 5992684 140734309346688 140734309341136 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1241753 176 440 0 1273820 0
[pid=10829] ppid=10827 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/10829/stat : 10829 (cp2_pre.sh) S 10827 10826 8327 0 -1 4202496 608 0 0 0 0 1 0 0 20 0 1 0 272457647 9367552 276 33554432000 4194304 5064252 140733845897536 140733845896240 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10829/statm: 2287 276 234 213 0 72 0
[pid=10830] ppid=10829 vsize=2389812 CPUtime=21.58 cores=1,3,5,7
/proc/10830/stat : 10830 (coprocessor) R 10829 10826 8327 0 -1 4202496 27338 0 0 0 2061 97 0 0 20 0 1 0 272457650 2447167488 583134 33554432000 4194304 6586260 140734335605888 140734335602648 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/10830/statm: 597453 583134 137 584 0 596865 0
Current children cumulated CPU time (s) 100.2
Current children cumulated vsize (KiB) 7505164
[startup+162.3 s]
/proc/loadavg: 3.42 2.45 2.15 2/183 10833
/proc/meminfo: memFree=2156796/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=78.61 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238087 0 0 0 7072 789 0 0 20 0 1 0 272449579 5219385344 1237660 33554432000 4194304 5992684 140734309346688 140734309341136 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1237660 176 440 0 1273820 0
[pid=10829] ppid=10827 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/10829/stat : 10829 (cp2_pre.sh) S 10827 10826 8327 0 -1 4202496 608 0 0 0 0 1 0 0 20 0 1 0 272457647 9367552 276 33554432000 4194304 5064252 140733845897536 140733845896240 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10829/statm: 2287 276 234 213 0 72 0
[pid=10830] ppid=10829 vsize=6683504 CPUtime=69.72 cores=1,3,5,7
/proc/10830/stat : 10830 (coprocessor) R 10829 10826 8327 0 -1 4202496 78393 0 0 0 6595 377 0 0 20 0 1 0 272457650 6843908096 1439877 33554432000 4194304 6586260 140734335605888 140734335601640 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 1158 0 0
/proc/10830/statm: 1670876 1439877 158 584 0 1670288 0
Current children cumulated CPU time (s) 148.34
Current children cumulated vsize (KiB) 11798856
[startup+222.3 s]
/proc/loadavg: 3.85 2.74 2.27 2/183 10833
/proc/meminfo: memFree=263228/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=78.61 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238087 0 0 0 7072 789 0 0 20 0 1 0 272449579 5219385344 1237660 33554432000 4194304 5992684 140734309346688 140734309341136 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1237660 176 440 0 1273820 0
[pid=10829] ppid=10827 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/10829/stat : 10829 (cp2_pre.sh) S 10827 10826 8327 0 -1 4202496 608 0 0 0 0 1 0 0 20 0 1 0 272457647 9367552 276 33554432000 4194304 5064252 140733845897536 140733845896240 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10829/statm: 2287 276 234 213 0 72 0
[pid=10830] ppid=10829 vsize=6683504 CPUtime=129.72 cores=1,3,5,7
/proc/10830/stat : 10830 (coprocessor) R 10829 10826 8327 0 -1 4202496 78393 0 0 0 12233 739 0 0 20 0 1 0 272457650 6843908096 1439877 33554432000 4194304 6586260 140734335605888 140734335601640 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 1158 0 0
/proc/10830/statm: 1670876 1439877 158 584 0 1670288 0
Current children cumulated CPU time (s) 208.34
Current children cumulated vsize (KiB) 11798856
[startup+282.3 s]
/proc/loadavg: 3.76 2.93 2.36 3/183 10833
/proc/meminfo: memFree=278536/32873844 swapFree=6868/6868
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 274 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 274 233 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=78.61 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238087 0 0 0 7072 789 0 0 20 0 1 0 272449579 5219385344 1237659 33554432000 4194304 5992684 140734309346688 140734309341136 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1237659 175 440 0 1273820 0
[pid=10829] ppid=10827 vsize=9148 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=8451320/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=9983816 CPUtime=1074.86 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 888424 0 23 0 106886 600 0 0 20 0 1 0 272479117 10223427584 2036437 33554432000 4194304 5654031 140734259737360 140734259725176 4232821 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2495954 2036437 66 357 0 2495594 0
Current children cumulated CPU time (s) 1347.42
Current children cumulated vsize (KiB) 15090020
[startup+1482.3 s]
/proc/loadavg: 2.00 2.21 2.48 3/180 10928
/proc/meminfo: memFree=8451072/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=9983816 CPUtime=1134.84 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 888437 0 23 0 112884 600 0 0 20 0 1 0 272479117 10223427584 2036450 33554432000 4194304 5654031 140734259737360 140734259725176 4232984 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2495954 2036450 66 357 0 2495594 0
Current children cumulated CPU time (s) 1407.4
Current children cumulated vsize (KiB) 15090020
[startup+1542.31 s]
/proc/loadavg: 2.04 2.19 2.45 3/180 10928
/proc/meminfo: memFree=8431588/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=9999872 CPUtime=1194.83 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 897926 0 23 0 118876 607 0 0 20 0 1 0 272479117 10239868928 2041652 33554432000 4194304 5654031 140734259737360 140734259735144 4232453 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2499968 2041652 66 357 0 2499608 0
Current children cumulated CPU time (s) 1467.39
Current children cumulated vsize (KiB) 15106076
[startup+1602.3 s]
/proc/loadavg: 2.01 2.15 2.42 3/181 10931
/proc/meminfo: memFree=8418616/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=10005812 CPUtime=1254.82 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 899410 0 23 0 124874 608 0 0 20 0 1 0 272479117 10245951488 2044669 33554432000 4194304 5654031 140734259737360 140734259725176 4232803 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2501453 2044669 66 357 0 2501093 0
Current children cumulated CPU time (s) 1527.38
Current children cumulated vsize (KiB) 15112016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.12 2.39 3/180 10931
/proc/meminfo: memFree=8407496/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=10010688 CPUtime=1314.8 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 905942 0 23 0 130866 614 0 0 20 0 1 0 272479117 10250944512 2047447 33554432000 4194304 5654031 140734259737360 140734259735048 4232973 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2502672 2047447 66 357 0 2502312 0
Current children cumulated CPU time (s) 1587.36
Current children cumulated vsize (KiB) 15116892
[startup+1722.3 s]
/proc/loadavg: 2.09 2.12 2.37 3/180 10932
/proc/meminfo: memFree=8404704/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=10011616 CPUtime=1374.8 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 906160 0 23 0 136865 615 0 0 20 0 1 0 272479117 10251894784 2048176 33554432000 4194304 5654031 140734259737360 140734259725176 4232775 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2502904 2048176 66 357 0 2502544 0
Current children cumulated CPU time (s) 1647.36
Current children cumulated vsize (KiB) 15117820
[startup+1782.3 s]
/proc/loadavg: 2.03 2.10 2.35 3/180 10932
/proc/meminfo: memFree=8386032/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=10019816 CPUtime=1434.78 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 908238 0 23 0 142863 615 0 0 20 0 1 0 272479117 10260291584 2052809 33554432000 4194304 5654031 140734259737360 140734259725176 4232453 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2504954 2052809 66 357 0 2504594 0
Current children cumulated CPU time (s) 1707.34
Current children cumulated vsize (KiB) 15126020
[startup+1842.3 s]
/proc/loadavg: 2.01 2.08 2.32 3/180 10932
/proc/meminfo: memFree=8386032/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=10019816 CPUtime=1494.77 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 908238 0 23 0 148862 615 0 0 20 0 1 0 272479117 10260291584 2052809 33554432000 4194304 5654031 140734259737360 140734259725176 4232453 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2504954 2052809 66 357 0 2504594 0
Current children cumulated CPU time (s) 1767.33
Current children cumulated vsize (KiB) 15126020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1875 s]
/proc/loadavg: 2.00 2.07 2.31 3/180 10932
/proc/meminfo: memFree=8380752/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=10021136 CPUtime=1527.48 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 908590 0 23 0 152132 616 0 0 20 0 1 0 272479117 10261643264 2054183 33554432000 4194304 5654031 140734259737360 140734259725176 4232707 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2505284 2054183 66 357 0 2504924 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 15127340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1875 s]
/proc/loadavg: 2.00 2.07 2.31 3/180 10932
/proc/meminfo: memFree=8380752/32873844 swapFree=6872/6872
[pid=10826] ppid=10824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10826/stat : 10826 (npSolver-pbo-It) S 10824 10826 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272449579 9367552 267 33554432000 4194304 5064252 140737272253424 140737272252336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10826/statm: 2287 267 229 213 0 72 0
[pid=10827] ppid=10826 vsize=5097056 CPUtime=272.56 cores=1,3,5,7
/proc/10827/stat : 10827 (npSolver-pbo) S 10826 10826 8327 0 -1 4202496 238104 79287 0 9 7072 791 18164 1229 20 0 1 0 272449579 5219385344 1203177 33554432000 4194304 5992684 140734309346688 140734309332952 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 205 0 0
/proc/10827/statm: 1274264 1203177 50 440 0 1273820 0
[pid=10835] ppid=10827 vsize=10021136 CPUtime=1527.48 cores=1,3,5,7
/proc/10835/stat : 10835 (glucosInc) R 10827 10826 8327 0 -1 4202496 908590 0 23 0 152132 616 0 0 20 0 1 0 272479117 10261643264 2054183 33554432000 4194304 5654031 140734259737360 140734259725176 4232707 0 0 4096 0 0 0 0 17 3 0 0 4652 0 0
/proc/10835/statm: 2505284 2054183 66 357 0 2504924 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 15127340
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10826 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1875.02
CPU time (s): 1800.04
CPU user time (s): 1773.68
CPU system time (s): 26.36
CPU usage (%): 96.001
Max. virtual memory (cumulated for all children) (KiB): 15207028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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.53131 second user time and 11.7042 second system time
The end