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-3715675-1338186626/watcher-3715675-1338186626 -o /tmp/evaluation-result-3715675-1338186626/solver-3715675-1338186626 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715675-1338186626.wbo 499830852 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 1.98 1.93 3/180 29617
/proc/meminfo: memFree=30911076/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[startup+0.0926631 s]
/proc/loadavg: 1.98 1.98 1.93 3/180 29617
/proc/meminfo: memFree=30911076/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100304 s]
/proc/loadavg: 1.98 1.98 1.93 3/180 29617
/proc/meminfo: memFree=30911076/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300257 s]
/proc/loadavg: 1.98 1.98 1.93 3/180 29617
/proc/meminfo: memFree=30911076/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700255 s]
/proc/loadavg: 1.98 1.98 1.93 3/180 29617
/proc/meminfo: memFree=30911076/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.98 1.98 1.93 3/184 29621
/proc/meminfo: memFree=30787996/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=18784 CPUtime=0.56 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 4745 0 0 0 55 1 0 0 20 0 1 0 284791208 19234816 4001 33554432000 4194304 5990268 140733801092496 140733801085648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 4696 4001 156 439 0 4253 0
[pid=29620] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29620/stat : 29620 (cp2_pre.sh) S 29618 29617 15230 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284791266 9367552 277 33554432000 4194304 5064252 140735801473664 140735801472368 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29620/statm: 2287 277 234 213 0 72 0
[pid=29621] ppid=29620 vsize=136356 CPUtime=0.91 cores=0,2,4,6
/proc/29621/stat : 29621 (coprocessor) R 29620 29617 15230 0 -1 4202496 25111 0 0 0 87 4 0 0 20 0 1 0 284791266 139628544 32980 33554432000 4194304 6586260 140734124138336 140734124135096 5599298 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/29621/statm: 34089 32980 191 584 0 33501 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 173436
[startup+3.10039 s]
/proc/loadavg: 1.98 1.98 1.93 3/184 29621
/proc/meminfo: memFree=30752080/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=18784 CPUtime=0.56 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 4745 0 0 0 55 1 0 0 20 0 1 0 284791208 19234816 4001 33554432000 4194304 5990268 140733801092496 140733801085648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 4696 4001 156 439 0 4253 0
[pid=29620] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29620/stat : 29620 (cp2_pre.sh) S 29618 29617 15230 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284791266 9367552 277 33554432000 4194304 5064252 140735801473664 140735801472368 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29620/statm: 2287 277 234 213 0 72 0
[pid=29621] ppid=29620 vsize=152316 CPUtime=2.52 cores=0,2,4,6
/proc/29621/stat : 29621 (coprocessor) R 29620 29617 15230 0 -1 4202496 27590 0 0 0 247 5 0 0 20 0 1 0 284791266 155971584 36919 33554432000 4194304 6586260 140734124138336 140734124133880 4668240 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/29621/statm: 38079 36919 196 584 0 37491 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 189396
[startup+6.30026 s]
/proc/loadavg: 1.98 1.98 1.93 3/182 29635
/proc/meminfo: memFree=30875860/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=5.26 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 8296 46847 0 0 65 18 377 66 20 0 1 0 284791208 39874560 8329 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 9735 8329 179 439 0 9292 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 48088
[startup+12.7004 s]
/proc/loadavg: 1.98 1.98 1.93 3/184 29652
/proc/meminfo: memFree=30784324/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=5.26 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 8296 46847 0 0 65 18 377 66 20 0 1 0 284791208 39874560 8329 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 9735 8329 179 439 0 9292 0
[pid=29637] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29637/stat : 29637 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284791772 9367552 266 33554432000 4194304 5064252 140737039420592 140737039419504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29637/statm: 2287 266 226 213 0 72 0
[pid=29638] ppid=29637 vsize=103356 CPUtime=7.05 cores=0,2,4,6
/proc/29638/stat : 29638 (glucose) R 29637 29617 15230 0 -1 4202496 17462 0 0 0 702 3 0 0 20 0 1 0 284791772 105836544 21225 33554432000 4194304 5208918 140733511693408 140733511691272 4229692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29638/statm: 25839 21225 104 248 0 25588 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 160592
[startup+25.5005 s]
/proc/loadavg: 1.98 1.98 1.93 3/184 29673
/proc/meminfo: memFree=30764008/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=5.26 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 8296 46847 0 0 65 18 377 66 20 0 1 0 284791208 39874560 8329 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 9735 8329 179 439 0 9292 0
[pid=29637] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29637/stat : 29637 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284791772 9367552 266 33554432000 4194304 5064252 140737039420592 140737039419504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29637/statm: 2287 266 226 213 0 72 0
[pid=29638] ppid=29637 vsize=110540 CPUtime=19.85 cores=0,2,4,6
/proc/29638/stat : 29638 (glucose) R 29637 29617 15230 0 -1 4202496 18270 0 0 0 1981 4 0 0 20 0 1 0 284791772 113192960 24035 33554432000 4194304 5208918 140733511693408 140733511691272 4229728 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29638/statm: 27635 24035 104 248 0 27384 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 167776
[startup+51.1005 s]
/proc/loadavg: 1.99 1.98 1.93 3/183 29729
/proc/meminfo: memFree=30765052/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=35.02 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 11787 75106 0 0 72 19 3330 81 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=29700] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29700/stat : 29700 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284794749 9367552 267 33554432000 4194304 5064252 140734713398400 140734713397312 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29700/statm: 2287 267 226 213 0 72 0
[pid=29701] ppid=29700 vsize=110536 CPUtime=15.67 cores=0,2,4,6
/proc/29701/stat : 29701 (glucose) R 29700 29617 15230 0 -1 4202496 18305 0 0 0 1563 4 0 0 20 0 1 0 284794749 113188864 24035 33554432000 4194304 5208918 140735600349680 140735600347544 4229280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29701/statm: 27634 24035 104 248 0 27383 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 167772
[startup+102.307 s]
/proc/loadavg: 2.06 2.00 1.93 3/183 29834
/proc/meminfo: memFree=30776228/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=94.72 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 18763 131155 0 0 86 21 9251 114 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=29819] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29819/stat : 29819 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284800720 9367552 266 33554432000 4194304 5064252 140735791796256 140735791795168 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29819/statm: 2287 266 226 213 0 72 0
[pid=29820] ppid=29819 vsize=103348 CPUtime=7.17 cores=0,2,4,6
/proc/29820/stat : 29820 (glucose) R 29819 29617 15230 0 -1 4202496 16752 0 0 0 714 3 0 0 20 0 1 0 284800720 105828352 21323 33554432000 4194304 5208918 140736794215024 140736794212888 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29820/statm: 25837 21323 104 248 0 25586 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 160584
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/184 29954
/proc/meminfo: memFree=30778540/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=154.44 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 25739 186693 0 0 99 23 15175 147 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=29939] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29939/stat : 29939 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284806694 9367552 267 33554432000 4194304 5064252 140733947637824 140733947636736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29939/statm: 2287 267 226 213 0 72 0
[pid=29940] ppid=29939 vsize=103352 CPUtime=7.42 cores=0,2,4,6
/proc/29940/stat : 29940 (glucose) R 29939 29617 15230 0 -1 4202496 16374 0 0 0 739 3 0 0 20 0 1 0 284806695 105832448 22118 33554432000 4194304 5208918 140733658878000 140733658875864 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29940/statm: 25838 22118 104 248 0 25587 0
Current children cumulated CPU time (s) 161.86
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.37 2.15 2.00 3/183 32480
/proc/meminfo: memFree=30701788/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1347.05 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 165259 1279999 0 0 375 59 133477 794 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=32458] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32458/stat : 32458 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284926026 9367552 267 33554432000 4194304 5064252 140736751569200 140736751568112 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32458/statm: 2287 267 226 213 0 72 0
[pid=32459] ppid=32458 vsize=110532 CPUtime=14.11 cores=0,2,4,6
/proc/32459/stat : 32459 (glucose) R 32458 29617 15230 0 -1 4202496 18138 0 0 0 1406 5 0 0 20 0 1 0 284926026 113184768 24034 33554432000 4194304 5208918 140733330417680 140733330415544 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32459/statm: 27633 24034 104 248 0 27382 0
Current children cumulated CPU time (s) 1361.16
Current children cumulated vsize (KiB) 167768
[startup+1422.31 s]
/proc/loadavg: 2.13 2.12 2.00 3/183 32613
/proc/meminfo: memFree=30702824/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1406.73 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 172235 1334600 0 0 388 61 139395 829 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=32584] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32584/stat : 32584 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284932016 9367552 267 33554432000 4194304 5064252 140734370736512 140734370735424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32584/statm: 2287 267 226 213 0 72 0
[pid=32585] ppid=32584 vsize=110536 CPUtime=14.22 cores=0,2,4,6
/proc/32585/stat : 32585 (glucose) R 32584 29617 15230 0 -1 4202496 17214 0 0 0 1418 4 0 0 20 0 1 0 284932016 113188864 24922 33554432000 4194304 5208918 140734474312416 140734474310280 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32585/statm: 27634 24922 104 248 0 27383 0
Current children cumulated CPU time (s) 1420.95
Current children cumulated vsize (KiB) 167772
[startup+1482.3 s]
/proc/loadavg: 1.97 2.08 1.99 3/184 32735
/proc/meminfo: memFree=30726952/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1466.39 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 179211 1386782 0 0 402 63 145312 862 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=32710] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32710/stat : 32710 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284937998 9367552 266 33554432000 4194304 5064252 140735421763376 140735421762288 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32710/statm: 2287 266 226 213 0 72 0
[pid=32711] ppid=32710 vsize=110536 CPUtime=14.38 cores=0,2,4,6
/proc/32711/stat : 32711 (glucose) R 32710 29617 15230 0 -1 4202496 18813 0 0 0 1434 4 0 0 20 0 1 0 284937999 113188864 24035 33554432000 4194304 5208918 140737149481968 140737149479832 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 27634 24035 104 248 0 27383 0
Current children cumulated CPU time (s) 1480.77
Current children cumulated vsize (KiB) 167772
[startup+1542.3 s]
/proc/loadavg: 1.99 2.06 1.99 3/183 404
/proc/meminfo: memFree=30706636/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1525.83 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 186187 1441695 0 0 416 65 151209 893 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=369] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/369/stat : 369 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284943944 9367552 267 33554432000 4194304 5064252 140734829016672 140734829015584 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/369/statm: 2287 267 226 213 0 72 0
[pid=376] ppid=369 vsize=110532 CPUtime=14.92 cores=0,2,4,6
/proc/376/stat : 376 (glucose) R 369 29617 15230 0 -1 4202496 18126 0 0 0 1489 3 0 0 20 0 1 0 284943944 113184768 24034 33554432000 4194304 5208918 140735698150160 140735698148024 4229770 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/376/statm: 27633 24034 104 248 0 27382 0
Current children cumulated CPU time (s) 1540.75
Current children cumulated vsize (KiB) 167768
[startup+1602.3 s]
/proc/loadavg: 1.85 2.02 1.98 3/184 529
/proc/meminfo: memFree=30749244/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1585.93 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 193163 1495636 0 0 430 66 157170 927 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=503] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/503/stat : 503 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284949956 9367552 267 33554432000 4194304 5064252 140736602947744 140736602946656 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/503/statm: 2287 267 226 213 0 72 0
[pid=504] ppid=503 vsize=110532 CPUtime=14.81 cores=0,2,4,6
/proc/504/stat : 504 (glucose) R 503 29617 15230 0 -1 4202496 18987 0 0 0 1477 4 0 0 20 0 1 0 284949956 113184768 24485 33554432000 4194304 5208918 140733724965520 140733724963384 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/504/statm: 27633 24485 104 248 0 27382 0
Current children cumulated CPU time (s) 1600.74
Current children cumulated vsize (KiB) 167768
[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/183 659
/proc/meminfo: memFree=30705404/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1645.7 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 200139 1552306 0 0 443 68 163097 962 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=630] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/630/stat : 630 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284955936 9367552 266 33554432000 4194304 5064252 140736771017872 140736771016784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/630/statm: 2287 266 226 213 0 72 0
[pid=631] ppid=630 vsize=110536 CPUtime=15.01 cores=0,2,4,6
/proc/631/stat : 631 (glucose) R 630 29617 15230 0 -1 4202496 18978 0 0 0 1498 3 0 0 20 0 1 0 284955936 113188864 24485 33554432000 4194304 5208918 140737071991552 140737071989416 4205165 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/631/statm: 27634 24485 104 248 0 27383 0
Current children cumulated CPU time (s) 1660.71
Current children cumulated vsize (KiB) 167772
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/182 784
/proc/meminfo: memFree=30764760/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1705.42 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 207115 1608013 0 0 457 71 169020 994 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=757] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/757/stat : 757 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284961927 9367552 267 33554432000 4194304 5064252 140734318113472 140734318112384 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/757/statm: 2287 267 226 213 0 72 0
[pid=758] ppid=757 vsize=110536 CPUtime=15.1 cores=0,2,4,6
/proc/758/stat : 758 (glucose) R 757 29617 15230 0 -1 4202496 19025 0 0 0 1506 4 0 0 20 0 1 0 284961927 113188864 24529 33554432000 4194304 5208918 140737015768528 140737015766392 4229853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/758/statm: 27634 24529 104 248 0 27383 0
Current children cumulated CPU time (s) 1720.52
Current children cumulated vsize (KiB) 167772
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/184 915
/proc/meminfo: memFree=30701048/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1765.14 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 214091 1663752 0 0 471 73 174945 1025 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=883] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/883/stat : 883 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284967901 9367552 266 33554432000 4194304 5064252 140737247375824 140737247374736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/883/statm: 2287 266 226 213 0 72 0
[pid=884] ppid=883 vsize=110532 CPUtime=15.35 cores=0,2,4,6
/proc/884/stat : 884 (glucose) R 883 29617 15230 0 -1 4202496 18666 0 0 0 1532 3 0 0 20 0 1 0 284967901 113184768 24545 33554432000 4194304 5208918 140733231263840 140733231261704 4229381 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/884/statm: 27633 24545 104 248 0 27382 0
Current children cumulated CPU time (s) 1780.49
Current children cumulated vsize (KiB) 167768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.81 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 957
/proc/meminfo: memFree=30732688/32873844 swapFree=7108/7108
[pid=29617] ppid=29615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29617/stat : 29617 (npSolver-wbo-It) S 29615 29617 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284791208 9367552 275 33554432000 4194304 5064252 140736732493728 140736732492640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29617/statm: 2287 275 233 213 0 72 0
[pid=29618] ppid=29617 vsize=38940 CPUtime=1795.16 cores=0,2,4,6
/proc/29618/stat : 29618 (npSolver-wbo) S 29617 29617 15230 0 -1 4202496 217579 1691407 0 0 477 74 177923 1042 20 0 1 0 284791208 39874560 8310 33554432000 4194304 5990268 140733801092496 140733801083904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/29618/statm: 9735 8310 180 439 0 9292 0
[pid=949] ppid=29618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/949/stat : 949 (satsolver.sh) S 29618 29617 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284970904 9367552 267 33554432000 4194304 5064252 140737363206896 140737363205808 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/949/statm: 2287 267 226 213 0 72 0
[pid=950] ppid=949 vsize=87020 CPUtime=4.85 cores=0,2,4,6
/proc/950/stat : 950 (glucose) R 949 29617 15230 0 -1 4202496 15975 0 0 0 483 2 0 0 20 0 1 0 284970904 89108480 17131 33554432000 4194304 5208918 140736473603648 140736473601592 4229166 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/950/statm: 21755 17131 104 248 0 21504 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144256
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.82
CPU time (s): 1800.04
CPU user time (s): 1788.84
CPU system time (s): 11.1943
CPU usage (%): 99.9011
Max. virtual memory (cumulated for all children) (KiB): 207564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.84
system time used= 11.1943
maximum resident set size= 164068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1925938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1356752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35952
involuntary context switches= 2536
runsolver used 7.84281 second user time and 16.9544 second system time
The end