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-3702623-1338130078/watcher-3702623-1338130078 -o /tmp/evaluation-result-3702623-1338130078/solver-3702623-1338130078 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702623-1338130078.opb 1111326296 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.00 2.00 2.00 3/178 10095
/proc/meminfo: memFree=30737116/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[startup+0.0531561 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10095
/proc/meminfo: memFree=30737116/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100246 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10095
/proc/meminfo: memFree=30737116/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300296 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10095
/proc/meminfo: memFree=30737116/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10095
/proc/meminfo: memFree=30737116/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10101
/proc/meminfo: memFree=30711536/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=22920 CPUtime=0.94 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) R 10095 10095 9266 0 -1 4202496 4904 10967 0 0 22 19 48 5 20 0 1 0 279134612 23470080 4962 33554432000 4194304 5992684 140733823931968 140733823926000 4524999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 5730 4962 194 440 0 5286 0
[pid=10101] ppid=10096 vsize=20304 CPUtime=0.52 cores=1,3,5,7
/proc/10101/stat : 10101 (glucosInc) S 10096 10095 9266 0 -1 4202496 3977 0 0 0 52 0 0 0 20 0 1 0 279134677 20791296 4318 33554432000 4194304 5654031 140735550995920 140735550994232 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10101/statm: 5076 4318 146 357 0 4716 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 52372
[startup+3.10047 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10104
/proc/meminfo: memFree=30631724/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=22920 CPUtime=0.96 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 5396 10967 0 0 23 20 48 5 20 0 1 0 279134612 23470080 4963 33554432000 4194304 5992684 140733823931968 140733823924256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 5730 4963 195 440 0 5286 0
[pid=10101] ppid=10096 vsize=20304 CPUtime=0.52 cores=1,3,5,7
/proc/10101/stat : 10101 (glucosInc) S 10096 10095 9266 0 -1 4202496 3977 0 0 0 52 0 0 0 20 0 1 0 279134677 20791296 4318 33554432000 4194304 5654031 140735550995920 140735550994232 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10101/statm: 5076 4318 146 357 0 4716 0
[pid=10103] ppid=10096 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10103/stat : 10103 (satsolver.sh) S 10096 10095 9266 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279134763 9367552 267 33554432000 4194304 5064252 140734363415536 140734363414448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10103/statm: 2287 267 226 213 0 72 0
[pid=10104] ppid=10103 vsize=69788 CPUtime=1.57 cores=1,3,5,7
/proc/10104/stat : 10104 (glucose) R 10103 10095 9266 0 -1 4202496 14021 0 0 0 155 2 0 0 20 0 1 0 279134763 71462912 14493 33554432000 4194304 5208918 140736043283056 140736043280728 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10104/statm: 17447 14493 95 248 0 17196 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 131308
[startup+6.30047 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10104
/proc/meminfo: memFree=30629904/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=22920 CPUtime=0.96 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 5396 10967 0 0 23 20 48 5 20 0 1 0 279134612 23470080 4963 33554432000 4194304 5992684 140733823931968 140733823924256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 5730 4963 195 440 0 5286 0
[pid=10101] ppid=10096 vsize=20304 CPUtime=0.52 cores=1,3,5,7
/proc/10101/stat : 10101 (glucosInc) S 10096 10095 9266 0 -1 4202496 3977 0 0 0 52 0 0 0 20 0 1 0 279134677 20791296 4318 33554432000 4194304 5654031 140735550995920 140735550994232 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10101/statm: 5076 4318 146 357 0 4716 0
[pid=10103] ppid=10096 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10103/stat : 10103 (satsolver.sh) S 10096 10095 9266 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279134763 9367552 267 33554432000 4194304 5064252 140734363415536 140734363414448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10103/statm: 2287 267 226 213 0 72 0
[pid=10104] ppid=10103 vsize=71732 CPUtime=4.78 cores=1,3,5,7
/proc/10104/stat : 10104 (glucose) R 10103 10095 9266 0 -1 4202496 14411 0 0 0 475 3 0 0 20 0 1 0 279134763 73453568 14883 33554432000 4194304 5208918 140736043283056 140736043280888 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10104/statm: 17933 14883 101 248 0 17682 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 133252
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10104
/proc/meminfo: memFree=30628628/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=22920 CPUtime=0.96 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 5396 10967 0 0 23 20 48 5 20 0 1 0 279134612 23470080 4963 33554432000 4194304 5992684 140733823931968 140733823924256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 5730 4963 195 440 0 5286 0
[pid=10101] ppid=10096 vsize=20304 CPUtime=0.52 cores=1,3,5,7
/proc/10101/stat : 10101 (glucosInc) S 10096 10095 9266 0 -1 4202496 3977 0 0 0 52 0 0 0 20 0 1 0 279134677 20791296 4318 33554432000 4194304 5654031 140735550995920 140735550994232 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10101/statm: 5076 4318 146 357 0 4716 0
[pid=10103] ppid=10096 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10103/stat : 10103 (satsolver.sh) S 10096 10095 9266 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279134763 9367552 267 33554432000 4194304 5064252 140734363415536 140734363414448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10103/statm: 2287 267 226 213 0 72 0
[pid=10104] ppid=10103 vsize=71732 CPUtime=11.18 cores=1,3,5,7
/proc/10104/stat : 10104 (glucose) R 10103 10095 9266 0 -1 4202496 14473 0 0 0 1115 3 0 0 20 0 1 0 279134763 73453568 14945 33554432000 4194304 5208918 140736043283056 140736043280888 4211525 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10104/statm: 17933 14945 103 248 0 17682 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 133252
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 10104
/proc/meminfo: memFree=30623988/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=22920 CPUtime=0.96 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 5396 10967 0 0 23 20 48 5 20 0 1 0 279134612 23470080 4963 33554432000 4194304 5992684 140733823931968 140733823924256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 5730 4963 195 440 0 5286 0
[pid=10101] ppid=10096 vsize=20304 CPUtime=0.52 cores=1,3,5,7
/proc/10101/stat : 10101 (glucosInc) S 10096 10095 9266 0 -1 4202496 3977 0 0 0 52 0 0 0 20 0 1 0 279134677 20791296 4318 33554432000 4194304 5654031 140735550995920 140735550994232 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10101/statm: 5076 4318 146 357 0 4716 0
[pid=10103] ppid=10096 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10103/stat : 10103 (satsolver.sh) S 10096 10095 9266 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279134763 9367552 267 33554432000 4194304 5064252 140734363415536 140734363414448 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10103/statm: 2287 267 226 213 0 72 0
[pid=10104] ppid=10103 vsize=73236 CPUtime=23.97 cores=1,3,5,7
/proc/10104/stat : 10104 (glucose) R 10103 10095 9266 0 -1 4202496 15025 0 0 0 2394 3 0 0 20 0 1 0 279134763 74993664 15350 33554432000 4194304 5208918 140736043283056 140736043281144 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10104/statm: 18309 15350 104 248 0 18058 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 134756
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 10111
/proc/meminfo: memFree=30571328/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=119824 CPUtime=6.44 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 22466 0 0 0 639 5 0 0 20 0 1 0 279139076 122699776 25960 33554432000 4194304 5654031 140733303633584 140733303621400 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10111/statm: 29956 25960 142 357 0 29596 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 142428
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 10111
/proc/meminfo: memFree=30559856/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=124032 CPUtime=57.64 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 23928 0 0 0 5758 6 0 0 20 0 1 0 279139076 127008768 27786 33554432000 4194304 5654031 140733303633584 140733303621400 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10111/statm: 31008 27786 142 357 0 30648 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 146636
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 10114
/proc/meminfo: memFree=30524644/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=30447332/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=203068 CPUtime=1197.44 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 28320 0 0 0 119729 15 0 0 20 0 1 0 279139076 207941632 46797 33554432000 4194304 5654031 140733303633584 140733303621400 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10111/statm: 50767 46797 142 357 0 50407 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 225672
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10144
/proc/meminfo: memFree=30481460/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=153748 CPUtime=1257.44 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 28323 0 0 0 125729 15 0 0 20 0 1 0 279139076 157437952 36843 33554432000 4194304 5654031 140733303633584 140733303621400 4233315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10111/statm: 38437 36843 142 357 0 38077 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 176352
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 10147
/proc/meminfo: memFree=30468988/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=203068 CPUtime=1317.43 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 28569 0 0 0 131727 16 0 0 20 0 1 0 279139076 207941632 47309 33554432000 4194304 5654031 140733303633584 140733303621400 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10111/statm: 50767 47309 142 357 0 50407 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 225672
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 10147
/proc/meminfo: memFree=30461052/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=203068 CPUtime=1377.43 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 28571 0 0 0 137727 16 0 0 20 0 1 0 279139076 207941632 48333 33554432000 4194304 5654031 140733303633584 140733303621400 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10111/statm: 50767 48333 142 357 0 50407 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 225672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10147
/proc/meminfo: memFree=30468996/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=203068 CPUtime=1437.41 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 28813 0 0 0 143725 16 0 0 20 0 1 0 279139076 207941632 44749 33554432000 4194304 5654031 140733303633584 140733303631512 4208654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10111/statm: 50767 44749 142 357 0 50407 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 225672
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10148
/proc/meminfo: memFree=30459692/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=203068 CPUtime=1497.4 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 28816 0 0 0 149724 16 0 0 20 0 1 0 279139076 207941632 46285 33554432000 4194304 5654031 140733303633584 140733303621400 4232935 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10111/statm: 50767 46285 142 357 0 50407 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 225672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10148
/proc/meminfo: memFree=30462300/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=13456 CPUtime=44.61 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 8596 34915 0 0 72 27 4351 11 20 0 1 0 279134612 13778944 2870 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3364 2870 205 440 0 2920 0
[pid=10111] ppid=10096 vsize=203068 CPUtime=1557.39 cores=1,3,5,7
/proc/10111/stat : 10111 (glucosInc) R 10096 10095 9266 0 -1 4202496 29059 0 0 0 155722 17 0 0 20 0 1 0 279139076 207941632 44749 33554432000 4194304 5654031 140733303633584 140733303631512 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10111/statm: 50767 44749 142 357 0 50407 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 225672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10190
/proc/meminfo: memFree=30882104/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=15756 CPUtime=1617.86 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 14023 64508 0 0 126 34 161596 30 20 0 1 0 279134612 16134144 3445 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3939 3445 205 440 0 3495 0
[pid=10150] ppid=10096 vsize=121176 CPUtime=44.12 cores=1,3,5,7
/proc/10150/stat : 10150 (glucosInc) R 10096 10095 9266 0 -1 4202496 23629 0 0 0 4407 5 0 0 20 0 1 0 279296428 124084224 27027 33554432000 4194304 5654031 140736027589312 140736027577128 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10150/statm: 30294 27027 142 357 0 29934 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 146080
[startup+1722.3 s]
/proc/loadavg: 2.62 2.15 2.05 3/184 10242
/proc/meminfo: memFree=31258648/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=15756 CPUtime=1617.86 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 14023 64508 0 0 126 34 161596 30 20 0 1 0 279134612 16134144 3445 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3939 3445 205 440 0 3495 0
[pid=10150] ppid=10096 vsize=122372 CPUtime=104.09 cores=1,3,5,7
/proc/10150/stat : 10150 (glucosInc) R 10096 10095 9266 0 -1 4202496 24990 0 0 0 10402 7 0 0 20 0 1 0 279296428 125308928 27445 33554432000 4194304 5654031 140736027589312 140736027587096 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10150/statm: 30593 27445 142 357 0 30233 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 147276
[startup+1782.3 s]
/proc/loadavg: 2.23 2.12 2.04 3/183 10242
/proc/meminfo: memFree=31196280/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=15756 CPUtime=1617.86 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 14023 64508 0 0 126 34 161596 30 20 0 1 0 279134612 16134144 3445 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3939 3445 205 440 0 3495 0
[pid=10150] ppid=10096 vsize=153556 CPUtime=164.08 cores=1,3,5,7
/proc/10150/stat : 10150 (glucosInc) R 10096 10095 9266 0 -1 4202496 26460 0 0 0 16399 9 0 0 20 0 1 0 279296428 157241344 35495 33554432000 4194304 5654031 140736027589312 140736027577128 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10150/statm: 38389 35495 142 357 0 38029 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 178460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.23 2.13 2.05 3/183 10242
/proc/meminfo: memFree=31191812/32873648 swapFree=6852/6852
[pid=10095] ppid=10093 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10095/stat : 10095 (npSolver-pbo-It) S 10093 10095 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279134612 9367552 275 33554432000 4194304 5064252 140737233569968 140737233568880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10095/statm: 2287 275 233 213 0 72 0
[pid=10096] ppid=10095 vsize=15756 CPUtime=1617.86 cores=1,3,5,7
/proc/10096/stat : 10096 (npSolver-pbo) S 10095 10095 9266 0 -1 4202496 14023 64508 0 0 126 34 161596 30 20 0 1 0 279134612 16134144 3445 33554432000 4194304 5992684 140733823931968 140733823917800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10096/statm: 3939 3445 205 440 0 3495 0
[pid=10150] ppid=10096 vsize=153556 CPUtime=182.18 cores=1,3,5,7
/proc/10150/stat : 10150 (glucosInc) R 10096 10095 9266 0 -1 4202496 26461 0 0 0 18209 9 0 0 20 0 1 0 279296428 157241344 36007 33554432000 4194304 5654031 140736027589312 140736027577128 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10150/statm: 38389 36007 142 357 0 38029 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 178460
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.41
CPU time (s): 1800.08
CPU user time (s): 1799.33
CPU system time (s): 0.749886
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 227780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.749886
maximum resident set size= 195380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 180680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 645
involuntary context switches= 2672
runsolver used 4.78927 second user time and 21.2688 second system time
The end