runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5282 MiB free)
memory of node 1: 16384 MiB (13922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263389-1502621700/watcher-4263389-1502621700 -o /tmp/evaluation-result-4263389-1502621700/solver-4263389-1502621700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3502 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263389-1502621700.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3633, runsolver pid=3630
Current StackSize limit: 8192 KiB
[startup+0.102545 s]*
/proc/loadavg: 5.94 3.70 2.62 7/216 3648
/proc/meminfo: memFree=19644396/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555400 memory=31568 CPUtime=0.13 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 6516 0 0 0 12 1 0 0 20 0 15 0 95250965 10808729600 7892 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2638850 7892 2791 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555400 memory=-8392279203870766272 CPUtime=0.09 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 3242 0 -1 4202560 4357 0 0 0 8 1 0 0 20 0 15 0 95250965 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053635074704 140053614933342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10555400 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10555400 memory=140305141933696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10555400 memory=140305141933696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95250967 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95250968 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95250968 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95250970 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 3242 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 95250970 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053186386672 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 3242 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 95250970 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053185334128 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10555400 memory=140305141933696 CPUtime=0.02 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 3242 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 95250970 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053184281072 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95250971 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10555400 memory=140305141933696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250971 10808729600 7892 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31568 KiB
[startup+0.210593 s]*
/proc/loadavg: 5.94 3.70 2.62 6/216 3648
/proc/meminfo: memFree=19637820/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555400 memory=39068 CPUtime=0.29 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 7507 0 0 0 27 2 0 0 20 0 15 0 95250965 10808729600 9767 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2638850 9767 2910 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 3242 0 -1 4202560 5110 0 0 0 19 1 0 0 20 0 15 0 95250965 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053635085056 140053263236432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10555400 memory=342 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10555400 memory=140305141938408 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95250966 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10555400 memory=140305141933696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95250967 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95250968 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95250968 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95250970 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 3242 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 15 0 95250970 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053186386672 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 3242 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 95250970 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053185334128 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10555400 memory=140305141933696 CPUtime=0.05 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 3242 0 -1 1077944384 432 0 0 0 5 0 0 0 20 0 15 0 95250970 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053184281072 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95250971 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10555400 memory=140305141933696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250971 10808729600 9767 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39068 KiB
[startup+0.313088 s]*
/proc/loadavg: 5.94 3.70 2.62 9/216 3648
/proc/meminfo: memFree=19629384/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10555476 memory=47972 CPUtime=0.51 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 8828 0 0 0 48 3 0 0 20 0 15 0 95250965 10808807424 11993 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2638869 11993 3033 1 0 2627263 0
[pid=3633/tid=3635] ppid=3630 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 3242 0 -1 4202560 5620 0 0 0 28 2 0 0 20 0 15 0 95250965 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053635074896 140053263301237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10555476 memory=290763879498383383 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10555476 memory=13994371567920792 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250966 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95250966 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10555476 memory=140305141933696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95250967 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95250968 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95250968 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95250970 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) R 3630 3633 3242 0 -1 1077944384 630 0 0 0 4 0 0 0 20 0 15 0 95250970 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053186386672 140053630864002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10555476 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) R 3630 3633 3242 0 -1 4202560 512 0 0 0 3 0 0 0 20 0 15 0 95250970 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053185334128 140053614749508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10555476 memory=140305141933696 CPUtime=0.12 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) R 3630 3633 3242 0 -1 4202560 714 0 0 0 12 0 0 0 20 0 15 0 95250970 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053184281072 140053609810605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95250971 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10555476 memory=140305141933696 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95250971 10808807424 11993 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 47972 KiB
[startup+0.700807 s]
/proc/loadavg: 5.94 3.70 2.62 8/217 3649
/proc/meminfo: memFree=19606120/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10622040 memory=74112 CPUtime=1.7 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 11212 0 0 0 167 3 0 0 20 0 16 0 95250965 10876968960 18528 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2655510 18528 3083 1 0 2643904 0
[pid=3633/tid=3635] ppid=3630 vsize=10622040 memory=2408 CPUtime=0.68 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 3242 0 -1 4202560 5670 0 0 0 66 2 0 0 20 0 16 0 95250965 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053635089296 140053263448768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10622040 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10622040 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10622040 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10622040 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10622040 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 95250967 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10622040 memory=7302135314614015841 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10622040 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10622040 memory=6148935659200796009 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250970 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10622040 memory=-8412654363917126771 CPUtime=0.39 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) R 3630 3633 3242 0 -1 4202560 1425 0 0 0 39 0 0 0 20 0 16 0 95250970 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053186374304 140053616018515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10622040 memory=3054156605268583796 CPUtime=0.41 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) R 3630 3633 3242 0 -1 4202560 1669 0 0 0 41 0 0 0 20 0 16 0 95250970 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053185321120 140053608217608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10622040 memory=6944656592455360569 CPUtime=0.2 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 3242 0 -1 1077944384 1057 0 0 0 20 0 0 0 20 0 16 0 95250970 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053184281072 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3649] ppid=3630 vsize=10622040 memory=33 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3649/stat : 3649 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95251005 10876968960 18528 33554432000 4194304 4196468 140734189913616 140053181121584 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 74112 KiB
[startup+1.5008 s]
/proc/loadavg: 5.95 3.74 2.64 6/217 3649
/proc/meminfo: memFree=19600520/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10622040 memory=80688 CPUtime=2.78 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 13570 0 0 0 274 4 0 0 20 0 16 0 95250965 10876968960 20172 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2655510 20172 3089 1 0 2643904 0
[pid=3633/tid=3635] ppid=3630 vsize=10622040 memory=6737 CPUtime=1.48 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 3242 0 -1 4202560 5711 0 0 0 146 2 0 0 20 0 16 0 95250965 10876968960 20172 33554432000 4194304 4196468 140734189913616 140053635088880 140053609479233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10622040 memory=13850789333081959 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 20172 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 20172 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 20172 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 20172 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
################
# More data... #
################
[pid=3633/tid=3636] ppid=3630 vsize=10622040 memory=87888 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10622040 memory=85840 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10622040 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10622040 memory=-2026666227646606628 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 95250967 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10622040 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10622040 memory=960 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10622040 memory=7014751519616881252 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10622040 memory=7523095310392257904 CPUtime=0.63 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 3242 0 -1 1077944384 2518 0 0 0 63 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053186386672 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10622040 memory=280610077947624 CPUtime=0.7 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 3242 0 -1 1077944384 3686 0 0 0 70 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053185334128 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10622040 memory=7662990671693572453 CPUtime=0.24 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 3242 0 -1 1077944384 1363 0 0 0 24 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053184281072 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10622040 memory=7662990671693572453 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10622040 memory=7662990671693572453 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3649] ppid=3630 vsize=10622040 memory=7884211307445448041 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3649/stat : 3649 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95251005 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053181121584 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 4.69 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 92008 KiB
[startup+4.0483 s]
# the end of solver process 3633 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.63028 s, system=0.050288 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.202 s]
/proc/loadavg: 5.95 3.74 2.64 6/217 3649
/proc/meminfo: memFree=19586896/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10622040 memory=92008 CPUtime=4.79 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 15085 0 0 0 475 4 0 0 20 0 16 0 95250965 10876968960 23002 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2655510 23002 3096 1 0 2643904 0
[pid=3633/tid=3635] ppid=3630 vsize=10622040 memory=27968 CPUtime=3.18 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 3242 0 -1 4202560 6064 0 0 0 316 2 0 0 20 0 16 0 95250965 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053635091496 140053616120407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10622040 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10622040 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10622040 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10622040 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10622040 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 95250967 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10622040 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10622040 memory=17828 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10622040 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10622040 memory=15872 CPUtime=0.63 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) R 3630 3633 3242 0 -1 4202560 2518 0 0 0 63 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053186386672 140053615246204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10622040 memory=18476 CPUtime=0.71 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 3242 0 -1 1077944384 3688 0 0 0 71 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053185334128 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10622040 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 3242 0 -1 1077944384 1363 0 0 0 24 0 0 0 20 0 16 0 95250970 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053184281072 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10622040 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3649] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3649/stat : 3649 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95251005 10876968960 23002 33554432000 4194304 4196468 140734189913616 140053181121584 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 92008 KiB
[startup+3.60072 s]
/proc/loadavg: 5.95 3.74 2.64 6/217 3649
/proc/meminfo: memFree=19586896/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10622040 memory=94596 CPUtime=5.38 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 15392 0 0 0 534 4 0 0 20 0 16 0 95250965 10876968960 23649 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2655510 23649 3096 1 0 2643904 0
[pid=3633/tid=3635] ppid=3630 vsize=10622040 memory=0 CPUtime=3.57 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) R 3630 3633 3242 0 -1 4202560 6077 0 0 0 355 2 0 0 20 0 16 0 95250965 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053635091496 140053266258707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10622040 memory=7884211303150544994 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10622040 memory=7309167735419596644 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10622040 memory=7668059437174842198 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95250966 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10622040 memory=1 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 95250967 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10622040 memory=140305039032556 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10622040 memory=280610078066864 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95250968 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250970 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10622040 memory=2241 CPUtime=0.81 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 3242 0 -1 1077944384 2800 0 0 0 81 0 0 0 20 0 16 0 95250970 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053186386672 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10622040 memory=2244 CPUtime=0.72 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 3242 0 -1 1077944384 3700 0 0 0 72 0 0 0 20 0 16 0 95250970 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053185334128 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10622040 memory=25180 CPUtime=0.24 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 3242 0 -1 1077944384 1363 0 0 0 24 0 0 0 20 0 16 0 95250970 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053184281072 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10622040 memory=-1161699032756030039 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10622040 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 95250971 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3649] ppid=3630 vsize=10622040 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3649/stat : 3649 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95251005 10876968960 23649 33554432000 4194304 4196468 140734189913616 140053181121584 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 94596 KiB
[startup+4.00072 s]*
/proc/loadavg: 5.95 3.74 2.64 5/217 3651
/proc/meminfo: memFree=19576036/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=10755168 memory=100800 CPUtime=5.66 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3630 3633 3242 0 -1 1077944320 15800 0 0 0 562 4 0 0 20 0 16 0 95250965 11013292032 25200 33554432000 4194304 4196468 140734189913616 140734189896160 140053630852855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
/proc/3633/statm: 2688792 25200 3098 1 0 2677186 0
[pid=3633/tid=3635] ppid=3630 vsize=10755168 memory=8112282956445269571 CPUtime=3.8 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3630 3633 3242 0 -1 1077944384 6308 0 0 0 378 2 0 0 20 0 16 0 95250965 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053635093536 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3636] ppid=3630 vsize=10755168 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053583473680 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3637] ppid=3630 vsize=10755168 memory=27968 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053236604048 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3638] ppid=3630 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3630 3633 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95250966 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053235550992 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3639] ppid=3630 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3630 3633 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95250966 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053234498448 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3640] ppid=3630 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3630 3633 3242 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 95250967 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053190596848 140053630864002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3641] ppid=3630 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3630 3633 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95250968 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053189543072 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3642] ppid=3630 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3630 3633 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95250968 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053188489968 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3643] ppid=3630 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250970 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053187438544 140053630871451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3644] ppid=3630 vsize=10755168 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3630 3633 3242 0 -1 1077944384 2801 0 0 0 81 0 0 0 20 0 16 0 95250970 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053186386672 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3645] ppid=3630 vsize=10755168 memory=7589421002773918563 CPUtime=0.76 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3630 3633 3242 0 -1 1077944384 3706 0 0 0 76 0 0 0 20 0 16 0 95250970 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053185334128 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3646] ppid=3630 vsize=10755168 memory=3472425764242290407 CPUtime=0.24 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3630 3633 3242 0 -1 1077944384 1397 0 0 0 24 0 0 0 20 0 16 0 95250970 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053184281072 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3647] ppid=3630 vsize=10755168 memory=3533419649928619377 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3630 3633 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95250971 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053183228768 140053630863061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3648] ppid=3630 vsize=10755168 memory=3461502296774774249 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) S 3630 3633 3242 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 95250971 11013292032 25200 33554432000 4194304 4196468 140734189913616 140053182175792 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
[pid=3633/tid=3650] ppid=3630 vsize=10755168 memory=734378360886813028 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3650/stat : 3650 (java) S 3630 3633 3242 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 95251348 11013292032 25200 33554432000 4194304 4196468 140734189913616 140052588913552 140053630864002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140734189921414 140734189921567 140734189921567 140734189924303 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 100800 KiB
Child status: 0
Real time (s): 4.04834
CPU time (s): 5.68057
CPU user time (s): 5.63028
CPU system time (s): 0.050288
CPU usage (%): 140.318
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 100800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.63028
system time used= 0.050288
maximum resident set size= 103208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1490
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 3633
# total CPU time (s): 5.68057
# total CPU user time (s): 5.63028
# total CPU system time (s): 0.050288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047154 second user time and 0.086678 second system time
The end