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-3481550-1307578130/watcher-3481550-1307578130 -o /tmp/evaluation-result-3481550-1307578130/solver-3481550-1307578130 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481550-1307578130.opb -seed 429446888 -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.28 2.16 1.76 2/722 28763
/proc/meminfo: memFree=16069640/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/28763/stat : 28763 (python) R 28761 28763 27575 0 -1 4202496 1117 0 0 0 1 0 0 0 20 0 1 0 850228721 16789504 984 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726400869 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28763/statm: 4099 984 409 364 0 586 0
[startup+0.0453989 s]
/proc/loadavg: 2.28 2.16 1.76 2/722 28763
/proc/meminfo: memFree=16069640/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=29792 CPUtime=0.02 cores=0,2,4,6
/proc/28763/stat : 28763 (python) R 28761 28763 27575 0 -1 4202496 1402 0 0 0 2 0 0 0 20 0 1 0 850228721 30507008 1245 33554432000 4194304 5683644 140733530872320 18446744073709551615 4539725 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28763/statm: 7448 1246 443 364 0 818 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29792
[startup+0.100382 s]
/proc/loadavg: 2.28 2.16 1.76 2/722 28763
/proc/meminfo: memFree=16069640/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/28763/stat : 28763 (python) R 28761 28763 27575 0 -1 4202496 3170 931 1 0 5 1 0 0 18 0 1 0 850228721 98435072 2483 33554432000 4194304 5683644 140733530872320 18446744073709551615 5168688 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28763/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300346 s]
/proc/loadavg: 2.28 2.16 1.76 2/722 28763
/proc/meminfo: memFree=16069640/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=202996 CPUtime=0.22 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 6701 931 1 0 17 5 0 0 18 0 1 0 850228721 207867904 4981 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/28763/statm: 50750 4984 1472 364 0 3712 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202996
[startup+0.700261 s]
/proc/loadavg: 2.28 2.16 1.76 2/722 28763
/proc/meminfo: memFree=16069640/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=286560 CPUtime=0.64 cores=0,2,4,6
/proc/28763/stat : 28763 (python) R 28761 28763 27575 0 -1 4202496 11927 1391 1 0 43 11 8 2 17 0 1 0 850228721 293437440 7968 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726065703 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/28763/statm: 71640 7975 1805 364 0 6533 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 286560
[startup+1.50114 s]
/proc/loadavg: 2.28 2.16 1.76 3/726 28772
/proc/meminfo: memFree=16017404/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=297336 CPUtime=0.88 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 12751 1391 1 0 67 11 8 2 20 0 2 0 850228721 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28763/statm: 74334 8172 1871 364 0 9221 0
[pid=28770] ppid=28763 vsize=287092 CPUtime=0 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 721 0 0 0 0 0 0 0 15 0 1 0 850228815 293982208 6616 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425103 0 0 16781312 33554946 141728101087313920 0 0 17 2 0 0 0
/proc/28770/statm: 71773 6616 319 364 0 6660 0
[pid=28772] ppid=28770 vsize=60892 CPUtime=0.54 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) R 28770 28772 28772 0 -1 4202496 13674 0 0 0 49 5 0 0 18 0 1 0 850228815 62353408 12839 33554432000 4194304 13684479 140735801218208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28772/statm: 15223 12839 769 2317 0 12901 0
[pid=28763/tid=28771] ppid=28761 vsize=297336 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 2 0 850228815 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 645320
[startup+3.10081 s]
/proc/loadavg: 2.28 2.16 1.76 3/726 28772
/proc/meminfo: memFree=15990260/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=297336 CPUtime=0.88 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 12751 1391 1 0 67 11 8 2 20 0 2 0 850228721 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28763/statm: 74334 8172 1871 364 0 9221 0
[pid=28770] ppid=28763 vsize=287092 CPUtime=0 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 850228815 293982208 6616 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425103 0 0 16781312 33554946 2322346996574191616 0 0 17 2 0 0 0
/proc/28770/statm: 71773 6616 319 364 0 6660 0
[pid=28772] ppid=28770 vsize=72988 CPUtime=2.15 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) R 28770 28772 28772 0 -1 4202496 16675 0 0 0 206 9 0 0 18 0 1 0 850228815 74739712 15798 33554432000 4194304 13684479 140735801218208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28772/statm: 18247 15798 795 2317 0 15925 0
[pid=28763/tid=28771] ppid=28761 vsize=297336 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 2 0 850228815 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 657416
[startup+6.30123 s]
/proc/loadavg: 2.25 2.16 1.76 3/726 28772
/proc/meminfo: memFree=15960880/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=297336 CPUtime=0.88 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 12751 1391 1 0 67 11 8 2 20 0 2 0 850228721 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28763/statm: 74334 8172 1871 364 0 9221 0
[pid=28770] ppid=28763 vsize=287092 CPUtime=0.02 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 864 0 0 0 1 1 0 0 15 0 1 0 850228815 293982208 6640 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425103 0 0 16781312 33554946 3840041984890765312 0 0 17 2 0 0 0
/proc/28770/statm: 71773 6640 343 364 0 6660 0
[pid=28772] ppid=28770 vsize=93780 CPUtime=5.35 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) R 28770 28772 28772 0 -1 4202496 22029 0 0 0 522 13 0 0 18 0 1 0 850228815 96030720 21068 33554432000 4194304 13684479 140735801218208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28772/statm: 23445 21068 760 2317 0 21123 0
[pid=28763/tid=28771] ppid=28761 vsize=297336 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 2 0 850228815 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 678208
[startup+12.701 s]
/proc/loadavg: 2.23 2.16 1.76 3/726 28772
/proc/meminfo: memFree=15941448/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=297336 CPUtime=0.88 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 12751 1391 1 0 67 11 8 2 20 0 2 0 850228721 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28763/statm: 74334 8172 1871 364 0 9221 0
[pid=28770] ppid=28763 vsize=287092 CPUtime=0.07 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 878 0 0 0 4 3 0 0 15 0 1 0 850228815 293982208 6640 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425103 0 0 16781312 33554946 72262103200705202 0 0 17 2 0 0 0
/proc/28770/statm: 71773 6640 343 364 0 6660 0
[pid=28772] ppid=28770 vsize=109424 CPUtime=11.75 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) R 28770 28772 28772 0 -1 4202496 25841 0 0 0 1156 19 0 0 21 0 1 0 850228815 112050176 24828 33554432000 4194304 13684479 140735801218208 18446744073709551615 7390780 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/28772/statm: 27356 24828 760 2317 0 25034 0
[pid=28763/tid=28771] ppid=28761 vsize=297336 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 2 0 850228815 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 693852
[startup+25.5006 s]
/proc/loadavg: 2.18 2.15 1.77 3/730 28777
/proc/meminfo: memFree=15835008/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=297336 CPUtime=0.88 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 12751 1391 1 0 67 11 8 2 20 0 2 0 850228721 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28763/statm: 74334 8172 1871 364 0 9221 0
[pid=28770] ppid=28763 vsize=287092 CPUtime=0.13 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 890 0 0 0 7 6 0 0 15 0 1 0 850228815 293982208 6640 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425103 0 0 16781312 33554946 525890776568168448 0 0 17 6 0 0 0
/proc/28770/statm: 71773 6640 343 364 0 6660 0
[pid=28772] ppid=28770 vsize=111836 CPUtime=24.55 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) R 28770 28772 28772 0 -1 4202496 26433 0 0 0 2427 28 0 0 18 0 1 0 850228815 114520064 25420 33554432000 4194304 13684479 140735801218208 18446744073709551615 4422032 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28772/statm: 27959 25420 760 2317 0 25637 0
[pid=28763/tid=28771] ppid=28761 vsize=297336 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 2 0 850228815 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 696264
[startup+51.1008 s]
/proc/loadavg: 2.12 2.13 1.77 3/730 28777
/proc/meminfo: memFree=15566528/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=297336 CPUtime=0.88 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 12751 1391 1 0 67 11 8 2 20 0 2 0 850228721 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28763/statm: 74334 8172 1871 364 0 9221 0
[pid=28770] ppid=28763 vsize=287092 CPUtime=0.25 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 903 0 0 0 13 12 0 0 15 0 1 0 850228815 293982208 6640 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425103 0 0 16781312 33554946 72556772316949170 0 0 17 6 0 0 0
/proc/28770/statm: 71773 6640 343 364 0 6660 0
[pid=28772] ppid=28770 vsize=111836 CPUtime=50.14 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) R 28770 28772 28772 0 -1 4202496 27228 0 0 0 4962 52 0 0 25 0 1 0 850228815 114520064 25479 33554432000 4194304 13684479 140735801218208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28772/statm: 27959 25479 787 2317 0 25637 0
[pid=28763/tid=28771] ppid=28761 vsize=297336 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 2 0 850228815 304472064 8172 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 696264
[startup+102.322 s]
/proc/loadavg: 2.15 2.14 1.79 3/756 28805
/proc/meminfo: memFree=14209116/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=307592 CPUtime=0.91 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 13609 1391 1 0 69 12 8 2 20 0 3 0 850228721 314974208 8180 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28763/statm: 76898 8180 1874 364 0 11782 0
[pid=28770] ppid=28763 vsize=297336 CPUtime=0.28 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 1103 0 0 0 15 13 0 0 16 0 2 0 850228815 304472064 6708 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28770/statm: 74334 6708 406 364 0 9221 0
[pid=28772] ppid=28770 vsize=111836 CPUtime=50.96 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) T 28770 28772 28772 0 -1 4202496 27228 0 0 0 5043 53 0 0 25 0 1 0 850228815 114520064 25479 33554432000 4194304 13684479 140735801218208 18446744073709551615 7361327 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/28772/statm: 27959 25479 787 2317 0 25637 0
[pid=28770/tid=28778] ppid=28763 vsize=297336 CPUtime=0 cores=0,2,4,6
/proc/28770/task/28778/stat : 28778 (python) S 28763 28763 27575 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850233912 304472064 6708 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554946 18446604451678205248 0 0 -1 6 0 0 0
[pid=28779] ppid=28763 vsize=297348 CPUtime=0.33 cores=0,2,4,6
/proc/28779/stat : 28779 (python) S 28763 28763 27575 0 -1 4202560 1062 0 0 0 19 14 0 0 15 0 1 0 850233914 304484352 6652 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425158 0 0 16781312 33554946 72409437758827186 0 0 17 4 0 0 0
/proc/28779/statm: 74337 6652 350 364 0 9221 0
[pid=28781] ppid=28779 vsize=111068 CPUtime=50.24 cores=0,2,4,6
/proc/28781/stat : 28781 (scip-2.0.1.linu) R 28779 28781 28781 0 -1 4202496 25895 0 0 0 4993 31 0 0 25 0 1 0 850233915 113733632 24602 33554432000 4194304 15243407 140734846472800 18446744073709551615 8052622 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28781/statm: 27767 24602 894 2698 0 25062 0
[pid=28763/tid=28771] ppid=28761 vsize=307592 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 3 0 850228815 314974208 8180 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
[pid=28763/tid=28780] ppid=28761 vsize=307592 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28780/stat : 28780 (python) S 28761 28763 27575 0 -1 4202560 31 1391 0 0 0 0 8 2 20 0 3 0 850233915 314974208 8180 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.72
Current children cumulated vsize (KiB) 1125180
[startup+162.315 s]
/proc/loadavg: 2.15 2.14 1.81 3/783 28833
/proc/meminfo: memFree=13390512/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=328104 CPUtime=0.96 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 15434 1391 1 0 74 12 8 2 20 0 5 0 850228721 335978496 8192 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28763/statm: 82026 8192 1878 364 0 16904 0
[pid=28770] ppid=28763 vsize=297336 CPUtime=0.28 cores=0,2,4,6
################
# More data... #
################
Current children cumulated CPU time (s) 758.08
Current children cumulated vsize (KiB) 20322924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+750.102 s]
/proc/loadavg: 2.48 2.25 1.99 6/831 28967
/proc/meminfo: memFree=9002668/32951124 swapFree=62998992/67111528
[pid=28763] ppid=28761 vsize=358872 CPUtime=1.12 cores=0,2,4,6
/proc/28763/stat : 28763 (python) S 28761 28763 27575 0 -1 4202496 18368 1391 1 0 89 13 8 2 20 0 8 0 850228721 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28763/statm: 89718 8210 1884 364 0 24587 0
[pid=28770] ppid=28763 vsize=297336 CPUtime=1.86 cores=0,2,4,6
/proc/28770/stat : 28770 (python) S 28763 28763 27575 0 -1 4202560 1212 0 0 0 97 89 0 0 15 0 2 0 850228815 304472064 6711 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28770/statm: 74334 6711 408 364 0 9221 0
[pid=28772] ppid=28770 vsize=165860 CPUtime=327.04 cores=0,2,4,6
/proc/28772/stat : 28772 (scip-2.0.1.linu) T 28770 28772 28772 0 -1 4202496 59652 0 0 0 32134 570 0 0 25 0 1 0 850228815 169840640 39108 33554432000 4194304 13684479 140735801218208 18446744073709551615 7390866 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/28772/statm: 41465 39108 804 2317 0 39143 0
[pid=28770/tid=28778] ppid=28763 vsize=297336 CPUtime=0 cores=0,2,4,6
/proc/28770/task/28778/stat : 28778 (python) S 28763 28763 27575 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 850233912 304472064 6711 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554946 18446604451678205248 0 0 -1 6 0 0 0
[pid=28779] ppid=28763 vsize=297348 CPUtime=1.12 cores=0,2,4,6
/proc/28779/stat : 28779 (python) S 28763 28763 27575 0 -1 4202560 1291 0 0 0 56 56 0 0 15 0 2 0 850233914 304484352 6701 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28779/statm: 74337 6701 398 364 0 9221 0
[pid=28781] ppid=28779 vsize=127880 CPUtime=186.52 cores=0,2,4,6
/proc/28781/stat : 28781 (scip-2.0.1.linu) T 28779 28781 28781 0 -1 4202496 44483 0 0 0 18506 146 0 0 20 0 1 0 850233915 130949120 28787 33554432000 4194304 15243407 140734846472800 18446744073709551615 8113576 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28781/statm: 31970 28787 920 2698 0 29265 0
[pid=28779/tid=28806] ppid=28763 vsize=297348 CPUtime=0 cores=0,2,4,6
/proc/28779/task/28806/stat : 28806 (python) S 28763 28763 27575 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 850238977 304484352 6701 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554946 18446604441544134976 0 0 -1 4 0 0 0
[pid=28807] ppid=28763 vsize=307604 CPUtime=0.27 cores=0,2,4,6
/proc/28807/stat : 28807 (python) S 28763 28763 27575 0 -1 4202560 1176 0 0 0 17 10 0 0 16 0 2 0 850238979 314986496 6704 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28807/statm: 76901 6704 397 364 0 11782 0
[pid=28809] ppid=28807 vsize=238156 CPUtime=48.21 cores=0,2,4,6
/proc/28809/stat : 28809 (wbo1.4a) T 28807 28809 28809 0 -1 4202496 60392 0 0 0 4789 32 0 0 25 0 1 0 850238979 243871744 59050 33554432000 134512640 135751879 4290552320 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/28809/statm: 59539 59050 146 303 0 59234 0
[pid=28807/tid=28812] ppid=28763 vsize=307604 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28812/stat : 28812 (python) S 28763 28763 27575 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850243801 314986496 6704 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449487152320 0 0 -1 6 0 0 0
[pid=28813] ppid=28763 vsize=317860 CPUtime=0.21 cores=0,2,4,6
/proc/28813/stat : 28813 (python) S 28763 28763 27575 0 -1 4202560 1132 0 0 0 12 9 0 0 16 0 2 0 850243804 325488640 6702 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28813/statm: 79465 6702 391 364 0 14343 0
[pid=28815] ppid=28813 vsize=8551604 CPUtime=46.09 cores=0,2,4,6
/proc/28815/stat : 28815 (java) T 28813 28815 28815 0 -1 4202496 330286 0 1 0 4565 44 0 0 18 0 19 0 850243804 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28815/statm: 2137901 311149 2253 9 0 2128642 0
[pid=28815/tid=28816] ppid=28813 vsize=8551604 CPUtime=42.89 cores=0,2,4,6
/proc/28815/task/28816/stat : 28816 (java) T 28813 28815 28815 0 -1 4202560 220196 0 1 0 4262 27 0 0 25 0 19 0 850243805 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 46912505850191 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28815/tid=28817] ppid=28813 vsize=8551604 CPUtime=0.09 cores=0,2,4,6
/proc/28815/task/28817/stat : 28817 (java) T 28813 28815 28815 0 -1 4202560 9870 0 0 0 8 1 0 0 15 0 19 0 850243805 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28815/tid=28818] ppid=28813 vsize=8551604 CPUtime=0.13 cores=0,2,4,6
/proc/28815/task/28818/stat : 28818 (java) T 28813 28815 28815 0 -1 4202560 11766 0 0 0 12 1 0 0 15 0 19 0 850243805 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28815/tid=28819] ppid=28813 vsize=8551604 CPUtime=0.11 cores=0,2,4,6
/proc/28815/task/28819/stat : 28819 (java) T 28813 28815 28815 0 -1 4202560 9781 0 0 0 10 1 0 0 15 0 19 0 850243805 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28815/tid=28820] ppid=28813 vsize=8551604 CPUtime=0.14 cores=0,2,4,6
/proc/28815/task/28820/stat : 28820 (java) T 28813 28815 28815 0 -1 4202560 13718 0 0 0 13 1 0 0 15 0 19 0 850243806 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28815/tid=28821] ppid=28813 vsize=8551604 CPUtime=0.15 cores=0,2,4,6
/proc/28815/task/28821/stat : 28821 (java) T 28813 28815 28815 0 -1 4202560 12699 0 0 0 14 1 0 0 15 0 19 0 850243806 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28815/tid=28822] ppid=28813 vsize=8551604 CPUtime=0.11 cores=0,2,4,6
/proc/28815/task/28822/stat : 28822 (java) T 28813 28815 28815 0 -1 4202560 8807 0 0 0 10 1 0 0 15 0 19 0 850243806 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28815/tid=28823] ppid=28813 vsize=8551604 CPUtime=0.12 cores=0,2,4,6
/proc/28815/task/28823/stat : 28823 (java) T 28813 28815 28815 0 -1 4202560 11010 0 0 0 11 1 0 0 15 0 19 0 850243806 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28815/tid=28824] ppid=28813 vsize=8551604 CPUtime=0.15 cores=0,2,4,6
/proc/28815/task/28824/stat : 28824 (java) T 28813 28815 28815 0 -1 4202560 14073 0 0 0 13 2 0 0 15 0 19 0 850243806 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28815/tid=28825] ppid=28813 vsize=8551604 CPUtime=0 cores=0,2,4,6
/proc/28815/task/28825/stat : 28825 (java) T 28813 28815 28815 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 19 0 850243807 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738221568 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28815/tid=28826] ppid=28813 vsize=8551604 CPUtime=0 cores=0,2,4,6
/proc/28815/task/28826/stat : 28826 (java) T 28813 28815 28815 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850243807 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28815/tid=28827] ppid=28813 vsize=8551604 CPUtime=0 cores=0,2,4,6
/proc/28815/task/28827/stat : 28827 (java) T 28813 28815 28815 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850243807 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28815/tid=28828] ppid=28813 vsize=8551604 CPUtime=0 cores=0,2,4,6
/proc/28815/task/28828/stat : 28828 (java) T 28813 28815 28815 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850243809 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28815/tid=28829] ppid=28813 vsize=8551604 CPUtime=1 cores=0,2,4,6
/proc/28815/task/28829/stat : 28829 (java) T 28813 28815 28815 0 -1 4202560 6674 0 0 0 100 0 0 0 15 0 19 0 850243809 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28815/tid=28830] ppid=28813 vsize=8551604 CPUtime=1.06 cores=0,2,4,6
/proc/28815/task/28830/stat : 28830 (java) T 28813 28815 28815 0 -1 4202560 9522 0 0 0 105 1 0 0 15 0 19 0 850243809 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28815/tid=28831] ppid=28813 vsize=8551604 CPUtime=0 cores=0,2,4,6
/proc/28815/task/28831/stat : 28831 (java) T 28813 28815 28815 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850243809 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28815/tid=28832] ppid=28813 vsize=8551604 CPUtime=0 cores=0,2,4,6
/proc/28815/task/28832/stat : 28832 (java) T 28813 28815 28815 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850243809 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28815/tid=28833] ppid=28813 vsize=8551604 CPUtime=0 cores=0,2,4,6
/proc/28815/task/28833/stat : 28833 (java) T 28813 28815 28815 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850243865 8756842496 311149 33554432000 1073741824 1073778376 140734274686528 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28813/tid=28838] ppid=28763 vsize=317860 CPUtime=0 cores=0,2,4,6
/proc/28813/task/28838/stat : 28838 (python) S 28763 28763 27575 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 850248129 325488640 6702 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449941502144 0 0 -1 6 0 0 0
[pid=28842] ppid=28763 vsize=328116 CPUtime=0.45 cores=0,2,4,6
/proc/28842/stat : 28842 (python) S 28763 28763 27575 0 -1 4202560 1184 0 0 0 24 21 0 0 16 0 2 0 850257151 335990784 6706 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28842/statm: 82029 6706 391 364 0 16904 0
[pid=28844] ppid=28842 vsize=8288 CPUtime=95.57 cores=0,2,4,6
/proc/28844/stat : 28844 (clasp-1.3.7-x86) T 28842 28844 28844 0 -1 4202496 2226 0 0 0 9557 0 0 0 25 0 1 0 850257152 8486912 1826 33554432000 134512640 136139019 4288659520 18446744073709551615 134833231 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/28844/statm: 2072 1826 187 398 0 1672 0
[pid=28842/tid=28848] ppid=28763 vsize=328116 CPUtime=0 cores=0,2,4,6
/proc/28842/task/28848/stat : 28848 (python) S 28763 28763 27575 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850266710 335990784 6706 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554946 18446604453060306816 0 0 -1 6 0 0 0
[pid=28855] ppid=28763 vsize=338372 CPUtime=0.23 cores=0,2,4,6
/proc/28855/stat : 28855 (python) S 28763 28763 27575 0 -1 4202560 1149 0 0 0 12 11 0 0 17 0 2 0 850289774 346492928 6710 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28855/statm: 84593 6710 391 364 0 19465 0
[pid=28857] ppid=28855 vsize=86356 CPUtime=47.32 cores=0,2,4,6
/proc/28857/stat : 28857 (bsolo_pb10) T 28855 28857 28857 0 -1 4202496 19570 0 0 0 4724 8 0 0 25 0 1 0 850289775 88428544 19137 33554432000 134512640 137138936 4289022928 18446744073709551615 134542295 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/28857/statm: 21589 19137 192 642 0 20945 0
[pid=28855/tid=28917] ppid=28763 vsize=338372 CPUtime=0 cores=0,2,4,6
/proc/28855/task/28917/stat : 28917 (python) S 28763 28763 27575 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850294510 346492928 6710 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554946 18446604450051938432 0 0 -1 6 0 0 0
[pid=28947] ppid=28763 vsize=348628 CPUtime=0 cores=0,2,4,6
/proc/28947/stat : 28947 (python) S 28763 28763 27575 0 -1 4202560 797 0 0 0 0 0 0 0 15 0 1 0 850303651 356995072 6642 33554432000 4194304 5683644 140733530872320 18446744073709551615 264726425158 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/28947/statm: 87157 6642 320 364 0 22026 0
[pid=28949] ppid=28947 vsize=8550644 CPUtime=2.07 cores=0,2,4,6
/proc/28949/stat : 28949 (java) S 28947 28949 28949 0 -1 4202496 26290 0 1 0 203 4 0 0 20 0 19 0 850303652 8755859456 21996 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28949/statm: 2137661 21998 2234 9 0 2128402 0
[pid=28949/tid=28950] ppid=28947 vsize=8550644 CPUtime=0.82 cores=0,2,4,6
/proc/28949/task/28950/stat : 28950 (java) R 28947 28949 28949 0 -1 4202560 14118 0 1 0 80 2 0 0 19 0 19 0 850303652 8755859456 22013 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 46912505588330 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28949/tid=28951] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28951/stat : 28951 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850303653 8755859456 22014 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28952] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28952/stat : 28952 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850303653 8755859456 22015 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28953] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28953/stat : 28953 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850303653 8755859456 22016 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28954] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28954/stat : 28954 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850303653 8755859456 22016 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28955] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28955/stat : 28955 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850303653 8755859456 22016 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28956] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28956/stat : 28956 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850303653 8755859456 22016 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28957] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28957/stat : 28957 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850303653 8755859456 22016 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28958] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28958/stat : 28958 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850303653 8755859456 22016 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28959] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28959/stat : 28959 (java) S 28947 28949 28949 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 850303654 8755859456 22016 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738221568 0 0 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28960] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28960/stat : 28960 (java) S 28947 28949 28949 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850303654 8755859456 22017 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28961] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28961/stat : 28961 (java) S 28947 28949 28949 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850303654 8755859456 22018 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28962] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28962/stat : 28962 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850303656 8755859456 22018 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738228657 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28963] ppid=28947 vsize=8550644 CPUtime=0.63 cores=0,2,4,6
/proc/28949/task/28963/stat : 28963 (java) S 28947 28949 28949 0 -1 4202560 4339 0 0 0 63 0 0 0 18 0 19 0 850303656 8755859456 22018 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 0 0 0 0
[pid=28949/tid=28964] ppid=28947 vsize=8550644 CPUtime=0.6 cores=0,2,4,6
/proc/28949/task/28964/stat : 28964 (java) S 28947 28949 28949 0 -1 4202560 6443 0 0 0 59 1 0 0 17 0 19 0 850303656 8755859456 22018 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 2 0 0 0
[pid=28949/tid=28965] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28965/stat : 28965 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850303656 8755859456 22018 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738220953 0 4 0 16800975 18446604445317417920 0 0 -1 4 0 0 0
[pid=28949/tid=28966] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28966/stat : 28966 (java) S 28947 28949 28949 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850303656 8755859456 22018 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738221568 0 4 0 16800975 18446604445317417920 0 0 -1 0 0 0 0
[pid=28949/tid=28967] ppid=28947 vsize=8550644 CPUtime=0 cores=0,2,4,6
/proc/28949/task/28967/stat : 28967 (java) S 28947 28949 28949 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850303709 8755859456 22018 33554432000 1073741824 1073778376 140735551726656 18446744073709551615 264738221568 0 4 0 16800975 18446604445317417920 0 0 -1 2 0 0 0
[pid=28763/tid=28771] ppid=28761 vsize=358872 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28771/stat : 28771 (python) S 28761 28763 27575 0 -1 4202560 37 1391 0 0 0 0 8 2 18 0 8 0 850228815 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 4 0 0 0
[pid=28763/tid=28780] ppid=28761 vsize=358872 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28780/stat : 28780 (python) S 28761 28763 27575 0 -1 4202560 39 1391 0 0 0 0 8 2 18 0 8 0 850233915 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 4 0 0 0
[pid=28763/tid=28808] ppid=28761 vsize=358872 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28808/stat : 28808 (python) S 28761 28763 27575 0 -1 4202560 27 1391 0 0 0 0 8 2 20 0 8 0 850238979 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 4 0 0 0
[pid=28763/tid=28814] ppid=28761 vsize=358872 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28814/stat : 28814 (python) S 28761 28763 27575 0 -1 4202560 30 1391 0 0 0 0 8 2 20 0 8 0 850243804 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 4 0 0 0
[pid=28763/tid=28843] ppid=28761 vsize=358872 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28843/stat : 28843 (python) S 28761 28763 27575 0 -1 4202560 30 1391 0 0 0 0 8 2 20 0 8 0 850257152 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
[pid=28763/tid=28856] ppid=28761 vsize=358872 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28856/stat : 28856 (python) S 28761 28763 27575 0 -1 4202560 26 1391 0 0 0 0 8 2 20 0 8 0 850289774 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
[pid=28763/tid=28948] ppid=28761 vsize=358872 CPUtime=0.1 cores=0,2,4,6
/proc/28763/task/28948/stat : 28948 (python) S 28761 28763 27575 0 -1 4202560 32 1391 0 0 0 0 8 2 20 0 8 0 850303651 367484928 8210 33554432000 4194304 5683644 140733530872320 18446744073709551615 264738228657 0 0 16781312 33554434 18446604449941501248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 758.08
Current children cumulated vsize (KiB) 20322924
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28763 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=985850
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=153976
# CPU time returned by wait4() is 1.13983
# while last known CPU time is 758.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 750.201
CPU time (s): 758.08
CPU user time (s): 747.93
CPU system time (s): 10.15
CPU usage (%): 101.05
Max. virtual memory (cumulated for all children) (KiB): 20322924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.98585
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19763
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= 4734
involuntary context switches= 34
runsolver used 6.598 second user time and 13.262 second system time
The end