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-3481486-1307577893/watcher-3481486-1307577893 -o /tmp/evaluation-result-3481486-1307577893/solver-3481486-1307577893 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481486-1307577893.opb -seed 1474114962 -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.39 2.17 1.70 2/717 3784
/proc/meminfo: memFree=20077528/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=15764 CPUtime=0 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 844 0 0 0 0 0 0 0 17 0 1 0 869388082 16142336 727 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/3784/statm: 3941 727 334 364 0 428 0
[startup+0.0838761 s]
/proc/loadavg: 2.39 2.17 1.70 2/717 3784
/proc/meminfo: memFree=20077528/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=54508 CPUtime=0.06 cores=1,3,5,7
/proc/3784/stat : 3784 (python) R 3782 3784 2544 0 -1 4202496 2039 0 0 0 4 2 0 0 17 0 1 0 869388082 55816192 1798 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814239888 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3784/statm: 13627 1801 492 364 0 1277 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54508
[startup+0.100875 s]
/proc/loadavg: 2.39 2.17 1.70 2/717 3784
/proc/meminfo: memFree=20077528/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=87832 CPUtime=0.06 cores=1,3,5,7
/proc/3784/stat : 3784 (python) R 3782 3784 2544 0 -1 4202496 2689 0 0 0 4 2 0 0 17 0 1 0 869388082 89939968 2405 33554432000 4194304 5683644 140734697805344 18446744073709551615 4510807 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3784/statm: 21958 2405 733 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87832
[startup+0.300848 s]
/proc/loadavg: 2.39 2.17 1.70 2/717 3784
/proc/meminfo: memFree=20077528/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=123744 CPUtime=0.2 cores=1,3,5,7
/proc/3784/stat : 3784 (python) R 3782 3784 2544 0 -1 4202496 5359 931 1 0 11 9 0 0 17 0 1 0 869388082 126713856 3746 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814236165 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/3784/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123744
[startup+0.701722 s]
/proc/loadavg: 2.39 2.17 1.70 2/717 3784
/proc/meminfo: memFree=20077528/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=282800 CPUtime=0.47 cores=1,3,5,7
/proc/3784/stat : 3784 (python) R 3782 3784 2544 0 -1 4202496 9296 931 1 0 28 19 0 0 16 0 1 0 869388082 289587200 7026 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066832 0 0 16781312 2 1 0 0 17 5 0 0 0
/proc/3784/statm: 70700 7026 1777 364 0 5593 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 282800
[startup+1.50058 s]
/proc/loadavg: 2.39 2.17 1.70 3/718 3790
/proc/meminfo: memFree=20045024/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=290968 CPUtime=1.39 cores=1,3,5,7
/proc/3784/stat : 3784 (python) R 3782 3784 2544 0 -1 4202496 14475 1447 1 0 98 24 11 6 16 0 1 0 869388082 297951232 9132 33554432000 4194304 5683644 140734697805344 18446744073709551615 4870038 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/3784/statm: 75303 9133 1866 364 0 10190 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 290968
[startup+3.10031 s]
/proc/loadavg: 2.44 2.19 1.71 3/721 3793
/proc/meminfo: memFree=19949644/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=301212 CPUtime=1.39 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 14559 1447 1 0 98 24 11 6 18 0 2 0 869388082 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 75303 9142 1871 364 0 10190 0
[pid=3791] ppid=3784 vsize=290968 CPUtime=0 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 728 0 0 0 0 0 0 0 15 0 1 0 869388232 297951232 7585 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814260239 0 0 16781312 33554946 260595134935072768 0 0 17 5 0 0 0
/proc/3791/statm: 72742 7585 318 364 0 7629 0
[pid=3793] ppid=3791 vsize=187932 CPUtime=1.59 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) R 3791 3793 3793 0 -1 4202496 46323 0 0 0 137 22 0 0 24 0 1 0 869388232 192442368 44226 33554432000 4194304 13684479 140737028093536 18446744073709551615 6427726 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/3793/statm: 46983 44226 755 2317 0 44661 0
[pid=3784/tid=3792] ppid=3782 vsize=301212 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3792/stat : 3792 (python) S 3782 3784 2544 0 -1 4202560 27 1447 0 0 0 0 11 6 18 0 2 0 869388232 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 780112
[startup+6.30083 s]
/proc/loadavg: 2.44 2.19 1.71 3/721 3793
/proc/meminfo: memFree=19866432/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=301212 CPUtime=1.39 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 14559 1447 1 0 98 24 11 6 18 0 2 0 869388082 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 75303 9142 1871 364 0 10190 0
[pid=3791] ppid=3784 vsize=290968 CPUtime=0.01 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 869388232 297951232 7609 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814260239 0 0 16781312 33554946 1083644485281251328 0 0 17 5 0 0 0
/proc/3791/statm: 72742 7609 342 364 0 7629 0
[pid=3793] ppid=3791 vsize=187932 CPUtime=4.78 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) R 3791 3793 3793 0 -1 4202496 46792 0 0 0 422 56 0 0 25 0 1 0 869388232 192442368 44537 33554432000 4194304 13684479 140737028093536 18446744073709551615 6457238 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3793/statm: 46983 44537 788 2317 0 44661 0
[pid=3784/tid=3792] ppid=3782 vsize=301212 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3792/stat : 3792 (python) S 3782 3784 2544 0 -1 4202560 27 1447 0 0 0 0 11 6 18 0 2 0 869388232 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 780112
[startup+12.7007 s]
/proc/loadavg: 2.37 2.18 1.71 3/721 3866
/proc/meminfo: memFree=19863536/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=301212 CPUtime=1.39 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 14559 1447 1 0 98 24 11 6 18 0 2 0 869388082 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 75303 9142 1871 364 0 10190 0
[pid=3791] ppid=3784 vsize=290968 CPUtime=0.04 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 883 0 0 0 2 2 0 0 15 0 1 0 869388232 297951232 7609 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814260239 0 0 16781312 33554946 4189063530013523968 0 0 17 5 0 0 0
/proc/3791/statm: 72742 7609 342 364 0 7629 0
[pid=3793] ppid=3791 vsize=200328 CPUtime=11.18 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) R 3791 3793 3793 0 -1 4202496 49724 0 0 0 1053 65 0 0 25 0 1 0 869388232 205135872 47454 33554432000 4194304 13684479 140737028093536 18446744073709551615 7416017 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3793/statm: 50082 47454 774 2317 0 47760 0
[pid=3784/tid=3792] ppid=3782 vsize=301212 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3792/stat : 3792 (python) S 3782 3784 2544 0 -1 4202560 27 1447 0 0 0 0 11 6 18 0 2 0 869388232 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 792508
[startup+25.5005 s]
/proc/loadavg: 2.32 2.17 1.71 3/721 3866
/proc/meminfo: memFree=19853184/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=301212 CPUtime=1.39 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 14559 1447 1 0 98 24 11 6 18 0 2 0 869388082 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 75303 9142 1871 364 0 10190 0
[pid=3791] ppid=3784 vsize=290968 CPUtime=0.12 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 887 0 0 0 6 6 0 0 15 0 1 0 869388232 297951232 7609 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373679 0 0 17 7 0 0 0
/proc/3791/statm: 72742 7609 342 364 0 7629 0
[pid=3793] ppid=3791 vsize=200328 CPUtime=23.96 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) R 3791 3793 3793 0 -1 4202496 67121 0 0 0 2315 81 0 0 25 0 1 0 869388232 205135872 47645 33554432000 4194304 13684479 140737028093536 18446744073709551615 5325453 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3793/statm: 50082 47645 805 2317 0 47760 0
[pid=3784/tid=3792] ppid=3782 vsize=301212 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3792/stat : 3792 (python) S 3782 3784 2544 0 -1 4202560 27 1447 0 0 0 0 11 6 18 0 2 0 869388232 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 792508
[startup+51.1013 s]
/proc/loadavg: 2.21 2.16 1.72 3/721 3903
/proc/meminfo: memFree=19717060/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=301212 CPUtime=1.39 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 14559 1447 1 0 98 24 11 6 18 0 2 0 869388082 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 75303 9142 1871 364 0 10190 0
[pid=3791] ppid=3784 vsize=290968 CPUtime=0.24 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 896 0 0 0 13 11 0 0 15 0 1 0 869388232 297951232 7609 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373679 0 0 17 7 0 0 0
/proc/3791/statm: 72742 7609 342 364 0 7629 0
[pid=3793] ppid=3791 vsize=200960 CPUtime=49.56 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) R 3791 3793 3793 0 -1 4202496 67282 0 0 0 4859 97 0 0 25 0 1 0 869388232 205783040 47806 33554432000 4194304 13684479 140737028093536 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3793/statm: 50240 47806 809 2317 0 47918 0
[pid=3784/tid=3792] ppid=3782 vsize=301212 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3792/stat : 3792 (python) S 3782 3784 2544 0 -1 4202560 27 1447 0 0 0 0 11 6 18 0 2 0 869388232 308441088 9142 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 793140
[startup+102.301 s]
/proc/loadavg: 2.08 2.13 1.73 3/729 3912
/proc/meminfo: memFree=19318220/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=311468 CPUtime=1.41 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 15444 1447 1 0 100 24 11 6 20 0 3 0 869388082 318943232 9149 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 77867 9149 1874 364 0 12751 0
[pid=3791] ppid=3784 vsize=301212 CPUtime=0.27 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 1100 0 0 0 14 13 0 0 16 0 2 0 869388232 308441088 7677 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3791/statm: 75303 7677 405 364 0 10190 0
[pid=3793] ppid=3791 vsize=200960 CPUtime=50.6 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) T 3791 3793 3793 0 -1 4202496 67285 0 0 0 4962 98 0 0 25 0 1 0 869388232 205783040 47809 33554432000 4194304 13684479 140737028093536 18446744073709551615 7268033 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3793/statm: 50240 47809 809 2317 0 47918 0
[pid=3791/tid=3904] ppid=3784 vsize=301212 CPUtime=0 cores=1,3,5,7
/proc/3791/task/3904/stat : 3904 (python) S 3784 3784 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869393296 308441088 7677 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554946 18446604463652189184 0 0 -1 7 0 0 0
[pid=3905] ppid=3784 vsize=301224 CPUtime=0.24 cores=1,3,5,7
/proc/3905/stat : 3905 (python) S 3784 3784 2544 0 -1 4202560 924 0 0 0 11 13 0 0 15 0 1 0 869393299 308453376 7614 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814260294 0 0 16781312 33554946 5623753486446373679 0 0 17 7 0 0 0
/proc/3905/statm: 75306 7614 343 364 0 10190 0
[pid=3907] ppid=3905 vsize=205604 CPUtime=50.12 cores=1,3,5,7
/proc/3907/stat : 3907 (scip-2.0.1.linu) R 3905 3907 3907 0 -1 4202496 76683 0 0 0 4931 81 0 0 25 0 1 0 869393299 210538496 48138 33554432000 4194304 15243407 140735520414416 18446744073709551615 5325157 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3907/statm: 51401 48138 934 2698 0 48696 0
[pid=3784/tid=3792] ppid=3782 vsize=311468 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3792/stat : 3792 (python) S 3782 3784 2544 0 -1 4202560 27 1447 0 0 0 0 11 6 18 0 3 0 869388232 318943232 9149 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
[pid=3784/tid=3906] ppid=3782 vsize=311468 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3906/stat : 3906 (python) S 3782 3784 2544 0 -1 4202560 29 1447 0 0 0 0 11 6 20 0 3 0 869393299 318943232 9149 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.64
Current children cumulated vsize (KiB) 1320468
[startup+162.302 s]
/proc/loadavg: 2.10 2.12 1.75 3/759 3944
/proc/meminfo: memFree=18030040/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=331980 CPUtime=1.47 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 17342 1447 1 0 105 25 11 6 20 0 5 0 869388082 339947520 9161 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 82995 9161 1878 364 0 17873 0
[pid=3791] ppid=3784 vsize=301212 CPUtime=0.27 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 1100 0 0 0 14 13 0 0 16 0 2 0 869388232 308441088 7677 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3791/statm: 75303 7677 405 364 0 10190 0
[pid=3793] ppid=3791 vsize=200960 CPUtime=50.6 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) T 3791 3793 3793 0 -1 4202496 67285 0 0 0 4962 98 0 0 25 0 1 0 869388232 205783040 47809 33554432000 4194304 13684479 140737028093536 18446744073709551615 7268033 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3793/statm: 50240 47809 809 2317 0 47918 0
[pid=3791/tid=3904] ppid=3784 vsize=301212 CPUtime=0 cores=1,3,5,7
/proc/3791/task/3904/stat : 3904 (python) S 3784 3784 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869393296 308441088 7677 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554946 18446604463652189184 0 0 -1 7 0 0 0
[pid=3905] ppid=3784 vsize=301224 CPUtime=0.27 cores=1,3,5,7
################
# More data... #
################
[pid=3784/tid=3915] ppid=3782 vsize=342236 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3915/stat : 3915 (python) S 3782 3784 2544 0 -1 4202560 31 1447 0 0 0 0 11 6 20 0 6 0 869398402 350449664 9167 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
[pid=3784/tid=3924] ppid=3782 vsize=342236 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3924/stat : 3924 (python) S 3782 3784 2544 0 -1 4202560 28 1447 0 0 0 0 11 6 20 0 6 0 869403037 350449664 9167 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 7 0 0 0
[pid=3784/tid=3970] ppid=3782 vsize=342236 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3970/stat : 3970 (python) S 3782 3784 2544 0 -1 4202560 32 1447 0 0 0 0 11 6 20 0 6 0 869407740 350449664 9167 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 346.2
Current children cumulated vsize (KiB) 11048532
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+380.802 s]
/proc/loadavg: 2.10 2.12 1.82 5/812 4002
/proc/meminfo: memFree=14600248/32950928 swapFree=41528364/67111528
[pid=3784] ppid=3782 vsize=352492 CPUtime=1.56 cores=1,3,5,7
/proc/3784/stat : 3784 (python) S 3782 3784 2544 0 -1 4202496 19272 1447 1 0 114 25 11 6 19 0 7 0 869388082 360951808 9173 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3784/statm: 88123 9173 1882 364 0 22995 0
[pid=3791] ppid=3784 vsize=301212 CPUtime=0.52 cores=1,3,5,7
/proc/3791/stat : 3791 (python) S 3784 3784 2544 0 -1 4202560 1131 0 0 0 25 27 0 0 15 0 2 0 869388232 308441088 7678 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3791/statm: 75303 7678 406 364 0 10190 0
[pid=3793] ppid=3791 vsize=210812 CPUtime=95.84 cores=1,3,5,7
/proc/3793/stat : 3793 (scip-2.0.1.linu) T 3791 3793 3793 0 -1 4202496 69827 0 0 0 9461 123 0 0 25 0 1 0 869388232 215871488 50254 33554432000 4194304 13684479 140737028093536 18446744073709551615 4520029 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3793/statm: 52703 50254 809 2317 0 50381 0
[pid=3791/tid=3904] ppid=3784 vsize=301212 CPUtime=0 cores=1,3,5,7
/proc/3791/task/3904/stat : 3904 (python) S 3784 3784 2544 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869393296 308441088 7678 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554946 18446604463652189184 0 0 -1 7 0 0 0
[pid=3905] ppid=3784 vsize=301224 CPUtime=0.52 cores=1,3,5,7
/proc/3905/stat : 3905 (python) S 3784 3784 2544 0 -1 4202560 1213 0 0 0 25 27 0 0 15 0 2 0 869393299 308453376 7668 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3905/statm: 75306 7668 396 364 0 10190 0
[pid=3907] ppid=3905 vsize=215224 CPUtime=96.24 cores=1,3,5,7
/proc/3907/stat : 3907 (scip-2.0.1.linu) T 3905 3907 3907 0 -1 4202496 79859 0 0 0 9532 92 0 0 25 0 1 0 869393299 220389376 49261 33554432000 4194304 15243407 140735520414416 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3907/statm: 53806 49261 934 2698 0 51101 0
[pid=3905/tid=3913] ppid=3784 vsize=301224 CPUtime=0 cores=1,3,5,7
/proc/3905/task/3913/stat : 3913 (python) S 3784 3784 2544 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869398399 308453376 7668 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554946 18446604463605077888 0 0 -1 7 0 0 0
[pid=3914] ppid=3784 vsize=311480 CPUtime=0.24 cores=1,3,5,7
/proc/3914/stat : 3914 (python) S 3784 3784 2544 0 -1 4202560 1199 0 0 0 12 12 0 0 16 0 2 0 869398402 318955520 7672 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3914/statm: 77870 7672 396 364 0 12751 0
[pid=3916] ppid=3914 vsize=91600 CPUtime=46.31 cores=1,3,5,7
/proc/3916/stat : 3916 (wbo1.4a) T 3914 3916 3916 0 -1 4202496 23444 0 0 0 4610 21 0 0 25 0 1 0 869398402 93798400 22386 33554432000 134512640 135751879 4290405904 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3916/statm: 22900 22386 146 303 0 22595 0
[pid=3914/tid=3922] ppid=3784 vsize=311480 CPUtime=0 cores=1,3,5,7
/proc/3914/task/3922/stat : 3922 (python) S 3784 3784 2544 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869403034 318955520 7672 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554946 18446604463652188288 0 0 -1 7 0 0 0
[pid=3923] ppid=3784 vsize=321736 CPUtime=0.25 cores=1,3,5,7
/proc/3923/stat : 3923 (python) S 3784 3784 2544 0 -1 4202560 1152 0 0 0 12 13 0 0 17 0 2 0 869403037 329457664 7670 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3923/statm: 80434 7670 390 364 0 15312 0
[pid=3925] ppid=3923 vsize=8617212 CPUtime=49.47 cores=1,3,5,7
/proc/3925/stat : 3925 (java) T 3923 3925 3925 0 -1 4202496 566850 0 1 0 4889 58 0 0 15 0 19 0 869403037 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3925/statm: 2154303 555222 2251 9 0 2145044 0
[pid=3925/tid=3926] ppid=3923 vsize=8617212 CPUtime=46.64 cores=1,3,5,7
/proc/3925/task/3926/stat : 3926 (java) T 3923 3925 3925 0 -1 4202560 486212 0 1 0 4617 47 0 0 25 0 19 0 869403038 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 46912506147939 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 4
[pid=3925/tid=3927] ppid=3923 vsize=8617212 CPUtime=0.13 cores=1,3,5,7
/proc/3925/task/3927/stat : 3927 (java) T 3923 3925 3925 0 -1 4202560 11828 0 0 0 12 1 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3925/tid=3928] ppid=3923 vsize=8617212 CPUtime=0.11 cores=1,3,5,7
/proc/3925/task/3928/stat : 3928 (java) T 3923 3925 3925 0 -1 4202560 9540 0 0 0 10 1 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3925/tid=3929] ppid=3923 vsize=8617212 CPUtime=0.09 cores=1,3,5,7
/proc/3925/task/3929/stat : 3929 (java) T 3923 3925 3925 0 -1 4202560 8223 0 0 0 9 0 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3925/tid=3930] ppid=3923 vsize=8617212 CPUtime=0.1 cores=1,3,5,7
/proc/3925/task/3930/stat : 3930 (java) T 3923 3925 3925 0 -1 4202560 8904 0 0 0 10 0 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3925/tid=3931] ppid=3923 vsize=8617212 CPUtime=0.06 cores=1,3,5,7
/proc/3925/task/3931/stat : 3931 (java) T 3923 3925 3925 0 -1 4202560 5085 0 0 0 6 0 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3925/tid=3932] ppid=3923 vsize=8617212 CPUtime=0.06 cores=1,3,5,7
/proc/3925/task/3932/stat : 3932 (java) T 3923 3925 3925 0 -1 4202560 5980 0 0 0 6 0 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3925/tid=3933] ppid=3923 vsize=8617212 CPUtime=0.09 cores=1,3,5,7
/proc/3925/task/3933/stat : 3933 (java) T 3923 3925 3925 0 -1 4202560 7629 0 0 0 8 1 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3925/tid=3934] ppid=3923 vsize=8617212 CPUtime=0.11 cores=1,3,5,7
/proc/3925/task/3934/stat : 3934 (java) T 3923 3925 3925 0 -1 4202560 9596 0 0 0 10 1 0 0 15 0 19 0 869403039 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3925/tid=3935] ppid=3923 vsize=8617212 CPUtime=0 cores=1,3,5,7
/proc/3925/task/3935/stat : 3935 (java) T 3923 3925 3925 0 -1 4202560 1269 0 0 0 0 0 0 0 15 0 19 0 869403040 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3925/tid=3936] ppid=3923 vsize=8617212 CPUtime=0 cores=1,3,5,7
/proc/3925/task/3936/stat : 3936 (java) T 3923 3925 3925 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869403040 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3925/tid=3937] ppid=3923 vsize=8617212 CPUtime=0 cores=1,3,5,7
/proc/3925/task/3937/stat : 3937 (java) T 3923 3925 3925 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869403040 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3925/tid=3938] ppid=3923 vsize=8617212 CPUtime=0 cores=1,3,5,7
/proc/3925/task/3938/stat : 3938 (java) T 3923 3925 3925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869403042 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3925/tid=3939] ppid=3923 vsize=8617212 CPUtime=0.87 cores=1,3,5,7
/proc/3925/task/3939/stat : 3939 (java) T 3923 3925 3925 0 -1 4202560 4925 0 0 0 87 0 0 0 15 0 19 0 869403042 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3925/tid=3940] ppid=3923 vsize=8617212 CPUtime=1.06 cores=1,3,5,7
/proc/3925/task/3940/stat : 3940 (java) T 3923 3925 3925 0 -1 4202560 6257 0 0 0 106 0 0 0 15 0 19 0 869403042 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3925/tid=3941] ppid=3923 vsize=8617212 CPUtime=0 cores=1,3,5,7
/proc/3925/task/3941/stat : 3941 (java) T 3923 3925 3925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869403042 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3925/tid=3942] ppid=3923 vsize=8617212 CPUtime=0 cores=1,3,5,7
/proc/3925/task/3942/stat : 3942 (java) T 3923 3925 3925 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869403042 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3925/tid=3943] ppid=3923 vsize=8617212 CPUtime=0 cores=1,3,5,7
/proc/3925/task/3943/stat : 3943 (java) T 3923 3925 3925 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869403109 8824025088 555222 33554432000 1073741824 1073778376 140735095682016 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3923/tid=3968] ppid=3784 vsize=321736 CPUtime=0 cores=1,3,5,7
/proc/3923/task/3968/stat : 3968 (python) S 3784 3784 2544 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869407737 329457664 7670 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554946 18446604465186244736 0 0 -1 5 0 0 0
[pid=3969] ppid=3784 vsize=331992 CPUtime=0.46 cores=1,3,5,7
/proc/3969/stat : 3969 (python) S 3784 3784 2544 0 -1 4202560 1189 0 0 0 22 24 0 0 17 0 2 0 869407739 339959808 7674 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3969/statm: 82998 7674 390 364 0 17873 0
[pid=3971] ppid=3969 vsize=14136 CPUtime=92.7 cores=1,3,5,7
/proc/3971/stat : 3971 (clasp-1.3.7-x86) T 3969 3971 3971 0 -1 4202496 3801 0 0 0 9270 0 0 0 25 0 1 0 869407740 14475264 3280 33554432000 134512640 136139019 4288664576 18446744073709551615 134608352 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/3971/statm: 3534 3280 187 398 0 3134 0
[pid=3969/tid=3978] ppid=3784 vsize=331992 CPUtime=0 cores=1,3,5,7
/proc/3969/task/3978/stat : 3978 (python) S 3784 3784 2544 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869417028 339959808 7674 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554946 18446604457688567936 0 0 -1 3 0 0 0
[pid=3982] ppid=3784 vsize=342248 CPUtime=0 cores=1,3,5,7
/proc/3982/stat : 3982 (python) S 3784 3784 2544 0 -1 4202560 808 0 0 0 0 0 0 0 15 0 1 0 869426084 350461952 7606 33554432000 4194304 5683644 140734697805344 18446744073709551615 251814260294 0 0 16781312 33554946 695928776629944320 0 0 17 5 0 0 0
/proc/3982/statm: 85562 7606 319 364 0 20434 0
[pid=3984] ppid=3982 vsize=8609312 CPUtime=1.92 cores=1,3,5,7
/proc/3984/stat : 3984 (java) S 3982 3984 3984 0 -1 4202496 25519 0 1 0 188 4 0 0 17 0 19 0 869426085 8815935488 22413 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3984/statm: 2152328 22414 2230 9 0 2143069 0
[pid=3984/tid=3985] ppid=3982 vsize=8609312 CPUtime=0.78 cores=1,3,5,7
/proc/3984/task/3985/stat : 3985 (java) R 3982 3984 3984 0 -1 4202560 14773 0 1 0 76 2 0 0 25 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 46912505905487 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3984/tid=3986] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3986/stat : 3986 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 1 0 0 0
[pid=3984/tid=3987] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3987/stat : 3987 (java) S 3982 3984 3984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 3 0 0 0
[pid=3984/tid=3988] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3988/stat : 3988 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 3 0 0 0
[pid=3984/tid=3989] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3989/stat : 3989 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 3 0 0 0
[pid=3984/tid=3990] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3990/stat : 3990 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 3 0 0 0
[pid=3984/tid=3991] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3991/stat : 3991 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 3 0 0 0
[pid=3984/tid=3992] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3992/stat : 3992 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 3 0 0 0
[pid=3984/tid=3993] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3993/stat : 3993 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869426086 8815935488 22625 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 1 0 0 0
[pid=3984/tid=3994] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3994/stat : 3994 (java) S 3982 3984 3984 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869426087 8815935488 22626 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056704 0 0 0 16800975 18446604462344141696 0 0 -1 3 0 0 0
[pid=3984/tid=3995] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3995/stat : 3995 (java) S 3982 3984 3984 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869426088 8815935488 22626 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 1 0 0 0
[pid=3984/tid=3996] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3996/stat : 3996 (java) S 3982 3984 3984 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869426088 8815935488 22626 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 1 0 0 0
[pid=3984/tid=3997] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/3997/stat : 3997 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869426090 8815935488 22626 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826063793 0 4 0 16800975 18446604462344141696 0 0 -1 1 0 0 0
[pid=3984/tid=3998] ppid=3982 vsize=8609312 CPUtime=0.56 cores=1,3,5,7
/proc/3984/task/3998/stat : 3998 (java) R 3982 3984 3984 0 -1 4202560 3915 0 0 0 56 0 0 0 18 0 19 0 869426090 8815935488 22626 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 47008880901576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3984/tid=3999] ppid=3982 vsize=8609312 CPUtime=0.57 cores=1,3,5,7
/proc/3984/task/3999/stat : 3999 (java) R 3982 3984 3984 0 -1 4202560 5642 0 0 0 57 0 0 0 18 0 19 0 869426090 8815935488 22627 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 47008884668560 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3984/tid=4000] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/4000/stat : 4000 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869426090 8815935488 22628 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056089 0 4 0 16800975 18446604462344141696 0 0 -1 1 0 0 0
[pid=3984/tid=4001] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/4001/stat : 4001 (java) S 3982 3984 3984 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869426090 8815935488 22628 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056704 0 4 0 16800975 18446604462344141696 0 0 -1 5 0 0 0
[pid=3984/tid=4002] ppid=3982 vsize=8609312 CPUtime=0 cores=1,3,5,7
/proc/3984/task/4002/stat : 4002 (java) S 3982 3984 3984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869426150 8815935488 22628 33554432000 1073741824 1073778376 140736385896656 18446744073709551615 251826056704 0 4 0 16800975 18446604462344141696 0 0 -1 7 0 0 0
[pid=3784/tid=3792] ppid=3782 vsize=352492 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3792/stat : 3792 (python) S 3782 3784 2544 0 -1 4202560 33 1447 0 0 0 0 11 6 18 0 7 0 869388232 360951808 9173 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
[pid=3784/tid=3906] ppid=3782 vsize=352492 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3906/stat : 3906 (python) S 3782 3784 2544 0 -1 4202560 33 1447 0 0 0 0 11 6 18 0 7 0 869393299 360951808 9173 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
[pid=3784/tid=3915] ppid=3782 vsize=352492 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3915/stat : 3915 (python) S 3782 3784 2544 0 -1 4202560 31 1447 0 0 0 0 11 6 20 0 7 0 869398402 360951808 9173 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
[pid=3784/tid=3924] ppid=3782 vsize=352492 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3924/stat : 3924 (python) S 3782 3784 2544 0 -1 4202560 28 1447 0 0 0 0 11 6 20 0 7 0 869403037 360951808 9173 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 7 0 0 0
[pid=3784/tid=3970] ppid=3782 vsize=352492 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3970/stat : 3970 (python) S 3782 3784 2544 0 -1 4202560 32 1447 0 0 0 0 11 6 20 0 7 0 869407740 360951808 9173 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 7 0 0 0
[pid=3784/tid=3983] ppid=3782 vsize=352492 CPUtime=0.17 cores=1,3,5,7
/proc/3784/task/3983/stat : 3983 (python) S 3782 3784 2544 0 -1 4202560 30 1447 0 0 0 0 11 6 20 0 7 0 869426084 360951808 9173 33554432000 4194304 5683644 140734697805344 18446744073709551615 251826063793 0 0 16781312 33554434 18446604457688569728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 386.03
Current children cumulated vsize (KiB) 20020680
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 3784 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=267807
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=321951
# CPU time returned by wait4() is 1.58976
# while last known CPU time is 386.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 380.897
CPU time (s): 386.03
CPU user time (s): 381.71
CPU system time (s): 4.32
CPU usage (%): 101.348
Max. virtual memory (cumulated for all children) (KiB): 20020680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26781
system time used= 0.321951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20723
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= 15834
involuntary context switches= 28
runsolver used 2.97755 second user time and 6.92295 second system time
The end