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-3481568-1307578231/watcher-3481568-1307578231 -o /tmp/evaluation-result-3481568-1307578231/solver-3481568-1307578231 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481568-1307578231.opb -seed 1382643735 -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: 2.21 2.10 1.78 3/786 24764
/proc/meminfo: memFree=13828628/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/24764/stat : 24764 (python) R 24762 24764 22387 0 -1 4202496 915 0 0 0 0 0 0 0 25 0 1 0 948053916 16154624 796 33554432000 4194304 5683644 140735613763264 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24764/statm: 3943 795 346 364 0 430 0
[startup+0.0329611 s]
/proc/loadavg: 2.21 2.10 1.78 3/786 24764
/proc/meminfo: memFree=13828628/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=16532 CPUtime=0.01 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 1189 0 0 0 1 0 0 0 25 0 1 0 948053916 16928768 1049 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/24764/statm: 4133 1049 417 364 0 620 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16532
[startup+0.100951 s]
/proc/loadavg: 2.21 2.10 1.78 3/786 24764
/proc/meminfo: memFree=13828628/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=85616 CPUtime=0.05 cores=0,2,4,6
/proc/24764/stat : 24764 (python) R 24762 24764 22387 0 -1 4202496 2664 0 0 0 4 1 0 0 25 0 1 0 948053916 87670784 2381 33554432000 4194304 5683644 140735613763264 18446744073709551615 260900470407 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24764/statm: 21956 2385 717 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300912 s]
/proc/loadavg: 2.21 2.10 1.78 3/786 24764
/proc/meminfo: memFree=13828628/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/24764/stat : 24764 (python) R 24762 24764 22387 0 -1 4202496 5356 930 1 0 11 5 0 0 25 0 1 0 948053916 126709760 3744 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905390085 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24764/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700839 s]
/proc/loadavg: 2.21 2.10 1.78 3/786 24764
/proc/meminfo: memFree=13828628/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=282400 CPUtime=0.41 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 9207 930 1 0 29 12 0 0 25 0 1 0 948053916 289177600 6939 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414159 0 0 16781312 2 2628871635599360000 0 0 17 4 0 0 0
/proc/24764/statm: 70600 6939 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282400
[startup+1.50069 s]
/proc/loadavg: 2.21 2.10 1.78 3/787 24770
/proc/meminfo: memFree=13797372/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=291520 CPUtime=1.3 cores=0,2,4,6
/proc/24764/stat : 24764 (python) R 24762 24764 22387 0 -1 4202496 14585 1445 1 0 92 17 18 3 18 0 1 0 948053916 298516480 9224 33554432000 4194304 5683644 140735613763264 18446744073709551615 260908802741 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/24764/statm: 72880 9224 1817 364 0 7773 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 291520
[startup+3.10053 s]
/proc/loadavg: 2.35 2.13 1.80 3/790 24773
/proc/meminfo: memFree=13654500/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=302432 CPUtime=1.39 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 15410 1445 1 0 101 17 18 3 20 0 2 0 948053916 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24764/statm: 75608 9448 1871 364 0 10495 0
[pid=24771] ppid=24764 vsize=292188 CPUtime=0 cores=0,2,4,6
/proc/24771/stat : 24771 (python) S 24764 24764 22387 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 1 0 948054075 299200512 7891 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414159 0 0 16781312 33554946 16286553408482017539 0 0 17 4 0 0 0
/proc/24771/statm: 73047 7891 318 364 0 7934 0
[pid=24773] ppid=24771 vsize=163192 CPUtime=1.5 cores=0,2,4,6
/proc/24773/stat : 24773 (scip-2.0.1.linu) R 24771 24773 24773 0 -1 4202496 38921 0 0 0 130 20 0 0 25 0 1 0 948054075 167108608 36954 33554432000 4194304 13684479 140736479065536 18446744073709551615 7360235 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24773/statm: 40798 36954 887 2317 0 38476 0
[pid=24764/tid=24772] ppid=24762 vsize=302432 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24772/stat : 24772 (python) S 24762 24764 22387 0 -1 4202560 27 1445 0 0 0 0 18 3 20 0 2 0 948054075 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 757812
[startup+6.30092 s]
/proc/loadavg: 2.35 2.13 1.80 3/790 24774
/proc/meminfo: memFree=13642132/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=302432 CPUtime=1.39 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 15410 1445 1 0 101 17 18 3 20 0 2 0 948053916 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24764/statm: 75608 9448 1871 364 0 10495 0
[pid=24771] ppid=24764 vsize=292188 CPUtime=0.01 cores=0,2,4,6
/proc/24771/stat : 24771 (python) S 24764 24764 22387 0 -1 4202560 876 0 0 0 0 1 0 0 15 0 1 0 948054075 299200512 7914 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414159 0 0 16781312 33554946 16286563235367190787 0 0 17 6 0 0 0
/proc/24771/statm: 73047 7914 341 364 0 7934 0
[pid=24773] ppid=24771 vsize=166080 CPUtime=4.69 cores=0,2,4,6
/proc/24773/stat : 24773 (scip-2.0.1.linu) R 24771 24773 24773 0 -1 4202496 40421 0 0 0 449 20 0 0 25 0 1 0 948054075 170065920 38240 33554432000 4194304 13684479 140736479065536 18446744073709551615 7387884 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24773/statm: 41520 38240 764 2317 0 39198 0
[pid=24764/tid=24772] ppid=24762 vsize=302432 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24772/stat : 24772 (python) S 24762 24764 22387 0 -1 4202560 27 1445 0 0 0 0 18 3 20 0 2 0 948054075 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 760700
[startup+12.7008 s]
/proc/loadavg: 2.30 2.12 1.80 3/790 24774
/proc/meminfo: memFree=13638988/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=302432 CPUtime=1.39 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 15410 1445 1 0 101 17 18 3 20 0 2 0 948053916 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24764/statm: 75608 9448 1871 364 0 10495 0
[pid=24771] ppid=24764 vsize=292188 CPUtime=0.04 cores=0,2,4,6
/proc/24771/stat : 24771 (python) S 24764 24764 22387 0 -1 4202560 881 0 0 0 2 2 0 0 15 0 1 0 948054075 299200512 7915 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414159 0 0 16781312 33554946 72262103200705449 0 0 17 2 0 0 0
/proc/24771/statm: 73047 7915 342 364 0 7934 0
[pid=24773] ppid=24771 vsize=169704 CPUtime=11.1 cores=0,2,4,6
/proc/24773/stat : 24773 (scip-2.0.1.linu) R 24771 24773 24773 0 -1 4202496 41167 0 0 0 1089 21 0 0 25 0 1 0 948054075 173776896 38986 33554432000 4194304 13684479 140736479065536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24773/statm: 42426 38986 791 2317 0 40104 0
[pid=24764/tid=24772] ppid=24762 vsize=302432 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24772/stat : 24772 (python) S 24762 24764 22387 0 -1 4202560 27 1445 0 0 0 0 18 3 20 0 2 0 948054075 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 764324
[startup+25.5004 s]
/proc/loadavg: 2.25 2.12 1.80 3/791 24775
/proc/meminfo: memFree=13629896/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=302432 CPUtime=1.39 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 15410 1445 1 0 101 17 18 3 20 0 2 0 948053916 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24764/statm: 75608 9448 1871 364 0 10495 0
[pid=24771] ppid=24764 vsize=292188 CPUtime=0.1 cores=0,2,4,6
/proc/24771/stat : 24771 (python) S 24764 24764 22387 0 -1 4202560 885 0 0 0 5 5 0 0 15 0 1 0 948054075 299200512 7915 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414159 0 0 16781312 33554946 72556772316949417 0 0 17 6 0 0 0
/proc/24771/statm: 73047 7915 342 364 0 7934 0
[pid=24773] ppid=24771 vsize=176604 CPUtime=23.9 cores=0,2,4,6
/proc/24773/stat : 24773 (scip-2.0.1.linu) R 24771 24773 24773 0 -1 4202496 46835 0 0 0 2368 22 0 0 25 0 1 0 948054075 180842496 40849 33554432000 4194304 13684479 140736479065536 18446744073709551615 7390408 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24773/statm: 44151 40849 733 2317 0 41829 0
[pid=24764/tid=24772] ppid=24762 vsize=302432 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24772/stat : 24772 (python) S 24762 24764 22387 0 -1 4202560 27 1445 0 0 0 0 18 3 20 0 2 0 948054075 309690368 9448 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 771224
[startup+51.1007 s]
/proc/loadavg: 2.16 2.11 1.80 3/795 24780
/proc/meminfo: memFree=13559136/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=312688 CPUtime=1.41 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 16299 1445 1 0 103 17 18 3 20 0 3 0 948053916 320192512 9455 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24764/statm: 78172 9455 1874 364 0 13056 0
[pid=24771] ppid=24764 vsize=302432 CPUtime=0.21 cores=0,2,4,6
/proc/24771/stat : 24771 (python) S 24764 24764 22387 0 -1 4202560 1093 0 0 0 11 10 0 0 17 0 2 0 948054075 309690368 7983 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24771/statm: 75608 7983 405 364 0 10495 0
[pid=24773] ppid=24771 vsize=178208 CPUtime=48.81 cores=0,2,4,6
/proc/24773/stat : 24773 (scip-2.0.1.linu) T 24771 24773 24773 0 -1 4202496 47287 0 0 0 4857 24 0 0 25 0 1 0 948054075 182484992 41301 33554432000 4194304 13684479 140736479065536 18446744073709551615 7430954 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24773/statm: 44552 41301 733 2317 0 42230 0
[pid=24771/tid=24777] ppid=24764 vsize=302432 CPUtime=0 cores=0,2,4,6
/proc/24771/task/24777/stat : 24777 (python) S 24764 24764 22387 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948058957 309690368 7983 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450273686464 0 0 -1 6 0 0 0
[pid=24778] ppid=24764 vsize=302444 CPUtime=0 cores=0,2,4,6
/proc/24778/stat : 24778 (python) S 24764 24764 22387 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 948058960 309702656 7896 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414214 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/24778/statm: 75611 7896 319 364 0 10495 0
[pid=24780] ppid=24778 vsize=78696 CPUtime=0.65 cores=0,2,4,6
/proc/24780/stat : 24780 (scip-2.0.1.linu) R 24778 24780 24780 0 -1 4202496 17782 0 0 0 56 9 0 0 22 0 1 0 948058960 80584704 17068 33554432000 4194304 15243407 140734371274848 18446744073709551615 5104720 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24780/statm: 19674 17068 717 2698 0 16969 0
[pid=24764/tid=24772] ppid=24762 vsize=312688 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24772/stat : 24772 (python) S 24762 24764 22387 0 -1 4202560 27 1445 0 0 0 0 18 3 20 0 3 0 948054075 320192512 9455 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 4 0 0 0
[pid=24764/tid=24779] ppid=24762 vsize=312688 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24779/stat : 24779 (python) S 24762 24764 22387 0 -1 4202560 28 1445 0 0 0 0 18 3 20 0 3 0 948058960 320192512 9455 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1174468
[startup+102.301 s]
/proc/loadavg: 2.16 2.12 1.82 3/799 24785
/proc/meminfo: memFree=13468072/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=322944 CPUtime=1.45 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 17189 1445 1 0 106 18 18 3 20 0 4 0 948053916 330694656 9461 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24764/statm: 80736 9461 1876 364 0 15617 0
[pid=24771] ppid=24764 vsize=302432 CPUtime=0.21 cores=0,2,4,6
/proc/24771/stat : 24771 (python) S 24764 24764 22387 0 -1 4202560 1093 0 0 0 11 10 0 0 17 0 2 0 948054075 309690368 7983 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24771/statm: 75608 7983 405 364 0 10495 0
[pid=24773] ppid=24771 vsize=178208 CPUtime=48.81 cores=0,2,4,6
/proc/24773/stat : 24773 (scip-2.0.1.linu) T 24771 24773 24773 0 -1 4202496 47287 0 0 0 4857 24 0 0 25 0 1 0 948054075 182484992 41301 33554432000 4194304 13684479 140736479065536 18446744073709551615 7430954 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24773/statm: 44552 41301 733 2317 0 42230 0
[pid=24771/tid=24777] ppid=24764 vsize=302432 CPUtime=0 cores=0,2,4,6
/proc/24771/task/24777/stat : 24777 (python) S 24764 24764 22387 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948058957 309690368 7983 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450273686464 0 0 -1 6 0 0 0
[pid=24778] ppid=24764 vsize=302444 CPUtime=0.24 cores=0,2,4,6
/proc/24778/stat : 24778 (python) S 24764 24764 22387 0 -1 4202560 1178 0 0 0 12 12 0 0 17 0 2 0 948058960 309702656 7974 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24778/statm: 75611 7974 396 364 0 10495 0
[pid=24780] ppid=24778 vsize=166196 CPUtime=48.81 cores=0,2,4,6
/proc/24780/stat : 24780 (scip-2.0.1.linu) T 24778 24780 24780 0 -1 4202496 134270 0 0 0 4850 31 0 0 25 0 1 0 948058960 170184704 33127 33554432000 4194304 15243407 140734371274848 18446744073709551615 7128914 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/24780/statm: 41549 33127 838 2698 0 38844 0
[pid=24778/tid=24782] ppid=24764 vsize=302444 CPUtime=0 cores=0,2,4,6
/proc/24778/task/24782/stat : 24782 (python) S 24764 24764 22387 0 -1 4202560 117 0 0 0 0 0 0 0 17 0 2 0 948063849 309702656 7974 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446493087680 0 0 -1 0 0 0 0
[pid=24783] ppid=24764 vsize=312700 CPUtime=0 cores=0,2,4,6
/proc/24783/stat : 24783 (python) S 24764 24764 22387 0 -1 4202560 880 0 0 0 0 0 0 0 15 0 1 0 948063851 320204800 7907 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414214 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/24783/statm: 78175 7907 326 364 0 13056 0
[pid=24785] ppid=24783 vsize=18416 CPUtime=2.93 cores=0,2,4,6
/proc/24785/stat : 24785 (wbo1.4a) R 24783 24785 24785 0 -1 4202496 5243 0 0 0 292 1 0 0 25 0 1 0 948063852 18857984 4080 33554432000 134512640 135751879 4288918400 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/24785/statm: 4604 4080 146 303 0 4299 0
[pid=24764/tid=24772] ppid=24762 vsize=322944 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24772/stat : 24772 (python) S 24762 24764 22387 0 -1 4202560 27 1445 0 0 0 0 18 3 20 0 4 0 948054075 330694656 9461 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 4 0 0 0
[pid=24764/tid=24779] ppid=24762 vsize=322944 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24779/stat : 24779 (python) S 24762 24764 22387 0 -1 4202560 28 1445 0 0 0 0 18 3 20 0 4 0 948058960 330694656 9461 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=24764/tid=24784] ppid=24762 vsize=343456 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24784/stat : 24784 (python) S 24762 24764 22387 0 -1 4202560 29 1445 0 0 0 0 18 3 20 0 6 0 948063851 351698944 9473 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
[pid=24764/tid=24789] ppid=24762 vsize=343456 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24789/stat : 24789 (python) S 24762 24764 22387 0 -1 4202560 25 1445 0 0 0 0 18 3 20 0 6 0 948068804 351698944 9473 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
[pid=24764/tid=24814] ppid=24762 vsize=343456 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24814/stat : 24814 (python) S 24762 24764 22387 0 -1 4202560 30 1445 0 0 0 0 18 3 20 0 6 0 948078110 351698944 9473 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 345.66
Current children cumulated vsize (KiB) 10994064
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+382.002 s]
/proc/loadavg: 2.10 2.09 1.87 8/843 24908
/proc/meminfo: memFree=11563180/32950928 swapFree=61542368/67111528
[pid=24764] ppid=24762 vsize=353712 CPUtime=1.58 cores=0,2,4,6
/proc/24764/stat : 24764 (python) S 24762 24764 22387 0 -1 4202496 19980 1445 1 0 118 19 18 3 20 0 7 0 948053916 362201088 9479 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24764/statm: 88428 9479 1882 364 0 23300 0
[pid=24771] ppid=24764 vsize=302432 CPUtime=0.43 cores=0,2,4,6
/proc/24771/stat : 24771 (python) S 24764 24764 22387 0 -1 4202560 1127 0 0 0 22 21 0 0 15 0 2 0 948054075 309690368 7984 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24771/statm: 75608 7984 406 364 0 10495 0
[pid=24773] ppid=24771 vsize=263156 CPUtime=94.55 cores=0,2,4,6
/proc/24773/stat : 24773 (scip-2.0.1.linu) T 24771 24773 24773 0 -1 4202496 72084 0 0 0 9415 40 0 0 25 0 1 0 948054075 269471744 63287 33554432000 4194304 13684479 140736479065536 18446744073709551615 7154451 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24773/statm: 65789 63287 850 2317 0 63467 0
[pid=24771/tid=24777] ppid=24764 vsize=302432 CPUtime=0 cores=0,2,4,6
/proc/24771/task/24777/stat : 24777 (python) S 24764 24764 22387 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 948058957 309690368 7984 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450273686464 0 0 -1 0 0 0 0
[pid=24778] ppid=24764 vsize=302444 CPUtime=0.45 cores=0,2,4,6
/proc/24778/stat : 24778 (python) S 24764 24764 22387 0 -1 4202560 1224 0 0 0 22 23 0 0 15 0 2 0 948058960 309702656 7974 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24778/statm: 75611 7974 396 364 0 10495 0
[pid=24780] ppid=24778 vsize=167044 CPUtime=94.03 cores=0,2,4,6
/proc/24780/stat : 24780 (scip-2.0.1.linu) T 24778 24780 24780 0 -1 4202496 243445 0 0 0 9353 50 0 0 25 0 1 0 948058960 171053056 33316 33554432000 4194304 15243407 140734371274848 18446744073709551615 8112847 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/24780/statm: 41761 33316 838 2698 0 39056 0
[pid=24778/tid=24782] ppid=24764 vsize=302444 CPUtime=0 cores=0,2,4,6
/proc/24778/task/24782/stat : 24782 (python) S 24764 24764 22387 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 2 0 948063849 309702656 7974 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446493087680 0 0 -1 0 0 0 0
[pid=24783] ppid=24764 vsize=312700 CPUtime=0.24 cores=0,2,4,6
/proc/24783/stat : 24783 (python) S 24764 24764 22387 0 -1 4202560 1198 0 0 0 11 13 0 0 16 0 2 0 948063851 320204800 7978 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24783/statm: 78175 7978 396 364 0 13056 0
[pid=24785] ppid=24783 vsize=75096 CPUtime=49.48 cores=0,2,4,6
/proc/24785/stat : 24785 (wbo1.4a) T 24783 24785 24785 0 -1 4202496 19403 0 0 0 4932 16 0 0 25 0 1 0 948063852 76898304 18240 33554432000 134512640 135751879 4288918400 18446744073709551615 134616489 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/24785/statm: 18774 18240 146 303 0 18469 0
[pid=24783/tid=24787] ppid=24764 vsize=312700 CPUtime=0 cores=0,2,4,6
/proc/24783/task/24787/stat : 24787 (python) S 24764 24764 22387 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948068801 320204800 7978 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446865918144 0 0 -1 6 0 0 0
[pid=24788] ppid=24764 vsize=322956 CPUtime=0.23 cores=0,2,4,6
/proc/24788/stat : 24788 (python) S 24764 24764 22387 0 -1 4202560 1150 0 0 0 12 11 0 0 17 0 2 0 948068804 330706944 7976 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/24788/statm: 80739 7976 390 364 0 15617 0
[pid=24790] ppid=24788 vsize=8543852 CPUtime=49.36 cores=0,2,4,6
/proc/24790/stat : 24790 (java) T 24788 24790 24790 0 -1 4202496 287383 0 1 0 4904 32 0 0 18 0 19 0 948068804 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24790/statm: 2135963 283483 2249 9 0 2126704 0
[pid=24790/tid=24791] ppid=24788 vsize=8543852 CPUtime=47.09 cores=0,2,4,6
/proc/24790/task/24791/stat : 24791 (java) T 24788 24790 24790 0 -1 4202560 239107 0 1 0 4683 26 0 0 25 0 19 0 948068805 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 46912506031698 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24790/tid=24792] ppid=24788 vsize=8543852 CPUtime=0.07 cores=0,2,4,6
/proc/24790/task/24792/stat : 24792 (java) T 24788 24790 24790 0 -1 4202560 6314 0 0 0 6 1 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24790/tid=24793] ppid=24788 vsize=8543852 CPUtime=0.07 cores=0,2,4,6
/proc/24790/task/24793/stat : 24793 (java) T 24788 24790 24790 0 -1 4202560 5943 0 0 0 7 0 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=24790/tid=24794] ppid=24788 vsize=8543852 CPUtime=0.04 cores=0,2,4,6
/proc/24790/task/24794/stat : 24794 (java) T 24788 24790 24790 0 -1 4202560 4255 0 0 0 4 0 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24790/tid=24795] ppid=24788 vsize=8543852 CPUtime=0.04 cores=0,2,4,6
/proc/24790/task/24795/stat : 24795 (java) T 24788 24790 24790 0 -1 4202560 3675 0 0 0 4 0 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=24790/tid=24796] ppid=24788 vsize=8543852 CPUtime=0.05 cores=0,2,4,6
/proc/24790/task/24796/stat : 24796 (java) T 24788 24790 24790 0 -1 4202560 4269 0 0 0 5 0 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=24790/tid=24797] ppid=24788 vsize=8543852 CPUtime=0.04 cores=0,2,4,6
/proc/24790/task/24797/stat : 24797 (java) T 24788 24790 24790 0 -1 4202560 4130 0 0 0 4 0 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24790/tid=24798] ppid=24788 vsize=8543852 CPUtime=0.01 cores=0,2,4,6
/proc/24790/task/24798/stat : 24798 (java) T 24788 24790 24790 0 -1 4202560 1493 0 0 0 1 0 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24790/tid=24799] ppid=24788 vsize=8543852 CPUtime=0.07 cores=0,2,4,6
/proc/24790/task/24799/stat : 24799 (java) T 24788 24790 24790 0 -1 4202560 5733 0 0 0 7 0 0 0 15 0 19 0 948068806 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24790/tid=24800] ppid=24788 vsize=8543852 CPUtime=0 cores=0,2,4,6
/proc/24790/task/24800/stat : 24800 (java) T 24788 24790 24790 0 -1 4202560 956 0 0 0 0 0 0 0 15 0 19 0 948068807 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24790/tid=24801] ppid=24788 vsize=8543852 CPUtime=0 cores=0,2,4,6
/proc/24790/task/24801/stat : 24801 (java) T 24788 24790 24790 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948068807 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=24790/tid=24802] ppid=24788 vsize=8543852 CPUtime=0 cores=0,2,4,6
/proc/24790/task/24802/stat : 24802 (java) T 24788 24790 24790 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948068807 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24790/tid=24803] ppid=24788 vsize=8543852 CPUtime=0 cores=0,2,4,6
/proc/24790/task/24803/stat : 24803 (java) T 24788 24790 24790 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948068810 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24790/tid=24804] ppid=24788 vsize=8543852 CPUtime=0.79 cores=0,2,4,6
/proc/24790/task/24804/stat : 24804 (java) T 24788 24790 24790 0 -1 4202560 4817 0 0 0 79 0 0 0 15 0 19 0 948068810 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=24790/tid=24805] ppid=24788 vsize=8543852 CPUtime=0.98 cores=0,2,4,6
/proc/24790/task/24805/stat : 24805 (java) T 24788 24790 24790 0 -1 4202560 5293 0 0 0 98 0 0 0 15 0 19 0 948068810 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=24790/tid=24806] ppid=24788 vsize=8543852 CPUtime=0 cores=0,2,4,6
/proc/24790/task/24806/stat : 24806 (java) T 24788 24790 24790 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948068810 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24790/tid=24807] ppid=24788 vsize=8543852 CPUtime=0 cores=0,2,4,6
/proc/24790/task/24807/stat : 24807 (java) T 24788 24790 24790 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948068810 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24790/tid=24808] ppid=24788 vsize=8543852 CPUtime=0 cores=0,2,4,6
/proc/24790/task/24808/stat : 24808 (java) T 24788 24790 24790 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948068873 8748904448 283483 33554432000 1073741824 1073778376 140735830313936 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=24788/tid=24811] ppid=24764 vsize=322956 CPUtime=0 cores=0,2,4,6
/proc/24788/task/24811/stat : 24811 (python) S 24764 24764 22387 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948073530 330706944 7976 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450035224832 0 0 -1 4 0 0 0
[pid=24813] ppid=24764 vsize=333212 CPUtime=0.41 cores=0,2,4,6
/proc/24813/stat : 24813 (python) S 24764 24764 22387 0 -1 4202560 1186 0 0 0 21 20 0 0 17 0 2 0 948078110 341209088 7980 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24813/statm: 83303 7980 390 364 0 18178 0
[pid=24815] ppid=24813 vsize=28448 CPUtime=93.7 cores=0,2,4,6
/proc/24815/stat : 24815 (clasp-1.3.7-x86) T 24813 24815 24815 0 -1 4202496 7562 0 0 0 9369 1 0 0 25 0 1 0 948078111 29130752 6869 33554432000 134512640 136139019 4291679312 18446744073709551615 134875024 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/24815/statm: 7112 6869 189 398 0 6712 0
[pid=24813/tid=24881] ppid=24764 vsize=333212 CPUtime=0 cores=0,2,4,6
/proc/24813/task/24881/stat : 24881 (python) S 24764 24764 22387 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948087481 341209088 7980 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554946 18446604441328297984 0 0 -1 6 0 0 0
[pid=24888] ppid=24764 vsize=343468 CPUtime=0 cores=0,2,4,6
/proc/24888/stat : 24888 (python) S 24764 24764 22387 0 -1 4202560 814 0 0 0 0 0 0 0 15 0 1 0 948092008 351711232 7912 33554432000 4194304 5683644 140735613763264 18446744073709551615 260905414214 0 0 16781312 33554946 2170601575758692352 0 0 17 0 0 0 0
/proc/24888/statm: 85867 7912 319 364 0 20739 0
[pid=24890] ppid=24888 vsize=8543096 CPUtime=2.37 cores=0,2,4,6
/proc/24890/stat : 24890 (java) S 24888 24890 24890 0 -1 4202496 53082 0 1 0 231 6 0 0 20 0 19 0 948092008 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24890/statm: 2135774 50018 2245 9 0 2126515 0
[pid=24890/tid=24891] ppid=24888 vsize=8543096 CPUtime=1.05 cores=0,2,4,6
/proc/24890/task/24891/stat : 24891 (java) R 24888 24890 24890 0 -1 4202560 35318 0 1 0 101 4 0 0 19 0 19 0 948092009 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 46912505906980 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24890/tid=24892] ppid=24888 vsize=8543096 CPUtime=0.02 cores=0,2,4,6
/proc/24890/task/24892/stat : 24892 (java) S 24888 24890 24890 0 -1 4202560 1480 0 0 0 2 0 0 0 15 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 0 0 0 0
[pid=24890/tid=24893] ppid=24888 vsize=8543096 CPUtime=0.03 cores=0,2,4,6
/proc/24890/task/24893/stat : 24893 (java) S 24888 24890 24890 0 -1 4202560 2444 0 0 0 3 0 0 0 16 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 4 0 0 0
[pid=24890/tid=24894] ppid=24888 vsize=8543096 CPUtime=0.03 cores=0,2,4,6
/proc/24890/task/24894/stat : 24894 (java) S 24888 24890 24890 0 -1 4202560 2245 0 0 0 3 0 0 0 16 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 0 0 0 0
[pid=24890/tid=24895] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24895/stat : 24895 (java) S 24888 24890 24890 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 0 0 0 0
[pid=24890/tid=24896] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24896/stat : 24896 (java) S 24888 24890 24890 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 2 0 0 0
[pid=24890/tid=24897] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24897/stat : 24897 (java) S 24888 24890 24890 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 2 0 0 0
[pid=24890/tid=24898] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24898/stat : 24898 (java) S 24888 24890 24890 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 2 0 0 0
[pid=24890/tid=24899] ppid=24888 vsize=8543096 CPUtime=0.01 cores=0,2,4,6
/proc/24890/task/24899/stat : 24899 (java) S 24888 24890 24890 0 -1 4202560 1089 0 0 0 1 0 0 0 16 0 19 0 948092010 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 2 0 0 0
[pid=24890/tid=24900] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24900/stat : 24900 (java) S 24888 24890 24890 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 948092011 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210624 0 0 0 16800975 18446604449015814272 0 0 -1 4 0 0 0
[pid=24890/tid=24901] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24901/stat : 24901 (java) S 24888 24890 24890 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948092011 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 4 0 0 0
[pid=24890/tid=24902] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24902/stat : 24902 (java) S 24888 24890 24890 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 948092011 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 4 0 0 0
[pid=24890/tid=24903] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24903/stat : 24903 (java) S 24888 24890 24890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092013 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917217713 0 4 0 16800975 18446604449015814272 0 0 -1 2 0 0 0
[pid=24890/tid=24904] ppid=24888 vsize=8543096 CPUtime=0.58 cores=0,2,4,6
/proc/24890/task/24904/stat : 24904 (java) S 24888 24890 24890 0 -1 4202560 4586 0 0 0 58 0 0 0 17 0 19 0 948092013 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 4 0 0 0
[pid=24890/tid=24905] ppid=24888 vsize=8543096 CPUtime=0.59 cores=0,2,4,6
/proc/24890/task/24905/stat : 24905 (java) S 24888 24890 24890 0 -1 4202560 4218 0 0 0 59 0 0 0 17 0 19 0 948092013 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 0 0 0 0
[pid=24890/tid=24906] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24906/stat : 24906 (java) S 24888 24890 24890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092013 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210009 0 4 0 16800975 18446604449015814272 0 0 -1 2 0 0 0
[pid=24890/tid=24907] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24907/stat : 24907 (java) S 24888 24890 24890 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092013 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210624 0 4 0 16800975 18446604449015814272 0 0 -1 4 0 0 0
[pid=24890/tid=24908] ppid=24888 vsize=8543096 CPUtime=0 cores=0,2,4,6
/proc/24890/task/24908/stat : 24908 (java) S 24888 24890 24890 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948092078 8748130304 50018 33554432000 1073741824 1073778376 140735222643328 18446744073709551615 260917210624 0 4 0 16800975 18446604449015814272 0 0 -1 4 0 0 0
[pid=24764/tid=24772] ppid=24762 vsize=353712 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24772/stat : 24772 (python) S 24762 24764 22387 0 -1 4202560 33 1445 0 0 0 0 18 3 18 0 7 0 948054075 362201088 9479 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 4 0 0 0
[pid=24764/tid=24779] ppid=24762 vsize=353712 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24779/stat : 24779 (python) S 24762 24764 22387 0 -1 4202560 34 1445 0 0 0 0 18 3 18 0 7 0 948058960 362201088 9479 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
[pid=24764/tid=24784] ppid=24762 vsize=353712 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24784/stat : 24784 (python) S 24762 24764 22387 0 -1 4202560 29 1445 0 0 0 0 18 3 20 0 7 0 948063851 362201088 9479 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
[pid=24764/tid=24789] ppid=24762 vsize=353712 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24789/stat : 24789 (python) S 24762 24764 22387 0 -1 4202560 25 1445 0 0 0 0 18 3 20 0 7 0 948068804 362201088 9479 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
[pid=24764/tid=24814] ppid=24762 vsize=353712 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24814/stat : 24814 (python) S 24762 24764 22387 0 -1 4202560 30 1445 0 0 0 0 18 3 20 0 7 0 948078110 362201088 9479 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
[pid=24764/tid=24889] ppid=24762 vsize=353712 CPUtime=0.21 cores=0,2,4,6
/proc/24764/task/24889/stat : 24889 (python) S 24762 24764 22387 0 -1 4202560 30 1445 0 0 0 0 18 3 20 0 7 0 948092008 362201088 9479 33554432000 4194304 5683644 140735613763264 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443468371136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 386.83
Current children cumulated vsize (KiB) 19891616
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 24764 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=374791
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=227965
# CPU time returned by wait4() is 1.60276
# while last known CPU time is 386.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 382.093
CPU time (s): 386.83
CPU user time (s): 384.28
CPU system time (s): 2.55
CPU usage (%): 101.24
Max. virtual memory (cumulated for all children) (KiB): 19891616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37479
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21429
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= 16991
involuntary context switches= 27
runsolver used 2.92955 second user time and 6.33604 second system time
The end