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-3749939-1339161659/watcher-3749939-1339161659 -o /tmp/evaluation-result-3749939-1339161659/solver-3749939-1339161659 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749939-1339161659.opb 35751988 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.04 2.01 1.88 2/180 17793
/proc/meminfo: memFree=30255796/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[startup+0.050694 s]
/proc/loadavg: 2.04 2.01 1.88 2/180 17793
/proc/meminfo: memFree=30255796/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100161 s]
/proc/loadavg: 2.04 2.01 1.88 2/180 17793
/proc/meminfo: memFree=30255796/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300161 s]
/proc/loadavg: 2.04 2.01 1.88 2/180 17793
/proc/meminfo: memFree=30255796/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700165 s]
/proc/loadavg: 2.04 2.01 1.88 2/180 17793
/proc/meminfo: memFree=30255796/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.04 2.01 1.88 3/182 17804
/proc/meminfo: memFree=30191524/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=110828 CPUtime=1.47 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) R 17793 17793 12494 0 -1 4202496 15166 12806 0 0 91 13 38 5 20 0 1 0 382291930 113487872 25787 33554432000 4194304 6004724 140733967644144 140733967637128 4617898 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 27707 25787 173 442 0 27261 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 119976
[startup+3.1002 s]
/proc/loadavg: 2.04 2.01 1.88 3/183 17807
/proc/meminfo: memFree=30019184/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=131116 CPUtime=1.21 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 25991 0 0 0 114 7 0 0 20 0 1 0 382292118 134262784 30267 33554432000 4194304 5208918 140733524776752 140733523726152 4229328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17807/statm: 32779 30267 104 248 0 32528 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 293008
[startup+6.30031 s]
/proc/loadavg: 2.04 2.01 1.88 3/183 17807
/proc/meminfo: memFree=29950376/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=132412 CPUtime=4.4 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 26270 0 0 0 433 7 0 0 20 0 1 0 382292118 135589888 30546 33554432000 4194304 5208918 140733524776752 140733524774584 4228982 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17807/statm: 33103 30546 104 248 0 32852 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 294304
[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 1.88 3/183 17807
/proc/meminfo: memFree=29946996/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=132412 CPUtime=10.8 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 26270 0 0 0 1073 7 0 0 20 0 1 0 382292118 135589888 30546 33554432000 4194304 5208918 140733524776752 140733524774584 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17807/statm: 33103 30546 104 248 0 32852 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 294304
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.88 3/183 17807
/proc/meminfo: memFree=29950180/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=136108 CPUtime=23.6 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 27194 0 0 0 2352 8 0 0 20 0 1 0 382292118 139374592 31981 33554432000 4194304 5208918 140733524776752 140733524774584 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17807/statm: 34027 31981 104 248 0 33776 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 298000
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 1.89 3/183 17807
/proc/meminfo: memFree=29929532/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=157628 CPUtime=49.19 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 28212 0 0 0 4911 8 0 0 20 0 1 0 382292118 161411072 32971 33554432000 4194304 5208918 140733524776752 140733524774904 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 39407 32971 104 248 0 39156 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 319520
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/183 17808
/proc/meminfo: memFree=29896336/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=164184 CPUtime=100.39 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 30889 0 0 0 10030 9 0 0 20 0 1 0 382292118 168124416 34748 33554432000 4194304 5208918 140733524776752 140733524774600 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 41046 34748 104 248 0 40795 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 326076
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 17822
/proc/meminfo: memFree=29915704/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=168856 CPUtime=160.36 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 32146 0 0 0 16026 10 0 0 20 0 1 0 382292118 172908544 38554 33554432000 4194304 5208918 140733524776752 140733524774760 4211013 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 42214 38554 104 248 0 41963 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 54943 0 0 0 141978 37 0 0 20 0 1 0 382292118 298082304 63334 33554432000 4194304 5208918 140733524776752 140733524773128 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 72774 63334 104 248 0 72523 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 452988
[startup+1482.3 s]
/proc/loadavg: 2.22 2.08 1.96 3/183 17892
/proc/meminfo: memFree=29489592/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=244788 CPUtime=1480.12 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 55443 0 0 0 147974 38 0 0 20 0 1 0 382292118 250662912 56810 33554432000 4194304 5208918 140733524776752 140733524773128 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 61197 56810 104 248 0 60946 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 406680
[startup+1542.31 s]
/proc/loadavg: 2.14 2.08 1.97 3/183 17892
/proc/meminfo: memFree=29486140/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=295796 CPUtime=1540.12 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 56042 0 0 0 153973 39 0 0 20 0 1 0 382292118 302895104 62005 33554432000 4194304 5208918 140733524776752 140733524774584 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 73949 62005 104 248 0 73698 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 457688
[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 1.97 3/183 17893
/proc/meminfo: memFree=29439756/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=296952 CPUtime=1600.1 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 56341 0 0 0 159971 39 0 0 20 0 1 0 382292118 304078848 67414 33554432000 4194304 5208918 140733524776752 140733524774584 4211670 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 74238 67414 104 248 0 73987 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 458844
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 1.97 3/183 17893
/proc/meminfo: memFree=29493632/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=246864 CPUtime=1660.1 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 56579 0 0 0 165969 41 0 0 20 0 1 0 382292118 252788736 59289 33554432000 4194304 5208918 140733524776752 140733524773064 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 61716 59289 104 248 0 61465 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 408756
[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 1.98 3/183 17893
/proc/meminfo: memFree=29440668/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=297804 CPUtime=1720.09 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 57526 0 0 0 171967 42 0 0 20 0 1 0 382292118 304951296 64319 33554432000 4194304 5208918 140733524776752 140733524773064 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 74451 64319 104 248 0 74200 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 459696
[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 1.98 3/184 17896
/proc/meminfo: memFree=29451976/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=297804 CPUtime=1780.08 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 57712 0 0 0 177966 42 0 0 20 0 1 0 382292118 304951296 68593 33554432000 4194304 5208918 140733524776752 140733524773128 4211162 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 74451 68593 104 248 0 74200 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 459696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.07 1.98 3/184 17896
/proc/meminfo: memFree=29421140/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=297804 CPUtime=1798.18 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 57749 0 0 0 179776 42 0 0 20 0 1 0 382292118 304951296 70163 33554432000 4194304 5208918 140733524776752 140733524773128 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 74451 70163 104 248 0 74200 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 459696
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.08 2.07 1.98 3/184 17896
/proc/meminfo: memFree=29421140/32873648 swapFree=7628/7628
[pid=17793] ppid=17791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (npSolver-pbo.sh) S 17791 17793 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382291930 9367552 274 33554432000 4194304 5064252 140736554663968 140736554662880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 274 233 213 0 72 0
[pid=17794] ppid=17793 vsize=143596 CPUtime=1.85 cores=0,2,4,6
/proc/17794/stat : 17794 (npSolver-pbo) S 17793 17793 12494 0 -1 4202496 16677 12806 0 0 121 21 38 5 20 0 1 0 382291930 147042304 30909 33554432000 4194304 6004724 140733967644144 140733967636496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 35899 30909 175 442 0 35453 0
[pid=17806] ppid=17794 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17806/stat : 17806 (satsolver.sh) S 17794 17793 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382292118 9367552 267 33554432000 4194304 5064252 140737052428160 140737052427072 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17806/statm: 2287 267 226 213 0 72 0
[pid=17807] ppid=17806 vsize=297804 CPUtime=1798.18 cores=0,2,4,6
/proc/17807/stat : 17807 (glucose) R 17806 17793 12494 0 -1 4202496 57749 0 0 0 179776 42 0 0 20 0 1 0 382292118 304951296 70163 33554432000 4194304 5208918 140733524776752 140733524773128 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17807/statm: 74451 70163 104 248 0 74200 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 459696
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17793 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=607755
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=269958
# CPU time returned by wait4() is 1.87771
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.03
CPU user time (s): 1799.35
CPU system time (s): 0.68
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 538984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.60776
system time used= 0.269958
maximum resident set size= 170440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 106768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 24
runsolver used 3.18751 second user time and 7.64384 second system time
The end