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 (11626 MiB free)
memory of node 1: 16384 MiB (15611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257930-1502648333/watcher-4257930-1502648333 -o /tmp/evaluation-result-4257930-1502648333/solver-4257930-1502648333 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257930-1502648333.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
Current StackSize limit: 8192 KiB
solver pid=13303, runsolver pid=13300
[startup+0.100159 s]*
/proc/loadavg: 2.14 3.15 3.94 3/206 13312
/proc/meminfo: memFree=27879548/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10417928 memory=22300 CPUtime=0.04 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 4537 0 0 0 4 0 0 0 20 0 13 0 67026600 10667958272 5575 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2604482 5575 2378 1 0 2593979 0
[pid=13303/tid=13305] ppid=13300 vsize=10417928 memory=4206751525541407381 CPUtime=0.04 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) R 13300 13303 17093 0 -1 4202560 2877 0 0 0 4 0 0 0 20 0 13 0 67026606 10667958272 5641 18446744073709551615 4194304 4196468 140734406834128 140543361022264 140543356792214 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10417928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 67026606 10667958272 5641 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10417928 memory=140188766226048 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 67026606 10667958272 5641 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 67026606 10667958272 5706 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 67026606 10667958272 5706 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10417928 memory=140188766226048 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 67026608 10667958272 5706 18446744073709551615 4194304 4196468 140734406834128 140542396545520 140543356791426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 67026608 10667958272 5706 18446744073709551615 4194304 4196468 140734406834128 140542395491744 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 67026608 10667958272 5706 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 67026611 10667958272 5706 18446744073709551615 4194304 4196468 140734406834128 140542393387728 140543356798875 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) R 13300 13303 17093 0 -1 4202560 294 0 0 0 0 0 0 0 20 0 13 0 67026611 10667958272 5772 18446744073709551615 4194304 4196468 140734406834128 140542392320840 140543349069652 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 67026611 10667958272 5772 18446744073709551615 4194304 4196468 140734406834128 140542391281472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10418956 memory=140188766226048 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) D 13300 13303 17093 0 -1 4202560 151 0 0 0 0 0 0 0 20 0 13 0 67026611 10669010944 5772 18446744073709551615 4194304 4196468 140734406834128 140542390229152 140543335711872 0 4 1 16800974 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10418956 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 14 0 67026611 10669010944 5772 18446744073709551615 4194304 4196468 140734406834128 140542389177312 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10417928 KiB
Current children cumulated memory: 22300 KiB
[startup+0.21191 s]*
/proc/loadavg: 2.14 3.15 3.94 4/212 13318
/proc/meminfo: memFree=27870172/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10551156 memory=30156 CPUtime=0.14 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 7696 0 0 0 12 2 0 0 20 0 15 0 67026600 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2637789 7539 2794 1 0 2627261 0
[pid=13303/tid=13305] ppid=13300 vsize=10551156 memory=8318255677412212789 CPUtime=0.09 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) R 13300 13303 17093 0 -1 4202560 5532 0 0 0 8 1 0 0 20 0 15 0 67026606 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140543360994272 140543356802205 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10551156 memory=4123522318047692448 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10551156 memory=140188766226048 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67026608 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542396545520 140543356791426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67026608 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542395491744 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67026608 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542393387728 140543356798875 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) S 13300 13303 17093 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 67026611 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542392334320 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542391281776 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10551156 memory=140188766226048 CPUtime=0.02 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) R 13300 13303 17093 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 67026611 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542390229232 140543335708843 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542389176928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13318] ppid=13300 vsize=10551156 memory=140188766226048 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13318/stat : 13318 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026616 10804383744 7539 18446744073709551615 4194304 4196468 140734406834128 140542388124464 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30156 KiB
[startup+0.310284 s]*
/proc/loadavg: 2.14 3.15 3.94 5/212 13318
/proc/meminfo: memFree=27863032/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10551156 memory=42700 CPUtime=0.34 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 9494 0 0 0 31 3 0 0 20 0 15 0 67026600 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2637789 10675 2942 1 0 2627261 0
[pid=13303/tid=13305] ppid=13300 vsize=10551156 memory=-7677926825137650786 CPUtime=0.2 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) R 13300 13303 17093 0 -1 4202560 6151 0 0 0 18 2 0 0 20 0 15 0 67026606 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140543361016656 140543356802205 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67026606 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67026608 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542396545520 140543356791426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67026608 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542395491744 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67026608 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542393387728 140543356798875 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10551156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) R 13300 13303 17093 0 -1 4202560 715 0 0 0 2 0 0 0 20 0 15 0 67026611 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542392326488 140543337470176 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10551156 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) R 13300 13303 17093 0 -1 4202560 493 0 0 0 3 0 0 0 20 0 15 0 67026611 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542391267696 140543342383889 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10551156 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) R 13300 13303 17093 0 -1 1077944384 771 0 0 0 6 0 0 0 20 0 15 0 67026611 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542390229232 140543356791426 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542389176928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13318] ppid=13300 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13318/stat : 13318 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026616 10804383744 10675 18446744073709551615 4194304 4196468 140734406834128 140542388124464 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 42700 KiB
[startup+0.700796 s]
/proc/loadavg: 2.14 3.15 3.94 6/212 13318
/proc/meminfo: memFree=27830024/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10551232 memory=147952 CPUtime=1.55 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 14280 0 0 0 150 5 0 0 20 0 15 0 67026600 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2637808 36988 3061 1 0 2627261 0
[pid=13303/tid=13305] ppid=13300 vsize=10551232 memory=33 CPUtime=0.58 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) R 13300 13303 17093 0 -1 4202560 7212 0 0 0 54 4 0 0 20 0 15 0 67026606 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140543361016760 140542959368280 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026606 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10551232 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67026606 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10551232 memory=2892 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) S 13300 13303 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542396545520 140543356791426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10551232 memory=3670312 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542395491744 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10551232 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10551232 memory=4641333681340897130 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542393387728 140543356798875 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10551232 memory=7380666760487659089 CPUtime=0.36 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) R 13300 13303 17093 0 -1 4202560 2473 0 0 0 36 0 0 0 20 0 15 0 67026611 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542392319824 140543349069728 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10551232 memory=7809617114362637412 CPUtime=0.38 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) R 13300 13303 17093 0 -1 4202560 1864 0 0 0 38 0 0 0 20 0 15 0 67026611 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542391267800 140543338301670 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10551232 memory=7668012111147524688 CPUtime=0.2 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) S 13300 13303 17093 0 -1 1077944384 1365 0 0 0 20 0 0 0 20 0 15 0 67026611 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542390229232 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10551232 memory=6083073826404722793 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542389176928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13318] ppid=13300 vsize=10551232 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13318/stat : 13318 (java) S 13300 13303 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67026616 10804461568 36988 18446744073709551615 4194304 4196468 140734406834128 140542388124464 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 147952 KiB
[startup+1.50156 s]
/proc/loadavg: 2.14 3.15 3.94 6/212 13318
/proc/meminfo: memFree=27538292/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10551232 memory=1135140 CPUtime=3.67 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 17476 0 0 0 336 31 0 0 20 0 15 0 67026600 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2637808 283785 3100 1 0 2627261 0
[pid=13303/tid=13305] ppid=13300 vsize=10551232 memory=707124 CPUtime=1.24 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) R 13300 13303 17093 0 -1 4202560 7715 0 0 0 107 17 0 0 20 0 15 0 67026606 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140543361018896 140542960092196 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10551232 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 153 0 0 0 8 3 0 0 20 0 15 0 67026606 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10551232 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 138 0 0 0 7 3 0 0 20 0 15 0 67026606 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10551232 memory=7649399362739712817 CPUtime=0.09 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 67 0 0 0 7 2 0 0 20 0 15 0 67026606 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10551232 memory=5859271421085237344 CPUtime=0.09 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 139 0 0 0 7 2 0 0 20 0 15 0 67026606 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10551232 memory=68 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) S 13300 13303 17093 0 -1 1077944384 965 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140542396545520 140543356791426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10551232 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 283785 18446744073709551615 4194304 4196468 140734406834128 140542395491744 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
################
# More data... #
################
[startup+83.4093 s]
# the end of solver process 13303 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.911 s, system=5.3302 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+82.4007 s]
/proc/loadavg: 3.06 3.15 3.87 3/210 13321
/proc/meminfo: memFree=19566744/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10551232 memory=8318732 CPUtime=252.22 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 1120726 0 0 0 24697 525 0 0 20 0 15 0 67026600 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2637808 2079683 3131 1 0 2627261 0
[pid=13303/tid=13305] ppid=13300 vsize=10551232 memory=1228 CPUtime=15.4 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) S 13300 13303 17093 0 -1 1077944384 21296 0 0 0 1506 34 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543361012944 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10551232 memory=12200 CPUtime=55.27 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 190978 0 0 0 5408 119 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10551232 memory=1992 CPUtime=55.29 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 249092 0 0 0 5401 128 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10551232 memory=1204 CPUtime=56.27 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 332525 0 0 0 5512 115 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10551232 memory=-8774313645642428999 CPUtime=55.85 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 282218 0 0 0 5466 119 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10551232 memory=1708 CPUtime=10.08 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) R 13300 13303 17093 0 -1 4202560 29927 0 0 0 1005 3 0 0 20 0 15 0 67026608 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542396543952 140543341480883 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542395491808 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10551232 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542393387376 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10551232 memory=1992 CPUtime=1.76 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) S 13300 13303 17093 0 -1 1077944384 4404 0 0 0 175 1 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542392334368 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10551232 memory=8318732 CPUtime=1.82 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) S 13300 13303 17093 0 -1 1077944384 5152 0 0 0 181 1 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542391281536 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10551232 memory=-8774313645642428999 CPUtime=0.36 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) S 13300 13303 17093 0 -1 1077944384 2876 0 0 0 35 1 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542390229280 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10551232 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542389176928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13318] ppid=13300 vsize=10551232 memory=932 CPUtime=0.04 cores=1,3,5,7
/proc/13303/task/13318/stat : 13318 (java) S 13300 13303 17093 0 -1 1077944384 894 0 0 0 2 2 0 0 20 0 15 0 67026616 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542388124464 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 252.22 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8318732 KiB
[startup+82.8007 s]
/proc/loadavg: 3.06 3.15 3.87 3/210 13321
/proc/meminfo: memFree=19566744/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10551232 memory=8318732 CPUtime=252.62 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 1120726 0 0 0 24737 525 0 0 20 0 15 0 67026600 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2637808 2079683 3131 1 0 2627261 0
[pid=13303/tid=13305] ppid=13300 vsize=10551232 memory=288230621803970871 CPUtime=15.4 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) S 13300 13303 17093 0 -1 1077944384 21296 0 0 0 1506 34 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543361012944 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10551232 memory=13563795322702378 CPUtime=55.27 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 190978 0 0 0 5408 119 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10551232 memory=3670312 CPUtime=55.29 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 249092 0 0 0 5401 128 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10551232 memory=1156 CPUtime=56.27 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 332525 0 0 0 5512 115 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10551232 memory=2852 CPUtime=55.85 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 282218 0 0 0 5466 119 0 0 20 0 15 0 67026606 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10551232 memory=8318732 CPUtime=10.48 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) R 13300 13303 17093 0 -1 4202560 29927 0 0 0 1045 3 0 0 20 0 15 0 67026608 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542396543952 140543341480987 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542395491808 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67026608 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542393387376 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10551232 memory=280377211281792 CPUtime=1.76 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) S 13300 13303 17093 0 -1 1077944384 4404 0 0 0 175 1 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542392334368 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10551232 memory=140188605650979 CPUtime=1.82 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) S 13300 13303 17093 0 -1 1077944384 5152 0 0 0 181 1 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542391281536 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10551232 memory=6944652177228980320 CPUtime=0.36 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) S 13300 13303 17093 0 -1 1077944384 2876 0 0 0 35 1 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542390229280 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10551232 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67026611 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542389176928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13318] ppid=13300 vsize=10551232 memory=197310797604855 CPUtime=0.04 cores=1,3,5,7
/proc/13303/task/13318/stat : 13318 (java) S 13300 13303 17093 0 -1 1077944384 894 0 0 0 2 2 0 0 20 0 15 0 67026616 10804461568 2079683 18446744073709551615 4194304 4196468 140734406834128 140542388124464 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 252.62 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8318732 KiB
[startup+83.2008 s]
/proc/loadavg: 3.06 3.15 3.87 3/210 13321
/proc/meminfo: memFree=19566744/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10750924 memory=8318764 CPUtime=253.02 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 1120884 0 0 0 24777 525 0 0 20 0 17 0 67026600 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2687731 2079691 3133 1 0 2677184 0
[pid=13303/tid=13305] ppid=13300 vsize=10750924 memory=1708 CPUtime=15.47 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) R 13300 13303 17093 0 -1 4202560 21296 0 0 0 1513 34 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543361012944 140542960087392 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10750924 memory=1444 CPUtime=55.27 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 190978 0 0 0 5408 119 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10750924 memory=21244 CPUtime=55.29 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 249092 0 0 0 5401 128 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10750924 memory=1788 CPUtime=56.27 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 332525 0 0 0 5512 115 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10750924 memory=640 CPUtime=55.85 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 282218 0 0 0 5466 119 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10750924 memory=8318732 CPUtime=10.81 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) S 13300 13303 17093 0 -1 1077944384 29934 0 0 0 1078 3 0 0 20 0 17 0 67026608 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542396545520 140543356791426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10750924 memory=8318732 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 67026608 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542395491808 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10750924 memory=8318732 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 67026608 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10750924 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542393387728 140543356798875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10750924 memory=1708 CPUtime=1.76 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) S 13300 13303 17093 0 -1 1077944384 4404 0 0 0 175 1 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542392334320 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10750924 memory=1444 CPUtime=1.82 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) S 13300 13303 17093 0 -1 1077944384 5152 0 0 0 181 1 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542391281776 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10750924 memory=1228 CPUtime=0.36 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) S 13300 13303 17093 0 -1 1077944384 2890 0 0 0 35 1 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542390229232 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10750924 memory=8318732 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542389176928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13318] ppid=13300 vsize=10750924 memory=8318716 CPUtime=0.04 cores=1,3,5,7
/proc/13303/task/13318/stat : 13318 (java) S 13300 13303 17093 0 -1 1077944384 894 0 0 0 2 2 0 0 20 0 17 0 67026616 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542388124464 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 253.02 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8318764 KiB
[startup+83.3008 s]
/proc/loadavg: 3.06 3.15 3.87 3/210 13321
/proc/meminfo: memFree=19566744/32770624 swapFree=67108860/67108860
[pid=13303] ppid=13300 vsize=10750924 memory=8318764 CPUtime=253.12 cores=1,3,5,7
/proc/13303/stat : 13303 (java) S 13300 13303 17093 0 -1 1077944320 1120884 0 0 0 24787 525 0 0 20 0 17 0 67026600 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140734406816672 140543356780279 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
/proc/13303/statm: 2687731 2079691 3133 1 0 2677184 0
[pid=13303/tid=13305] ppid=13300 vsize=10750924 memory=8318732 CPUtime=15.57 cores=1,3,5,7
/proc/13303/task/13305/stat : 13305 (java) R 13300 13303 17093 0 -1 4202560 21296 0 0 0 1523 34 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543361012944 140542960866836 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13306] ppid=13300 vsize=10750924 memory=8318716 CPUtime=55.27 cores=1,3,5,7
/proc/13303/task/13306/stat : 13306 (java) S 13300 13303 17093 0 -1 1077944384 190978 0 0 0 5408 119 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543287200016 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13307] ppid=13300 vsize=10750924 memory=8318732 CPUtime=55.29 cores=1,3,5,7
/proc/13303/task/13307/stat : 13307 (java) S 13300 13303 17093 0 -1 1077944384 249092 0 0 0 5401 128 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543286147472 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13308] ppid=13300 vsize=10750924 memory=8318732 CPUtime=56.27 cores=1,3,5,7
/proc/13303/task/13308/stat : 13308 (java) S 13300 13303 17093 0 -1 1077944384 332525 0 0 0 5512 115 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543285094928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13309] ppid=13300 vsize=10750924 memory=8318732 CPUtime=55.85 cores=1,3,5,7
/proc/13303/task/13309/stat : 13309 (java) S 13300 13303 17093 0 -1 1077944384 282218 0 0 0 5466 119 0 0 20 0 17 0 67026606 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140543284042384 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13310] ppid=13300 vsize=10750924 memory=8318732 CPUtime=10.81 cores=1,3,5,7
/proc/13303/task/13310/stat : 13310 (java) S 13300 13303 17093 0 -1 1077944384 29934 0 0 0 1078 3 0 0 20 0 17 0 67026608 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542396545520 140543356791426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13311] ppid=13300 vsize=10750924 memory=8318732 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13311/stat : 13311 (java) S 13300 13303 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 67026608 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542395491808 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13312] ppid=13300 vsize=10750924 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13312/stat : 13312 (java) S 13300 13303 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 67026608 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542394439152 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13313] ppid=13300 vsize=10750924 memory=8318732 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13313/stat : 13313 (java) S 13300 13303 17093 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542393387728 140543356798875 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13314] ppid=13300 vsize=10750924 memory=182 CPUtime=1.76 cores=1,3,5,7
/proc/13303/task/13314/stat : 13314 (java) S 13300 13303 17093 0 -1 1077944384 4404 0 0 0 175 1 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542392334320 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13315] ppid=13300 vsize=10750924 memory=8318732 CPUtime=1.82 cores=1,3,5,7
/proc/13303/task/13315/stat : 13315 (java) S 13300 13303 17093 0 -1 1077944384 5152 0 0 0 181 1 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542391281776 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13316] ppid=13300 vsize=10750924 memory=4028 CPUtime=0.36 cores=1,3,5,7
/proc/13303/task/13316/stat : 13316 (java) S 13300 13303 17093 0 -1 1077944384 2890 0 0 0 35 1 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542390229232 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13317] ppid=13300 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13303/task/13317/stat : 13317 (java) S 13300 13303 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67026611 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542389176928 140543356790485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
[pid=13303/tid=13318] ppid=13300 vsize=10750924 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13303/task/13318/stat : 13318 (java) S 13300 13303 17093 0 -1 1077944384 894 0 0 0 2 2 0 0 20 0 17 0 67026616 11008946176 2079691 18446744073709551615 4194304 4196468 140734406834128 140542388124464 140543356791426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14741504 140734406840725 140734406840878 140734406840878 140734406844367 0
Current children cumulated CPU time: 253.12 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8318764 KiB
Child status: 143
Real time (s): 83.4093
CPU time (s): 253.241
CPU user time (s): 247.911
CPU system time (s): 5.3302
CPU usage (%): 303.613
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 8318764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.911
system time used= 5.3302
maximum resident set size= 8319288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1120934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10470
involuntary context switches= 2589
# summary of solver processes directly reported to runsolver:
# pid: 13303
# total CPU time (s): 253.241
# total CPU user time (s): 247.911
# total CPU system time (s): 5.3302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.471061 second user time and 0.891598 second system time
The end