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-3697809-1338127330/watcher-3697809-1338127330 -o /tmp/evaluation-result-3697809-1338127330/solver-3697809-1338127330 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697809-1338127330.opb 1427637078 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.17 2.09 2.10 3/177 22047
/proc/meminfo: memFree=28605848/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[startup+0.073622 s]
/proc/loadavg: 2.17 2.09 2.10 3/177 22047
/proc/meminfo: memFree=28605848/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100216 s]
/proc/loadavg: 2.17 2.09 2.10 3/177 22047
/proc/meminfo: memFree=28605848/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300278 s]
/proc/loadavg: 2.17 2.09 2.10 3/177 22047
/proc/meminfo: memFree=28605848/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700284 s]
/proc/loadavg: 2.17 2.09 2.10 3/177 22047
/proc/meminfo: memFree=28605848/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.17 2.09 2.10 2/181 22051
/proc/meminfo: memFree=28537732/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=16228 CPUtime=1.15 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 4127 13851 0 0 14 1 97 3 20 0 1 0 278858499 16617472 2969 33554432000 4194304 5992684 140735517444048 140735517430312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 4057 2970 173 440 0 3613 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 25376
[startup+3.10021 s]
/proc/loadavg: 2.17 2.09 2.10 3/179 22054
/proc/meminfo: memFree=28554100/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=28576 CPUtime=2.35 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 9402 20239 0 0 82 32 115 6 20 0 1 0 278858499 29261824 6079 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 7144 6079 189 440 0 6700 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 37724
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 2.16 2.09 2.10 3/180 22056
/proc/meminfo: memFree=28410924/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=28576 CPUtime=2.35 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 9402 20239 0 0 82 32 115 6 20 0 1 0 278858499 29261824 6079 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 7144 6079 189 440 0 6700 0
[pid=22056] ppid=22048 vsize=135292 CPUtime=3.79 cores=0,2,4,6
/proc/22056/stat : 22056 (glucosInc) R 22048 22047 21372 0 -1 4202496 26892 0 0 0 374 5 0 0 20 0 1 0 278858749 138539008 30526 33554432000 4194304 5654031 140733902809200 140733902797016 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22056/statm: 33823 30526 141 357 0 33463 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 173016
[startup+12.7004 s]
/proc/loadavg: 2.14 2.09 2.10 3/180 22056
/proc/meminfo: memFree=28409992/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=28576 CPUtime=2.35 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 9402 20239 0 0 82 32 115 6 20 0 1 0 278858499 29261824 6079 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 7144 6079 189 440 0 6700 0
[pid=22056] ppid=22048 vsize=135556 CPUtime=10.18 cores=0,2,4,6
/proc/22056/stat : 22056 (glucosInc) R 22048 22047 21372 0 -1 4202496 26964 0 0 0 1013 5 0 0 20 0 1 0 278858749 138809344 30598 33554432000 4194304 5654031 140733902809200 140733902806984 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 33889 30598 141 357 0 33529 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 173280
[startup+25.5003 s]
/proc/loadavg: 2.18 2.10 2.10 3/180 22056
/proc/meminfo: memFree=28407332/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=28576 CPUtime=2.35 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 9402 20239 0 0 82 32 115 6 20 0 1 0 278858499 29261824 6079 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 7144 6079 189 440 0 6700 0
[pid=22056] ppid=22048 vsize=135820 CPUtime=22.98 cores=0,2,4,6
/proc/22056/stat : 22056 (glucosInc) R 22048 22047 21372 0 -1 4202496 27021 0 0 0 2293 5 0 0 20 0 1 0 278858749 139079680 30655 33554432000 4194304 5654031 140733902809200 140733902806984 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 33955 30655 141 357 0 33595 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 173544
[startup+51.1004 s]
/proc/loadavg: 2.12 2.09 2.10 3/180 22056
/proc/meminfo: memFree=28398192/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=28576 CPUtime=2.35 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 9402 20239 0 0 82 32 115 6 20 0 1 0 278858499 29261824 6079 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 7144 6079 189 440 0 6700 0
[pid=22056] ppid=22048 vsize=155596 CPUtime=48.57 cores=0,2,4,6
/proc/22056/stat : 22056 (glucosInc) R 22048 22047 21372 0 -1 4202496 27283 0 0 0 4852 5 0 0 20 0 1 0 278858749 159330304 31428 33554432000 4194304 5654031 140733902809200 140733902807288 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22056/statm: 38899 31428 142 357 0 38539 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 193320
[startup+102.3 s]
/proc/loadavg: 2.05 2.07 2.09 3/179 22059
/proc/meminfo: memFree=28410040/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=28576 CPUtime=2.35 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 9402 20239 0 0 82 32 115 6 20 0 1 0 278858499 29261824 6079 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 7144 6079 189 440 0 6700 0
[pid=22056] ppid=22048 vsize=155864 CPUtime=99.75 cores=0,2,4,6
/proc/22056/stat : 22056 (glucosInc) R 22048 22047 21372 0 -1 4202496 27902 0 0 0 9969 6 0 0 20 0 1 0 278858749 159604736 32520 33554432000 4194304 5654031 140733902809200 140733902806984 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22056/statm: 38966 32520 142 357 0 38606 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 193588
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/179 22059
/proc/meminfo: memFree=28405048/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=28576 CPUtime=2.35 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 9402 20239 0 0 82 32 115 6 20 0 1 0 278858499 29261824 6079 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 7144 6079 189 440 0 6700 0
[pid=22056] ppid=22048 vsize=158248 CPUtime=159.72 cores=0,2,4,6
/proc/22056/stat : 22056 (glucosInc) R 22048 22047 21372 0 -1 4202496 29461 0 0 0 15965 7 0 0 20 0 1 0 278858749 162045952 32652 33554432000 4194304 5654031 140733902809200 140733902806984 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22056/statm: 39562 32652 142 357 0 39202 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 195972
[startup+222.306 s]
/proc/loadavg: 2.00 2.05 2.08 3/179 22061
/proc/meminfo: memFree=28418920/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22976 CPUtime=215.36 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 13795 51075 0 0 147 39 21333 17 20 0 1 0 278858499 23527424 4712 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5744 4712 190 440 0 5300 0
[pid=22061] ppid=22048 vsize=135544 CPUtime=6.7 cores=0,2,4,6
/proc/22061/stat : 22061 (glucosInc) R 22048 22047 21372 0 -1 4202496 27261 0 0 0 664 6 0 0 20 0 1 0 278880058 138797056 30253 33554432000 4194304 5654031 140734625480048 140734625467864 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22061/statm: 33886 30253 141 357 0 33526 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 167668
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 22061
/proc/meminfo: memFree=28402340/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=28399252/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=158276 CPUtime=503.55 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 30665 0 0 0 50345 10 0 0 20 0 1 0 278932358 162074624 33170 33554432000 4194304 5654031 140735712880256 140735712868072 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22070/statm: 39569 33170 141 357 0 39209 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 190188
[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 22074
/proc/meminfo: memFree=28398912/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=158276 CPUtime=563.54 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 30666 0 0 0 56344 10 0 0 20 0 1 0 278932358 162074624 33682 33554432000 4194304 5654031 140735712880256 140735712868072 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 39569 33682 141 357 0 39209 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 190188
[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 22075
/proc/meminfo: memFree=28394416/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=158276 CPUtime=623.52 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 30682 0 0 0 62342 10 0 0 20 0 1 0 278932358 162074624 34194 33554432000 4194304 5654031 140735712880256 140735712868072 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 39569 34194 141 357 0 39209 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 190188
[startup+1422.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 22075
/proc/meminfo: memFree=28395044/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=159540 CPUtime=683.51 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 31697 0 0 0 68340 11 0 0 20 0 1 0 278932358 163368960 33499 33554432000 4194304 5654031 140735712880256 140735712868072 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 39885 33499 141 357 0 39525 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 191452
[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/178 22075
/proc/meminfo: memFree=28405384/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=140572 CPUtime=743.5 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 31816 0 0 0 74338 12 0 0 20 0 1 0 278932358 143945728 32433 33554432000 4194304 5654031 140735712880256 140735712868072 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 35143 32433 141 357 0 34783 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 172484
[startup+1542.31 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 22076
/proc/meminfo: memFree=28394352/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=159540 CPUtime=803.49 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 32380 0 0 0 80337 12 0 0 20 0 1 0 278932358 163368960 33499 33554432000 4194304 5654031 140735712880256 140735712868072 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 39885 33499 141 357 0 39525 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 191452
[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 22076
/proc/meminfo: memFree=28394944/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=159540 CPUtime=863.48 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 32439 0 0 0 86336 12 0 0 20 0 1 0 278932358 163368960 34580 33554432000 4194304 5654031 140735712880256 140735712868072 4232431 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 39885 34580 141 357 0 39525 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 191452
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/179 22077
/proc/meminfo: memFree=28390508/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=159936 CPUtime=923.47 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 33206 0 0 0 92334 13 0 0 20 0 1 0 278932358 163774464 33636 33554432000 4194304 5654031 140735712880256 140735712868072 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 39984 33636 141 357 0 39624 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 191848
[startup+1722.3 s]
/proc/loadavg: 2.12 2.08 2.07 3/180 22127
/proc/meminfo: memFree=27802772/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=160108 CPUtime=983.45 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 33272 0 0 0 98332 13 0 0 20 0 1 0 278932358 163950592 34202 33554432000 4194304 5654031 140735712880256 140735712868072 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 40027 34202 141 357 0 39667 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 192020
[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 2.07 3/179 22127
/proc/meminfo: memFree=27805764/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=141824 CPUtime=1043.44 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 33520 0 0 0 104330 14 0 0 20 0 1 0 278932358 145227776 32745 33554432000 4194304 5654031 140735712880256 140735712868072 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 35456 32745 141 357 0 35096 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 173736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.09 2.07 2.07 3/179 22127
/proc/meminfo: memFree=27799900/32873624 swapFree=7104/7104
[pid=22047] ppid=22045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22047/stat : 22047 (npSolver-pbo-It) S 22045 22047 21372 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278858499 9367552 275 33554432000 4194304 5064252 140737395842944 140737395841856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22047/statm: 2287 275 233 213 0 72 0
[pid=22048] ppid=22047 vsize=22764 CPUtime=738.23 cores=0,2,4,6
/proc/22048/stat : 22048 (npSolver-pbo) S 22047 22047 21372 0 -1 4202496 19839 84962 0 0 207 47 73537 32 20 0 1 0 278858499 23310336 4659 33554432000 4194304 5992684 140735517444048 140735517429880 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22048/statm: 5691 4659 190 440 0 5247 0
[pid=22070] ppid=22048 vsize=160792 CPUtime=1061.85 cores=0,2,4,6
/proc/22070/stat : 22070 (glucosInc) R 22048 22047 21372 0 -1 4202496 34083 0 0 0 106171 14 0 0 20 0 1 0 278932358 164651008 33811 33554432000 4194304 5654031 140735712880256 140735712868072 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22070/statm: 40198 33811 141 357 0 39838 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 192704
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.12
CPU user time (s): 1799.17
CPU system time (s): 0.950855
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 225388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.950855
maximum resident set size= 171720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 291440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1435
involuntary context switches= 3725
runsolver used 2.55461 second user time and 7.28689 second system time
The end