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-3715702-1338203949/watcher-3715702-1338203949 -o /tmp/evaluation-result-3715702-1338203949/solver-3715702-1338203949 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715702-1338203949.wbo 1121553173 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.02 1.95 1.91 3/178 11235
/proc/meminfo: memFree=29082920/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[startup+0.062305 s]
/proc/loadavg: 2.02 1.95 1.91 3/178 11235
/proc/meminfo: memFree=29082920/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 2.02 1.95 1.91 3/178 11235
/proc/meminfo: memFree=29082920/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300214 s]
/proc/loadavg: 2.02 1.95 1.91 3/178 11235
/proc/meminfo: memFree=29082920/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700244 s]
/proc/loadavg: 2.02 1.95 1.91 3/178 11235
/proc/meminfo: memFree=29082920/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/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: 2.02 1.95 1.91 3/181 11239
/proc/meminfo: memFree=28910344/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=34876 CPUtime=1.48 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) R 11235 11235 1843 0 -1 4202496 3045 0 0 0 148 0 0 0 20 0 1 0 286522275 35713024 5061 33554432000 4194304 5990268 140734741227568 140734741222808 4747762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 8719 5061 136 439 0 8276 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44024
[startup+3.10033 s]
/proc/loadavg: 2.02 1.95 1.91 3/181 11246
/proc/meminfo: memFree=28925540/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=68256 CPUtime=2.97 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 6975 0 0 0 290 7 0 0 20 0 1 0 286522275 69894144 12111 33554432000 4194304 5990268 140734741227568 140734741220720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 17064 12111 149 439 0 16621 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 77404
[startup+6.30032 s]
/proc/loadavg: 2.02 1.95 1.91 3/181 11269
/proc/meminfo: memFree=28891996/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=5.98 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 9716 27980 0 0 309 61 211 17 20 0 1 0 286522275 88539136 16662 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 21616 16662 174 439 0 21173 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 95612
[startup+12.7003 s]
/proc/loadavg: 2.01 1.95 1.91 3/181 11298
/proc/meminfo: memFree=28850248/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=5.98 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 9716 27980 0 0 309 61 211 17 20 0 1 0 286522275 88539136 16662 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 21616 16662 174 439 0 21173 0
[pid=11271] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11271/stat : 11271 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286522876 9367552 267 33554432000 4194304 5064252 140735919962656 140735919961568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11271/statm: 2287 267 226 213 0 72 0
[pid=11272] ppid=11271 vsize=84068 CPUtime=6.69 cores=1,3,5,7
/proc/11272/stat : 11272 (glucose) R 11271 11235 1843 0 -1 4202496 15594 0 0 0 665 4 0 0 20 0 1 0 286522876 86085632 18736 33554432000 4194304 5208918 140734021193568 140734021191416 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11272/statm: 21017 18736 95 248 0 20766 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 188828
[startup+25.5003 s]
/proc/loadavg: 2.01 1.95 1.91 3/183 11349
/proc/meminfo: memFree=28795956/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=5.98 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 9716 27980 0 0 309 61 211 17 20 0 1 0 286522275 88539136 16662 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 21616 16662 174 439 0 21173 0
[pid=11271] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11271/stat : 11271 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286522876 9367552 267 33554432000 4194304 5064252 140735919962656 140735919961568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11271/statm: 2287 267 226 213 0 72 0
[pid=11272] ppid=11271 vsize=84528 CPUtime=19.48 cores=1,3,5,7
/proc/11272/stat : 11272 (glucose) R 11271 11235 1843 0 -1 4202496 15695 0 0 0 1944 4 0 0 20 0 1 0 286522876 86556672 18837 33554432000 4194304 5208918 140734021193568 140734021191416 4211521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11272/statm: 21132 18837 95 248 0 20881 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 189288
[startup+51.1004 s]
/proc/loadavg: 2.01 1.96 1.91 3/183 11468
/proc/meminfo: memFree=28730564/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=50.15 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 12344 50606 0 0 318 62 4596 39 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=11467] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11467/stat : 11467 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286527292 9367552 266 33554432000 4194304 5064252 140735725825344 140735725824256 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11467/statm: 2287 266 226 213 0 72 0
[pid=11468] ppid=11467 vsize=83452 CPUtime=0.91 cores=1,3,5,7
/proc/11468/stat : 11468 (glucose) R 11467 11235 1843 0 -1 4202496 14531 0 0 0 88 3 0 0 20 0 1 0 286527292 85454848 18750 33554432000 4194304 5208918 140733745143872 140733745141720 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11468/statm: 20863 18750 95 248 0 20612 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 188212
[startup+102.3 s]
/proc/loadavg: 2.41 2.07 1.95 3/184 11702
/proc/meminfo: memFree=28817136/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=94.4 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 14971 72312 0 0 326 63 8992 59 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=11673] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11673/stat : 11673 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286531718 9367552 266 33554432000 4194304 5064252 140735751535584 140735751534496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11673/statm: 2287 266 226 213 0 72 0
[pid=11674] ppid=11673 vsize=84236 CPUtime=7.85 cores=1,3,5,7
/proc/11674/stat : 11674 (glucose) R 11673 11235 1843 0 -1 4202496 15579 0 0 0 782 3 0 0 20 0 1 0 286531718 86257664 18715 33554432000 4194304 5208918 140736512270304 140736512268152 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11674/statm: 21059 18715 95 248 0 20808 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 188996
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 1.94 2/183 11966
/proc/meminfo: memFree=28833500/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=138.58 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 17598 94881 0 0 335 64 13382 77 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=11866] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11866/stat : 11866 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286536137 9367552 266 33554432000 4194304 5064252 140735725805264 140735725804176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11866/statm: 2287 266 226 213 0 72 0
[pid=11867] ppid=11866 vsize=84536 CPUtime=23.67 cores=1,3,5,7
/proc/11867/stat : 11867 (glucose) R 11866 11235 1843 0 -1 4202496 14787 0 0 0 2363 4 0 0 20 0 1 0 286536137 86564864 19007 33554432000 4194304 5208918 140737399751824 140737399749672 4211888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11867/statm: 21134 19007 95 248 0 20883 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 189296
[startup+222.3 s]
/proc/loadavg: 1.97 2.01 1.94 3/183 12221
/proc/meminfo: memFree=28796456/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=182.8 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 20225 116089 0 0 343 65 17775 97 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=12056] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.15 2.25 2.16 3/183 17412
/proc/meminfo: memFree=28771900/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1376.3 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 91154 707281 0 0 570 93 136351 616 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=17243] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17243/stat : 17243 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286660486 9367552 267 33554432000 4194304 5064252 140735414725888 140735414724800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17243/statm: 2287 267 226 213 0 72 0
[pid=17244] ppid=17243 vsize=84532 CPUtime=40.17 cores=1,3,5,7
/proc/17244/stat : 17244 (glucose) R 17243 11235 1843 0 -1 4202496 15559 0 0 0 4014 3 0 0 20 0 1 0 286660486 86560768 19231 33554432000 4194304 5208918 140733682288144 140733682285992 4211537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17244/statm: 21133 19231 95 248 0 20882 0
Current children cumulated CPU time (s) 1416.47
Current children cumulated vsize (KiB) 189292
[startup+1482.3 s]
/proc/loadavg: 2.16 2.24 2.17 2/183 17675
/proc/meminfo: memFree=28804548/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1464.6 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 96408 752321 0 0 587 95 145124 654 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=17628] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17628/stat : 17628 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286669318 9367552 267 33554432000 4194304 5064252 140735459393408 140735459392320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17628/statm: 2287 267 226 213 0 72 0
[pid=17629] ppid=17628 vsize=84380 CPUtime=11.86 cores=1,3,5,7
/proc/17629/stat : 17629 (glucose) R 17628 11235 1843 0 -1 4202496 15588 0 0 0 1183 3 0 0 20 0 1 0 286669318 86405120 19223 33554432000 4194304 5208918 140733689736672 140733689734520 4211599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17629/statm: 21095 19223 95 248 0 20844 0
Current children cumulated CPU time (s) 1476.46
Current children cumulated vsize (KiB) 189140
[startup+1542.3 s]
/proc/loadavg: 2.06 2.20 2.16 3/184 17933
/proc/meminfo: memFree=28798804/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1508.69 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 99035 774341 0 0 596 96 149505 672 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=17815] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17815/stat : 17815 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286673727 9367552 266 33554432000 4194304 5064252 140737094472592 140737094471504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17815/statm: 2287 266 226 213 0 72 0
[pid=17816] ppid=17815 vsize=84532 CPUtime=27.77 cores=1,3,5,7
/proc/17816/stat : 17816 (glucose) R 17815 11235 1843 0 -1 4202496 14682 0 0 0 2774 3 0 0 20 0 1 0 286673727 86560768 18931 33554432000 4194304 5208918 140733593258032 140733593255880 4211501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17816/statm: 21133 18931 95 248 0 20882 0
Current children cumulated CPU time (s) 1536.46
Current children cumulated vsize (KiB) 189292
[startup+1602.3 s]
/proc/loadavg: 2.02 2.16 2.14 3/183 18189
/proc/meminfo: memFree=28690392/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1552.91 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 101662 795438 0 0 604 98 153898 691 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=18011] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18011/stat : 18011 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286678148 9367552 266 33554432000 4194304 5064252 140735710096288 140735710095200 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18011/statm: 2287 266 226 213 0 72 0
[pid=18012] ppid=18011 vsize=91068 CPUtime=43.55 cores=1,3,5,7
/proc/18012/stat : 18012 (glucose) R 18011 11235 1843 0 -1 4202496 17209 0 0 0 4351 4 0 0 20 0 1 0 286678149 93253632 21079 33554432000 4194304 5208918 140736092034112 140736092032056 4205662 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18012/statm: 22767 21079 102 248 0 22516 0
Current children cumulated CPU time (s) 1596.46
Current children cumulated vsize (KiB) 195828
[startup+1662.3 s]
/proc/loadavg: 2.28 2.19 2.15 3/183 18456
/proc/meminfo: memFree=28792616/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1641.23 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 106916 839303 0 0 621 100 162672 730 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=18391] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18391/stat : 18391 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286686982 9367552 266 33554432000 4194304 5064252 140735949614944 140735949613856 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18391/statm: 2287 266 226 213 0 72 0
[pid=18392] ppid=18391 vsize=84376 CPUtime=15.22 cores=1,3,5,7
/proc/18392/stat : 18392 (glucose) R 18391 11235 1843 0 -1 4202496 15683 0 0 0 1519 3 0 0 20 0 1 0 286686983 86401024 18825 33554432000 4194304 5208918 140734119498608 140734119496456 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18392/statm: 21094 18825 95 248 0 20843 0
Current children cumulated CPU time (s) 1656.45
Current children cumulated vsize (KiB) 189136
[startup+1722.3 s]
/proc/loadavg: 2.50 2.29 2.19 2/183 18712
/proc/meminfo: memFree=28798436/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1685.29 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 109543 861415 0 0 629 101 167050 749 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=18586] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18586/stat : 18586 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286691389 9367552 267 33554432000 4194304 5064252 140733768875360 140733768874272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18586/statm: 2287 267 226 213 0 72 0
[pid=18587] ppid=18586 vsize=84536 CPUtime=31.14 cores=1,3,5,7
/proc/18587/stat : 18587 (glucose) R 18586 11235 1843 0 -1 4202496 15703 0 0 0 3111 3 0 0 20 0 1 0 286691389 86564864 19356 33554432000 4194304 5208918 140734578738896 140734578736744 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18587/statm: 21134 19356 95 248 0 20883 0
Current children cumulated CPU time (s) 1716.43
Current children cumulated vsize (KiB) 189296
[startup+1782.3 s]
/proc/loadavg: 2.18 2.23 2.17 2/182 18979
/proc/meminfo: memFree=28811612/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1773.49 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 114797 906077 0 0 646 103 175813 787 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=18966] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18966/stat : 18966 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286700211 9367552 267 33554432000 4194304 5064252 140736200116352 140736200115264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18966/statm: 2287 267 226 213 0 72 0
[pid=18967] ppid=18966 vsize=84072 CPUtime=2.94 cores=1,3,5,7
/proc/18967/stat : 18967 (glucose) R 18966 11235 1843 0 -1 4202496 14909 0 0 0 291 3 0 0 20 0 1 0 286700211 86089728 18549 33554432000 4194304 5208918 140733247073968 140733247071816 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 21018 18549 95 248 0 20767 0
Current children cumulated CPU time (s) 1776.43
Current children cumulated vsize (KiB) 188832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.9 s]
/proc/loadavg: 2.12 2.21 2.17 3/184 19082
/proc/meminfo: memFree=28790228/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1773.49 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 114797 906077 0 0 646 103 175813 787 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=18966] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18966/stat : 18966 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286700211 9367552 267 33554432000 4194304 5064252 140736200116352 140736200115264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18966/statm: 2287 267 226 213 0 72 0
[pid=18967] ppid=18966 vsize=84532 CPUtime=26.53 cores=1,3,5,7
/proc/18967/stat : 18967 (glucose) R 18966 11235 1843 0 -1 4202496 15027 0 0 0 2650 3 0 0 20 0 1 0 286700211 86560768 19230 33554432000 4194304 5208918 140733247073968 140733247071816 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 21133 19230 95 248 0 20882 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 189292
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1805.9 s]
/proc/loadavg: 2.12 2.21 2.17 3/184 19082
/proc/meminfo: memFree=28790228/32873648 swapFree=7116/7116
[pid=11235] ppid=11233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11235/stat : 11235 (npSolver-wbo-It) S 11233 11235 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286522275 9367552 275 33554432000 4194304 5064252 140733564007152 140733564006064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11235/statm: 2287 275 233 213 0 72 0
[pid=11236] ppid=11235 vsize=86464 CPUtime=1773.49 cores=1,3,5,7
/proc/11236/stat : 11236 (npSolver-wbo) S 11235 11235 1843 0 -1 4202496 114797 906077 0 0 646 103 175813 787 20 0 1 0 286522275 88539136 16663 33554432000 4194304 5990268 140734741227568 140734741218976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 145 0 0
/proc/11236/statm: 21616 16663 175 439 0 21173 0
[pid=18966] ppid=11236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18966/stat : 18966 (satsolver.sh) S 11236 11235 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286700211 9367552 267 33554432000 4194304 5064252 140736200116352 140736200115264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18966/statm: 2287 267 226 213 0 72 0
[pid=18967] ppid=18966 vsize=84532 CPUtime=26.53 cores=1,3,5,7
/proc/18967/stat : 18967 (glucose) R 18966 11235 1843 0 -1 4202496 15027 0 0 0 2650 3 0 0 20 0 1 0 286700211 86560768 19230 33554432000 4194304 5208918 140733247073968 140733247071816 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18967/statm: 21133 19230 95 248 0 20882 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 189292
Child status: 0
Real time (s): 1805.91
CPU time (s): 1800.06
CPU user time (s): 1791.11
CPU system time (s): 8.94764
CPU usage (%): 99.676
Max. virtual memory (cumulated for all children) (KiB): 196684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.11
system time used= 8.94764
maximum resident set size= 96308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1036891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2625384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12279
involuntary context switches= 2317
runsolver used 2.6566 second user time and 7.32389 second system time
The end