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 (8184 MiB free)
memory of node 1: 16384 MiB (13825 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259822-1502648768/watcher-4259822-1502648768 -o /tmp/evaluation-result-4259822-1502648768/solver-4259822-1502648768 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9045 --watchdog 312 bin/concrete HOME/instance-4259822-1502648768.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13020, runsolver pid=13017
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 2.43 2.00 1.89 3/206 13074
/proc/meminfo: memFree=22531712/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=13445604 memory=15960 CPUtime=0.09 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 4612 12571 0 0 1 1 4 3 20 0 7 0 97957733 13768298496 3990 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3361401 3990 2030 1 0 3349839 0
[pid=13020/tid=13070] ppid=13017 vsize=13445604 memory=4279135703913236108 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 2474 12571 0 0 1 0 4 3 20 0 7 0 97957742 13768298496 3990 33554432000 4194304 4196468 140735027032000 139887799380752 139887779218782 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=13445604 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 7 0 97957743 13768298496 3990 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=13445604 memory=139848449386112 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 7 0 97957743 13768298496 3990 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=13445604 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 7 0 97957743 13768298496 3990 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=13445604 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 2 12571 0 0 0 0 4 3 20 0 7 0 97957743 13768298496 3990 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=13445604 memory=139848449386112 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 2 12571 0 0 0 0 4 3 20 0 7 0 97957744 13768298496 3990 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13445604 KiB
Current children cumulated memory: 15960 KiB
[startup+0.216333 s]*
/proc/loadavg: 2.43 2.00 1.89 3/215 13083
/proc/meminfo: memFree=22512060/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=13978600 memory=41028 CPUtime=0.26 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 9183 12571 0 0 17 2 4 3 20 0 15 0 97957733 14314086400 10257 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3494650 10257 2969 1 0 3482967 0
[pid=13020/tid=13070] ppid=13017 vsize=13978600 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 5779 12571 0 0 10 1 4 3 20 0 15 0 97957742 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887799318752 139887775405708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=13978600 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=13978600 memory=139848450107888 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 2 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=13978600 memory=139848449386112 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 2 12571 0 0 0 0 4 3 20 0 15 0 97957744 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 33 12571 0 0 0 0 4 3 20 0 15 0 97957744 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887268308512 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 21 12571 0 0 0 0 4 3 20 0 15 0 97957745 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887267255664 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=13978600 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=13978600 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 439 12571 0 0 1 0 4 3 20 0 15 0 97957747 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 332 12571 0 0 0 0 4 3 20 0 15 0 97957747 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=13978600 memory=139848449386112 CPUtime=0.1 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) S 13017 13020 3242 0 -1 1077944384 506 12571 0 0 3 0 4 3 20 0 15 0 97957747 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887263045744 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=13978600 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=13978600 memory=139848449386112 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957748 14314086400 10323 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 41028 KiB
[startup+0.310262 s]*
/proc/loadavg: 2.43 2.00 1.89 3/215 13083
/proc/meminfo: memFree=22502696/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=13979028 memory=48488 CPUtime=0.37 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 10697 12571 0 0 28 2 4 3 20 0 15 0 97957733 14314524672 12122 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3494757 12122 3083 1 0 3482967 0
[pid=13020/tid=13070] ppid=13017 vsize=13979028 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 7197 12571 0 0 19 2 4 3 20 0 15 0 97957742 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887799359904 139887776701855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 2 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 2 12571 0 0 0 0 4 3 20 0 15 0 97957744 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 33 12571 0 0 0 0 4 3 20 0 15 0 97957744 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887268308512 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=13979028 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 21 12571 0 0 0 0 4 3 20 0 15 0 97957745 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887267255664 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=13979028 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 440 12571 0 0 1 0 4 3 20 0 15 0 97957747 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=13979028 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 335 12571 0 0 1 0 4 3 20 0 15 0 97957747 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=13979028 memory=139848449386112 CPUtime=0.12 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) S 13017 13020 3242 0 -1 1077944384 515 12571 0 0 5 0 4 3 20 0 15 0 97957747 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887263045744 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=13979028 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=13979028 memory=139848449386112 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957748 14314524672 12122 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 48488 KiB
[startup+0.700714 s]
/proc/loadavg: 2.43 2.00 1.89 6/215 13083
/proc/meminfo: memFree=22493580/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=13979176 memory=80712 CPUtime=0.96 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 16941 12571 0 0 85 4 4 3 20 0 15 0 97957733 14314676224 20178 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3494794 20178 3256 1 0 3482967 0
[pid=13020/tid=13070] ppid=13017 vsize=13979176 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 12668 12571 0 0 56 3 4 3 20 0 15 0 97957742 14314676224 20178 33554432000 4194304 4196468 140735027032000 139887799366240 139887795160221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=13979176 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314676224 20244 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=13979176 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=13979176 memory=139848296055408 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=13979176 memory=139848430125668 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 2 12571 0 0 0 0 4 3 20 0 15 0 97957743 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=13979176 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 5 12571 0 0 0 0 4 3 20 0 15 0 97957744 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=13979176 memory=7014751519583131217 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 33 12571 0 0 0 0 4 3 20 0 15 0 97957744 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887268308512 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=13979176 memory=18476 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 21 12571 0 0 0 0 4 3 20 0 15 0 97957745 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887267255664 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=13979176 memory=16976 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=13979176 memory=4048 CPUtime=0.16 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 908 12571 0 0 9 0 4 3 20 0 15 0 97957747 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=13979176 memory=1792 CPUtime=0.13 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 586 12571 0 0 6 0 4 3 20 0 15 0 97957747 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=13979176 memory=648 CPUtime=0.19 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) S 13017 13020 3242 0 -1 1077944384 564 12571 0 0 12 0 4 3 20 0 15 0 97957747 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887263045744 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=13979176 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=13979176 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 1 12571 0 0 0 0 4 3 20 0 15 0 97957748 14314676224 20245 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 13979176 KiB
Current children cumulated memory: 80712 KiB
[startup+1.50069 s]
/proc/loadavg: 2.43 2.00 1.89 3/215 13083
/proc/meminfo: memFree=22436328/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=13991700 memory=172660 CPUtime=2.19 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 28070 12571 0 0 203 9 4 3 20 0 15 0 97957733 14327500800 43165 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3497925 43165 3403 1 0 3486039 0
[pid=13020/tid=13070] ppid=13017 vsize=13991700 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 20130 12571 0 0 130 5 4 3 20 0 15 0 97957742 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887799373008 139887779181925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=13991700 memory=279696592159168 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 208 12571 0 0 0 0 4 3 20 0 15 0 97957743 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=13991700 memory=279696592168480 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 36 12571 0 0 1 0 4 3 20 0 15 0 97957743 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=13991700 memory=139848296090096 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 55 12571 0 0 1 0 4 3 20 0 15 0 97957743 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=13991700 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 57 12571 0 0 1 0 4 3 20 0 15 0 97957743 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=13991700 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 1663 12571 0 0 1 0 4 3 20 0 15 0 97957744 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=13991700 memory=13331578489482 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 55 12571 0 0 0 0 4 3 20 0 15 0 97957744 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887268308576 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=13991700 memory=8026941097143250998 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 44 12571 0 0 0 0 4 3 20 0 15 0 97957745 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887267255664 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=13991700 memory=8026941098018885740 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=13991700 memory=-9034923846474767733 CPUtime=0.25 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 1171 12571 0 0 18 0 4 3 20 0 15 0 97957747 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=13991700 memory=7165054862179460695 CPUtime=0.22 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 869 12571 0 0 15 0 4 3 20 0 15 0 97957747 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=13991700 memory=6655300316396806240 CPUtime=0.38 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) R 13017 13020 3242 0 -1 4202560 1628 12571 0 0 31 0 4 3 20 0 15 0 97957747 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887263045744 139887774600788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=13991700 memory=7738151044662055248 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=13991700 memory=6296991510305007464 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 4 12571 0 0 0 0 4 3 20 0 15 0 97957748 14327500800 43165 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
################
# More data... #
################
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 50719 12571 0 0 8316 25 4 3 20 0 15 0 97957742 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887799369600 139887448175200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=14073808 memory=6791534058613427641 CPUtime=18.33 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 29681 12571 0 0 1704 122 4 3 20 0 15 0 97957743 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=14073808 memory=7897517683652307531 CPUtime=18.32 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 30945 12571 0 0 1702 123 4 3 20 0 15 0 97957743 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=14073808 memory=12032 CPUtime=18.27 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 38858 12571 0 0 1703 117 4 3 20 0 15 0 97957743 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=14073808 memory=5792 CPUtime=18.31 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 41017 12571 0 0 1700 124 4 3 20 0 15 0 97957743 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=14073808 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 40590 12571 0 0 25 3 4 3 20 0 15 0 97957744 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=14073808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 94 12571 0 0 0 0 4 3 20 0 15 0 97957744 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887268308640 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=14073808 memory=5192044 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 84 12571 0 0 0 0 4 3 20 0 15 0 97957745 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887267255680 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=14073808 memory=5192012 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=14073808 memory=5192152 CPUtime=5.17 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 13838 12571 0 0 506 4 4 3 20 0 15 0 97957747 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=14073808 memory=4144 CPUtime=4.46 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 15960 12571 0 0 435 4 4 3 20 0 15 0 97957747 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=14073808 memory=28640 CPUtime=1.89 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) S 13017 13020 3242 0 -1 1077944384 11234 12571 0 0 179 3 4 3 20 0 15 0 97957747 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887263045744 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=14073808 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=14073808 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 608 12571 0 0 2 3 4 3 20 0 15 0 97957748 14411579392 1348752 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 168.17 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 5395008 KiB
[startup+162.301 s]
/proc/loadavg: 2.54 2.36 2.06 3/215 13214
/proc/meminfo: memFree=17630280/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=14073808 memory=5495576 CPUtime=240.41 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 290731 12571 0 0 23486 548 4 3 20 0 15 0 97957733 14411579392 1373894 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3518452 1373894 3514 1 0 3506007 0
[pid=13020/tid=13070] ppid=13017 vsize=14073808 memory=5495620 CPUtime=139.5 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 53909 12571 0 0 13917 26 4 3 20 0 15 0 97957742 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887799363904 139887448811172 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=14073808 memory=5495572 CPUtime=22.27 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 31910 12571 0 0 2095 125 4 3 20 0 15 0 97957743 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=14073808 memory=23783 CPUtime=22.26 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 32679 12571 0 0 2093 126 4 3 20 0 15 0 97957743 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=14073808 memory=5495576 CPUtime=22.22 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 39952 12571 0 0 2095 120 4 3 20 0 15 0 97957743 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=14073808 memory=5495576 CPUtime=22.27 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 42843 12571 0 0 2092 128 4 3 20 0 15 0 97957743 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=14073808 memory=279696592090216 CPUtime=0.36 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 40956 12571 0 0 26 3 4 3 20 0 15 0 97957744 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=14073808 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 98 12571 0 0 0 0 4 3 20 0 15 0 97957744 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887268308640 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=14073808 memory=288230583132487972 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 84 12571 0 0 0 0 4 3 20 0 15 0 97957745 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887267255680 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=14073808 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=14073808 memory=1436 CPUtime=5.34 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 15907 12571 0 0 523 4 4 3 20 0 15 0 97957747 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=14073808 memory=4144 CPUtime=4.6 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 17174 12571 0 0 449 4 4 3 20 0 15 0 97957747 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=14073808 memory=28640 CPUtime=1.93 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) S 13017 13020 3242 0 -1 1077944384 12429 12571 0 0 183 3 4 3 20 0 15 0 97957747 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887263045744 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=14073808 memory=5495600 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=14073808 memory=51 CPUtime=0.16 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 640 12571 0 0 4 5 4 3 20 0 15 0 97957748 14411579392 1373894 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 240.41 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 5495576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+171.901 s]
/proc/loadavg: 2.30 2.31 2.05 3/215 13214
/proc/meminfo: memFree=17509580/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=14073808 memory=5495484 CPUtime=252 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 294394 12571 0 0 24644 549 4 3 20 0 15 0 97957733 14411579392 1373871 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3518452 1373871 3514 1 0 3506007 0
[pid=13020/tid=13070] ppid=13017 vsize=14073808 memory=15872 CPUtime=148.44 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 54310 12571 0 0 14811 26 4 3 20 0 15 0 97957742 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887799375304 139887448811277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=14073808 memory=5495484 CPUtime=22.93 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 31971 12571 0 0 2161 125 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=14073808 memory=5495576 CPUtime=22.9 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 32685 12571 0 0 2157 126 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=14073808 memory=5495620 CPUtime=22.88 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 39962 12571 0 0 2161 120 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=14073808 memory=5495576 CPUtime=22.93 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 42858 12571 0 0 2158 128 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.36 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 40992 12571 0 0 26 3 4 3 20 0 15 0 97957744 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=14073808 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 98 12571 0 0 0 0 4 3 20 0 15 0 97957744 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887268308640 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 84 12571 0 0 0 0 4 3 20 0 15 0 97957745 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887267255680 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=14073808 memory=7669461297337100136 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=14073808 memory=5495484 CPUtime=5.35 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 16183 12571 0 0 524 4 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=14073808 memory=279696592090216 CPUtime=4.6 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 17179 12571 0 0 449 4 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=14073808 memory=5495484 CPUtime=1.94 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) S 13017 13020 3242 0 -1 1077944384 15281 12571 0 0 184 3 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887263045744 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.18 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 641 12571 0 0 5 6 4 3 20 0 15 0 97957748 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 5495484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+171.974 s]
# the end of solver process 13020 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.526 s, system=5.56999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+171.901 s]
/proc/loadavg: 2.30 2.31 2.05 3/215 13214
/proc/meminfo: memFree=17509580/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=14073808 memory=5495484 CPUtime=252 cores=1,3,5,7
/proc/13020/stat : 13020 (java) S 13017 13020 3242 0 -1 1077944320 294394 12571 0 0 24644 549 4 3 20 0 15 0 97957733 14411579392 1373871 33554432000 4194304 4196468 140735027032000 140735027014544 139887795138295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
/proc/13020/statm: 3518452 1373871 3514 1 0 3506007 0
[pid=13020/tid=13070] ppid=13017 vsize=14073808 memory=15872 CPUtime=148.44 cores=1,3,5,7
/proc/13020/task/13070/stat : 13070 (java) R 13017 13020 3242 0 -1 4202560 54310 12571 0 0 14811 26 4 3 20 0 15 0 97957742 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887799375304 139887448811277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13071] ppid=13017 vsize=14073808 memory=5495484 CPUtime=22.93 cores=1,3,5,7
/proc/13020/task/13071/stat : 13071 (java) S 13017 13020 3242 0 -1 1077944384 31971 12571 0 0 2161 125 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887391255184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13072] ppid=13017 vsize=14073808 memory=5495576 CPUtime=22.9 cores=1,3,5,7
/proc/13020/task/13072/stat : 13072 (java) S 13017 13020 3242 0 -1 1077944384 32685 12571 0 0 2157 126 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887390202384 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13073] ppid=13017 vsize=14073808 memory=5495620 CPUtime=22.88 cores=1,3,5,7
/proc/13020/task/13073/stat : 13073 (java) S 13017 13020 3242 0 -1 1077944384 39962 12571 0 0 2161 120 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887389149584 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13074] ppid=13017 vsize=14073808 memory=5495576 CPUtime=22.93 cores=1,3,5,7
/proc/13020/task/13074/stat : 13074 (java) S 13017 13020 3242 0 -1 1077944384 42858 12571 0 0 2158 128 4 3 20 0 15 0 97957743 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887388096784 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13075] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.36 cores=1,3,5,7
/proc/13020/task/13075/stat : 13075 (java) S 13017 13020 3242 0 -1 1077944384 40992 12571 0 0 26 3 4 3 20 0 15 0 97957744 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887269362544 139887795149442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13076] ppid=13017 vsize=14073808 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13076/stat : 13076 (java) S 13017 13020 3242 0 -1 1077944384 98 12571 0 0 0 0 4 3 20 0 15 0 97957744 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887268308640 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13077] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13077/stat : 13077 (java) S 13017 13020 3242 0 -1 1077944384 84 12571 0 0 0 0 4 3 20 0 15 0 97957745 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887267255680 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13078] ppid=13017 vsize=14073808 memory=7669461297337100136 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13078/stat : 13078 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887266203984 139887795156891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13079] ppid=13017 vsize=14073808 memory=5495484 CPUtime=5.35 cores=1,3,5,7
/proc/13020/task/13079/stat : 13079 (java) S 13017 13020 3242 0 -1 1077944384 16183 12571 0 0 524 4 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887265151344 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13080] ppid=13017 vsize=14073808 memory=279696592090216 CPUtime=4.6 cores=1,3,5,7
/proc/13020/task/13080/stat : 13080 (java) S 13017 13020 3242 0 -1 1077944384 17179 12571 0 0 449 4 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887264098544 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13081] ppid=13017 vsize=14073808 memory=5495484 CPUtime=1.94 cores=1,3,5,7
/proc/13020/task/13081/stat : 13081 (java) S 13017 13020 3242 0 -1 1077944384 15281 12571 0 0 184 3 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887263045744 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13082] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.07 cores=1,3,5,7
/proc/13020/task/13082/stat : 13082 (java) S 13017 13020 3242 0 -1 1077944384 3 12571 0 0 0 0 4 3 20 0 15 0 97957747 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887261993184 139887795148501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
[pid=13020/tid=13083] ppid=13017 vsize=14073808 memory=5495484 CPUtime=0.18 cores=1,3,5,7
/proc/13020/task/13083/stat : 13083 (java) S 13017 13020 3242 0 -1 1077944384 641 12571 0 0 5 6 4 3 20 0 15 0 97957748 14411579392 1373871 33554432000 4194304 4196468 140735027032000 139887260941488 139887795149442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27779072 140735027034774 140735027037559 140735027037559 140735027040207 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 5495484 KiB
Child status: 143
Real time (s): 171.974
CPU time (s): 252.096
CPU user time (s): 246.526
CPU system time (s): 5.56999
CPU usage (%): 146.589
Max. virtual memory (cumulated for all children) (KiB): 14073808
Max. memory (cumulated for all children) (KiB): 5495620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.526
system time used= 5.56999
maximum resident set size= 5496032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15451
involuntary context switches= 1057
# summary of solver processes directly reported to runsolver:
# pid: 13020
# total CPU time (s): 252.096
# total CPU user time (s): 246.526
# total CPU system time (s): 5.56999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19595 second user time and 1.55856 second system time
The end