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-3696761-1338091443/watcher-3696761-1338091443 -o /tmp/evaluation-result-3696761-1338091443/solver-3696761-1338091443 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696761-1338091443.opb 1083009210 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 1.97 3/179 7115
/proc/meminfo: memFree=31176260/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[startup+0.00672909 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 7115
/proc/meminfo: memFree=31176260/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 7115
/proc/meminfo: memFree=31176260/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 7115
/proc/meminfo: memFree=31176260/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700282 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 7115
/proc/meminfo: memFree=31176260/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7122
/proc/meminfo: memFree=31115580/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7121/stat : 7121 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275270429 9367552 267 33554432000 4194304 5064252 140735638157744 140735638156656 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7121/statm: 2287 267 226 213 0 72 0
[pid=7122] ppid=7121 vsize=35916 CPUtime=1.02 cores=1,3,5,7
/proc/7122/stat : 7122 (glucose_static) R 7121 7115 6832 0 -1 4202496 8281 0 0 0 100 2 0 0 20 0 1 0 275270429 36777984 8212 33554432000 4194304 4896791 140736890396016 140736890393224 4203891 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7122/statm: 8979 8212 77 172 0 8805 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 76800
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7122
/proc/meminfo: memFree=31114828/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7121/stat : 7121 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275270429 9367552 267 33554432000 4194304 5064252 140735638157744 140735638156656 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7121/statm: 2287 267 226 213 0 72 0
[pid=7122] ppid=7121 vsize=36576 CPUtime=2.62 cores=1,3,5,7
/proc/7122/stat : 7122 (glucose_static) R 7121 7115 6832 0 -1 4202496 9115 0 0 0 260 2 0 0 20 0 1 0 275270429 37453824 8455 33554432000 4194304 4896791 140736890396016 140736890391752 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7122/statm: 9144 8455 77 172 0 8970 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 77460
[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7122
/proc/meminfo: memFree=31109680/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7121/stat : 7121 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275270429 9367552 267 33554432000 4194304 5064252 140735638157744 140735638156656 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7121/statm: 2287 267 226 213 0 72 0
[pid=7122] ppid=7121 vsize=41888 CPUtime=5.82 cores=1,3,5,7
/proc/7122/stat : 7122 (glucose_static) R 7121 7115 6832 0 -1 4202496 10645 0 0 0 579 3 0 0 20 0 1 0 275270429 42893312 8865 33554432000 4194304 4896791 140736890396016 140736890393528 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7122/statm: 10472 8865 77 172 0 10298 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 82772
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7122
/proc/meminfo: memFree=31108192/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7121/stat : 7121 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275270429 9367552 267 33554432000 4194304 5064252 140735638157744 140735638156656 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7121/statm: 2287 267 226 213 0 72 0
[pid=7122] ppid=7121 vsize=43480 CPUtime=12.21 cores=1,3,5,7
/proc/7122/stat : 7122 (glucose_static) R 7121 7115 6832 0 -1 4202496 13218 0 0 0 1217 4 0 0 20 0 1 0 275270429 44523520 9818 33554432000 4194304 4896791 140736890396016 140736890393528 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7122/statm: 10870 9818 77 172 0 10696 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 84364
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7122
/proc/meminfo: memFree=31099700/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7121/stat : 7121 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275270429 9367552 267 33554432000 4194304 5064252 140735638157744 140735638156656 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7121/statm: 2287 267 226 213 0 72 0
[pid=7122] ppid=7121 vsize=45744 CPUtime=25.01 cores=1,3,5,7
/proc/7122/stat : 7122 (glucose_static) R 7121 7115 6832 0 -1 4202496 15339 0 0 0 2496 5 0 0 20 0 1 0 275270429 46841856 10437 33554432000 4194304 4896791 140736890396016 140736890393224 4203806 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7122/statm: 11436 10437 77 172 0 11262 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 86628
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7122
/proc/meminfo: memFree=31087828/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7121/stat : 7121 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275270429 9367552 267 33554432000 4194304 5064252 140735638157744 140735638156656 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7121/statm: 2287 267 226 213 0 72 0
[pid=7122] ppid=7121 vsize=56720 CPUtime=50.61 cores=1,3,5,7
/proc/7122/stat : 7122 (glucose_static) R 7121 7115 6832 0 -1 4202496 20208 0 0 0 5053 8 0 0 20 0 1 0 275270429 58081280 12365 33554432000 4194304 4896791 140736890396016 140736890393224 4203780 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7122/statm: 14180 12365 77 172 0 14006 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 97604
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7122
/proc/meminfo: memFree=31070728/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7121/stat : 7121 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275270429 9367552 267 33554432000 4194304 5064252 140735638157744 140735638156656 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7121/statm: 2287 267 226 213 0 72 0
[pid=7122] ppid=7121 vsize=60276 CPUtime=101.81 cores=1,3,5,7
/proc/7122/stat : 7122 (glucose_static) R 7121 7115 6832 0 -1 4202496 23405 0 0 0 10170 11 0 0 20 0 1 0 275270429 61722624 14319 33554432000 4194304 4896791 140736890396016 140736890393240 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7122/statm: 15069 14319 78 172 0 14895 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 101160
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 7123
/proc/meminfo: memFree=31054496/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=22588 CPUtime=0.44 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 3934 2314 0 0 32 7 5 0 20 0 1 0 275270382 23130112 3967 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7116/statm: 5647 3967 179 410 0 5229 0
[pid=7121] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.23 2.08 2.02 3/183 7194
/proc/meminfo: memFree=31262328/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1181.7 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 7059 51396 0 0 53 9 118067 41 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7182] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7182/stat : 7182 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275388576 9367552 267 33554432000 4194304 5064252 140737181497792 140737181496704 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7182/statm: 2287 267 226 213 0 72 0
[pid=7183] ppid=7182 vsize=75956 CPUtime=240.29 cores=1,3,5,7
/proc/7183/stat : 7183 (glucose_static) R 7182 7115 6832 0 -1 4202496 28411 0 0 0 24017 12 0 0 20 0 1 0 275388576 77778944 17045 33554432000 4194304 4896791 140736097302000 140736097299512 4224684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7183/statm: 18989 17045 78 172 0 18815 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 132372
[startup+1482.3 s]
/proc/loadavg: 2.23 2.11 2.03 3/183 7194
/proc/meminfo: memFree=31249076/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1181.7 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 7059 51396 0 0 53 9 118067 41 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7182] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7182/stat : 7182 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275388576 9367552 267 33554432000 4194304 5064252 140737181497792 140737181496704 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7182/statm: 2287 267 226 213 0 72 0
[pid=7183] ppid=7182 vsize=77288 CPUtime=300.27 cores=1,3,5,7
/proc/7183/stat : 7183 (glucose_static) R 7182 7115 6832 0 -1 4202496 30521 0 0 0 30013 14 0 0 20 0 1 0 275388576 79142912 18195 33554432000 4194304 4896791 140736097302000 140736097299528 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7183/statm: 19322 18195 78 172 0 19148 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 133704
[startup+1542.3 s]
/proc/loadavg: 2.12 2.10 2.03 3/183 7197
/proc/meminfo: memFree=31262668/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1181.7 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 7059 51396 0 0 53 9 118067 41 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7182] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7182/stat : 7182 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275388576 9367552 267 33554432000 4194304 5064252 140737181497792 140737181496704 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7182/statm: 2287 267 226 213 0 72 0
[pid=7183] ppid=7182 vsize=78656 CPUtime=360.27 cores=1,3,5,7
/proc/7183/stat : 7183 (glucose_static) R 7182 7115 6832 0 -1 4202496 32129 0 0 0 36010 17 0 0 20 0 1 0 275388576 80543744 17458 33554432000 4194304 4896791 140736097302000 140736097299528 4203968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7183/statm: 19664 17458 78 172 0 19490 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 135072
[startup+1602.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/184 7203
/proc/meminfo: memFree=31278936/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1574.29 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 10155 85551 0 0 73 11 157285 60 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7202] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7202/stat : 7202 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275427853 9367552 267 33554432000 4194304 5064252 140736298690176 140736298689088 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7202/statm: 2287 267 226 213 0 72 0
[pid=7203] ppid=7202 vsize=43268 CPUtime=27.57 cores=1,3,5,7
/proc/7203/stat : 7203 (glucose_static) R 7202 7115 6832 0 -1 4202496 15632 0 0 0 2752 5 0 0 20 0 1 0 275427853 44306432 9713 33554432000 4194304 4896791 140737087173152 140737087170664 4224109 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7203/statm: 10817 9713 78 172 0 10643 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 99684
[startup+1662.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/183 7206
/proc/meminfo: memFree=31272972/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1574.29 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 10155 85551 0 0 73 11 157285 60 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7202] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7202/stat : 7202 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275427853 9367552 267 33554432000 4194304 5064252 140736298690176 140736298689088 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7202/statm: 2287 267 226 213 0 72 0
[pid=7203] ppid=7202 vsize=53920 CPUtime=87.56 cores=1,3,5,7
/proc/7203/stat : 7203 (glucose_static) R 7202 7115 6832 0 -1 4202496 19217 0 0 0 8749 7 0 0 20 0 1 0 275427853 55214080 12157 33554432000 4194304 4896791 140737087173152 140737087170360 4203775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7203/statm: 13480 12157 78 172 0 13306 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 110336
[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/183 7210
/proc/meminfo: memFree=31280080/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1574.29 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 10155 85551 0 0 73 11 157285 60 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7202] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7202/stat : 7202 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275427853 9367552 267 33554432000 4194304 5064252 140736298690176 140736298689088 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7202/statm: 2287 267 226 213 0 72 0
[pid=7203] ppid=7202 vsize=56924 CPUtime=147.54 cores=1,3,5,7
/proc/7203/stat : 7203 (glucose_static) R 7202 7115 6832 0 -1 4202496 22911 0 0 0 14745 9 0 0 20 0 1 0 275427853 58290176 11861 33554432000 4194304 4896791 140737087173152 140737087170728 4205424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7203/statm: 14231 11861 78 172 0 14057 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 113340
[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/183 7213
/proc/meminfo: memFree=31272872/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1574.29 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 10155 85551 0 0 73 11 157285 60 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7202] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7202/stat : 7202 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275427853 9367552 267 33554432000 4194304 5064252 140736298690176 140736298689088 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7202/statm: 2287 267 226 213 0 72 0
[pid=7203] ppid=7202 vsize=70096 CPUtime=207.53 cores=1,3,5,7
/proc/7203/stat : 7203 (glucose_static) R 7202 7115 6832 0 -1 4202496 24972 0 0 0 20742 11 0 0 20 0 1 0 275427853 71778304 14230 33554432000 4194304 4896791 140737087173152 140737087168888 4224960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7203/statm: 17524 14230 78 172 0 17350 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 126512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.06 2.02 3/183 7213
/proc/meminfo: memFree=31261508/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1574.29 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 10155 85551 0 0 73 11 157285 60 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7202] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7202/stat : 7202 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275427853 9367552 267 33554432000 4194304 5064252 140736298690176 140736298689088 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7202/statm: 2287 267 226 213 0 72 0
[pid=7203] ppid=7202 vsize=70560 CPUtime=225.74 cores=1,3,5,7
/proc/7203/stat : 7203 (glucose_static) R 7202 7115 6832 0 -1 4202496 25425 0 0 0 22562 12 0 0 20 0 1 0 275427853 72253440 15891 33554432000 4194304 4896791 140737087173152 140737087170664 4224693 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7203/statm: 17640 15891 78 172 0 17466 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 126976
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.06 2.02 3/183 7213
/proc/meminfo: memFree=31261508/32873844 swapFree=7372/7372
[pid=7115] ppid=7113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (runPb2sat.sh) S 7113 7115 6832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275270382 9367552 275 33554432000 4194304 5064252 140733809620704 140733809619616 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7115/statm: 2287 275 233 213 0 72 0
[pid=7116] ppid=7115 vsize=38120 CPUtime=1574.29 cores=1,3,5,7
/proc/7116/stat : 7116 (pb2sat) S 7115 7115 6832 0 -1 4202496 10155 85551 0 0 73 11 157285 60 20 0 1 0 275270382 39034880 7900 33554432000 4194304 5873084 140736173351856 140736173345672 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/7116/statm: 9530 7900 179 410 0 9112 0
[pid=7202] ppid=7116 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7202/stat : 7202 (satsolver.sh) S 7116 7115 6832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275427853 9367552 267 33554432000 4194304 5064252 140736298690176 140736298689088 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7202/statm: 2287 267 226 213 0 72 0
[pid=7203] ppid=7202 vsize=70560 CPUtime=225.74 cores=1,3,5,7
/proc/7203/stat : 7203 (glucose_static) R 7202 7115 6832 0 -1 4202496 25425 0 0 0 22562 12 0 0 20 0 1 0 275427853 72253440 15891 33554432000 4194304 4896791 140737087173152 140737087170664 4224693 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7203/statm: 17640 15891 78 172 0 17466 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 126976
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.21
CPU system time (s): 0.85387
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 235568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.85387
maximum resident set size= 163780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 2168
runsolver used 6.66799 second user time and 15.4107 second system time
The end