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-3481741-1307576359/watcher-3481741-1307576359 -o /tmp/evaluation-result-3481741-1307576359/solver-3481741-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481741-1307576359.opb -seed 1857836293 -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: 0.42 0.10 0.03 2/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/7195/stat : 7195 (runsolver) D 7191 7195 7156 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 947869290 12079104 53 33554432000 4194304 5432328 140736520968080 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/7195/statm: 2949 53 34 303 0 2643 0
[startup+0.11054 s]
/proc/loadavg: 0.42 0.10 0.03 2/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=1964 CPUtime=0 cores=0,2,4,6
/proc/7195/stat : 7195 (python) D 7191 7195 7156 0 -1 4194304 75 0 1 0 0 0 0 0 18 0 1 0 947869290 2011136 28 33554432000 4194304 5683644 140736022902880 18446744073709551615 224280003600 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 3
/proc/7195/statm: 491 28 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.200523 s]
/proc/loadavg: 0.42 0.10 0.03 2/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/7195/stat : 7195 (python) D 7191 7195 7156 0 -1 4194304 195 0 3 0 0 0 0 0 18 0 1 0 947869290 14594048 133 33554432000 4194304 5683644 140736022902880 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 6
/proc/7195/statm: 3563 133 105 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252
[startup+0.300507 s]
/proc/loadavg: 0.42 0.10 0.03 2/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/7195/stat : 7195 (python) S 7191 7195 7156 0 -1 4202496 507 0 6 0 0 0 0 0 17 0 1 0 947869290 15175680 420 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284921701 0 2147483391 4096 0 18446744071699945619 0 0 17 2 0 0 10
/proc/7195/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.70044 s]
/proc/loadavg: 0.42 0.10 0.03 2/557 7195
/proc/meminfo: memFree=31679312/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=15084 CPUtime=0 cores=0,2,4,6
/proc/7195/stat : 7195 (python) D 7191 7195 7156 0 -1 4202496 644 0 6 0 0 0 0 0 16 0 1 0 947869290 15446016 545 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284925696 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 12
/proc/7195/statm: 3771 545 312 364 0 258 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15084
[startup+1.50021 s]
/proc/loadavg: 0.42 0.10 0.03 2/559 7197
/proc/meminfo: memFree=31672868/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=15780 CPUtime=0.01 cores=0,2,4,6
/proc/7195/stat : 7195 (python) R 7191 7195 7156 0 -1 4202496 924 0 6 0 1 0 0 0 15 0 1 0 947869290 16158720 809 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284925696 0 0 16781312 2 0 0 0 17 2 0 0 56
/proc/7195/statm: 3945 811 356 364 0 432 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15780
[startup+3.10094 s]
/proc/loadavg: 0.54 0.13 0.04 2/559 7197
/proc/meminfo: memFree=31665748/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/7195/stat : 7195 (python) D 7191 7195 7156 0 -1 4202496 1243 0 7 0 2 0 0 0 15 0 1 0 947869290 19345408 1104 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284925696 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 68
/proc/7195/statm: 4723 1104 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
heavy processes:
[startup+6.3005 s]
/proc/loadavg: 0.54 0.13 0.04 2/559 7205
/proc/meminfo: memFree=31651796/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=109476 CPUtime=0.17 cores=0,2,4,6
/proc/7195/stat : 7195 (python) D 7191 7195 7156 0 -1 4202496 4546 921 33 9 11 6 0 0 16 0 1 0 947869290 112103424 3034 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284923904 0 0 16781312 2 0 0 0 17 2 0 0 91
/proc/7195/statm: 27369 3034 898 364 0 2065 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 109476
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.62 0.16 0.05 2/559 7205
/proc/meminfo: memFree=31613028/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=234572 CPUtime=0.44 cores=0,2,4,6
/proc/7195/stat : 7195 (python) R 7191 7195 7156 0 -1 4202496 7438 921 94 9 29 15 0 0 15 0 1 0 947869290 240201728 5725 33554432000 4194304 5683644 140736022902880 18446744073709551615 5294040 0 0 16781312 2 0 0 0 17 2 0 0 262
/proc/7195/statm: 58643 5725 1578 364 0 4291 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 234572
heavy processes:
[startup+25.5012 s]
/proc/loadavg: 0.83 0.22 0.07 4/565 7211
/proc/meminfo: memFree=31554672/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=293268 CPUtime=0.61 cores=0,2,4,6
/proc/7195/stat : 7195 (python) S 7191 7195 7156 0 -1 4202496 9573 921 110 9 42 19 0 0 18 0 2 0 947869290 300306432 7183 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 299
/proc/7195/statm: 73317 7183 1870 364 0 8204 0
[pid=7206] ppid=7195 vsize=283024 CPUtime=0.04 cores=0,2,4,6
/proc/7206/stat : 7206 (python) S 7195 7195 7156 0 -1 4202560 904 0 0 0 2 2 0 0 15 0 1 0 947870705 289816576 5685 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284945935 0 0 16781312 33554946 880929910175039488 0 0 17 6 0 0 0
/proc/7206/statm: 70756 5685 376 364 0 5643 0
[pid=7211] ppid=7206 vsize=29692 CPUtime=11.34 cores=0,2,4,6
/proc/7211/stat : 7211 (scip-2.0.1.linu) R 7206 7211 7211 0 -1 4202496 6634 0 0 0 1125 9 0 0 19 0 1 0 947870705 30404608 5254 33554432000 4194304 13684479 140734283109024 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7211/statm: 7423 5254 804 2317 0 5101 0
[pid=7195/tid=7209] ppid=7191 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7209/stat : 7209 (python) S 7191 7195 7156 0 -1 4202560 30 921 0 9 0 0 0 0 18 0 2 0 947870705 300306432 7183 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 605984
heavy processes:
[startup+51.1009 s]
/proc/loadavg: 1.23 0.36 0.12 4/565 7211
/proc/meminfo: memFree=31554476/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=293268 CPUtime=0.61 cores=0,2,4,6
/proc/7195/stat : 7195 (python) S 7191 7195 7156 0 -1 4202496 9573 921 110 9 42 19 0 0 18 0 2 0 947869290 300306432 7183 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 299
/proc/7195/statm: 73317 7183 1870 364 0 8204 0
[pid=7206] ppid=7195 vsize=283024 CPUtime=0.14 cores=0,2,4,6
/proc/7206/stat : 7206 (python) S 7195 7195 7156 0 -1 4202560 914 0 0 0 7 7 0 0 15 0 1 0 947870705 289816576 5685 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284945935 0 0 16781312 33554946 4060047686013812736 0 0 17 6 0 0 0
/proc/7206/statm: 70756 5685 376 364 0 5643 0
[pid=7211] ppid=7206 vsize=29692 CPUtime=36.95 cores=0,2,4,6
/proc/7211/stat : 7211 (scip-2.0.1.linu) R 7206 7211 7211 0 -1 4202496 6636 0 0 0 3661 34 0 0 25 0 1 0 947870705 30404608 5256 33554432000 4194304 13684479 140734283109024 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7211/statm: 7423 5256 805 2317 0 5101 0
[pid=7195/tid=7209] ppid=7191 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7209/stat : 7209 (python) S 7191 7195 7156 0 -1 4202560 30 921 0 9 0 0 0 0 18 0 2 0 947870705 300306432 7183 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.7
Current children cumulated vsize (KiB) 605984
heavy processes:
[startup+102.301 s]
/proc/loadavg: 1.69 0.63 0.23 4/573 7221
/proc/meminfo: memFree=31509124/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=304036 CPUtime=0.63 cores=0,2,4,6
/proc/7195/stat : 7195 (python) S 7191 7195 7156 0 -1 4202496 10393 921 110 9 44 19 0 0 20 0 3 0 947869290 311332864 7306 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 299
/proc/7195/statm: 76009 7306 1873 364 0 10893 0
[pid=7206] ppid=7195 vsize=293268 CPUtime=0.22 cores=0,2,4,6
/proc/7206/stat : 7206 (python) S 7195 7195 7156 0 -1 4202560 1082 0 0 0 11 11 0 0 17 0 2 0 947870705 300306432 5721 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7206/statm: 73317 5721 407 364 0 8204 0
[pid=7211] ppid=7206 vsize=30264 CPUtime=46.83 cores=0,2,4,6
/proc/7211/stat : 7211 (scip-2.0.1.linu) T 7206 7211 7211 0 -1 4202496 6739 0 0 0 4638 45 0 0 25 0 1 0 947870705 30990336 5359 33554432000 4194304 13684479 140734283109024 18446744073709551615 7342607 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/7211/statm: 7566 5359 807 2317 0 5244 0
[pid=7206/tid=7214] ppid=7195 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/7206/task/7214/stat : 7214 (python) S 7195 7195 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875390 300306432 5721 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604447111546752 0 0 -1 0 0 0 0
[pid=7215] ppid=7195 vsize=293792 CPUtime=0.2 cores=0,2,4,6
/proc/7215/stat : 7215 (python) S 7195 7195 7156 0 -1 4202560 941 0 0 0 9 11 0 0 15 0 1 0 947875393 300843008 5802 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284945990 0 0 16781312 33554946 72556772316949223 0 0 17 6 0 0 0
/proc/7215/statm: 73448 5802 373 364 0 8332 0
[pid=7217] ppid=7215 vsize=32468 CPUtime=41.23 cores=0,2,4,6
/proc/7217/stat : 7217 (scip-2.0.1.linu) R 7215 7217 7217 0 -1 4202496 22195 0 0 0 4102 21 0 0 25 0 1 0 947875396 33247232 5509 33554432000 4194304 15243407 140735600301952 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7217/statm: 8117 5509 936 2698 0 5412 0
[pid=7195/tid=7209] ppid=7191 vsize=304036 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7209/stat : 7209 (python) S 7191 7195 7156 0 -1 4202560 30 921 0 9 0 0 0 0 18 0 3 0 947870705 311332864 7306 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 2 0 0 0
[pid=7195/tid=7216] ppid=7191 vsize=304036 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7216/stat : 7216 (python) S 7191 7195 7156 0 -1 4202560 28 921 0 9 0 0 0 0 20 0 3 0 947875393 311332864 7306 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 89.11
Current children cumulated vsize (KiB) 953828
[startup+162.301 s]
/proc/loadavg: 1.87 0.86 0.33 4/589 7239
/proc/meminfo: memFree=31459300/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=324752 CPUtime=0.68 cores=0,2,4,6
/proc/7195/stat : 7195 (python) S 7191 7195 7156 0 -1 4202496 12238 921 110 9 49 19 0 0 19 0 5 0 947869290 332546048 7354 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 299
/proc/7195/statm: 81188 7354 1877 364 0 16066 0
[pid=7206] ppid=7195 vsize=293268 CPUtime=0.22 cores=0,2,4,6
/proc/7206/stat : 7206 (python) S 7195 7195 7156 0 -1 4202560 1082 0 0 0 11 11 0 0 17 0 2 0 947870705 300306432 5721 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7206/statm: 73317 5721 407 364 0 8204 0
[pid=7211] ppid=7206 vsize=30264 CPUtime=46.83 cores=0,2,4,6
/proc/7211/stat : 7211 (scip-2.0.1.linu) T 7206 7211 7211 0 -1 4202496 6739 0 0 0 4638 45 0 0 25 0 1 0 947870705 30990336 5359 33554432000 4194304 13684479 140734283109024 18446744073709551615 7342607 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/7211/statm: 7566 5359 807 2317 0 5244 0
[pid=7206/tid=7214] ppid=7195 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/7206/task/7214/stat : 7214 (python) S 7195 7195 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875390 300306432 5721 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604447111546752 0 0 -1 0 0 0 0
[pid=7215] ppid=7195 vsize=293792 CPUtime=0.25 cores=0,2,4,6
/proc/7215/stat : 7215 (python) S 7195 7195 7156 0 -1 4202560 1109 0 0 0 11 14 0 0 16 0 2 0 947875393 300843008 5827 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7215/statm: 73448 5827 397 364 0 8332 0
[pid=7217] ppid=7215 vsize=32468 CPUtime=49.47 cores=0,2,4,6
/proc/7217/stat : 7217 (scip-2.0.1.linu) T 7215 7217 7217 0 -1 4202496 22817 0 0 0 4922 25 0 0 25 0 1 0 947875396 33247232 5511 33554432000 4194304 15243407 140735600301952 18446744073709551615 8110624 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/7217/statm: 8117 5511 936 2698 0 5412 0
[pid=7215/tid=7226] ppid=7195 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/7215/task/7226/stat : 7226 (python) S 7195 7195 7156 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947880346 300843008 5827 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443556922624 0 0 -1 6 0 0 0
[pid=7227] ppid=7195 vsize=303748 CPUtime=0.22 cores=0,2,4,6
/proc/7227/stat : 7227 (python) S 7195 7195 7156 0 -1 4202560 1178 0 0 0 12 10 0 0 17 0 2 0 947880348 311037952 5763 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7227/statm: 75937 5763 403 364 0 10818 0
[pid=7229] ppid=7227 vsize=2256 CPUtime=48.04 cores=0,2,4,6
/proc/7229/stat : 7229 (clasp-1.3.7-x86) T 7227 7229 7229 0 -1 4202496 586 0 0 0 4804 0 0 0 25 0 1 0 947880348 2310144 319 33554432000 134512640 136139019 4291312784 18446744073709551615 134599822 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/7229/statm: 564 319 184 398 0 164 0
[pid=7227/tid=7236] ppid=7195 vsize=303748 CPUtime=0 cores=0,2,4,6
/proc/7227/task/7236/stat : 7236 (python) S 7195 7195 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947885153 311037952 5763 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604446429848768 0 0 -1 6 0 0 0
[pid=7237] ppid=7195 vsize=314508 CPUtime=0.02 cores=0,2,4,6
/proc/7237/stat : 7237 (python) S 7195 7195 7156 0 -1 4202560 1023 0 0 0 1 1 0 0 15 0 1 0 947885156 322056192 5852 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284945990 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/7237/statm: 78627 5852 379 364 0 13505 0
[pid=7239] ppid=7237 vsize=13376 CPUtime=3.63 cores=0,2,4,6
################
# More data... #
################
[pid=7195/tid=7228] ppid=7191 vsize=335168 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7228/stat : 7228 (python) S 7191 7195 7156 0 -1 4202560 33 921 0 9 0 0 0 0 18 0 6 0 947880348 343212032 7400 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 6 0 0 0
[pid=7195/tid=7238] ppid=7191 vsize=335168 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7238/stat : 7238 (python) S 7191 7195 7156 0 -1 4202560 107 921 0 9 0 0 0 0 21 0 6 0 947885156 343212032 7400 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 0 0 0 0
[pid=7195/tid=7266] ppid=7191 vsize=335168 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7266/stat : 7266 (python) S 7191 7195 7156 0 -1 4202560 30 921 0 9 0 0 0 0 20 0 6 0 947894773 343212032 7400 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 271.55
Current children cumulated vsize (KiB) 10624944
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+302.502 s]
/proc/loadavg: 1.98 1.30 0.57 5/638 7337
/proc/meminfo: memFree=30413676/32951124 swapFree=33333036/67111528
[pid=7195] ppid=7191 vsize=345424 CPUtime=0.76 cores=0,2,4,6
/proc/7195/stat : 7195 (python) S 7191 7195 7156 0 -1 4202496 14002 921 110 9 56 20 0 0 20 0 7 0 947869290 353714176 7406 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 299
/proc/7195/statm: 86356 7406 1881 364 0 21228 0
[pid=7206] ppid=7195 vsize=293268 CPUtime=0.22 cores=0,2,4,6
/proc/7206/stat : 7206 (python) S 7195 7195 7156 0 -1 4202560 1082 0 0 0 11 11 0 0 17 0 2 0 947870705 300306432 5721 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7206/statm: 73317 5721 407 364 0 8204 0
[pid=7211] ppid=7206 vsize=30264 CPUtime=46.83 cores=0,2,4,6
/proc/7211/stat : 7211 (scip-2.0.1.linu) T 7206 7211 7211 0 -1 4202496 6739 0 0 0 4638 45 0 0 25 0 1 0 947870705 30990336 5359 33554432000 4194304 13684479 140734283109024 18446744073709551615 7342607 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/7211/statm: 7566 5359 807 2317 0 5244 0
[pid=7206/tid=7214] ppid=7195 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/7206/task/7214/stat : 7214 (python) S 7195 7195 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875390 300306432 5721 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604447111546752 0 0 -1 0 0 0 0
[pid=7215] ppid=7195 vsize=293792 CPUtime=0.25 cores=0,2,4,6
/proc/7215/stat : 7215 (python) S 7195 7195 7156 0 -1 4202560 1109 0 0 0 11 14 0 0 16 0 2 0 947875393 300843008 5827 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7215/statm: 73448 5827 397 364 0 8332 0
[pid=7217] ppid=7215 vsize=32468 CPUtime=49.47 cores=0,2,4,6
/proc/7217/stat : 7217 (scip-2.0.1.linu) T 7215 7217 7217 0 -1 4202496 22817 0 0 0 4922 25 0 0 25 0 1 0 947875396 33247232 5511 33554432000 4194304 15243407 140735600301952 18446744073709551615 8110624 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/7217/statm: 8117 5511 936 2698 0 5412 0
[pid=7215/tid=7226] ppid=7195 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/7215/task/7226/stat : 7226 (python) S 7195 7195 7156 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947880346 300843008 5827 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443556922624 0 0 -1 6 0 0 0
[pid=7227] ppid=7195 vsize=303748 CPUtime=0.44 cores=0,2,4,6
/proc/7227/stat : 7227 (python) S 7195 7195 7156 0 -1 4202560 1201 0 0 0 23 21 0 0 15 0 2 0 947880348 311037952 5763 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7227/statm: 75937 5763 403 364 0 10818 0
[pid=7229] ppid=7227 vsize=2256 CPUtime=94.26 cores=0,2,4,6
/proc/7229/stat : 7229 (clasp-1.3.7-x86) T 7227 7229 7229 0 -1 4202496 586 0 0 0 9426 0 0 0 25 0 1 0 947880348 2310144 319 33554432000 134512640 136139019 4291312784 18446744073709551615 134838542 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/7229/statm: 564 319 184 398 0 164 0
[pid=7227/tid=7236] ppid=7195 vsize=303748 CPUtime=0 cores=0,2,4,6
/proc/7227/task/7236/stat : 7236 (python) S 7195 7195 7156 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947885153 311037952 5763 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604446429848768 0 0 -1 6 0 0 0
[pid=7237] ppid=7195 vsize=314508 CPUtime=0.28 cores=0,2,4,6
/proc/7237/stat : 7237 (python) S 7195 7195 7156 0 -1 4202560 1203 0 0 0 15 13 0 0 16 0 2 0 947885156 322056192 5877 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7237/statm: 78627 5877 403 364 0 13505 0
[pid=7239] ppid=7237 vsize=150312 CPUtime=49.75 cores=0,2,4,6
/proc/7239/stat : 7239 (wbo1.4a) T 7237 7239 7239 0 -1 4202496 37392 0 0 0 4913 62 0 0 25 0 1 0 947885156 153919488 37112 33554432000 134512640 135751879 4289787408 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/7239/statm: 37578 37112 146 303 0 37273 0
[pid=7237/tid=7243] ppid=7195 vsize=314508 CPUtime=0 cores=0,2,4,6
/proc/7237/task/7243/stat : 7243 (python) S 7195 7195 7156 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947890145 322056192 5877 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443481850880 0 0 -1 0 0 0 0
[pid=7265] ppid=7195 vsize=324924 CPUtime=0.24 cores=0,2,4,6
/proc/7265/stat : 7265 (python) S 7195 7195 7156 0 -1 4202560 1146 0 0 0 11 13 0 0 16 0 2 0 947894773 332722176 5915 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7265/statm: 81231 5915 397 364 0 16106 0
[pid=7267] ppid=7265 vsize=8544236 CPUtime=49.4 cores=0,2,4,6
/proc/7267/stat : 7267 (java) T 7265 7267 7267 0 -1 4202496 113391 0 1 0 4923 17 0 0 18 0 19 0 947894773 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7267/statm: 2136059 79056 2236 9 0 2126800 0
[pid=7267/tid=7268] ppid=7265 vsize=8544236 CPUtime=46.81 cores=0,2,4,6
/proc/7267/task/7268/stat : 7268 (java) T 7265 7267 7267 0 -1 4202560 67528 0 1 0 4673 8 0 0 25 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 46912505583966 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7267/tid=7269] ppid=7265 vsize=8544236 CPUtime=0.17 cores=0,2,4,6
/proc/7267/task/7269/stat : 7269 (java) T 7265 7267 7267 0 -1 4202560 6208 0 0 0 17 0 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7267/tid=7270] ppid=7265 vsize=8544236 CPUtime=0.1 cores=0,2,4,6
/proc/7267/task/7270/stat : 7270 (java) T 7265 7267 7267 0 -1 4202560 3303 0 0 0 10 0 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7267/tid=7271] ppid=7265 vsize=8544236 CPUtime=0.16 cores=0,2,4,6
/proc/7267/task/7271/stat : 7271 (java) T 7265 7267 7267 0 -1 4202560 4896 0 0 0 16 0 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7267/tid=7272] ppid=7265 vsize=8544236 CPUtime=0.16 cores=0,2,4,6
/proc/7267/task/7272/stat : 7272 (java) T 7265 7267 7267 0 -1 4202560 5038 0 0 0 15 1 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7267/tid=7273] ppid=7265 vsize=8544236 CPUtime=0.13 cores=0,2,4,6
/proc/7267/task/7273/stat : 7273 (java) T 7265 7267 7267 0 -1 4202560 4423 0 0 0 13 0 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7267/tid=7274] ppid=7265 vsize=8544236 CPUtime=0.15 cores=0,2,4,6
/proc/7267/task/7274/stat : 7274 (java) T 7265 7267 7267 0 -1 4202560 3705 0 0 0 15 0 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7267/tid=7275] ppid=7265 vsize=8544236 CPUtime=0.11 cores=0,2,4,6
/proc/7267/task/7275/stat : 7275 (java) T 7265 7267 7267 0 -1 4202560 2957 0 0 0 11 0 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7267/tid=7276] ppid=7265 vsize=8544236 CPUtime=0.11 cores=0,2,4,6
/proc/7267/task/7276/stat : 7276 (java) T 7265 7267 7267 0 -1 4202560 3047 0 0 0 11 0 0 0 15 0 19 0 947894774 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7267/tid=7277] ppid=7265 vsize=8544236 CPUtime=0.03 cores=0,2,4,6
/proc/7267/task/7277/stat : 7277 (java) T 7265 7267 7267 0 -1 4202560 226 0 0 0 2 1 0 0 15 0 19 0 947894775 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7267/tid=7278] ppid=7265 vsize=8544236 CPUtime=0 cores=0,2,4,6
/proc/7267/task/7278/stat : 7278 (java) T 7265 7267 7267 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947894776 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7267/tid=7279] ppid=7265 vsize=8544236 CPUtime=0 cores=0,2,4,6
/proc/7267/task/7279/stat : 7279 (java) T 7265 7267 7267 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947894776 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7267/tid=7280] ppid=7265 vsize=8544236 CPUtime=0 cores=0,2,4,6
/proc/7267/task/7280/stat : 7280 (java) T 7265 7267 7267 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894778 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7267/tid=7281] ppid=7265 vsize=8544236 CPUtime=0.81 cores=0,2,4,6
/proc/7267/task/7281/stat : 7281 (java) T 7265 7267 7267 0 -1 4202560 5952 0 0 0 81 0 0 0 15 0 19 0 947894778 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7267/tid=7282] ppid=7265 vsize=8544236 CPUtime=0.55 cores=0,2,4,6
/proc/7267/task/7282/stat : 7282 (java) T 7265 7267 7267 0 -1 4202560 4708 0 0 0 55 0 0 0 15 0 19 0 947894778 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7267/tid=7283] ppid=7265 vsize=8544236 CPUtime=0 cores=0,2,4,6
/proc/7267/task/7283/stat : 7283 (java) T 7265 7267 7267 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894778 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7267/tid=7284] ppid=7265 vsize=8544236 CPUtime=0 cores=0,2,4,6
/proc/7267/task/7284/stat : 7284 (java) T 7265 7267 7267 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894778 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7267/tid=7285] ppid=7265 vsize=8544236 CPUtime=0 cores=0,2,4,6
/proc/7267/task/7285/stat : 7285 (java) T 7265 7267 7267 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894797 8749297664 79056 33554432000 1073741824 1073778376 140736950598784 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7265/tid=7313] ppid=7195 vsize=324924 CPUtime=0 cores=0,2,4,6
/proc/7265/task/7313/stat : 7313 (python) S 7195 7195 7156 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947899503 332722176 5915 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554946 18446604452709446912 0 0 -1 6 0 0 0
[pid=7314] ppid=7195 vsize=335180 CPUtime=0 cores=0,2,4,6
/proc/7314/stat : 7314 (python) S 7195 7195 7156 0 -1 4202560 802 0 0 0 0 0 0 0 17 0 1 0 947899506 343224320 5870 33554432000 4194304 5683644 140736022902880 18446744073709551615 224284945990 0 0 16781312 33554946 835824245236826112 0 0 17 0 0 0 0
/proc/7314/statm: 83795 5870 349 364 0 18667 0
[pid=7316] ppid=7314 vsize=8536756 CPUtime=0.71 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7314 7316 7316 0 -1 4202496 10054 0 1 0 70 1 0 0 21 0 19 0 947899506 8741638144 8709 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7316/statm: 2134189 8709 2208 9 0 2124930 0
[pid=7316/tid=7317] ppid=7314 vsize=8536756 CPUtime=0.35 cores=0,2,4,6
/proc/7316/task/7317/stat : 7317 (java) R 7314 7316 7316 0 -1 4202560 5994 0 1 0 34 1 0 0 19 0 19 0 947899507 8741638144 9247 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 46912505570453 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7318/stat : 7318 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947899507 8741638144 9248 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7319/stat : 7319 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899507 8741638144 9250 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7316/tid=7320] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7320/stat : 7320 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899507 8741638144 9251 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7316/tid=7321] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7321/stat : 7321 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899507 8741638144 9251 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7316/tid=7322] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7322/stat : 7322 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899507 8741638144 9253 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7316/tid=7323] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7323/stat : 7323 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899507 8741638144 9254 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7316/tid=7324] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7324/stat : 7324 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899507 8741638144 9255 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7316/tid=7325] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7325/stat : 7325 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899507 8741638144 9255 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7316/tid=7326] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7326/stat : 7326 (java) S 7314 7316 7316 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947899508 8741638144 9256 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=7316/tid=7327] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7327/stat : 7327 (java) S 7314 7316 7316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947899509 8741638144 9258 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=7316/tid=7328] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7328/stat : 7328 (java) S 7314 7316 7316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947899509 8741638144 9258 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=7316/tid=7329] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7329/stat : 7329 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899511 8741638144 9258 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=7316/tid=7330] ppid=7314 vsize=8536756 CPUtime=0.19 cores=0,2,4,6
/proc/7316/task/7330/stat : 7330 (java) R 7314 7316 7316 0 -1 4202560 1051 0 0 0 19 0 0 0 25 0 19 0 947899511 8741638144 9258 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 47730978072910 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7316/tid=7331] ppid=7314 vsize=8536756 CPUtime=0.18 cores=0,2,4,6
/proc/7316/task/7331/stat : 7331 (java) R 7314 7316 7316 0 -1 4202560 2145 0 0 0 18 0 0 0 17 0 19 0 947899511 8741638144 9259 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 47730982153472 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7316/tid=7332] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7332/stat : 7332 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899511 8741638144 9260 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=7316/tid=7333] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7333/stat : 7333 (java) S 7314 7316 7316 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947899511 8741638144 9261 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=7316/tid=7334] ppid=7314 vsize=8536756 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7334/stat : 7334 (java) S 7314 7316 7316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947899529 8741638144 9262 33554432000 1073741824 1073778376 140733203931024 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=7195/tid=7209] ppid=7191 vsize=345424 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7209/stat : 7209 (python) S 7191 7195 7156 0 -1 4202560 30 921 0 9 0 0 0 0 18 0 7 0 947870705 353714176 7406 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 2 0 0 0
[pid=7195/tid=7216] ppid=7191 vsize=345424 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7216/stat : 7216 (python) S 7191 7195 7156 0 -1 4202560 28 921 0 9 0 0 0 0 20 0 7 0 947875393 353714176 7406 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 4 0 0 0
[pid=7195/tid=7228] ppid=7191 vsize=345424 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7228/stat : 7228 (python) S 7191 7195 7156 0 -1 4202560 33 921 0 9 0 0 0 0 18 0 7 0 947880348 353714176 7406 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 6 0 0 0
[pid=7195/tid=7238] ppid=7191 vsize=345424 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7238/stat : 7238 (python) S 7191 7195 7156 0 -1 4202560 107 921 0 9 0 0 0 0 21 0 7 0 947885156 353714176 7406 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 0 0 0 0
[pid=7195/tid=7266] ppid=7191 vsize=345424 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7266/stat : 7266 (python) S 7191 7195 7156 0 -1 4202560 30 921 0 9 0 0 0 0 20 0 7 0 947894773 353714176 7406 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 6 0 0 0
[pid=7195/tid=7315] ppid=7191 vsize=345424 CPUtime=0 cores=0,2,4,6
/proc/7195/task/7315/stat : 7315 (python) S 7191 7195 7156 0 -1 4202560 32 921 0 9 0 0 0 0 20 0 7 0 947899506 353714176 7406 33554432000 4194304 5683644 140736022902880 18446744073709551615 224296749489 0 0 16781312 33554434 18446604453488397248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 292.61
Current children cumulated vsize (KiB) 19507136
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 7195 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=567913
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=210967
# CPU time returned by wait4() is 0.77888
# while last known CPU time is 292.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.598
CPU time (s): 292.61
CPU user time (s): 290.19
CPU system time (s): 2.42
CPU usage (%): 96.6994
Max. virtual memory (cumulated for all children) (KiB): 19507136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.567913
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14927
page faults= 119
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19883
involuntary context switches= 21
runsolver used 1.9857 second user time and 4.47432 second system time
The end