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 (15295 MiB free)
memory of node 1: 16384 MiB (14699 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263279-1502628708/watcher-4263279-1502628708 -o /tmp/evaluation-result-4263279-1502628708/solver-4263279-1502628708 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502624009-5187 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263279-1502628708.xml
running on 4 cores: 0,2,4,6
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=6141, runsolver pid=6138
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 2.19 2.05 2.32 3/216 6156
/proc/meminfo: memFree=30698076/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10555400 memory=28240 CPUtime=0.12 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 6670 0 0 0 11 1 0 0 20 0 15 0 95959010 10808729600 7060 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2638850 7060 2838 1 0 2627263 0
[pid=6141/tid=6143] ppid=6138 vsize=10555400 memory=-7387007932599496084 CPUtime=0.09 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) R 6138 6141 30973 0 -1 4202560 4470 0 0 0 8 1 0 0 20 0 15 0 95959011 10808729600 7060 33554432000 4194304 4196468 140726804012896 139991207991616 139991187850590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10555400 memory=4211973418355232138 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990810421776 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990809369232 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990694594208 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95959014 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990693541104 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) S 6138 6141 30973 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990691436784 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) R 6138 6141 30973 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990690384240 139991203791450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0.02 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) R 6138 6141 30973 0 -1 4202560 387 0 0 0 2 0 0 0 20 0 15 0 95959016 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990689331184 139991203782038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 7060 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 28240 KiB
[startup+0.219656 s]*
/proc/loadavg: 2.19 2.05 2.32 6/216 6156
/proc/meminfo: memFree=30688440/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10555400 memory=42860 CPUtime=0.36 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 8322 0 0 0 34 2 0 0 20 0 15 0 95959010 10808729600 10715 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2638850 10715 3001 1 0 2627263 0
[pid=6141/tid=6143] ppid=6138 vsize=10555400 memory=-7387007932599496084 CPUtime=0.21 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) R 6138 6141 30973 0 -1 4202560 5082 0 0 0 19 2 0 0 20 0 15 0 95959011 10808729600 10715 33554432000 4194304 4196468 140726804012896 139991208006192 139991203792029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10555400 memory=4211973418355232138 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990810421776 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990809369232 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990694594208 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95959014 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990693541104 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10555400 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) R 6138 6141 30973 0 -1 4202560 614 0 0 0 3 0 0 0 20 0 15 0 95959016 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990691426896 139991181597341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10555400 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) R 6138 6141 30973 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 95959016 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990690365256 139991183271563 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0.08 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) R 6138 6141 30973 0 -1 4202560 964 0 0 0 8 0 0 0 20 0 15 0 95959016 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990689328120 139991182711640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 10781 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 42860 KiB
[startup+0.310696 s]*
/proc/loadavg: 2.19 2.05 2.32 6/216 6156
/proc/meminfo: memFree=30665672/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10555400 memory=62268 CPUtime=0.65 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 10088 0 0 0 62 3 0 0 20 0 15 0 95959010 10808729600 15567 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2638850 15567 3022 1 0 2627263 0
[pid=6141/tid=6143] ppid=6138 vsize=10555400 memory=93310054 CPUtime=0.3 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) R 6138 6141 30973 0 -1 4202560 5089 0 0 0 28 2 0 0 20 0 15 0 95959011 10808729600 15567 33554432000 4194304 4196468 140726804012896 139991208006192 139991203792029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990810421776 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10555400 memory=279384149909120 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990809369232 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10555400 memory=279383998969632 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10555400 memory=139691999467535 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959012 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10555400 memory=279384149916032 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10555400 memory=139691999472143 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990694594208 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10555400 memory=139691999479635 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95959014 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990693541104 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10555400 memory=139691999481940 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10555400 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) R 6138 6141 30973 0 -1 4202560 1395 0 0 0 12 0 0 0 20 0 15 0 95959016 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990691426704 139991187256045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10555400 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) R 6138 6141 30973 0 -1 4202560 918 0 0 0 11 0 0 0 20 0 15 0 95959016 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990690371168 139991203783952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10555400 memory=139692150441600 CPUtime=0.1 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) R 6138 6141 30973 0 -1 1077944384 1319 0 0 0 10 0 0 0 20 0 15 0 95959016 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990689331184 139991203781250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10555400 memory=139692150469840 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) R 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 15567 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 62268 KiB
[startup+0.700853 s]
/proc/loadavg: 2.19 2.05 2.32 3/216 6156
/proc/meminfo: memFree=30593496/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10555400 memory=294920 CPUtime=1.62 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 10684 0 0 0 141 21 0 0 20 0 15 0 95959010 10808729600 73730 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2638850 73730 3056 1 0 2627263 0
[pid=6141/tid=6143] ppid=6138 vsize=10555400 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) R 6138 6141 30973 0 -1 4202560 5143 0 0 0 53 4 0 0 20 0 15 0 95959011 10808729600 73730 33554432000 4194304 4196468 140726804012896 139991208009072 139991203792029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10555400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) S 6138 6141 30973 0 -1 1077944384 66 0 0 0 6 4 0 0 20 0 15 0 95959012 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990810421776 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10555400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) S 6138 6141 30973 0 -1 1077944384 67 0 0 0 6 4 0 0 20 0 15 0 95959012 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990809369232 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10555400 memory=146 CPUtime=0.1 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 69 0 0 0 6 4 0 0 20 0 15 0 95959012 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10555400 memory=2 CPUtime=0.1 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 66 0 0 0 6 4 0 0 20 0 15 0 95959012 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990694594208 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10555400 memory=13040 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95959014 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990693541104 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10555400 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10555400 memory=1196 CPUtime=0.24 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) S 6138 6141 30973 0 -1 1077944384 1521 0 0 0 24 0 0 0 20 0 15 0 95959016 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990691436784 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10555400 memory=8548 CPUtime=0.22 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) R 6138 6141 30973 0 -1 1077944384 941 0 0 0 22 0 0 0 20 0 15 0 95959016 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990690384240 139991203781250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10555400 memory=1228 CPUtime=0.12 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) S 6138 6141 30973 0 -1 1077944384 1367 0 0 0 12 0 0 0 20 0 15 0 95959016 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990689331184 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10555400 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10555400 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) S 6138 6141 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95959016 10808729600 73730 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 294920 KiB
[startup+1.5017 s]
/proc/loadavg: 2.19 2.05 2.32 6/216 6156
/proc/meminfo: memFree=30320556/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10555400 memory=481680 CPUtime=4.11 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 11939 0 0 0 367 44 0 0 20 0 15 0 95959010 10808729600 120420 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2638850 120420 3067 1 0 2627263 0
[pid=6141/tid=6143] ppid=6138 vsize=10555400 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) S 6138 6141 30973 0 -1 1077944384 5143 0 0 0 75 4 0 0 20 0 15 0 95959011 10808729600 120420 33554432000 4194304 4196468 140726804012896 139991208009248 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10555400 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) R 6138 6141 30973 0 -1 4202560 364 0 0 0 57 10 0 0 20 0 15 0 95959012 10808729600 120420 33554432000 4194304 4196468 140726804012896 139990810421776 139991188470799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10555400 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) R 6138 6141 30973 0 -1 4202560 312 0 0 0 56 9 0 0 20 0 15 0 95959012 10808729600 120420 33554432000 4194304 4196468 140726804012896 139990809369232 139991188759568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10555400 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) R 6138 6141 30973 0 -1 4202560 542 0 0 0 58 9 0 0 20 0 15 0 95959012 10808729600 120420 33554432000 4194304 4196468 140726804012896 139990808316176 139991188470819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10555400 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) R 6138 6141 30973 0 -1 4202560 294 0 0 0 57 9 0 0 20 0 15 0 95959012 10808729600 120420 33554432000 4194304 4196468 140726804012896 139990807263752 139991188470770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10555400 memory=24 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 95959013 10808729600 120420 33554432000 4194304 4196468 140726804012896 139990695646528 139991203780309 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
################
# More data... #
################
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 15756 0 0 0 2757 126 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10624088 memory=6750352 CPUtime=29.08 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 13814 0 0 0 2787 121 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10624088 memory=6750352 CPUtime=7.87 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 19085 0 0 0 783 4 0 0 20 0 16 0 95959013 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95959013 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990694594272 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 95959014 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990693541120 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10624088 memory=6750352 CPUtime=3.77 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) S 6138 6141 30973 0 -1 1077944384 16789 0 0 0 375 2 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990691436784 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10624088 memory=6750352 CPUtime=3.31 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) S 6138 6141 30973 0 -1 1077944384 15686 0 0 0 329 2 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990690384240 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0.73 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) S 6138 6141 30973 0 -1 1077944384 13603 0 0 0 70 3 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990689331184 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10624088 memory=6750352 CPUtime=1.66 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) S 6138 6141 30973 0 -1 1077944384 2373 0 0 0 79 87 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6158] ppid=6138 vsize=10624088 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6158/stat : 6158 (java) S 6138 6141 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95965553 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990686172720 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 2418.01 s
Current children cumulated vsize: 10624088 KiB
Current children cumulated memory: 6750352 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/217 6333
/proc/meminfo: memFree=22127620/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10624088 memory=6750352 CPUtime=2478.09 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 374869 0 0 0 247195 614 0 0 20 0 16 0 95959010 10879066112 1687588 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2656022 1687588 3176 1 0 2644416 0
[pid=6141/tid=6143] ppid=6138 vsize=10624088 memory=6750352 CPUtime=2344.77 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) R 6138 6141 30973 0 -1 4202560 236859 0 0 0 234443 34 0 0 20 0 16 0 95959011 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139991208007096 139990843003200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10624088 memory=6750352 CPUtime=28.88 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) S 6138 6141 30973 0 -1 1077944384 21204 0 0 0 2765 123 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990810421776 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10624088 memory=6750352 CPUtime=29.01 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) S 6138 6141 30973 0 -1 1077944384 18123 0 0 0 2774 127 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990809369232 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10624088 memory=6750352 CPUtime=28.83 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 15756 0 0 0 2757 126 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10624088 memory=6750352 CPUtime=29.08 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 13814 0 0 0 2787 121 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10624088 memory=3212 CPUtime=7.87 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 19095 0 0 0 783 4 0 0 20 0 16 0 95959013 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10624088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95959013 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990694594272 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 95959014 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990693541120 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10624088 memory=1228 CPUtime=3.77 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) S 6138 6141 30973 0 -1 1077944384 16795 0 0 0 375 2 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990691436784 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10624088 memory=6750352 CPUtime=3.31 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) S 6138 6141 30973 0 -1 1077944384 15693 0 0 0 329 2 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990690384240 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10624088 memory=6750352 CPUtime=0.73 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) S 6138 6141 30973 0 -1 1077944384 13611 0 0 0 70 3 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990689331184 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10624088 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10624088 memory=2336 CPUtime=1.74 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) S 6138 6141 30973 0 -1 1077944384 2414 0 0 0 83 91 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6158] ppid=6138 vsize=10624088 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6158/stat : 6158 (java) S 6138 6141 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95965553 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990686172720 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 2478.09 s
Current children cumulated vsize: 10624088 KiB
Current children cumulated memory: 6750352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2424.2 s]
/proc/loadavg: 2.02 2.01 2.05 3/217 6334
/proc/meminfo: memFree=22127760/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10624088 memory=6750352 CPUtime=2520.02 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 378606 0 0 0 251387 615 0 0 20 0 16 0 95959010 10879066112 1687588 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2656022 1687588 3176 1 0 2644416 0
[pid=6141/tid=6143] ppid=6138 vsize=10624088 memory=1716 CPUtime=2386.67 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) R 6138 6141 30973 0 -1 4202560 240524 0 0 0 238633 34 0 0 20 0 16 0 95959011 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139991208007096 139990848320515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10624088 memory=5792 CPUtime=28.88 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) S 6138 6141 30973 0 -1 1077944384 21204 0 0 0 2765 123 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990810421776 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10624088 memory=8112282956445269571 CPUtime=29.01 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) S 6138 6141 30973 0 -1 1077944384 18123 0 0 0 2774 127 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990809369232 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10624088 memory=6750352 CPUtime=28.83 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 15756 0 0 0 2757 126 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10624088 memory=1156 CPUtime=29.08 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 13814 0 0 0 2787 121 0 0 20 0 16 0 95959012 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10624088 memory=3188 CPUtime=7.87 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 19105 0 0 0 783 4 0 0 20 0 16 0 95959013 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10624088 memory=2788528 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 95959013 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990694594272 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10624088 memory=6764 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 16 0 95959014 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990693541120 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10624088 memory=840 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10624088 memory=2620 CPUtime=3.77 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) S 6138 6141 30973 0 -1 1077944384 16802 0 0 0 375 2 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990691436784 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10624088 memory=2692 CPUtime=3.31 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) S 6138 6141 30973 0 -1 1077944384 15699 0 0 0 329 2 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990690384240 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10624088 memory=1160 CPUtime=0.73 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) S 6138 6141 30973 0 -1 1077944384 13619 0 0 0 70 3 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990689331184 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10624088 memory=3192 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10624088 memory=6750352 CPUtime=1.78 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) S 6138 6141 30973 0 -1 1077944384 2455 0 0 0 85 93 0 0 20 0 16 0 95959016 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6158] ppid=6138 vsize=10624088 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6158/stat : 6158 (java) S 6138 6141 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95965553 10879066112 1687588 33554432000 4194304 4196468 140726804012896 139990686172720 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10624088 KiB
Current children cumulated memory: 6750352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2424.47 s]
# the end of solver process 6141 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.01 s, system=6.19284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2424.4 s]
/proc/loadavg: 2.02 2.01 2.05 3/217 6334
/proc/meminfo: memFree=22127760/32770624 swapFree=67108860/67108860
[pid=6141] ppid=6138 vsize=10823780 memory=6750648 CPUtime=2520.13 cores=0,2,4,6
/proc/6141/stat : 6141 (java) S 6138 6141 30973 0 -1 1077944320 380239 0 0 0 251397 616 0 0 20 0 17 0 95959010 11083550720 1687662 33554432000 4194304 4196468 140726804012896 140726803995440 139991203770103 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
/proc/6141/statm: 2705945 1687662 3178 1 0 2694339 0
[pid=6141/tid=6143] ppid=6138 vsize=10823780 memory=1420 CPUtime=2386.75 cores=0,2,4,6
/proc/6141/task/6143/stat : 6143 (java) S 6138 6141 30973 0 -1 1077944384 240661 0 0 0 238641 34 0 0 20 0 17 0 95959011 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139991208012976 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6144] ppid=6138 vsize=10823780 memory=13040 CPUtime=28.88 cores=0,2,4,6
/proc/6141/task/6144/stat : 6144 (java) S 6138 6141 30973 0 -1 1077944384 21204 0 0 0 2765 123 0 0 20 0 17 0 95959012 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990810421776 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6145] ppid=6138 vsize=10823780 memory=6791534058613427641 CPUtime=29.01 cores=0,2,4,6
/proc/6141/task/6145/stat : 6145 (java) S 6138 6141 30973 0 -1 1077944384 18123 0 0 0 2774 127 0 0 20 0 17 0 95959012 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990809369232 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6146] ppid=6138 vsize=10823780 memory=4128 CPUtime=28.83 cores=0,2,4,6
/proc/6141/task/6146/stat : 6146 (java) S 6138 6141 30973 0 -1 1077944384 15756 0 0 0 2757 126 0 0 20 0 17 0 95959012 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990808316176 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6147] ppid=6138 vsize=10823780 memory=2204 CPUtime=29.08 cores=0,2,4,6
/proc/6141/task/6147/stat : 6147 (java) S 6138 6141 30973 0 -1 1077944384 13814 0 0 0 2787 121 0 0 20 0 17 0 95959012 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990807263632 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6148] ppid=6138 vsize=10823780 memory=6764 CPUtime=7.87 cores=0,2,4,6
/proc/6141/task/6148/stat : 6148 (java) S 6138 6141 30973 0 -1 1077944384 19166 0 0 0 783 4 0 0 20 0 17 0 95959013 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990695647984 139991203781250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6149] ppid=6138 vsize=10823780 memory=840 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6149/stat : 6149 (java) S 6138 6141 30973 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 95959013 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990694594272 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6150] ppid=6138 vsize=10823780 memory=2620 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6150/stat : 6150 (java) S 6138 6141 30973 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 17 0 95959014 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990693541120 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6151] ppid=6138 vsize=10823780 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6151/stat : 6151 (java) S 6138 6141 30973 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 17 0 95959016 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990692489680 139991203788699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6152] ppid=6138 vsize=10823780 memory=2788528 CPUtime=3.78 cores=0,2,4,6
/proc/6141/task/6152/stat : 6152 (java) S 6138 6141 30973 0 -1 1077944384 17172 0 0 0 376 2 0 0 20 0 17 0 95959016 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990691436784 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6153] ppid=6138 vsize=10823780 memory=4104 CPUtime=3.32 cores=0,2,4,6
/proc/6141/task/6153/stat : 6153 (java) S 6138 6141 30973 0 -1 1077944384 15816 0 0 0 330 2 0 0 20 0 17 0 95959016 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990690384240 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6154] ppid=6138 vsize=10823780 memory=1696 CPUtime=0.73 cores=0,2,4,6
/proc/6141/task/6154/stat : 6154 (java) S 6138 6141 30973 0 -1 1077944384 13897 0 0 0 70 3 0 0 20 0 17 0 95959016 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990689331184 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6155] ppid=6138 vsize=10823780 memory=916 CPUtime=0 cores=0,2,4,6
/proc/6141/task/6155/stat : 6155 (java) S 6138 6141 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95959016 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990688278880 139991203780309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
[pid=6141/tid=6156] ppid=6138 vsize=10823780 memory=3832 CPUtime=1.78 cores=0,2,4,6
/proc/6141/task/6156/stat : 6156 (java) S 6138 6141 30973 0 -1 1077944384 2455 0 0 0 85 93 0 0 20 0 17 0 95959016 11083550720 1687662 33554432000 4194304 4196468 140726804012896 139990687226928 139991203781250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 31154176 140726804014214 140726804014367 140726804014367 140726804017103 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 10823780 KiB
Current children cumulated memory: 6750648 KiB
Child status: 143
Real time (s): 2424.47
CPU time (s): 2520.2
CPU user time (s): 2514.01
CPU system time (s): 6.19284
CPU usage (%): 103.949
Max. virtual memory (cumulated for all children) (KiB): 10823780
Max. memory (cumulated for all children) (KiB): 6753524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.01
system time used= 6.19284
maximum resident set size= 6776052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58337
involuntary context switches= 4156
# summary of solver processes directly reported to runsolver:
# pid: 6141
# total CPU time (s): 2520.2
# total CPU user time (s): 2514.01
# total CPU system time (s): 6.19284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.341 second user time and 24.2409 second system time
The end