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-3750366-1339116614/watcher-3750366-1339116614 -o /tmp/evaluation-result-3750366-1339116614/solver-3750366-1339116614 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750366-1339116614.opb 2104870487 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2556
/proc/meminfo: memFree=31799568/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[startup+0.012896 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2556
/proc/meminfo: memFree=31799568/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2556
/proc/meminfo: memFree=31799568/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300294 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2556
/proc/meminfo: memFree=31799568/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2556
/proc/meminfo: memFree=31799568/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2570
/proc/meminfo: memFree=31760116/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=32168 CPUtime=1.35 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 6939 0 0 0 135 0 0 0 20 0 1 0 377786982 32940032 7138 33554432000 4194304 5208918 140733729627504 140733729625336 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 8042 7138 103 248 0 7791 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 62108
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2570
/proc/meminfo: memFree=31758488/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=32676 CPUtime=2.96 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 7700 0 0 0 295 1 0 0 20 0 1 0 377786982 33460224 7239 33554432000 4194304 5208918 140733729627504 140733729625336 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 8169 7239 104 248 0 7918 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 62616
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2570
/proc/meminfo: memFree=31757804/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=39480 CPUtime=6.16 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 8880 0 0 0 615 1 0 0 20 0 1 0 377786982 40427520 8494 33554432000 4194304 5208918 140733729627504 140733729625448 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 9870 8494 105 248 0 9619 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 69420
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2570
/proc/meminfo: memFree=31746156/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=43836 CPUtime=12.55 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 9606 0 0 0 1254 1 0 0 20 0 1 0 377786982 44888064 10147 33554432000 4194304 5208918 140733729627504 140733729623880 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 10959 10147 105 248 0 10708 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 73776
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2570
/proc/meminfo: memFree=31739396/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=50976 CPUtime=25.36 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 10977 0 0 0 2534 2 0 0 20 0 1 0 377786982 52199424 11932 33554432000 4194304 5208918 140733729627504 140733729625368 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 12744 11932 105 248 0 12493 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 80916
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2570
/proc/meminfo: memFree=31733752/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=58156 CPUtime=50.95 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 12771 0 0 0 5092 3 0 0 20 0 1 0 377786982 59551744 13335 33554432000 4194304 5208918 140733729627504 140733729625368 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 14539 13335 105 248 0 14288 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 88096
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 2570
/proc/meminfo: memFree=31723680/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=93004 CPUtime=102.14 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 14173 0 0 0 10210 4 0 0 20 0 1 0 377786982 95236096 15670 33554432000 4194304 5208918 140733729627504 140733729625448 4229283 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 23251 15670 105 248 0 23000 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 122944
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2570
/proc/meminfo: memFree=31700156/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/184 2604
/proc/meminfo: memFree=31535624/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=173140 CPUtime=1361.93 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 25735 0 0 0 136155 38 0 0 20 0 1 0 377786982 177295360 42427 33554432000 4194304 5208918 140733729627504 140733729623880 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 43285 42427 105 248 0 43034 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 203080
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 2806
/proc/meminfo: memFree=31557100/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=173140 CPUtime=1421.93 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 27016 0 0 0 142153 40 0 0 20 0 1 0 377786982 177295360 38140 33554432000 4194304 5208918 140733729627504 140733729625496 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 43285 38140 105 248 0 43034 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 203080
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 2806
/proc/meminfo: memFree=31600024/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=123820 CPUtime=1481.91 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 27624 0 0 0 148149 42 0 0 20 0 1 0 377786982 126791680 30416 33554432000 4194304 5208918 140733729627504 140733729623816 4205238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 30955 30416 105 248 0 30704 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 153760
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 2866
/proc/meminfo: memFree=31727056/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=123820 CPUtime=1541.9 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 28280 0 0 0 154147 43 0 0 20 0 1 0 377786982 126791680 30416 33554432000 4194304 5208918 140733729627504 140733729623272 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 30955 30416 105 248 0 30704 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 153760
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 2866
/proc/meminfo: memFree=31709572/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=123820 CPUtime=1601.89 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 28938 0 0 0 160144 45 0 0 20 0 1 0 377786982 126791680 30416 33554432000 4194304 5208918 140733729627504 140733729623272 4229466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 30955 30416 105 248 0 30704 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 153760
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 2866
/proc/meminfo: memFree=31650028/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=192936 CPUtime=1661.89 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 29674 0 0 0 166142 47 0 0 20 0 1 0 377786982 197566464 44138 33554432000 4194304 5208918 140733729627504 140733729623192 4210658 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 48234 44138 105 248 0 47983 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 222876
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 2866
/proc/meminfo: memFree=31684176/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=143616 CPUtime=1721.87 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 30283 0 0 0 172139 48 0 0 20 0 1 0 377786982 147062784 35390 33554432000 4194304 5208918 140733729627504 140733729625592 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 35904 35390 105 248 0 35653 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 173556
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 2866
/proc/meminfo: memFree=31601204/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=223756 CPUtime=1781.86 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 30945 0 0 0 178136 50 0 0 20 0 1 0 377786982 229126144 54957 33554432000 4194304 5208918 140733729627504 140733729623880 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 55939 54957 105 248 0 55688 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 253696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.03 2.00 4/183 2869
/proc/meminfo: memFree=31641000/32873844 swapFree=7632/7632
[pid=2556] ppid=2554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2556/stat : 2556 (npSolver-pbo.sh) S 2554 2556 32553 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377786969 9367552 274 33554432000 4194304 5064252 140736620784752 140736620783664 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2556/statm: 2287 274 233 213 0 72 0
[pid=2557] ppid=2556 vsize=11644 CPUtime=0.11 cores=0,2,4,6
/proc/2557/stat : 2557 (npSolver-pbo) S 2556 2556 32553 0 -1 4202496 3956 4944 0 0 7 2 1 1 20 0 1 0 377786969 11923456 2549 33554432000 4194304 6004724 140733633627136 140733633619488 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2557/statm: 2911 2549 171 442 0 2465 0
[pid=2569] ppid=2557 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2569/stat : 2569 (satsolver.sh) S 2557 2556 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377786982 9367552 267 33554432000 4194304 5064252 140734099683712 140734099682624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2569/statm: 2287 267 226 213 0 72 0
[pid=2570] ppid=2569 vsize=192936 CPUtime=1799.97 cores=0,2,4,6
/proc/2570/stat : 2570 (glucose) R 2569 2556 32553 0 -1 4202496 31005 0 0 0 179946 51 0 0 20 0 1 0 377786982 197566464 43626 33554432000 4194304 5208918 140733729627504 140733729625496 4212649 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2570/statm: 48234 43626 105 248 0 47983 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 222876
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.11
CPU user time (s): 1799.55
CPU system time (s): 0.558915
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 283988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.558915
maximum resident set size= 219828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 1891
runsolver used 3.15752 second user time and 8.70268 second system time
The end