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-3700918-1338141043/watcher-3700918-1338141043 -o /tmp/evaluation-result-3700918-1338141043/solver-3700918-1338141043 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700918-1338141043.opb 274699680 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 20795
/proc/meminfo: memFree=31698224/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[startup+0.049602 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 20795
/proc/meminfo: memFree=31698224/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 20795
/proc/meminfo: memFree=31698224/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 20795
/proc/meminfo: memFree=31698224/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700315 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 20795
/proc/meminfo: memFree=31698224/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20817
/proc/meminfo: memFree=31436688/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=65020 CPUtime=0.86 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 11105 0 0 0 76 10 0 0 20 0 1 0 280171296 66580480 15474 33554432000 4194304 5992684 140735200778992 140735200773024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20796/statm: 16255 15474 172 440 0 15811 0
[pid=20816] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (cp2_pre.sh) S 20796 20795 19129 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 280171383 9367552 276 33554432000 4194304 5064252 140733982606064 140733982604768 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20816/statm: 2287 276 234 213 0 72 0
[pid=20817] ppid=20816 vsize=277504 CPUtime=0.61 cores=1,3,5,7
/proc/20817/stat : 20817 (coprocessor) R 20816 20795 19129 0 -1 4202496 27060 0 0 0 54 7 0 0 20 0 1 0 280171384 284164096 60830 33554432000 4194304 6586260 140736023053952 140736023051112 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20817/statm: 69376 60830 166 584 0 68788 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 360820
[startup+3.10046 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20817
/proc/meminfo: memFree=31103620/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=65020 CPUtime=0.86 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 11105 0 0 0 76 10 0 0 20 0 1 0 280171296 66580480 15474 33554432000 4194304 5992684 140735200778992 140735200773024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20796/statm: 16255 15474 172 440 0 15811 0
[pid=20816] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (cp2_pre.sh) S 20796 20795 19129 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 280171383 9367552 276 33554432000 4194304 5064252 140733982606064 140733982604768 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20816/statm: 2287 276 234 213 0 72 0
[pid=20817] ppid=20816 vsize=366764 CPUtime=2.22 cores=1,3,5,7
/proc/20817/stat : 20817 (coprocessor) R 20816 20795 19129 0 -1 4202496 48103 0 0 0 209 13 0 0 20 0 1 0 280171384 375566336 89024 33554432000 4194304 6586260 140736023053952 140736023050216 4768566 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20817/statm: 91691 89024 176 584 0 91103 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 450080
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20824
/proc/meminfo: memFree=31109992/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=65020 CPUtime=0.86 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 11105 0 0 0 76 10 0 0 20 0 1 0 280171296 66580480 15474 33554432000 4194304 5992684 140735200778992 140735200773024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20796/statm: 16255 15474 172 440 0 15811 0
[pid=20816] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20816/stat : 20816 (cp2_pre.sh) S 20796 20795 19129 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 280171383 9367552 276 33554432000 4194304 5064252 140733982606064 140733982604768 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20816/statm: 2287 276 234 213 0 72 0
[pid=20817] ppid=20816 vsize=456984 CPUtime=5.41 cores=1,3,5,7
/proc/20817/stat : 20817 (coprocessor) R 20816 20795 19129 0 -1 4202496 56856 0 0 0 450 91 0 0 20 0 1 0 280171384 467951616 109773 33554432000 4194304 6586260 140736023053952 140736023049704 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20817/statm: 114246 109773 200 584 0 113658 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 540300
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20839
/proc/meminfo: memFree=31506608/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=76332 CPUtime=12.67 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) R 20795 20795 19129 0 -1 4202496 13458 98586 0 0 116 147 895 109 20 0 1 0 280171296 78163968 18217 33554432000 4194304 5992684 140735200778992 140735200773176 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20796/statm: 19083 18217 179 440 0 18639 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 85480
[startup+25.5005 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 20844
/proc/meminfo: memFree=30186948/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=15.87 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 22015 99101 0 0 369 209 895 114 20 0 1 0 280171296 388530176 72646 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 81 0 0
/proc/20796/statm: 94856 72646 189 440 0 94412 0
[pid=20843] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20843/stat : 20843 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280172967 9367552 267 33554432000 4194304 5064252 140737205761664 140737205760576 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2287 267 226 213 0 72 0
[pid=20844] ppid=20843 vsize=610500 CPUtime=8.78 cores=1,3,5,7
/proc/20844/stat : 20844 (glucose) R 20843 20795 19129 0 -1 4202496 91513 0 0 0 850 28 0 0 20 0 1 0 280172968 625152000 133719 33554432000 4194304 5208918 140736159812864 140736159810616 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20844/statm: 152625 133719 103 248 0 152374 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 1008220
[startup+51.1005 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 20844
/proc/meminfo: memFree=30166352/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=15.87 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 22015 99101 0 0 369 209 895 114 20 0 1 0 280171296 388530176 72646 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 81 0 0
/proc/20796/statm: 94856 72646 189 440 0 94412 0
[pid=20843] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20843/stat : 20843 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280172967 9367552 267 33554432000 4194304 5064252 140737205761664 140737205760576 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2287 267 226 213 0 72 0
[pid=20844] ppid=20843 vsize=618720 CPUtime=34.37 cores=1,3,5,7
/proc/20844/stat : 20844 (glucose) R 20843 20795 19129 0 -1 4202496 92952 0 0 0 3409 28 0 0 20 0 1 0 280172968 633569280 136691 33554432000 4194304 5208918 140736159812864 140736159810696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20844/statm: 154680 136691 104 248 0 154429 0
Current children cumulated CPU time (s) 50.24
Current children cumulated vsize (KiB) 1016440
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 20844
/proc/meminfo: memFree=30152700/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=15.87 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 22015 99101 0 0 369 209 895 114 20 0 1 0 280171296 388530176 72646 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 81 0 0
/proc/20796/statm: 94856 72646 189 440 0 94412 0
[pid=20843] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20843/stat : 20843 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280172967 9367552 267 33554432000 4194304 5064252 140737205761664 140737205760576 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2287 267 226 213 0 72 0
[pid=20844] ppid=20843 vsize=618720 CPUtime=85.57 cores=1,3,5,7
/proc/20844/stat : 20844 (glucose) R 20843 20795 19129 0 -1 4202496 92954 0 0 0 8529 28 0 0 20 0 1 0 280172968 633569280 137715 33554432000 4194304 5208918 140736159812864 140736159810696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20844/statm: 154680 137715 104 248 0 154429 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 1016440
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 20845
/proc/meminfo: memFree=30148172/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=15.87 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 22015 99101 0 0 369 209 895 114 20 0 1 0 280171296 388530176 72646 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 81 0 0
/proc/20796/statm: 94856 72646 189 440 0 94412 0
[pid=20843] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20843/stat : 20843 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280172967 9367552 267 33554432000 4194304 5064252 140737205761664 140737205760576 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20843/statm: 2287 267 226 213 0 72 0
[pid=20844] ppid=20843 vsize=618720 CPUtime=145.56 cores=1,3,5,7
/proc/20844/stat : 20844 (glucose) R 20843 20795 19129 0 -1 4202496 92956 0 0 0 14528 28 0 0 20 0 1 0 280172968 633569280 138739 33554432000 4194304 5208918 140736159812864 140736159810696 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20844/statm: 154680 138739 104 248 0 154429 0
Current children cumulated CPU time (s) 161.43
################
# More data... #
################
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 85328 0 0 0 91015 38 0 0 20 0 1 0 280222452 576204800 129732 33554432000 4194304 5208918 140735120106992 140735120103368 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 140675 129732 105 248 0 140424 0
Current children cumulated CPU time (s) 1421.13
Current children cumulated vsize (KiB) 960420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20899
/proc/meminfo: memFree=30226968/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=562700 CPUtime=970.52 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 85333 0 0 0 97014 38 0 0 20 0 1 0 280222452 576204800 132292 33554432000 4194304 5208918 140735120106992 140735120103304 4229125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 140675 132292 105 248 0 140424 0
Current children cumulated CPU time (s) 1481.12
Current children cumulated vsize (KiB) 960420
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20899
/proc/meminfo: memFree=30268652/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=562700 CPUtime=1030.51 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 85338 0 0 0 103012 39 0 0 20 0 1 0 280222452 576204800 132805 33554432000 4194304 5208918 140735120106992 140735120103304 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 140675 132805 105 248 0 140424 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 960420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20899
/proc/meminfo: memFree=30263872/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=562700 CPUtime=1090.5 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 85812 0 0 0 109007 43 0 0 20 0 1 0 280222452 576204800 127685 33554432000 4194304 5208918 140735120106992 140735120105080 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 140675 127685 105 248 0 140424 0
Current children cumulated CPU time (s) 1601.1
Current children cumulated vsize (KiB) 960420
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 20899
/proc/meminfo: memFree=30234208/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=566860 CPUtime=1150.49 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 86139 0 0 0 115006 43 0 0 20 0 1 0 280222452 580464640 130957 33554432000 4194304 5208918 140735120106992 140735120104824 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 141715 130957 105 248 0 141464 0
Current children cumulated CPU time (s) 1661.09
Current children cumulated vsize (KiB) 964580
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 20900
/proc/meminfo: memFree=30255792/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=648248 CPUtime=1210.48 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 86317 0 0 0 121004 44 0 0 20 0 1 0 280222452 663805952 136245 33554432000 4194304 5208918 140735120106992 140735120105144 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 162062 136245 105 248 0 161811 0
Current children cumulated CPU time (s) 1721.08
Current children cumulated vsize (KiB) 1045968
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 20903
/proc/meminfo: memFree=30275704/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=566860 CPUtime=1270.47 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 86627 0 0 0 127000 47 0 0 20 0 1 0 280222452 580464640 129421 33554432000 4194304 5208918 140735120106992 140735120105080 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 141715 129421 105 248 0 141464 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 964580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20932
/proc/meminfo: memFree=30728308/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=566860 CPUtime=1289.47 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 86627 0 0 0 128900 47 0 0 20 0 1 0 280222452 580464640 129421 33554432000 4194304 5208918 140735120106992 140735120105080 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 141715 129421 105 248 0 141464 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 964580
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20932
/proc/meminfo: memFree=30728308/32873844 swapFree=6872/6872
[pid=20795] ppid=20793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (npSolver-pbo.sh) S 20793 20795 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280171296 9367552 275 33554432000 4194304 5064252 140733719396384 140733719395296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20795/statm: 2287 275 233 213 0 72 0
[pid=20796] ppid=20795 vsize=379424 CPUtime=510.6 cores=1,3,5,7
/proc/20796/stat : 20796 (npSolver-pbo) S 20795 20795 19129 0 -1 4202496 32268 206287 0 0 587 241 49996 236 20 0 1 0 280171296 388530176 65478 33554432000 4194304 5992684 140735200778992 140735200771312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 81 0 0
/proc/20796/statm: 94856 65478 189 440 0 94412 0
[pid=20866] ppid=20796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20866/stat : 20866 (satsolver.sh) S 20796 20795 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280222452 9367552 266 33554432000 4194304 5064252 140734682487936 140734682486848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20866/statm: 2287 266 226 213 0 72 0
[pid=20867] ppid=20866 vsize=566860 CPUtime=1289.47 cores=1,3,5,7
/proc/20867/stat : 20867 (glucose) R 20866 20795 19129 0 -1 4202496 86627 0 0 0 128900 47 0 0 20 0 1 0 280222452 580464640 129421 33554432000 4194304 5208918 140735120106992 140735120105080 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20867/statm: 141715 129421 105 248 0 141464 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 964580
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20795 and gives
# childrusage.ru_utime.tv_sec=505
# childrusage.ru_utime.tv_usec=844100
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=792271
# CPU time returned by wait4() is 510.636
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.07
CPU user time (s): 1794.83
CPU system time (s): 5.24
CPU usage (%): 99.9307
Max. virtual memory (cumulated for all children) (KiB): 1234072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 505.844
system time used= 4.79227
maximum resident set size= 767200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 953952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4038
involuntary context switches= 561
runsolver used 3.19251 second user time and 8.27974 second system time
The end