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-3698437-1338101093/watcher-3698437-1338101093 -o /tmp/evaluation-result-3698437-1338101093/solver-3698437-1338101093 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698437-1338101093.opb 359135667 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: 3.43 3.70 3.86 3/179 10535
/proc/meminfo: memFree=28838044/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[startup+0.045328 s]
/proc/loadavg: 3.43 3.70 3.86 3/179 10535
/proc/meminfo: memFree=28838044/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100124 s]
/proc/loadavg: 3.43 3.70 3.86 3/179 10535
/proc/meminfo: memFree=28838044/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 3.43 3.70 3.86 3/179 10535
/proc/meminfo: memFree=28838044/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 3.43 3.70 3.86 3/179 10535
/proc/meminfo: memFree=28838044/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 3.43 3.70 3.86 3/182 10541
/proc/meminfo: memFree=28829068/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=3600 CPUtime=0.16 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 876 3386 0 0 2 0 14 0 20 0 1 0 276235260 3686400 468 33554432000 4194304 5992684 140733520445216 140733520431480 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 900 468 163 440 0 456 0
[pid=10541] ppid=10536 vsize=14068 CPUtime=1.31 cores=1,3,5,7
/proc/10541/stat : 10541 (glucosInc) R 10536 10535 7065 0 -1 4202496 3464 0 0 0 131 0 0 0 20 0 1 0 276235277 14405632 2828 33554432000 4194304 5654031 140737156878928 140737156876712 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10541/statm: 3517 2828 141 357 0 3157 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26816
[startup+3.10034 s]
/proc/loadavg: 3.43 3.70 3.86 3/182 10541
/proc/meminfo: memFree=28824864/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=3600 CPUtime=0.16 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 876 3386 0 0 2 0 14 0 20 0 1 0 276235260 3686400 468 33554432000 4194304 5992684 140733520445216 140733520431480 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 900 468 163 440 0 456 0
[pid=10541] ppid=10536 vsize=21476 CPUtime=2.92 cores=1,3,5,7
/proc/10541/stat : 10541 (glucosInc) R 10536 10535 7065 0 -1 4202496 5028 0 0 0 291 1 0 0 20 0 1 0 276235277 21991424 4505 33554432000 4194304 5654031 140737156878928 140737156866744 4232960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10541/statm: 5369 4505 141 357 0 5009 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34224
[startup+6.30023 s]
/proc/loadavg: 3.32 3.67 3.85 3/182 10541
/proc/meminfo: memFree=28812720/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 13756
[startup+12.7003 s]
/proc/loadavg: 3.21 3.64 3.84 3/182 10544
/proc/meminfo: memFree=28799456/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=45384 CPUtime=6.79 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 7138 0 0 0 678 1 0 0 20 0 1 0 276235849 46473216 10416 33554432000 4194304 5654031 140736215540112 140736215537912 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10544/statm: 11346 10416 141 357 0 10986 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 59140
[startup+25.5004 s]
/proc/loadavg: 2.94 3.56 3.81 3/182 10544
/proc/meminfo: memFree=28779884/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=80428 CPUtime=19.6 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 9336 0 0 0 1957 3 0 0 20 0 1 0 276235849 82358272 13000 33554432000 4194304 5654031 140736215540112 140736215527928 4232632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10544/statm: 20107 13000 141 357 0 19747 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 94184
[startup+51.1004 s]
/proc/loadavg: 2.62 3.43 3.76 3/182 10544
/proc/meminfo: memFree=28754612/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=80428 CPUtime=45.19 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 9551 0 0 0 4516 3 0 0 20 0 1 0 276235849 82358272 19345 33554432000 4194304 5654031 140736215540112 140736215527928 4233455 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10544/statm: 20107 19345 141 357 0 19747 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 94184
[startup+102.307 s]
/proc/loadavg: 2.27 3.21 3.66 3/181 10544
/proc/meminfo: memFree=28716884/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=129748 CPUtime=96.38 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 11558 0 0 0 9633 5 0 0 20 0 1 0 276235849 132861952 29069 33554432000 4194304 5654031 140736215540112 140736215527928 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 32437 29069 141 357 0 32077 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 143504
[startup+162.3 s]
/proc/loadavg: 2.10 2.99 3.56 3/181 10544
/proc/meminfo: memFree=28679220/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=142148 CPUtime=156.37 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 13614 0 0 0 15629 8 0 0 20 0 1 0 276235849 145559552 30633 33554432000 4194304 5654031 140736215540112 140736215538040 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 35537 30633 141 357 0 35177 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 155904
[startup+222.3 s]
/proc/loadavg: 2.07 2.82 3.46 3/181 10545
/proc/meminfo: memFree=28695620/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=142148 CPUtime=216.36 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 15211 0 0 0 21626 10 0 0 20 0 1 0 276235849 145559552 31145 33554432000 4194304 5654031 140736215540112 140736215527928 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 35537 31145 141 357 0 35177 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 155904
[startup+282.3 s]
/proc/loadavg: 2.02 2.67 3.37 3/181 10545
/proc/meminfo: memFree=28672736/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28676820/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=176772 CPUtime=1296.15 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 35363 0 0 0 129565 50 0 0 20 0 1 0 276235849 181014528 35930 33554432000 4194304 5654031 140736215540112 140736215538200 4232988 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 44193 35930 141 357 0 43833 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 190528
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.41 3/181 10577
/proc/meminfo: memFree=28607956/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=226860 CPUtime=1356.13 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 36011 0 0 0 135562 51 0 0 20 0 1 0 276235849 232304640 45264 33554432000 4194304 5654031 140736215540112 140736215527928 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 56715 45264 141 357 0 56355 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 240616
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.38 3/181 10578
/proc/meminfo: memFree=28641124/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=147664 CPUtime=1416.12 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 36937 0 0 0 141560 52 0 0 20 0 1 0 276235849 151207936 35579 33554432000 4194304 5654031 140736215540112 140736215527928 4232935 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 36916 35579 141 357 0 36556 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 161420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.35 3/181 10578
/proc/meminfo: memFree=28598632/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=228572 CPUtime=1476.11 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 37835 0 0 0 147557 54 0 0 20 0 1 0 276235849 234057728 44651 33554432000 4194304 5654031 140736215540112 140736215527928 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 57143 44651 141 357 0 56783 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 242328
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.33 3/182 10581
/proc/meminfo: memFree=28639156/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=149660 CPUtime=1536.1 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 38866 0 0 0 153555 55 0 0 20 0 1 0 276235849 153251840 34559 33554432000 4194304 5654031 140736215540112 140736215527928 4233194 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 37415 34559 141 357 0 37055 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 163416
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/181 10581
/proc/meminfo: memFree=28584024/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=230568 CPUtime=1596.07 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 39794 0 0 0 159550 57 0 0 20 0 1 0 276235849 236101632 45167 33554432000 4194304 5654031 140736215540112 140736215527928 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 57642 45167 141 357 0 57282 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 244324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.28 3/181 10581
/proc/meminfo: memFree=28684096/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=102236 CPUtime=1656.06 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 40017 0 0 0 165548 58 0 0 20 0 1 0 276235849 104689664 24557 33554432000 4194304 5654031 140736215540112 140736215527928 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 25559 24557 141 357 0 25199 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 115992
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.26 3/181 10582
/proc/meminfo: memFree=28616476/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=182376 CPUtime=1716.05 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 41379 0 0 0 171545 60 0 0 20 0 1 0 276235849 186753024 43292 33554432000 4194304 5654031 140736215540112 140736215527928 4233148 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 45594 43292 141 357 0 45234 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 196132
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.26 3/181 10626
/proc/meminfo: memFree=26666796/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=232464 CPUtime=1776.02 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 41732 0 0 0 177541 61 0 0 20 0 1 0 276235849 238043136 51273 33554432000 4194304 5654031 140736215540112 140736215527928 4233168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 58116 51273 141 357 0 57756 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 246220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.13 2.05 2.26 3/181 10626
/proc/meminfo: memFree=26770304/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=105016 CPUtime=1794.22 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 41755 0 0 0 179361 61 0 0 20 0 1 0 276235849 107536384 24837 33554432000 4194304 5654031 140736215540112 140736215527928 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 26254 24837 141 357 0 25894 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 118772
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.13 2.05 2.26 3/181 10626
/proc/meminfo: memFree=26770304/32873648 swapFree=7372/7372
[pid=10535] ppid=10533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10535/stat : 10535 (npSolver-pbo-It) S 10533 10535 7065 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276235260 9367552 275 33554432000 4194304 5064252 140736382224928 140736382223840 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10535/statm: 2287 275 233 213 0 72 0
[pid=10536] ppid=10535 vsize=4608 CPUtime=5.87 cores=1,3,5,7
/proc/10536/stat : 10536 (npSolver-pbo) S 10535 10535 7065 0 -1 4202496 1723 10161 0 0 5 5 575 2 20 0 1 0 276235260 4718592 709 33554432000 4194304 5992684 140733520445216 140733520431048 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10536/statm: 1152 709 179 440 0 708 0
[pid=10544] ppid=10536 vsize=105016 CPUtime=1794.22 cores=1,3,5,7
/proc/10544/stat : 10544 (glucosInc) R 10536 10535 7065 0 -1 4202496 41755 0 0 0 179361 61 0 0 20 0 1 0 276235849 107536384 24837 33554432000 4194304 5654031 140736215540112 140736215527928 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10544/statm: 26254 24837 141 357 0 25894 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 118772
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1799.42
CPU system time (s): 0.699893
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 249000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.699893
maximum resident set size= 213288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180
involuntary context switches= 2125
runsolver used 2.6116 second user time and 7.2169 second system time
The end