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-3741875-1338721955/watcher-3741875-1338721955 -o /tmp/evaluation-result-3741875-1338721955/solver-3741875-1338721955 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3741875-1338721955.opb -seed 885589581 -budget 1800
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.09 2.87 3.00 3/193 6870
/proc/meminfo: memFree=20934392/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/6870/stat : 6870 (python) D 6868 6870 2614 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 338320554 15642624 559 33554432000 4194304 5683644 140735053991280 140735053959224 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6870/statm: 3819 559 324 364 0 261 0
[startup+0.0457241 s]
/proc/loadavg: 2.09 2.87 3.00 3/193 6870
/proc/meminfo: memFree=20934392/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=16432 CPUtime=0 cores=1,3,5,7
/proc/6870/stat : 6870 (python) R 6868 6870 2614 0 -1 4202496 1053 0 0 0 0 0 0 0 20 0 1 0 338320554 16826368 881 33554432000 4194304 5683644 140735053991280 140735053920280 240564801428 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6870/statm: 4108 881 379 364 0 550 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16432
[startup+0.100263 s]
/proc/loadavg: 2.09 2.87 3.00 3/193 6870
/proc/meminfo: memFree=20934392/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=19080 CPUtime=0.02 cores=1,3,5,7
/proc/6870/stat : 6870 (python) R 6868 6870 2614 0 -1 4202496 1394 0 0 0 2 0 0 0 20 0 1 0 338320554 19537920 1149 33554432000 4194304 5683644 140735053991280 140735053921784 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6870/statm: 4770 1149 430 364 0 694 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19080
[startup+0.300289 s]
/proc/loadavg: 2.09 2.87 3.00 3/193 6870
/proc/meminfo: memFree=20934392/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=96912 CPUtime=0.11 cores=1,3,5,7
/proc/6870/stat : 6870 (python) D 6868 6870 2614 0 -1 4202496 3954 1008 1 0 9 2 0 0 20 0 1 0 338320554 99237888 2652 33554432000 4194304 5683644 140735053991280 140735053863880 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6870/statm: 24228 2652 823 364 0 1719 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 96912
[startup+0.700256 s]
/proc/loadavg: 2.09 2.87 3.00 3/193 6870
/proc/meminfo: memFree=20934392/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=136264 CPUtime=0.24 cores=1,3,5,7
/proc/6870/stat : 6870 (python) R 6868 6870 2614 0 -1 4202496 6231 1008 1 0 16 8 0 0 20 0 1 0 338320554 139534336 4073 33554432000 4194304 5683644 140735053991280 140735053891272 240565175184 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6870/statm: 34066 4073 1093 364 0 2952 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 136264
[startup+1.50025 s]
/proc/loadavg: 2.08 2.86 3.00 3/194 6875
/proc/meminfo: memFree=20916628/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=359648 CPUtime=0.68 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 11289 1008 1 0 53 15 0 0 20 0 2 0 338320554 368279552 7774 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6870/statm: 89912 7774 1901 364 0 25135 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 359648
[startup+3.10046 s]
/proc/loadavg: 2.08 2.86 3.00 3/197 6878
/proc/meminfo: memFree=20842940/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=359648 CPUtime=0.68 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 11289 1008 1 0 53 15 0 0 20 0 2 0 338320554 368279552 7774 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6870/statm: 89912 7774 1901 364 0 25135 0
[pid=6876] ppid=6870 vsize=283868 CPUtime=0 cores=1,3,5,7
/proc/6876/stat : 6876 (python) S 6870 6870 2614 0 -1 4202560 766 0 0 0 0 0 0 0 20 0 1 0 338320703 290680832 6208 33554432000 4194304 5683644 140735053991280 140735053982368 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6876/statm: 70967 6208 341 364 0 6190 0
[pid=6878] ppid=6876 vsize=99460 CPUtime=1.59 cores=1,3,5,7
/proc/6878/stat : 6878 (scip-2.0.1.linu) R 6876 6878 6878 0 -1 4202496 20773 0 0 0 154 5 0 0 20 0 1 0 338320703 101847040 20172 33554432000 4194304 15243407 140735662473568 140735662468952 4880912 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6878/statm: 24865 20172 682 2698 0 22160 0
[pid=6870/tid=6877] ppid=6868 vsize=359648 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338320703 368279552 7774 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 742976
heavy processes:
[startup+6.30046 s]
/proc/loadavg: 2.08 2.86 3.00 3/197 6878
/proc/meminfo: memFree=20774236/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=359648 CPUtime=0.68 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 11289 1008 1 0 53 15 0 0 20 0 2 0 338320554 368279552 7774 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6870/statm: 89912 7774 1901 364 0 25135 0
[pid=6876] ppid=6870 vsize=283868 CPUtime=0 cores=1,3,5,7
/proc/6876/stat : 6876 (python) S 6870 6870 2614 0 -1 4202560 897 0 0 0 0 0 0 0 20 0 1 0 338320703 290680832 6231 33554432000 4194304 5683644 140735053991280 140735053982368 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6876/statm: 70967 6231 364 364 0 6190 0
[pid=6878] ppid=6876 vsize=158976 CPUtime=4.79 cores=1,3,5,7
/proc/6878/stat : 6878 (scip-2.0.1.linu) R 6876 6878 6878 0 -1 4202496 35567 0 0 0 468 11 0 0 20 0 1 0 338320703 162791424 34966 33554432000 4194304 15243407 140735662473568 140735662469864 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6878/statm: 39744 34966 686 2698 0 37039 0
[pid=6870/tid=6877] ppid=6868 vsize=359648 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338320703 368279552 7774 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 802492
[startup+12.7005 s]
/proc/loadavg: 2.07 2.83 2.99 3/200 6881
/proc/meminfo: memFree=20562224/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=359648 CPUtime=0.68 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 11289 1008 1 0 53 15 0 0 20 0 2 0 338320554 368279552 7774 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6870/statm: 89912 7774 1901 364 0 25135 0
[pid=6876] ppid=6870 vsize=283868 CPUtime=0 cores=1,3,5,7
/proc/6876/stat : 6876 (python) S 6870 6870 2614 0 -1 4202560 901 0 0 0 0 0 0 0 20 0 1 0 338320703 290680832 6231 33554432000 4194304 5683644 140735053991280 140735053982368 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6876/statm: 70967 6231 364 364 0 6190 0
[pid=6878] ppid=6876 vsize=204904 CPUtime=11.2 cores=1,3,5,7
/proc/6878/stat : 6878 (scip-2.0.1.linu) R 6876 6878 6878 0 -1 4202496 47022 0 0 0 1101 19 0 0 20 0 1 0 338320703 209821696 46421 33554432000 4194304 15243407 140735662473568 140735662469864 6141204 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6878/statm: 51226 46421 686 2698 0 48521 0
[pid=6870/tid=6877] ppid=6868 vsize=359648 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338320703 368279552 7774 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 848420
[startup+25.5005 s]
/proc/loadavg: 2.06 2.80 2.98 3/200 6881
/proc/meminfo: memFree=20150752/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=359648 CPUtime=0.68 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 11289 1008 1 0 53 15 0 0 20 0 2 0 338320554 368279552 7774 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6870/statm: 89912 7774 1901 364 0 25135 0
[pid=6876] ppid=6870 vsize=283868 CPUtime=0.03 cores=1,3,5,7
/proc/6876/stat : 6876 (python) S 6870 6870 2614 0 -1 4202560 1010 0 0 0 1 2 0 0 20 0 1 0 338320703 290680832 6236 33554432000 4194304 5683644 140735053991280 140735053982368 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6876/statm: 70967 6236 369 364 0 6190 0
[pid=6878] ppid=6876 vsize=269272 CPUtime=23.99 cores=1,3,5,7
/proc/6878/stat : 6878 (scip-2.0.1.linu) R 6876 6878 6878 0 -1 4202496 62865 0 0 0 2357 42 0 0 20 0 1 0 338320703 275734528 62229 33554432000 4194304 15243407 140735662473568 140735662469656 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6878/statm: 67318 62229 873 2698 0 64613 0
[pid=6870/tid=6877] ppid=6868 vsize=359648 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338320703 368279552 7774 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 912788
[startup+51.1005 s]
/proc/loadavg: 2.76 2.90 3.00 2/206 6887
/proc/meminfo: memFree=9261168/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=435440 CPUtime=0.72 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 12264 1008 1 0 56 16 0 0 20 0 3 0 338320554 445890560 8291 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6870/statm: 108860 8291 1904 364 0 44080 0
[pid=6876] ppid=6870 vsize=359648 CPUtime=0.08 cores=1,3,5,7
/proc/6876/stat : 6876 (python) S 6870 6870 2614 0 -1 4202560 1163 0 0 0 4 4 0 0 20 0 2 0 338320703 368279552 6271 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6876/statm: 89912 6271 397 364 0 25135 0
[pid=6878] ppid=6876 vsize=292792 CPUtime=46.94 cores=1,3,5,7
/proc/6878/stat : 6878 (scip-2.0.1.linu) T 6876 6878 6878 0 -1 4202496 69728 0 0 0 4617 77 0 0 20 0 1 0 338320703 299819008 67736 33554432000 4194304 15243407 140735662473568 140735662468280 6958453 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/6878/statm: 73198 67736 898 2698 0 70493 0
[pid=6876/tid=6884] ppid=6870 vsize=359648 CPUtime=0 cores=1,3,5,7
/proc/6876/task/6884/stat : 6884 (python) S 6870 6870 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338325400 368279552 6271 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6885] ppid=6870 vsize=359660 CPUtime=0 cores=1,3,5,7
/proc/6885/stat : 6885 (python) S 6870 6870 2614 0 -1 4202560 778 0 0 0 0 0 0 0 20 0 1 0 338325402 368291840 6209 33554432000 4194304 5683644 140735053991280 140735053982368 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6885/statm: 89915 6209 336 364 0 25135 0
[pid=6887] ppid=6885 vsize=4836 CPUtime=2.61 cores=1,3,5,7
/proc/6887/stat : 6887 (clasp-1.3.7-x86) R 6885 6887 6887 0 -1 4202496 1291 0 0 0 261 0 0 0 20 0 1 0 338325402 4952064 947 33554432000 134512640 136139019 4294830976 4294829952 134883619 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/6887/statm: 1209 947 182 398 0 809 0
[pid=6870/tid=6877] ppid=6868 vsize=435440 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338320703 445890560 8291 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6886] ppid=6868 vsize=435440 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6886/stat : 6886 (python) S 6868 6870 2614 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 3 0 338325402 445890560 8291 33554432000 4194304 5683644 140735053991280 140300945187376 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 1452376
[startup+102.301 s]
/proc/loadavg: 3.99 3.21 3.10 2/209 6891
/proc/meminfo: memFree=7704996/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=511736 CPUtime=0.74 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 13204 1008 1 0 58 16 0 0 20 0 4 0 338320554 524017664 8425 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6870/statm: 127934 8425 1906 364 0 63151 0
[pid=6876] ppid=6870 vsize=359648 CPUtime=0.08 cores=1,3,5,7
/proc/6876/stat : 6876 (python) S 6870 6870 2614 0 -1 4202560 1163 0 0 0 4 4 0 0 20 0 2 0 338320703 368279552 6271 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6876/statm: 89912 6271 397 364 0 25135 0
[pid=6878] ppid=6876 vsize=292792 CPUtime=46.94 cores=1,3,5,7
/proc/6878/stat : 6878 (scip-2.0.1.linu) T 6876 6878 6878 0 -1 4202496 69728 0 0 0 4617 77 0 0 20 0 1 0 338320703 299819008 67736 33554432000 4194304 15243407 140735662473568 140735662468280 6958453 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/6878/statm: 73198 67736 898 2698 0 70493 0
[pid=6876/tid=6884] ppid=6870 vsize=359648 CPUtime=0 cores=1,3,5,7
/proc/6876/task/6884/stat : 6884 (python) S 6870 6870 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338325400 368279552 6271 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6885] ppid=6870 vsize=359660 CPUtime=0.07 cores=1,3,5,7
/proc/6885/stat : 6885 (python) S 6870 6870 2614 0 -1 4202560 1096 0 0 0 4 3 0 0 20 0 2 0 338325402 368291840 6258 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6885/statm: 89915 6258 384 364 0 25135 0
[pid=6887] ppid=6885 vsize=13700 CPUtime=47.11 cores=1,3,5,7
/proc/6887/stat : 6887 (clasp-1.3.7-x86) T 6885 6887 6887 0 -1 4202496 3499 0 0 0 4711 0 0 0 20 0 1 0 338325402 14028800 3155 33554432000 134512640 136139019 4294830976 4294829696 134875657 0 0 16781312 16386 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/6887/statm: 3425 3155 182 398 0 3025 0
[pid=6885/tid=6888] ppid=6870 vsize=359660 CPUtime=0 cores=1,3,5,7
/proc/6885/task/6888/stat : 6888 (python) S 6870 6870 2614 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338330116 368291840 6258 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6889] ppid=6870 vsize=435956 CPUtime=0.01 cores=1,3,5,7
/proc/6889/stat : 6889 (python) S 6870 6870 2614 0 -1 4202560 940 0 0 0 0 1 0 0 20 0 1 0 338330118 446418944 6872 33554432000 4194304 5683644 140735053991280 140735053982368 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/6889/statm: 108989 6872 359 364 0 44206 0
[pid=6891] ppid=6889 vsize=179504 CPUtime=6.65 cores=1,3,5,7
/proc/6891/stat : 6891 (scip-2.0.1.linu) R 6889 6891 6891 0 -1 4202496 41107 0 0 0 650 15 0 0 20 0 1 0 338330119 183812096 40493 33554432000 4194304 13684479 140736183225904 140736183222216 4880915 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6891/statm: 44876 40493 639 2317 0 42554 0
[pid=6870/tid=6877] ppid=6868 vsize=511736 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 4 0 338320703 524017664 8425 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6886] ppid=6868 vsize=511736 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/7019/stat : 7019 (bsolo_pb10) T 7017 7019 7019 0 -1 4202496 26498 0 0 0 4716 11 0 0 20 0 1 0 338376844 116584448 26043 33554432000 134512640 137138936 4293716288 4293714712 134606854 0 0 16781312 16384 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7019/statm: 28463 26043 192 642 0 27819 0
[pid=7017/tid=7025] ppid=6870 vsize=739124 CPUtime=0 cores=1,3,5,7
/proc/7017/task/7025/stat : 7025 (python) S 6870 6870 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338381573 756862976 6922 33554432000 4194304 5683644 140735053991280 140300903227952 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7026] ppid=6870 vsize=814916 CPUtime=0 cores=1,3,5,7
/proc/7026/stat : 7026 (python) S 6870 6870 2614 0 -1 4202560 860 0 0 0 0 0 0 0 20 0 1 0 338381576 834473984 6879 33554432000 4194304 5683644 140735053991280 140735053982368 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7026/statm: 203729 6879 336 364 0 138931 0
[pid=7028] ppid=7026 vsize=12956 CPUtime=1.08 cores=1,3,5,7
/proc/7028/stat : 7028 (bsolo_pb10) R 7026 7028 7028 0 -1 4202496 1143 0 0 0 108 0 0 0 20 0 1 0 338381576 13266944 781 33554432000 134512640 137138936 4292315216 4292241920 134542214 0 0 16781312 16384 0 0 0 17 1 0 0 0 0 0
/proc/7028/statm: 3239 781 184 642 0 2595 0
[pid=6870/tid=6877] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 32 1008 0 0 0 0 0 0 20 0 9 0 338320703 912072704 8973 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6870/tid=6886] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6886/stat : 6886 (python) S 6868 6870 2614 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 9 0 338325402 912072704 8973 33554432000 4194304 5683644 140735053991280 140300945187376 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6870/tid=6890] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6890/stat : 6890 (python) S 6868 6870 2614 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 9 0 338330118 912072704 8973 33554432000 4194304 5683644 140735053991280 140300934697520 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6894] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6894/stat : 6894 (python) S 6868 6870 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338339539 912072704 8973 33554432000 4194304 5683644 140735053991280 140300924207664 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6903] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6903/stat : 6903 (python) S 6868 6870 2614 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338344275 912072704 8973 33554432000 4194304 5683644 140735053991280 140300913717808 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6913] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6913/stat : 6913 (python) S 6868 6870 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338353832 912072704 8973 33554432000 4194304 5683644 140735053991280 140300903227952 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=7018] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/7018/stat : 7018 (python) S 6868 6870 2614 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338376844 912072704 8973 33554432000 4194304 5683644 140735053991280 140300892738096 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6870/tid=7027] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/7027/stat : 7027 (python) S 6868 6870 2614 0 -1 4202560 19 1008 0 0 0 0 0 0 20 0 9 0 338381576 912072704 8973 33554432000 4194304 5683644 140735053991280 140300542534192 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 613.45
Current children cumulated vsize (KiB) 15880168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+611.302 s]
/proc/loadavg: 2.00 2.42 2.81 3/245 7028
/proc/meminfo: memFree=27904080/32873844 swapFree=7116/7116
[pid=6870] ppid=6868 vsize=890696 CPUtime=1.49 cores=1,3,5,7
/proc/6870/stat : 6870 (python) S 6868 6870 2614 0 -1 4202496 18275 1008 1 0 131 18 0 0 20 0 9 0 338320554 912072704 8973 33554432000 4194304 5683644 140735053991280 140735053986112 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6870/statm: 222674 8973 1916 364 0 157876 0
[pid=6876] ppid=6870 vsize=359648 CPUtime=0.18 cores=1,3,5,7
/proc/6876/stat : 6876 (python) S 6870 6870 2614 0 -1 4202560 1200 0 0 0 10 8 0 0 20 0 2 0 338320703 368279552 6272 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6876/statm: 89912 6272 398 364 0 25135 0
[pid=6878] ppid=6876 vsize=299756 CPUtime=92.57 cores=1,3,5,7
/proc/6878/stat : 6878 (scip-2.0.1.linu) T 6876 6878 6878 0 -1 4202496 106836 0 0 0 9164 93 0 0 20 0 1 0 338320703 306950144 72577 33554432000 4194304 15243407 140735662473568 140735662467960 7435928 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6878/statm: 74939 72577 946 2698 0 72234 0
[pid=6876/tid=6884] ppid=6870 vsize=359648 CPUtime=0 cores=1,3,5,7
/proc/6876/task/6884/stat : 6884 (python) S 6870 6870 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338325400 368279552 6272 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6885] ppid=6870 vsize=359660 CPUtime=0.41 cores=1,3,5,7
/proc/6885/stat : 6885 (python) S 6870 6870 2614 0 -1 4202560 1188 0 0 0 24 17 0 0 20 0 2 0 338325402 368291840 6258 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6885/statm: 89915 6258 384 364 0 25135 0
[pid=6887] ppid=6885 vsize=27968 CPUtime=229.59 cores=1,3,5,7
/proc/6887/stat : 6887 (clasp-1.3.7-x86) T 6885 6887 6887 0 -1 4202496 7074 0 0 0 22957 2 0 0 20 0 1 0 338325402 28639232 6731 33554432000 134512640 136139019 4294830976 4294829952 134882965 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6887/statm: 6992 6731 182 398 0 6592 0
[pid=6885/tid=6888] ppid=6870 vsize=359660 CPUtime=0 cores=1,3,5,7
/proc/6885/task/6888/stat : 6888 (python) S 6870 6870 2614 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338330116 368291840 6258 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6889] ppid=6870 vsize=435956 CPUtime=0.18 cores=1,3,5,7
/proc/6889/stat : 6889 (python) S 6870 6870 2614 0 -1 4202560 1155 0 0 0 9 9 0 0 20 0 2 0 338330118 446418944 6897 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6889/statm: 108989 6897 384 364 0 44206 0
[pid=6891] ppid=6889 vsize=267000 CPUtime=93.58 cores=1,3,5,7
/proc/6891/stat : 6891 (scip-2.0.1.linu) T 6889 6891 6891 0 -1 4202496 67280 0 0 0 9297 61 0 0 20 0 1 0 338330119 273408000 62351 33554432000 4194304 13684479 140736183225904 140736183221992 11876362 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6891/statm: 66750 62351 775 2317 0 64428 0
[pid=6889/tid=6892] ppid=6870 vsize=435956 CPUtime=0 cores=1,3,5,7
/proc/6889/task/6892/stat : 6892 (python) S 6870 6870 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338334966 446418944 6897 33554432000 4194304 5683644 140735053991280 140300945187376 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6893] ppid=6870 vsize=511748 CPUtime=0.07 cores=1,3,5,7
/proc/6893/stat : 6893 (python) S 6870 6870 2614 0 -1 4202560 1150 0 0 0 4 3 0 0 20 0 2 0 338339538 524029952 6904 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6893/statm: 127937 6904 384 364 0 63151 0
[pid=6895] ppid=6893 vsize=84764 CPUtime=47.31 cores=1,3,5,7
/proc/6895/stat : 6895 (minion) T 6893 6895 6895 0 -1 4202496 7625 0 0 0 4730 1 0 0 20 0 1 0 338339539 86798336 13900 33554432000 134512640 165565024 4293784848 4293782096 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/6895/statm: 21191 13900 336 7582 0 13606 0
[pid=6893/tid=6901] ppid=6870 vsize=511748 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6901/stat : 6901 (python) S 6870 6870 2614 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338344272 524029952 6904 33554432000 4194304 5683644 140735053991280 140300934697520 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6902] ppid=6870 vsize=587540 CPUtime=0.08 cores=1,3,5,7
/proc/6902/stat : 6902 (python) S 6870 6870 2614 0 -1 4202560 1141 0 0 0 5 3 0 0 20 0 2 0 338344275 601640960 6910 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6902/statm: 146885 6910 384 364 0 82096 0
[pid=6904] ppid=6902 vsize=86280 CPUtime=49.86 cores=1,3,5,7
/proc/6904/stat : 6904 (wbo1.4a) T 6902 6904 6904 0 -1 4202496 21483 0 0 0 4945 41 0 0 20 0 1 0 338344275 88350720 21129 33554432000 134512640 135751879 4294489824 4294487440 134604666 0 0 16781312 3 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/6904/statm: 21570 21129 143 303 0 21265 0
[pid=6902/tid=6910] ppid=6870 vsize=587540 CPUtime=0 cores=1,3,5,7
/proc/6902/task/6910/stat : 6910 (python) S 6870 6870 2614 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338349263 601640960 6910 33554432000 4194304 5683644 140735053991280 140300924207664 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6912] ppid=6870 vsize=663332 CPUtime=0.08 cores=1,3,5,7
/proc/6912/stat : 6912 (python) S 6870 6870 2614 0 -1 4202560 1156 0 0 0 4 4 0 0 20 0 2 0 338353832 679251968 6916 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6912/statm: 165833 6916 384 364 0 101041 0
[pid=6914] ppid=6912 vsize=9624972 CPUtime=49.62 cores=1,3,5,7
/proc/6914/stat : 6914 (java) T 6912 6914 6914 0 -1 4202496 16083 0 1 0 4920 42 0 0 20 0 19 0 338353832 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140734759283968 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6914/statm: 2406243 427643 2266 9 0 2396937 0
[pid=6914/tid=6915] ppid=6912 vsize=9624972 CPUtime=47.1 cores=1,3,5,7
/proc/6914/task/6915/stat : 6915 (java) T 6912 6914 6914 0 -1 4202560 3638 0 1 0 4684 26 0 0 20 0 19 0 338353834 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187299875936 140187146051177 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6916] ppid=6912 vsize=9624972 CPUtime=0.08 cores=1,3,5,7
/proc/6914/task/6916/stat : 6916 (java) T 6912 6914 6914 0 -1 4202560 61 0 0 0 8 0 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187272330024 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6917] ppid=6912 vsize=9624972 CPUtime=0.08 cores=1,3,5,7
/proc/6914/task/6917/stat : 6917 (java) T 6912 6914 6914 0 -1 4202560 20 0 0 0 8 0 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187271277224 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6914/tid=6918] ppid=6912 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/6914/task/6918/stat : 6918 (java) T 6912 6914 6914 0 -1 4202560 38 0 0 0 9 2 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187270224936 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6914/tid=6919] ppid=6912 vsize=9624972 CPUtime=0.1 cores=1,3,5,7
/proc/6914/task/6919/stat : 6919 (java) T 6912 6914 6914 0 -1 4202560 59 0 0 0 8 2 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187269172136 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6920] ppid=6912 vsize=9624972 CPUtime=0.12 cores=1,3,5,7
/proc/6914/task/6920/stat : 6920 (java) T 6912 6914 6914 0 -1 4202560 49 0 0 0 10 2 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187268118824 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6921] ppid=6912 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/6914/task/6921/stat : 6921 (java) T 6912 6914 6914 0 -1 4202560 66 0 0 0 7 2 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187267066024 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 7 0 0 0 0 0
[pid=6914/tid=6922] ppid=6912 vsize=9624972 CPUtime=0.08 cores=1,3,5,7
/proc/6914/task/6922/stat : 6922 (java) T 6912 6914 6914 0 -1 4202560 60 0 0 0 6 2 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187266013736 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6923] ppid=6912 vsize=9624972 CPUtime=0.12 cores=1,3,5,7
/proc/6914/task/6923/stat : 6923 (java) T 6912 6914 6914 0 -1 4202560 64 0 0 0 9 3 0 0 20 0 19 0 338353835 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140187264960936 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 7 0 0 0 0 0
[pid=6914/tid=6924] ppid=6912 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6914/task/6924/stat : 6924 (java) T 6912 6914 6914 0 -1 4202560 739 0 0 0 0 0 0 0 20 0 19 0 338353836 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186652478184 240568547241 0 0 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6925] ppid=6912 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6914/task/6925/stat : 6925 (java) T 6912 6914 6914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338353837 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186651424248 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6914/tid=6926] ppid=6912 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6914/task/6926/stat : 6926 (java) T 6912 6914 6914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338353837 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186650371848 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6914/tid=6927] ppid=6912 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6914/task/6927/stat : 6927 (java) T 6912 6914 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338353839 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186649320336 240568555296 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6914/tid=6928] ppid=6912 vsize=9624972 CPUtime=0.75 cores=1,3,5,7
/proc/6914/task/6928/stat : 6928 (java) T 6912 6914 6914 0 -1 4202560 5959 0 0 0 73 2 0 0 20 0 19 0 338353839 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186648266936 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 7 0 0 0 0 0
[pid=6914/tid=6929] ppid=6912 vsize=9624972 CPUtime=0.73 cores=1,3,5,7
/proc/6914/task/6929/stat : 6929 (java) T 6912 6914 6914 0 -1 4202560 3909 0 0 0 73 0 0 0 20 0 19 0 338353839 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186647214136 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 7 0 0 0 0 0
[pid=6914/tid=6930] ppid=6912 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6914/task/6930/stat : 6930 (java) T 6912 6914 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338353839 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186646162040 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6931] ppid=6912 vsize=9624972 CPUtime=0.01 cores=1,3,5,7
/proc/6914/task/6931/stat : 6931 (java) T 6912 6914 6914 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338353839 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186645109448 240568547241 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6914/tid=6932] ppid=6912 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6914/task/6932/stat : 6932 (java) T 6912 6914 6914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338353872 9855971328 427643 33554432000 1073741824 1073778376 140734759292832 140186644055464 240568547241 0 4 0 16800975 18446744071579387992 0 0 -1 7 0 0 0 0 0
[pid=6912/tid=7001] ppid=6870 vsize=663332 CPUtime=0 cores=1,3,5,7
/proc/6912/task/7001/stat : 7001 (python) S 6870 6870 2614 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338358585 679251968 6916 33554432000 4194304 5683644 140735053991280 140300913717808 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7017] ppid=6870 vsize=739124 CPUtime=0.08 cores=1,3,5,7
/proc/7017/stat : 7017 (python) S 6870 6870 2614 0 -1 4202560 1181 0 0 0 4 4 0 0 20 0 2 0 338376844 756862976 6922 33554432000 4194304 5683644 140735053991280 140735053982928 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7017/statm: 184781 6922 384 364 0 119986 0
[pid=7019] ppid=7017 vsize=113852 CPUtime=47.27 cores=1,3,5,7
/proc/7019/stat : 7019 (bsolo_pb10) T 7017 7019 7019 0 -1 4202496 26498 0 0 0 4716 11 0 0 20 0 1 0 338376844 116584448 26043 33554432000 134512640 137138936 4293716288 4293714712 134606854 0 0 16781312 16384 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7019/statm: 28463 26043 192 642 0 27819 0
[pid=7017/tid=7025] ppid=6870 vsize=739124 CPUtime=0 cores=1,3,5,7
/proc/7017/task/7025/stat : 7025 (python) S 6870 6870 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338381573 756862976 6922 33554432000 4194304 5683644 140735053991280 140300903227952 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7026] ppid=6870 vsize=814916 CPUtime=0 cores=1,3,5,7
/proc/7026/stat : 7026 (python) S 6870 6870 2614 0 -1 4202560 860 0 0 0 0 0 0 0 20 0 1 0 338381576 834473984 6879 33554432000 4194304 5683644 140735053991280 140735053982368 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7026/statm: 203729 6879 336 364 0 138931 0
[pid=7028] ppid=7026 vsize=12956 CPUtime=1.08 cores=1,3,5,7
/proc/7028/stat : 7028 (bsolo_pb10) R 7026 7028 7028 0 -1 4202496 1143 0 0 0 108 0 0 0 20 0 1 0 338381576 13266944 781 33554432000 134512640 137138936 4292315216 4292241920 134542214 0 0 16781312 16384 0 0 0 17 1 0 0 0 0 0
/proc/7028/statm: 3239 781 184 642 0 2595 0
[pid=6870/tid=6877] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6877/stat : 6877 (python) S 6868 6870 2614 0 -1 4202560 32 1008 0 0 0 0 0 0 20 0 9 0 338320703 912072704 8973 33554432000 4194304 5683644 140735053991280 140301029626416 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6870/tid=6886] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6886/stat : 6886 (python) S 6868 6870 2614 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 9 0 338325402 912072704 8973 33554432000 4194304 5683644 140735053991280 140300945187376 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6870/tid=6890] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6890/stat : 6890 (python) S 6868 6870 2614 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 9 0 338330118 912072704 8973 33554432000 4194304 5683644 140735053991280 140300934697520 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6894] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6894/stat : 6894 (python) S 6868 6870 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338339539 912072704 8973 33554432000 4194304 5683644 140735053991280 140300924207664 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6903] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6903/stat : 6903 (python) S 6868 6870 2614 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338344275 912072704 8973 33554432000 4194304 5683644 140735053991280 140300913717808 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=6913] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/6913/stat : 6913 (python) S 6868 6870 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338353832 912072704 8973 33554432000 4194304 5683644 140735053991280 140300903227952 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6870/tid=7018] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/7018/stat : 7018 (python) S 6868 6870 2614 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338376844 912072704 8973 33554432000 4194304 5683644 140735053991280 140300892738096 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6870/tid=7027] ppid=6868 vsize=890696 CPUtime=0 cores=1,3,5,7
/proc/6870/task/7027/stat : 7027 (python) S 6868 6870 2614 0 -1 4202560 19 1008 0 0 0 0 0 0 20 0 9 0 338381576 912072704 8973 33554432000 4194304 5683644 140735053991280 140300542534192 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 613.45
Current children cumulated vsize (KiB) 15880168
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6870 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=317799
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=191970
# CPU time returned by wait4() is 1.50977
# while last known CPU time is 613.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 611.365
CPU time (s): 613.45
CPU user time (s): 610.28
CPU system time (s): 3.17
CPU usage (%): 100.341
Max. virtual memory (cumulated for all children) (KiB): 15880168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3178
system time used= 0.19197
maximum resident set size= 35892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19283
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2074
involuntary context switches= 20
runsolver used 2.95455 second user time and 6.71298 second system time
The end