runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3482595-1307576462/watcher-3482595-1307576462 -o /tmp/evaluation-result-3482595-1307576462/solver-3482595-1307576462 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482595-1307576462.opb -seed 1910217087 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.27 0.45 0.16 2/438 26191
/proc/meminfo: memFree=30036992/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/26191/stat : 26191 (python) R 26189 26191 25621 0 -1 4202496 712 0 0 0 0 0 0 0 20 0 1 0 947876923 15548416 603 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895488512 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/26191/statm: 3796 603 319 364 0 283 0
[startup+0.081591 s]
/proc/loadavg: 1.27 0.45 0.16 2/438 26191
/proc/meminfo: memFree=30036992/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=16820 CPUtime=0.01 cores=0,2,4,6
/proc/26191/stat : 26191 (python) R 26189 26191 25621 0 -1 4202496 1205 0 0 0 1 0 0 0 20 0 1 0 947876923 17223680 1064 33554432000 4194304 5683644 140735101962784 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26191/statm: 4205 1068 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+0.100444 s]
/proc/loadavg: 1.27 0.45 0.16 2/438 26191
/proc/meminfo: memFree=30036992/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=25312 CPUtime=0.02 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 1344 0 0 0 2 0 0 0 20 0 1 0 947876923 25919488 1190 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/26191/statm: 6328 1190 438 364 0 729 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25312
[startup+0.300441 s]
/proc/loadavg: 1.27 0.45 0.16 2/438 26191
/proc/meminfo: memFree=30036992/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 5360 929 1 0 12 4 0 0 17 0 1 0 947876923 126713856 3746 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/26191/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700422 s]
/proc/loadavg: 1.27 0.45 0.16 2/438 26191
/proc/meminfo: memFree=30036992/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293480
[startup+1.50126 s]
/proc/loadavg: 1.27 0.45 0.16 3/450 26211
/proc/meminfo: memFree=29984508/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 701 0 0 0 0 0 0 0 18 0 1 0 947876988 290033664 5688 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 4216035112883552514 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5688 349 364 0 5696 0
[pid=26208] ppid=26206 vsize=2388 CPUtime=0.84 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 595 0 0 0 84 0 0 0 21 0 1 0 947876988 2445312 337 33554432000 134512640 136139019 4292591024 18446744073709551615 134621990 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 597 337 184 398 0 197 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 579104
[startup+3.10096 s]
/proc/loadavg: 1.57 0.52 0.18 3/450 26211
/proc/meminfo: memFree=29980484/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 947876988 290033664 5691 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 4216036624712040706 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5691 352 364 0 5696 0
[pid=26208] ppid=26206 vsize=2652 CPUtime=2.44 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 661 0 0 0 244 0 0 0 25 0 1 0 947876988 2715648 403 33554432000 134512640 136139019 4292591024 18446744073709551615 134608206 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 663 403 184 398 0 263 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 579368
[startup+6.30036 s]
/proc/loadavg: 1.57 0.52 0.18 3/450 26211
/proc/meminfo: memFree=29984116/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 884 0 0 0 0 1 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 4216032845140820226 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=3052 CPUtime=5.64 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 758 0 0 0 564 0 0 0 25 0 1 0 947876988 3125248 500 33554432000 134512640 136139019 4292591024 18446744073709551615 134598496 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 763 500 184 398 0 363 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 579768
[startup+12.7011 s]
/proc/loadavg: 1.79 0.61 0.21 3/450 26248
/proc/meminfo: memFree=29978940/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.02 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 886 0 0 0 1 1 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=3456 CPUtime=12.04 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 861 0 0 0 1204 0 0 0 25 0 1 0 947876988 3538944 603 33554432000 134512640 136139019 4292591024 18446744073709551615 134883785 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 864 603 184 398 0 464 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 580172
[startup+25.5007 s]
/proc/loadavg: 1.83 0.65 0.23 4/447 26281
/proc/meminfo: memFree=29982872/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.08 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 895 0 0 0 4 4 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=4000 CPUtime=24.85 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 1018 0 0 0 2485 0 0 0 25 0 1 0 947876988 4096000 760 33554432000 134512640 136139019 4292591024 18446744073709551615 134608269 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 1000 760 184 398 0 600 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 580716
Solver just ended. Dumping a history of the last processes samples
[startup+25.8006 s]
/proc/loadavg: 1.83 0.65 0.23 4/447 26281
/proc/meminfo: memFree=29982872/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.08 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 895 0 0 0 4 4 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=4000 CPUtime=25.14 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 1018 0 0 0 2514 0 0 0 25 0 1 0 947876988 4096000 760 33554432000 134512640 136139019 4292591024 18446744073709551615 134875832 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 1000 760 184 398 0 600 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.66
Current children cumulated vsize (KiB) 580716
[startup+29.001 s]
/proc/loadavg: 1.84 0.67 0.24 3/447 26317
/proc/meminfo: memFree=29961272/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.1 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 899 0 0 0 5 5 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=4136 CPUtime=28.34 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 1046 0 0 0 2834 0 0 0 25 0 1 0 947876988 4235264 788 33554432000 134512640 136139019 4292591024 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 1034 788 184 398 0 634 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 28.88
Current children cumulated vsize (KiB) 580852
[startup+32.2164 s]
/proc/loadavg: 1.93 0.71 0.26 3/450 26320
/proc/meminfo: memFree=29940292/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.1 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 899 0 0 0 5 5 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=4272 CPUtime=31.56 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 1079 0 0 0 3156 0 0 0 25 0 1 0 947876988 4374528 821 33554432000 134512640 136139019 4292591024 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 1068 821 184 398 0 668 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 32.1
Current children cumulated vsize (KiB) 580988
[startup+33.0013 s]
/proc/loadavg: 1.93 0.71 0.26 3/450 26320
/proc/meminfo: memFree=29940292/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.12 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 900 0 0 0 6 6 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=4272 CPUtime=32.34 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 1079 0 0 0 3234 0 0 0 25 0 1 0 947876988 4374528 821 33554432000 134512640 136139019 4292591024 18446744073709551615 134599005 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 1068 821 184 398 0 668 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 32.9
Current children cumulated vsize (KiB) 580988
[startup+33.4012 s]
/proc/loadavg: 1.93 0.71 0.26 4/450 26320
/proc/meminfo: memFree=29935580/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.12 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 900 0 0 0 6 6 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=4272 CPUtime=32.74 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 1079 0 0 0 3274 0 0 0 25 0 1 0 947876988 4374528 821 33554432000 134512640 136139019 4292591024 18446744073709551615 134608287 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 1068 821 184 398 0 668 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 33.3
Current children cumulated vsize (KiB) 580988
[startup+33.8011 s]
/proc/loadavg: 1.93 0.71 0.26 4/450 26320
/proc/meminfo: memFree=29935580/32950928 swapFree=52246700/67111528
[pid=26191] ppid=26189 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/26191/stat : 26191 (python) S 26189 26191 25621 0 -1 4202496 9709 929 1 0 35 9 0 0 19 0 2 0 947876923 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26191/statm: 73370 7213 1870 364 0 8257 0
[pid=26206] ppid=26191 vsize=283236 CPUtime=0.12 cores=0,2,4,6
/proc/26206/stat : 26206 (python) S 26191 26191 25621 0 -1 4202560 900 0 0 0 6 6 0 0 18 0 1 0 947876988 290033664 5715 33554432000 4194304 5683644 140735101962784 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/26206/statm: 70809 5715 376 364 0 5696 0
[pid=26208] ppid=26206 vsize=4272 CPUtime=33.14 cores=0,2,4,6
/proc/26208/stat : 26208 (clasp-1.3.7-x86) R 26206 26208 26208 0 -1 4202496 1079 0 0 0 3314 0 0 0 25 0 1 0 947876988 4374528 821 33554432000 134512640 136139019 4292591024 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/26208/statm: 1068 821 184 398 0 668 0
[pid=26191/tid=26207] ppid=26189 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/26191/task/26207/stat : 26207 (python) S 26189 26191 25621 0 -1 4202560 27 929 0 0 0 0 0 0 19 0 2 0 947876988 300523520 7213 33554432000 4194304 5683644 140735101962784 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 33.7
Current children cumulated vsize (KiB) 580988
Child status: 0
Real time (s): 33.8525
CPU time (s): 33.7849
CPU user time (s): 33.6119
CPU system time (s): 0.172973
CPU usage (%): 99.8001
Max. virtual memory (cumulated for all children) (KiB): 580988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.6119
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17349
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3526
involuntary context switches= 114
runsolver used 0.139978 second user time and 0.32695 second system time
The end