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-3481196-1307578618/watcher-3481196-1307578618 -o /tmp/evaluation-result-3481196-1307578618/solver-3481196-1307578618 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481196-1307578618.opb -seed 588066548 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.12 1.92 2/921 8950
/proc/meminfo: memFree=17792280/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/8950/stat : 8950 (python) R 8948 8950 7156 0 -1 4202496 904 0 0 0 0 0 0 0 20 0 1 0 948092555 16154624 784 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284923904 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8950/statm: 3944 784 346 364 0 431 0
[startup+0.0556971 s]
/proc/loadavg: 2.23 2.12 1.92 2/921 8950
/proc/meminfo: memFree=17792280/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=32176 CPUtime=0.03 cores=1,3,5,7
/proc/8950/stat : 8950 (python) R 8948 8950 7156 0 -1 4202496 1519 0 0 0 3 0 0 0 17 0 1 0 948092555 32948224 1355 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284923904 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8950/statm: 8044 1355 445 364 0 899 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32176
[startup+0.100644 s]
/proc/loadavg: 2.23 2.12 1.92 2/921 8950
/proc/meminfo: memFree=17792280/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/8950/stat : 8950 (python) R 8948 8950 7156 0 -1 4202496 3169 929 1 0 5 2 0 0 18 0 1 0 948092555 98430976 2483 33554432000 4194304 5683644 140736700142640 18446744073709551615 5171113 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8950/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.30061 s]
/proc/loadavg: 2.23 2.12 1.92 2/921 8950
/proc/meminfo: memFree=17792280/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=182076 CPUtime=0.22 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 6279 929 1 0 16 6 0 0 17 0 1 0 948092555 186445824 4585 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/8950/statm: 45519 4585 1246 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 182076
[startup+0.700587 s]
/proc/loadavg: 2.23 2.12 1.92 2/921 8950
/proc/meminfo: memFree=17792280/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=261388 CPUtime=0.33 cores=1,3,5,7
/proc/8950/stat : 8950 (python) D 8948 8950 7156 0 -1 4202496 8253 929 1 0 25 8 0 0 17 0 1 0 948092555 267661312 6350 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 1 0 0 0
/proc/8950/statm: 65347 6350 1677 364 0 5063 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 261388
[startup+3.19116 s]
/proc/loadavg: 2.23 2.12 1.92 2/921 8950
/proc/meminfo: memFree=17792280/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=307996 CPUtime=1.44 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 15761 929 1 0 134 10 0 0 20 0 2 0 948092555 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/8950/statm: 76999 10838 1870 364 0 11886 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 307996
heavy processes:
[startup+3.22417 s]
/proc/loadavg: 2.23 2.12 1.92 3/943 8976
/proc/meminfo: memFree=17595004/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=307996 CPUtime=1.44 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 15761 929 1 0 134 10 0 0 20 0 2 0 948092555 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/8950/statm: 76999 10838 1870 364 0 11886 0
[pid=8956] ppid=8950 vsize=297752 CPUtime=0 cores=1,3,5,7
/proc/8956/stat : 8956 (python) S 8950 8950 7156 0 -1 4202560 823 0 0 0 0 0 0 0 15 0 1 0 948092758 304898048 9321 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284945935 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/8956/statm: 74438 9321 357 364 0 9325 0
[pid=8958] ppid=8956 vsize=8538496 CPUtime=2.1 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8956 8958 8958 0 -1 4202496 44138 0 1 0 203 7 0 0 20 0 19 0 948092759 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8958/statm: 2134624 40791 2244 9 0 2125365 0
[pid=8958/tid=8959] ppid=8956 vsize=8538496 CPUtime=1.16 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8956 8958 8958 0 -1 4202560 35286 0 1 0 110 6 0 0 19 0 19 0 948092759 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 46912505707777 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8958/tid=8960] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8956 8958 8958 0 -1 4202560 652 0 0 0 0 0 0 0 16 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8961] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8956 8958 8958 0 -1 4202560 407 0 0 0 0 0 0 0 17 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8962] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8956 8958 8958 0 -1 4202560 274 0 0 0 0 0 0 0 18 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8963] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8964] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8965] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8966] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8967] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948092760 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8968] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8956 8958 8958 0 -1 4202560 72 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 0 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8969] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8956 8958 8958 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8970] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8956 8958 8958 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8971] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296749489 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8972] ppid=8956 vsize=8538496 CPUtime=0.42 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8956 8958 8958 0 -1 4202560 2253 0 0 0 42 0 0 0 22 0 19 0 948092763 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8973] ppid=8956 vsize=8538496 CPUtime=0.48 cores=1,3,5,7
/proc/8958/task/8973/stat : 8973 (java) S 8956 8958 8958 0 -1 4202560 3811 0 0 0 48 0 0 0 24 0 19 0 948092763 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8974] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8974/stat : 8974 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8975] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8975/stat : 8975 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092763 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8976] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8976/stat : 8976 (java) S 8956 8958 8958 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 948092827 8743419904 40791 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8950/tid=8957] ppid=8948 vsize=307996 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (python) S 8948 8950 7156 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 948092759 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454958611456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9144244
[startup+6.30164 s]
/proc/loadavg: 2.21 2.12 1.92 3/943 8976
/proc/meminfo: memFree=17580672/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=307996 CPUtime=1.44 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 15761 929 1 0 134 10 0 0 20 0 2 0 948092555 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/8950/statm: 76999 10838 1870 364 0 11886 0
[pid=8956] ppid=8950 vsize=297752 CPUtime=0.02 cores=1,3,5,7
/proc/8956/stat : 8956 (python) S 8950 8950 7156 0 -1 4202560 962 0 0 0 1 1 0 0 15 0 1 0 948092758 304898048 9344 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284945935 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/8956/statm: 74438 9344 380 364 0 9325 0
[pid=8958] ppid=8956 vsize=8538496 CPUtime=5.34 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8956 8958 8958 0 -1 4202496 48472 0 1 0 526 8 0 0 20 0 19 0 948092759 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8958/statm: 2134624 44762 2256 9 0 2125365 0
[pid=8958/tid=8959] ppid=8956 vsize=8538496 CPUtime=4.1 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8956 8958 8958 0 -1 4202560 35290 0 1 0 404 6 0 0 25 0 19 0 948092759 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 46912505790068 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8958/tid=8960] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8956 8958 8958 0 -1 4202560 655 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8961] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8956 8958 8958 0 -1 4202560 465 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8962] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8956 8958 8958 0 -1 4202560 348 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8963] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8956 8958 8958 0 -1 4202560 614 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8964] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8956 8958 8958 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8965] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8956 8958 8958 0 -1 4202560 691 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8966] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8956 8958 8958 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8967] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8956 8958 8958 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8968] ppid=8956 vsize=8538496 CPUtime=0.11 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8956 8958 8958 0 -1 4202560 2023 0 0 0 11 0 0 0 16 0 19 0 948092761 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 0 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8969] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8956 8958 8958 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8970] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8956 8958 8958 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8971] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296749489 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8972] ppid=8956 vsize=8538496 CPUtime=0.5 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8956 8958 8958 0 -1 4202560 2397 0 0 0 50 0 0 0 15 0 19 0 948092763 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8973] ppid=8956 vsize=8538496 CPUtime=0.53 cores=1,3,5,7
/proc/8958/task/8973/stat : 8973 (java) S 8956 8958 8958 0 -1 4202560 4053 0 0 0 53 0 0 0 15 0 19 0 948092763 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8974] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8974/stat : 8974 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8975] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8975/stat : 8975 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092763 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8976] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8976/stat : 8976 (java) S 8956 8958 8958 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 948092827 8743419904 44762 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8950/tid=8957] ppid=8948 vsize=307996 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (python) S 8948 8950 7156 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 948092759 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454958611456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 9144244
Solver just ended. Dumping a history of the last processes samples
[startup+8.60126 s]
/proc/loadavg: 2.21 2.12 1.92 3/943 8976
/proc/meminfo: memFree=17579784/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=307996 CPUtime=1.44 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 15761 929 1 0 134 10 0 0 20 0 2 0 948092555 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/8950/statm: 76999 10838 1870 364 0 11886 0
[pid=8956] ppid=8950 vsize=297752 CPUtime=0.02 cores=1,3,5,7
/proc/8956/stat : 8956 (python) S 8950 8950 7156 0 -1 4202560 962 0 0 0 1 1 0 0 15 0 1 0 948092758 304898048 9344 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284945935 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/8956/statm: 74438 9344 380 364 0 9325 0
[pid=8958] ppid=8956 vsize=8538496 CPUtime=7.65 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8956 8958 8958 0 -1 4202496 48672 0 1 0 757 8 0 0 20 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8958/statm: 2134624 44950 2256 9 0 2125365 0
[pid=8958/tid=8959] ppid=8956 vsize=8538496 CPUtime=6.31 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8956 8958 8958 0 -1 4202560 35294 0 1 0 625 6 0 0 25 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 46912505859333 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8958/tid=8960] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8956 8958 8958 0 -1 4202560 657 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8961] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8956 8958 8958 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/8958/task/8973/stat : 8973 (java) S 8956 8958 8958 0 -1 4202560 4053 0 0 0 53 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8974] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8974/stat : 8974 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8975] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8975/stat : 8975 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8976] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8976/stat : 8976 (java) S 8956 8958 8958 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 948092827 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8950/tid=8957] ppid=8948 vsize=307996 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (python) S 8948 8950 7156 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 948092759 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454958611456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 9144244
[startup+9.80106 s]
/proc/loadavg: 2.21 2.12 1.92 3/943 8976
/proc/meminfo: memFree=17579908/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=307996 CPUtime=1.44 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 15761 929 1 0 134 10 0 0 20 0 2 0 948092555 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/8950/statm: 76999 10838 1870 364 0 11886 0
[pid=8956] ppid=8950 vsize=297752 CPUtime=0.05 cores=1,3,5,7
/proc/8956/stat : 8956 (python) S 8950 8950 7156 0 -1 4202560 966 0 0 0 3 2 0 0 16 0 1 0 948092758 304898048 9344 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373736 0 0 17 7 0 0 0
/proc/8956/statm: 74438 9344 380 364 0 9325 0
[pid=8958] ppid=8956 vsize=8538496 CPUtime=8.86 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8956 8958 8958 0 -1 4202496 48673 0 1 0 878 8 0 0 20 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8958/statm: 2134624 44950 2256 9 0 2125365 0
[pid=8958/tid=8959] ppid=8956 vsize=8538496 CPUtime=7.48 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8956 8958 8958 0 -1 4202560 35295 0 1 0 742 6 0 0 25 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 46912505937504 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8958/tid=8960] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8956 8958 8958 0 -1 4202560 657 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8961] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8956 8958 8958 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8962] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8956 8958 8958 0 -1 4202560 348 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8963] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8956 8958 8958 0 -1 4202560 616 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8964] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8956 8958 8958 0 -1 4202560 72 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8965] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8956 8958 8958 0 -1 4202560 691 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8966] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8956 8958 8958 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8967] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8956 8958 8958 0 -1 4202560 342 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8968] ppid=8956 vsize=8538496 CPUtime=0.21 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8956 8958 8958 0 -1 4202560 2211 0 0 0 21 0 0 0 16 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 0 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8969] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8956 8958 8958 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8970] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8956 8958 8958 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8971] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296749489 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8972] ppid=8956 vsize=8538496 CPUtime=0.51 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8956 8958 8958 0 -1 4202560 2397 0 0 0 51 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8973] ppid=8956 vsize=8538496 CPUtime=0.53 cores=1,3,5,7
/proc/8958/task/8973/stat : 8973 (java) S 8956 8958 8958 0 -1 4202560 4053 0 0 0 53 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8974] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8974/stat : 8974 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8975] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8975/stat : 8975 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8976] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8976/stat : 8976 (java) S 8956 8958 8958 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 948092827 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8950/tid=8957] ppid=8948 vsize=307996 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (python) S 8948 8950 7156 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 948092759 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454958611456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.35
Current children cumulated vsize (KiB) 9144244
[startup+10.201 s]
/proc/loadavg: 2.19 2.11 1.92 3/943 8976
/proc/meminfo: memFree=17579916/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=307996 CPUtime=1.44 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 15761 929 1 0 134 10 0 0 20 0 2 0 948092555 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/8950/statm: 76999 10838 1870 364 0 11886 0
[pid=8956] ppid=8950 vsize=297752 CPUtime=0.05 cores=1,3,5,7
/proc/8956/stat : 8956 (python) S 8950 8950 7156 0 -1 4202560 966 0 0 0 3 2 0 0 16 0 1 0 948092758 304898048 9344 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373736 0 0 17 7 0 0 0
/proc/8956/statm: 74438 9344 380 364 0 9325 0
[pid=8958] ppid=8956 vsize=8538496 CPUtime=9.26 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8956 8958 8958 0 -1 4202496 48673 0 1 0 918 8 0 0 20 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8958/statm: 2134624 44950 2256 9 0 2125365 0
[pid=8958/tid=8959] ppid=8956 vsize=8538496 CPUtime=7.88 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8956 8958 8958 0 -1 4202560 35295 0 1 0 782 6 0 0 25 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 46912505859371 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8958/tid=8960] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8956 8958 8958 0 -1 4202560 657 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8961] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8956 8958 8958 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8962] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8956 8958 8958 0 -1 4202560 348 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8963] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8956 8958 8958 0 -1 4202560 616 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8964] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8956 8958 8958 0 -1 4202560 72 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8965] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8956 8958 8958 0 -1 4202560 691 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8966] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8956 8958 8958 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8967] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8956 8958 8958 0 -1 4202560 342 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8968] ppid=8956 vsize=8538496 CPUtime=0.21 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8956 8958 8958 0 -1 4202560 2211 0 0 0 21 0 0 0 16 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 0 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8969] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8956 8958 8958 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8970] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8956 8958 8958 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8971] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296749489 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8972] ppid=8956 vsize=8538496 CPUtime=0.51 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8956 8958 8958 0 -1 4202560 2397 0 0 0 51 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8973] ppid=8956 vsize=8538496 CPUtime=0.53 cores=1,3,5,7
/proc/8958/task/8973/stat : 8973 (java) S 8956 8958 8958 0 -1 4202560 4053 0 0 0 53 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8974] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8974/stat : 8974 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8975] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8975/stat : 8975 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8976] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8976/stat : 8976 (java) S 8956 8958 8958 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 948092827 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8950/tid=8957] ppid=8948 vsize=307996 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (python) S 8948 8950 7156 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 948092759 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454958611456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 9144244
[startup+10.301 s]
/proc/loadavg: 2.19 2.11 1.92 3/943 8976
/proc/meminfo: memFree=17579916/32951124 swapFree=33333036/67111528
[pid=8950] ppid=8948 vsize=307996 CPUtime=1.44 cores=1,3,5,7
/proc/8950/stat : 8950 (python) S 8948 8950 7156 0 -1 4202496 15761 929 1 0 134 10 0 0 20 0 2 0 948092555 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/8950/statm: 76999 10838 1870 364 0 11886 0
[pid=8956] ppid=8950 vsize=297752 CPUtime=0.05 cores=1,3,5,7
/proc/8956/stat : 8956 (python) S 8950 8950 7156 0 -1 4202560 966 0 0 0 3 2 0 0 16 0 1 0 948092758 304898048 9344 33554432000 4194304 5683644 140736700142640 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373736 0 0 17 7 0 0 0
/proc/8956/statm: 74438 9344 380 364 0 9325 0
[pid=8958] ppid=8956 vsize=8538496 CPUtime=9.36 cores=1,3,5,7
/proc/8958/stat : 8958 (java) S 8956 8958 8958 0 -1 4202496 48673 0 1 0 928 8 0 0 20 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8958/statm: 2134624 44950 2256 9 0 2125365 0
[pid=8958/tid=8959] ppid=8956 vsize=8538496 CPUtime=7.98 cores=1,3,5,7
/proc/8958/task/8959/stat : 8959 (java) R 8956 8958 8958 0 -1 4202560 35295 0 1 0 792 6 0 0 25 0 19 0 948092759 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 46912506058785 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8958/tid=8960] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8960/stat : 8960 (java) S 8956 8958 8958 0 -1 4202560 657 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8961] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8961/stat : 8961 (java) S 8956 8958 8958 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8962] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8962/stat : 8962 (java) S 8956 8958 8958 0 -1 4202560 348 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8963] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8963/stat : 8963 (java) S 8956 8958 8958 0 -1 4202560 616 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8964] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8964/stat : 8964 (java) S 8956 8958 8958 0 -1 4202560 72 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8965] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8965/stat : 8965 (java) S 8956 8958 8958 0 -1 4202560 691 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 3 0 0 0
[pid=8958/tid=8966] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8966/stat : 8966 (java) S 8956 8958 8958 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8967] ppid=8956 vsize=8538496 CPUtime=0.01 cores=1,3,5,7
/proc/8958/task/8967/stat : 8967 (java) S 8956 8958 8958 0 -1 4202560 342 0 0 0 1 0 0 0 15 0 19 0 948092760 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8968] ppid=8956 vsize=8538496 CPUtime=0.21 cores=1,3,5,7
/proc/8958/task/8968/stat : 8968 (java) S 8956 8958 8958 0 -1 4202560 2211 0 0 0 21 0 0 0 16 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 0 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8969] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8969/stat : 8969 (java) S 8956 8958 8958 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8970] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8970/stat : 8970 (java) S 8956 8958 8958 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 948092761 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8971] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8971/stat : 8971 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296749489 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8972] ppid=8956 vsize=8538496 CPUtime=0.51 cores=1,3,5,7
/proc/8958/task/8972/stat : 8972 (java) S 8956 8958 8958 0 -1 4202560 2397 0 0 0 51 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8973] ppid=8956 vsize=8538496 CPUtime=0.53 cores=1,3,5,7
/proc/8958/task/8973/stat : 8973 (java) S 8956 8958 8958 0 -1 4202560 4053 0 0 0 53 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 7 0 0 0
[pid=8958/tid=8974] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8974/stat : 8974 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296741785 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8958/tid=8975] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8975/stat : 8975 (java) S 8956 8958 8958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948092763 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 1 0 0 0
[pid=8958/tid=8976] ppid=8956 vsize=8538496 CPUtime=0 cores=1,3,5,7
/proc/8958/task/8976/stat : 8976 (java) S 8956 8958 8958 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 948092827 8743419904 44950 33554432000 1073741824 1073778376 140735798737024 18446744073709551615 224296742400 0 4 0 16800975 18446604457925401344 0 0 -1 5 0 0 0
[pid=8950/tid=8957] ppid=8948 vsize=307996 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (python) S 8948 8950 7156 0 -1 4202560 24 929 0 0 0 0 0 0 20 0 2 0 948092759 315387904 10838 33554432000 4194304 5683644 140736700142640 18446744073709551615 224296749489 0 0 16781312 33554434 18446604454958611456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.85
Current children cumulated vsize (KiB) 9144244
Child status: 0
Real time (s): 10.3744
CPU time (s): 10.9523
CPU user time (s): 10.7244
CPU system time (s): 0.227965
CPU usage (%): 105.571
Max. virtual memory (cumulated for all children) (KiB): 9144552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7244
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= 72673
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1781
involuntary context switches= 386
runsolver used 0.070989 second user time and 0.138978 second system time
The end