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-3481893-1307577285/watcher-3481893-1307577285 -o /tmp/evaluation-result-3481893-1307577285/solver-3481893-1307577285 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481893-1307577285.opb -seed 1685149055 -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.17 2.07 1.35 2/689 23900
/proc/meminfo: memFree=19348076/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=16248 CPUtime=0.01 cores=1,3,5,7
/proc/23900/stat : 23900 (python) R 23898 23900 23102 0 -1 4202496 1064 0 0 0 1 0 0 0 17 0 1 0 869325641 16637952 935 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476694784 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23900/statm: 4062 935 381 364 0 549 0
[startup+0.116912 s]
/proc/loadavg: 2.17 2.07 1.35 2/689 23900
/proc/meminfo: memFree=19348076/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/23900/stat : 23900 (python) R 23898 23900 23102 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 869325641 98435072 2483 33554432000 4194304 5683644 140733798732960 18446744073709551615 5168792 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23900/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.200897 s]
/proc/loadavg: 2.17 2.07 1.35 2/689 23900
/proc/meminfo: memFree=19348076/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/23900/stat : 23900 (python) R 23898 23900 23102 0 -1 4202496 5357 930 1 0 10 4 0 0 17 0 1 0 869325641 126713856 3744 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476690949 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23900/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.300896 s]
/proc/loadavg: 2.17 2.07 1.35 2/689 23900
/proc/meminfo: memFree=19348076/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=184248 CPUtime=0.22 cores=1,3,5,7
/proc/23900/stat : 23900 (python) R 23898 23900 23102 0 -1 4202496 6331 930 1 0 16 6 0 0 17 0 1 0 869325641 188669952 4635 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476692992 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/23900/statm: 46062 4635 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184248
[startup+0.704857 s]
/proc/loadavg: 2.17 2.07 1.35 2/689 23900
/proc/meminfo: memFree=19348076/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=295120 CPUtime=0.57 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 10313 930 1 0 48 9 0 0 19 0 2 0 869325641 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23900/statm: 73780 7625 1870 364 0 8667 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 295120
[startup+1.50065 s]
/proc/loadavg: 2.17 2.07 1.35 3/693 23909
/proc/meminfo: memFree=19283192/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=295120 CPUtime=0.57 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 10313 930 1 0 48 9 0 0 19 0 2 0 869325641 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23900/statm: 73780 7625 1870 364 0 8667 0
[pid=23907] ppid=23900 vsize=284876 CPUtime=0 cores=1,3,5,7
/proc/23907/stat : 23907 (python) S 23900 23900 23102 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869325711 291713024 6103 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715023 0 0 16781312 33554946 2698920177080205312 0 0 17 5 0 0 0
/proc/23907/statm: 71219 6103 352 364 0 6106 0
[pid=23909] ppid=23907 vsize=52760 CPUtime=0.79 cores=1,3,5,7
/proc/23909/stat : 23909 (scip-2.0.1.linu) R 23907 23909 23909 0 -1 4202496 11650 0 0 0 75 4 0 0 21 0 1 0 869325711 54026240 10903 33554432000 4194304 13684479 140736632221184 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23909/statm: 13190 10903 738 2317 0 10868 0
[pid=23900/tid=23908] ppid=23898 vsize=295120 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23908/stat : 23908 (python) S 23898 23900 23102 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869325711 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 632756
[startup+3.10034 s]
/proc/loadavg: 2.17 2.07 1.35 3/693 23909
/proc/meminfo: memFree=19248284/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=295120 CPUtime=0.57 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 10313 930 1 0 48 9 0 0 19 0 2 0 869325641 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23900/statm: 73780 7625 1870 364 0 8667 0
[pid=23907] ppid=23900 vsize=284876 CPUtime=0 cores=1,3,5,7
/proc/23907/stat : 23907 (python) S 23900 23900 23102 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 869325711 291713024 6103 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715023 0 0 16781312 33554946 3694336400489971712 0 0 17 5 0 0 0
/proc/23907/statm: 71219 6103 352 364 0 6106 0
[pid=23909] ppid=23907 vsize=77656 CPUtime=2.39 cores=1,3,5,7
/proc/23909/stat : 23909 (scip-2.0.1.linu) R 23907 23909 23909 0 -1 4202496 17755 0 0 0 232 7 0 0 25 0 1 0 869325711 79519744 16834 33554432000 4194304 13684479 140736632221184 18446744073709551615 4958062 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23909/statm: 19414 16834 766 2317 0 17092 0
[pid=23900/tid=23908] ppid=23898 vsize=295120 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23908/stat : 23908 (python) S 23898 23900 23102 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869325711 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 657652
[startup+6.30072 s]
/proc/loadavg: 2.32 2.11 1.36 3/693 23909
/proc/meminfo: memFree=19231740/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=295120 CPUtime=0.57 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 10313 930 1 0 48 9 0 0 19 0 2 0 869325641 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23900/statm: 73780 7625 1870 364 0 8667 0
[pid=23907] ppid=23900 vsize=284876 CPUtime=0.02 cores=1,3,5,7
/proc/23907/stat : 23907 (python) S 23900 23900 23102 0 -1 4202560 911 0 0 0 1 1 0 0 15 0 1 0 869325711 291713024 6127 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715023 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/23907/statm: 71219 6127 376 364 0 6106 0
[pid=23909] ppid=23907 vsize=104452 CPUtime=5.58 cores=1,3,5,7
/proc/23909/stat : 23909 (scip-2.0.1.linu) R 23907 23909 23909 0 -1 4202496 24225 0 0 0 544 14 0 0 25 0 1 0 869325711 106958848 23269 33554432000 4194304 13684479 140736632221184 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23909/statm: 26113 23269 797 2317 0 23791 0
[pid=23900/tid=23908] ppid=23898 vsize=295120 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23908/stat : 23908 (python) S 23898 23900 23102 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869325711 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 684448
[startup+12.7005 s]
/proc/loadavg: 2.29 2.10 1.36 3/693 23909
/proc/meminfo: memFree=19194056/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=295120 CPUtime=0.57 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 10313 930 1 0 48 9 0 0 19 0 2 0 869325641 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23900/statm: 73780 7625 1870 364 0 8667 0
[pid=23907] ppid=23900 vsize=284876 CPUtime=0.04 cores=1,3,5,7
/proc/23907/stat : 23907 (python) S 23900 23900 23102 0 -1 4202560 912 0 0 0 2 2 0 0 15 0 1 0 869325711 291713024 6127 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715023 0 0 16781312 33554946 5623606151888251627 0 0 17 5 0 0 0
/proc/23907/statm: 71219 6127 376 364 0 6106 0
[pid=23909] ppid=23907 vsize=104452 CPUtime=11.98 cores=1,3,5,7
/proc/23909/stat : 23909 (scip-2.0.1.linu) R 23907 23909 23909 0 -1 4202496 24242 0 0 0 1163 35 0 0 25 0 1 0 869325711 106958848 23284 33554432000 4194304 13684479 140736632221184 18446744073709551615 7431019 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23909/statm: 26113 23284 810 2317 0 23791 0
[pid=23900/tid=23908] ppid=23898 vsize=295120 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23908/stat : 23908 (python) S 23898 23900 23102 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869325711 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 684448
[startup+25.501 s]
/proc/loadavg: 2.23 2.10 1.37 3/697 23913
/proc/meminfo: memFree=18952028/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=295120 CPUtime=0.57 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 10313 930 1 0 48 9 0 0 19 0 2 0 869325641 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23900/statm: 73780 7625 1870 364 0 8667 0
[pid=23907] ppid=23900 vsize=284876 CPUtime=0.12 cores=1,3,5,7
/proc/23907/stat : 23907 (python) S 23900 23900 23102 0 -1 4202560 917 0 0 0 5 7 0 0 15 0 1 0 869325711 291713024 6127 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715023 0 0 16781312 33554946 5623606151888251627 0 0 17 5 0 0 0
/proc/23907/statm: 71219 6127 376 364 0 6106 0
[pid=23909] ppid=23907 vsize=104452 CPUtime=24.76 cores=1,3,5,7
/proc/23909/stat : 23909 (scip-2.0.1.linu) R 23907 23909 23909 0 -1 4202496 24242 0 0 0 2409 67 0 0 25 0 1 0 869325711 106958848 23284 33554432000 4194304 13684479 140736632221184 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23909/statm: 26113 23284 810 2317 0 23791 0
[pid=23900/tid=23908] ppid=23898 vsize=295120 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23908/stat : 23908 (python) S 23898 23900 23102 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869325711 302202880 7625 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 684448
[startup+51.1011 s]
/proc/loadavg: 2.15 2.09 1.39 4/719 23936
/proc/meminfo: memFree=18904140/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=305376 CPUtime=0.6 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 11211 930 1 0 50 10 0 0 20 0 3 0 869325641 312705024 7632 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23900/statm: 76344 7632 1873 364 0 11228 0
[pid=23907] ppid=23900 vsize=295120 CPUtime=0.27 cores=1,3,5,7
/proc/23907/stat : 23907 (python) S 23900 23900 23102 0 -1 4202560 1090 0 0 0 12 15 0 0 16 0 2 0 869325711 302202880 6163 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23907/statm: 73780 6163 407 364 0 8667 0
[pid=23909] ppid=23907 vsize=104608 CPUtime=49.4 cores=1,3,5,7
/proc/23909/stat : 23909 (scip-2.0.1.linu) T 23907 23909 23909 0 -1 4202496 24603 0 0 0 4811 129 0 0 25 0 1 0 869325711 107118592 23616 33554432000 4194304 13684479 140736632221184 18446744073709551615 7390848 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/23909/statm: 26152 23616 817 2317 0 23830 0
[pid=23907/tid=23915] ppid=23900 vsize=295120 CPUtime=0 cores=1,3,5,7
/proc/23907/task/23915/stat : 23915 (python) S 23900 23900 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869330659 302202880 6163 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554946 18446604469544654784 0 0 -1 5 0 0 0
[pid=23916] ppid=23900 vsize=295132 CPUtime=0 cores=1,3,5,7
/proc/23916/stat : 23916 (python) S 23900 23900 23102 0 -1 4202560 783 0 0 0 0 0 0 0 15 0 1 0 869330661 302215168 6104 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715078 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/23916/statm: 73783 6104 349 364 0 8667 0
[pid=23918] ppid=23916 vsize=8540444 CPUtime=1.76 cores=1,3,5,7
/proc/23918/stat : 23918 (java) S 23916 23918 23918 0 -1 4202496 19066 0 1 0 173 3 0 0 17 0 19 0 869330662 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23918/statm: 2135111 15456 2227 9 0 2125852 0
[pid=23918/tid=23919] ppid=23916 vsize=8540444 CPUtime=0.87 cores=1,3,5,7
/proc/23918/task/23919/stat : 23919 (java) R 23916 23918 23918 0 -1 4202560 11157 0 1 0 85 2 0 0 18 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 47203208342355 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23918/tid=23920] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23920/stat : 23920 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 3 0 0 0
[pid=23918/tid=23921] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23921/stat : 23921 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 5 0 0 0
[pid=23918/tid=23922] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23922/stat : 23922 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 5 0 0 0
[pid=23918/tid=23923] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23923/stat : 23923 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 5 0 0 0
[pid=23918/tid=23924] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23924/stat : 23924 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 7 0 0 0
[pid=23918/tid=23925] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23925/stat : 23925 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 5 0 0 0
[pid=23918/tid=23926] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23926/stat : 23926 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 7 0 0 0
[pid=23918/tid=23927] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23927/stat : 23927 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869330663 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 7 0 0 0
[pid=23918/tid=23928] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23928/stat : 23928 (java) S 23916 23918 23918 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869330664 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488511488 0 0 0 16800975 18446604456683151488 0 0 -1 3 0 0 0
[pid=23918/tid=23929] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23929/stat : 23929 (java) S 23916 23918 23918 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 869330665 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 3 0 0 0
[pid=23918/tid=23930] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23930/stat : 23930 (java) S 23916 23918 23918 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 869330665 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 3 0 0 0
[pid=23918/tid=23931] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23931/stat : 23931 (java) S 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869330667 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488518577 0 4 0 16800975 18446604456683151488 0 0 -1 3 0 0 0
[pid=23918/tid=23932] ppid=23916 vsize=8540444 CPUtime=0.47 cores=1,3,5,7
/proc/23918/task/23932/stat : 23932 (java) S 23916 23918 23918 0 -1 4202560 3301 0 0 0 47 0 0 0 19 0 19 0 869330667 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 7 0 0 0
[pid=23918/tid=23933] ppid=23916 vsize=8540444 CPUtime=0.4 cores=1,3,5,7
/proc/23918/task/23933/stat : 23933 (java) S 23916 23918 23918 0 -1 4202560 3212 0 0 0 40 0 0 0 15 0 19 0 869330667 8745414656 15456 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446604456683151488 0 0 -1 3 0 0 0
[pid=23918/tid=23934] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=23961/tid=23969] ppid=23900 vsize=305924 CPUtime=0 cores=1,3,5,7
/proc/23961/task/23969/stat : 23969 (python) S 23900 23900 23102 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869340366 313266176 6289 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554946 18446604466125451328 0 0 -1 7 0 0 0
[pid=23970] ppid=23900 vsize=316180 CPUtime=0.08 cores=1,3,5,7
/proc/23970/stat : 23970 (python) S 23900 23900 23102 0 -1 4202560 961 0 0 0 4 4 0 0 15 0 1 0 869340368 323768320 6262 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715078 0 0 16781312 33554946 5623606151888251627 0 0 17 5 0 0 0
/proc/23970/statm: 79045 6262 373 364 0 13923 0
[pid=23972] ppid=23970 vsize=99904 CPUtime=14.99 cores=1,3,5,7
/proc/23972/stat : 23972 (scip-2.0.1.linu) R 23970 23972 23972 0 -1 4202496 28366 0 0 0 1480 19 0 0 25 0 1 0 869340368 102301696 20437 33554432000 4194304 15243407 140735537862304 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23972/statm: 24976 20437 930 2698 0 22271 0
[pid=23900/tid=23908] ppid=23898 vsize=326424 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23908/stat : 23908 (python) S 23898 23900 23102 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 5 0 869325711 334258176 7770 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
[pid=23900/tid=23917] ppid=23898 vsize=326424 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23917/stat : 23917 (python) S 23898 23900 23102 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 869330662 334258176 7770 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 5 0 0 0
[pid=23900/tid=23962] ppid=23898 vsize=326424 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23962/stat : 23962 (python) S 23898 23900 23102 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869335436 334258176 7770 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
[pid=23900/tid=23971] ppid=23898 vsize=326424 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23971/stat : 23971 (python) S 23898 23900 23102 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 869340368 334258176 7770 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 163.89
Current children cumulated vsize (KiB) 10425468
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+194.701 s]
/proc/loadavg: 2.19 2.10 1.49 10/775 23996
/proc/meminfo: memFree=18359008/32950928 swapFree=67056572/67111528
[pid=23900] ppid=23898 vsize=336680 CPUtime=0.67 cores=1,3,5,7
/proc/23900/stat : 23900 (python) S 23898 23900 23102 0 -1 4202496 14058 930 1 0 57 10 0 0 20 0 6 0 869325641 344760320 7776 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23900/statm: 84170 7776 1879 364 0 19045 0
[pid=23907] ppid=23900 vsize=295120 CPUtime=0.27 cores=1,3,5,7
/proc/23907/stat : 23907 (python) S 23900 23900 23102 0 -1 4202560 1090 0 0 0 12 15 0 0 16 0 2 0 869325711 302202880 6163 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23907/statm: 73780 6163 407 364 0 8667 0
[pid=23909] ppid=23907 vsize=104608 CPUtime=49.4 cores=1,3,5,7
/proc/23909/stat : 23909 (scip-2.0.1.linu) T 23907 23909 23909 0 -1 4202496 24603 0 0 0 4811 129 0 0 25 0 1 0 869325711 107118592 23616 33554432000 4194304 13684479 140736632221184 18446744073709551615 7390848 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/23909/statm: 26152 23616 817 2317 0 23830 0
[pid=23907/tid=23915] ppid=23900 vsize=295120 CPUtime=0 cores=1,3,5,7
/proc/23907/task/23915/stat : 23915 (python) S 23900 23900 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869330659 302202880 6163 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554946 18446604469544654784 0 0 -1 5 0 0 0
[pid=23916] ppid=23900 vsize=295132 CPUtime=0.26 cores=1,3,5,7
/proc/23916/stat : 23916 (python) S 23900 23900 23102 0 -1 4202560 1172 0 0 0 11 15 0 0 17 0 2 0 869330661 302215168 6159 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23916/statm: 73783 6159 403 364 0 8667 0
[pid=23918] ppid=23916 vsize=8540444 CPUtime=48.69 cores=1,3,5,7
/proc/23918/stat : 23918 (java) T 23916 23918 23918 0 -1 4202496 23851 0 1 0 4864 5 0 0 15 0 19 0 869330662 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23918/statm: 2135111 20097 2255 9 0 2125852 0
[pid=23918/tid=23919] ppid=23916 vsize=8540444 CPUtime=46.56 cores=1,3,5,7
/proc/23918/task/23919/stat : 23919 (java) T 23916 23918 23918 0 -1 4202560 11462 0 1 0 4654 2 0 0 25 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 46912505848768 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23920] ppid=23916 vsize=8540444 CPUtime=0.05 cores=1,3,5,7
/proc/23918/task/23920/stat : 23920 (java) T 23916 23918 23918 0 -1 4202560 529 0 0 0 5 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23921] ppid=23916 vsize=8540444 CPUtime=0.01 cores=1,3,5,7
/proc/23918/task/23921/stat : 23921 (java) T 23916 23918 23918 0 -1 4202560 256 0 0 0 1 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23918/tid=23922] ppid=23916 vsize=8540444 CPUtime=0.02 cores=1,3,5,7
/proc/23918/task/23922/stat : 23922 (java) T 23916 23918 23918 0 -1 4202560 117 0 0 0 2 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23923] ppid=23916 vsize=8540444 CPUtime=0.05 cores=1,3,5,7
/proc/23918/task/23923/stat : 23923 (java) T 23916 23918 23918 0 -1 4202560 864 0 0 0 5 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23918/tid=23924] ppid=23916 vsize=8540444 CPUtime=0.03 cores=1,3,5,7
/proc/23918/task/23924/stat : 23924 (java) T 23916 23918 23918 0 -1 4202560 10 0 0 0 3 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23918/tid=23925] ppid=23916 vsize=8540444 CPUtime=0.04 cores=1,3,5,7
/proc/23918/task/23925/stat : 23925 (java) T 23916 23918 23918 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23926] ppid=23916 vsize=8540444 CPUtime=0.03 cores=1,3,5,7
/proc/23918/task/23926/stat : 23926 (java) T 23916 23918 23918 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23918/tid=23927] ppid=23916 vsize=8540444 CPUtime=0.01 cores=1,3,5,7
/proc/23918/task/23927/stat : 23927 (java) T 23916 23918 23918 0 -1 4202560 29 0 0 0 1 0 0 0 15 0 19 0 869330663 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23918/tid=23928] ppid=23916 vsize=8540444 CPUtime=0.83 cores=1,3,5,7
/proc/23918/task/23928/stat : 23928 (java) T 23916 23918 23918 0 -1 4202560 2615 0 0 0 83 0 0 0 15 0 19 0 869330664 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23918/tid=23929] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23929/stat : 23929 (java) T 23916 23918 23918 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869330665 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23930] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23930/stat : 23930 (java) T 23916 23918 23918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869330665 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23931] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23931/stat : 23931 (java) T 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869330667 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23932] ppid=23916 vsize=8540444 CPUtime=0.54 cores=1,3,5,7
/proc/23918/task/23932/stat : 23932 (java) T 23916 23918 23918 0 -1 4202560 3323 0 0 0 54 0 0 0 15 0 19 0 869330667 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23918/tid=23933] ppid=23916 vsize=8540444 CPUtime=0.43 cores=1,3,5,7
/proc/23918/task/23933/stat : 23933 (java) T 23916 23918 23918 0 -1 4202560 3215 0 0 0 43 0 0 0 15 0 19 0 869330667 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23934] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23934/stat : 23934 (java) T 23916 23918 23918 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869330667 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23918/tid=23935] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23935/stat : 23935 (java) T 23916 23918 23918 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869330667 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23918/tid=23936] ppid=23916 vsize=8540444 CPUtime=0 cores=1,3,5,7
/proc/23918/task/23936/stat : 23936 (java) T 23916 23918 23918 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869330700 8745414656 20097 33554432000 1073741824 1073778376 140733513048576 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23916/tid=23960] ppid=23900 vsize=295132 CPUtime=0 cores=1,3,5,7
/proc/23916/task/23960/stat : 23960 (python) S 23900 23900 23102 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869335434 302215168 6159 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554946 18446604455695667456 0 0 -1 5 0 0 0
[pid=23961] ppid=23900 vsize=305924 CPUtime=0.26 cores=1,3,5,7
/proc/23961/stat : 23961 (python) S 23900 23900 23102 0 -1 4202560 1181 0 0 0 13 13 0 0 17 0 2 0 869335436 313266176 6289 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23961/statm: 76481 6289 403 364 0 11362 0
[pid=23963] ppid=23961 vsize=141732 CPUtime=49.29 cores=1,3,5,7
/proc/23963/stat : 23963 (wbo1.4a) T 23961 23963 23963 0 -1 4202496 35310 0 0 0 4827 102 0 0 25 0 1 0 869335436 145133568 34960 33554432000 134512640 135751879 4294642160 18446744073709551615 134616514 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23963/statm: 35433 34960 146 303 0 35128 0
[pid=23961/tid=23969] ppid=23900 vsize=305924 CPUtime=0 cores=1,3,5,7
/proc/23961/task/23969/stat : 23969 (python) S 23900 23900 23102 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869340366 313266176 6289 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554946 18446604466125451328 0 0 -1 7 0 0 0
[pid=23970] ppid=23900 vsize=316180 CPUtime=0.24 cores=1,3,5,7
/proc/23970/stat : 23970 (python) S 23900 23900 23102 0 -1 4202560 1136 0 0 0 11 13 0 0 16 0 2 0 869340368 323768320 6287 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23970/statm: 79045 6287 397 364 0 13923 0
[pid=23972] ppid=23970 vsize=94292 CPUtime=46.78 cores=1,3,5,7
/proc/23972/stat : 23972 (scip-2.0.1.linu) T 23970 23972 23972 0 -1 4202496 61231 0 0 0 4641 37 0 0 21 0 1 0 869340368 96555008 20510 33554432000 4194304 15243407 140735537862304 18446744073709551615 8113833 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23972/statm: 23573 20510 930 2698 0 20868 0
[pid=23970/tid=23975] ppid=23900 vsize=316180 CPUtime=0 cores=1,3,5,7
/proc/23970/task/23975/stat : 23975 (python) S 23900 23900 23102 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869345053 323768320 6287 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554946 18446604454948692352 0 0 -1 5 0 0 0
[pid=23976] ppid=23900 vsize=326436 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (python) S 23900 23900 23102 0 -1 4202560 808 0 0 0 0 0 0 0 16 0 1 0 869345056 334270464 6242 33554432000 4194304 5683644 140733798732960 18446744073709551615 239476715078 0 0 16781312 33554946 3703440515681746944 0 0 17 7 0 0 0
/proc/23976/statm: 81609 6242 349 364 0 16484 0
[pid=23978] ppid=23976 vsize=8557768 CPUtime=1.24 cores=1,3,5,7
/proc/23978/stat : 23978 (java) S 23976 23978 23978 0 -1 4202496 26008 0 1 0 119 5 0 0 17 0 19 0 869345056 8763154432 19725 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23978/statm: 2139442 19727 2219 9 0 2130183 0
[pid=23978/tid=23979] ppid=23976 vsize=8557964 CPUtime=0.57 cores=1,3,5,7
/proc/23978/task/23979/stat : 23979 (java) R 23976 23978 23978 0 -1 4202560 10621 0 1 0 55 2 0 0 19 0 19 0 869345057 8763355136 19780 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 46912505745351 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23978/tid=23980] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23980/stat : 23980 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869345057 8763355136 19780 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23981] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23981/stat : 23981 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345057 8763355136 19780 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23982] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23982/stat : 23982 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345057 8763355136 19781 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23983] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23983/stat : 23983 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345057 8763355136 19781 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23984] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23984/stat : 23984 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345057 8763355136 19781 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23985] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23985/stat : 23985 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345057 8763355136 19781 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23986] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23986/stat : 23986 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345058 8763355136 19781 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23987] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23987/stat : 23987 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345058 8763355136 19782 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23978/tid=23988] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23988/stat : 23988 (java) S 23976 23978 23978 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869345059 8763355136 19782 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488511488 0 0 0 16800975 18446604460173566336 0 0 -1 3 0 0 0
[pid=23978/tid=23989] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23989/stat : 23989 (java) S 23976 23978 23978 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 869345059 8763355136 19782 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 3 0 0 0
[pid=23978/tid=23990] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23990/stat : 23990 (java) S 23976 23978 23978 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 869345059 8763355136 19782 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 3 0 0 0
[pid=23978/tid=23991] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23991/stat : 23991 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869345061 8763355136 19782 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488518577 0 4 0 16800975 18446604460173566336 0 0 -1 3 0 0 0
[pid=23978/tid=23992] ppid=23976 vsize=8557964 CPUtime=0.33 cores=1,3,5,7
/proc/23978/task/23992/stat : 23992 (java) R 23976 23978 23978 0 -1 4202560 6183 0 0 0 32 1 0 0 20 0 19 0 869345061 8763355136 19782 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 47711497680291 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23978/tid=23993] ppid=23976 vsize=8557964 CPUtime=0.31 cores=1,3,5,7
/proc/23978/task/23993/stat : 23993 (java) R 23976 23978 23978 0 -1 4202560 7862 0 0 0 31 0 0 0 19 0 19 0 869345061 8763355136 19783 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 47711499712777 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23978/tid=23994] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23994/stat : 23994 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869345061 8763355136 19783 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488510873 0 4 0 16800975 18446604460173566336 0 0 -1 3 0 0 0
[pid=23978/tid=23995] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23995/stat : 23995 (java) S 23976 23978 23978 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869345061 8763355136 19783 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488511488 0 4 0 16800975 18446604460173566336 0 0 -1 3 0 0 0
[pid=23978/tid=23996] ppid=23976 vsize=8557964 CPUtime=0 cores=1,3,5,7
/proc/23978/task/23996/stat : 23996 (java) S 23976 23978 23978 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869345094 8763355136 19783 33554432000 1073741824 1073778376 140734128628208 18446744073709551615 239488511488 0 4 0 16800975 18446604460173566336 0 0 -1 7 0 0 0
[pid=23900/tid=23908] ppid=23898 vsize=336680 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23908/stat : 23908 (python) S 23898 23900 23102 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 6 0 869325711 344760320 7776 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
[pid=23900/tid=23917] ppid=23898 vsize=336680 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23917/stat : 23917 (python) S 23898 23900 23102 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869330662 344760320 7776 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 5 0 0 0
[pid=23900/tid=23962] ppid=23898 vsize=336680 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23962/stat : 23962 (python) S 23898 23900 23102 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869335436 344760320 7776 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 7 0 0 0
[pid=23900/tid=23971] ppid=23898 vsize=336680 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23971/stat : 23971 (python) S 23898 23900 23102 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869340368 344760320 7776 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 5 0 0 0
[pid=23900/tid=23977] ppid=23898 vsize=336680 CPUtime=0 cores=1,3,5,7
/proc/23900/task/23977/stat : 23977 (python) S 23898 23900 23102 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 869345056 344760320 7776 33554432000 4194304 5683644 140733798732960 18446744073709551615 239488518577 0 0 16781312 33554434 18446604467471290560 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 197.1
Current children cumulated vsize (KiB) 19314316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23900 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=578911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 0.691893
# while last known CPU time is 197.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 194.791
CPU time (s): 197.1
CPU user time (s): 193.66
CPU system time (s): 3.44
CPU usage (%): 101.186
Max. virtual memory (cumulated for all children) (KiB): 19314316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.578911
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14990
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= 1012
involuntary context switches= 20
runsolver used 1.2788 second user time and 3.06053 second system time
The end