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 (12120 MiB free)
memory of node 1: 16384 MiB (14700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302675-1532898414/watcher-4302675-1532898414 -o /tmp/evaluation-result-4302675-1532898414/solver-4302675-1532898414 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24644 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1501362917 -superng HOME/instance-4302675-1532898414.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=32346, runsolver pid=32343
[startup+0.10928 s]*
/proc/loadavg: 1.56 1.62 1.74 3/206 32403
/proc/meminfo: memFree=27453096/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=10219200 memory=21792 CPUtime=0.09 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 4625 13234 0 0 2 0 5 2 20 0 8 0 107404721 10464460800 5448 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2554800 5448 2046 1 0 2543238 0
[pid=32346/tid=32399] ppid=32343 vsize=10219200 memory=4351193297984914568 CPUtime=0.09 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 2415 13234 0 0 2 0 5 2 20 0 8 0 107404729 10464460800 5513 33554432000 4194304 4196468 140733393198240 139743151404528 139743172556267 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=10219200 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 8 0 107404730 10464460800 5513 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=10219200 memory=140036498531968 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 8 0 107404730 10464460800 5513 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=10219200 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 8 0 107404730 10464460800 5513 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=10219200 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 8 0 107404730 10464460800 5513 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=10219200 memory=140036498531968 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 8 0 107404732 10464460800 5513 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=10284740 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 13 13234 0 0 0 0 5 2 20 0 9 0 107404732 10531573760 5513 33554432000 4194304 4196468 140733393198240 139741995459360 139743179581141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=10284740 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 0 13234 0 0 0 0 5 2 20 0 9 0 107404733 10531573760 5513 33554432000 4194304 4196468 140733393198240 139741928348640 139743179581141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10219200 KiB
Current children cumulated memory: 21792 KiB
[startup+0.20994 s]*
/proc/loadavg: 1.56 1.62 1.74 3/215 32412
/proc/meminfo: memFree=27436276/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=10982744 memory=42676 CPUtime=0.25 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 7946 13234 0 0 17 1 5 2 20 0 15 0 107404721 11246329856 10669 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2745686 10669 2945 1 0 2708109 0
[pid=32346/tid=32399] ppid=32343 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 4458 13234 0 0 11 0 5 2 20 0 15 0 107404729 11246329856 10669 33554432000 4194304 4196468 140733393198240 139743151376016 139743179592861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=10982744 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246329856 10669 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=10982744 memory=4122677745161610912 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246329856 10669 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246329856 10669 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246329856 10669 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=10982744 memory=140036498531968 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404732 11246329856 10669 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 13 13234 0 0 0 0 5 2 20 0 15 0 107404732 11246329856 10669 33554432000 4194304 4196468 140733393198240 139741995459360 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404733 11246329856 10669 33554432000 4194304 4196468 140733393198240 139741928346736 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11246329856 10669 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) S 32343 32346 22977 0 -1 1077944384 364 13234 0 0 1 0 5 2 20 0 15 0 107404735 11246329856 10669 33554432000 4194304 4196468 140733393198240 139742671551088 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) S 32343 32346 22977 0 -1 1077944384 260 13234 0 0 0 0 5 2 20 0 15 0 107404735 11246329856 10669 33554432000 4194304 4196468 140733393198240 139742670498288 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=10982744 memory=140036498531968 CPUtime=0.1 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) S 32343 32346 22977 0 -1 1077944384 623 13234 0 0 3 0 5 2 20 0 15 0 107404735 11246329856 10669 33554432000 4194304 4196468 140733393198240 139742669446000 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32411] ppid=32343 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32411/stat : 32411 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11246329856 10669 33554432000 4194304 4196468 140733393198240 139741190155232 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32412] ppid=32343 vsize=10982744 memory=140036498531968 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32412/stat : 32412 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404736 11246329856 10669 33554432000 4194304 4196468 140733393198240 139742668392880 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42676 KiB
[startup+0.309884 s]*
/proc/loadavg: 1.56 1.62 1.74 3/215 32412
/proc/meminfo: memFree=27425112/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=10983192 memory=53316 CPUtime=0.38 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 10449 13234 0 0 29 2 5 2 20 0 15 0 107404721 11246788608 13329 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2745798 13329 3064 1 0 2708109 0
[pid=32346/tid=32399] ppid=32343 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 6943 13234 0 0 20 1 5 2 20 0 15 0 107404729 11246788608 13329 33554432000 4194304 4196468 140733393198240 139743151382944 139743163651422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=10983192 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 13329 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=10983192 memory=140036498538961 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 13329 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 13329 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 13329 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404732 11246788608 13329 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 13 13234 0 0 0 0 5 2 20 0 15 0 107404732 11246788608 13329 33554432000 4194304 4196468 140733393198240 139741995459360 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404733 11246788608 13329 33554432000 4194304 4196468 140733393198240 139741928346736 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11246788608 13329 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) S 32343 32346 22977 0 -1 1077944384 364 13234 0 0 2 0 5 2 20 0 15 0 107404735 11246788608 13329 33554432000 4194304 4196468 140733393198240 139742671551088 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) S 32343 32346 22977 0 -1 1077944384 263 13234 0 0 1 0 5 2 20 0 15 0 107404735 11246788608 13329 33554432000 4194304 4196468 140733393198240 139742670498288 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=10983192 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) S 32343 32346 22977 0 -1 1077944384 639 13234 0 0 5 0 5 2 20 0 15 0 107404735 11246788608 13329 33554432000 4194304 4196468 140733393198240 139742669446000 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32411] ppid=32343 vsize=10983192 memory=140036498531968 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32411/stat : 32411 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11246788608 13329 33554432000 4194304 4196468 140733393198240 139741190155232 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32412] ppid=32343 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32412/stat : 32412 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404736 11246788608 13329 33554432000 4194304 4196468 140733393198240 139742668392880 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53316 KiB
[startup+0.700697 s]
/proc/loadavg: 1.56 1.62 1.74 4/215 32412
/proc/meminfo: memFree=27413328/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=10983192 memory=86616 CPUtime=0.97 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 16766 13234 0 0 87 3 5 2 20 0 15 0 107404721 11246788608 21590 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2745798 21654 3237 1 0 2708109 0
[pid=32346/tid=32399] ppid=32343 vsize=10983192 memory=140037408686629 CPUtime=0.65 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 12191 13234 0 0 56 2 5 2 20 0 15 0 107404729 11246788608 21654 33554432000 4194304 4196468 140733393198240 139743151391760 139743163651422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=10983192 memory=140037408686650 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 21654 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=10983192 memory=140037408686651 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 21654 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=10983192 memory=140037408686653 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 21654 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=10983192 memory=140037408686659 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11246788608 21654 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 5 13234 0 0 0 0 5 2 20 0 15 0 107404732 11246788608 21654 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 13 13234 0 0 0 0 5 2 20 0 15 0 107404732 11246788608 21654 33554432000 4194304 4196468 140733393198240 139741995459360 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404733 11246788608 21654 33554432000 4194304 4196468 140733393198240 139741928346736 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11246788608 21654 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) S 32343 32346 22977 0 -1 1077944384 714 13234 0 0 6 0 5 2 20 0 15 0 107404735 11246788608 21654 33554432000 4194304 4196468 140733393198240 139742671551088 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) S 32343 32346 22977 0 -1 1077944384 897 13234 0 0 10 0 5 2 20 0 15 0 107404735 11246788608 21654 33554432000 4194304 4196468 140733393198240 139742670498288 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) R 32343 32346 22977 0 -1 4202560 730 13234 0 0 13 0 5 2 20 0 15 0 107404735 11246788608 21654 33554432000 4194304 4196468 140733393198240 139742669446000 139743158479281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32411] ppid=32343 vsize=10983192 memory=12 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32411/stat : 32411 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11246788608 21654 33554432000 4194304 4196468 140733393198240 139741190155232 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32412] ppid=32343 vsize=10983192 memory=18268 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32412/stat : 32412 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404736 11246788608 21654 33554432000 4194304 4196468 140733393198240 139742668392880 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86616 KiB
[startup+1.50532 s]
/proc/loadavg: 1.56 1.62 1.74 5/215 32412
/proc/meminfo: memFree=27367472/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=10996044 memory=170364 CPUtime=3.1 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 27800 13234 0 0 296 7 5 2 20 0 15 0 107404721 11259949056 42591 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2749011 42591 3445 1 0 2710669 0
[pid=32346/tid=32399] ppid=32343 vsize=10996044 memory=110708 CPUtime=1.46 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 17226 13234 0 0 134 5 5 2 20 0 15 0 107404729 11259949056 42591 33554432000 4194304 4196468 140733393198240 139743151381584 139743163651422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11259949056 42591 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11259949056 42591 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=10996044 memory=140036402269008 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 1 13234 0 0 0 0 5 2 20 0 15 0 107404730 11259949056 42591 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 2 13234 0 0 0 0 5 2 20 0 15 0 107404730 11259949056 42591 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=10996044 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 13 13234 0 0 0 0 5 2 20 0 15 0 107404732 11259949056 42591 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=10996044 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 13 13234 0 0 0 0 5 2 20 0 15 0 107404732 11259949056 42591 33554432000 4194304 4196468 140733393198240 139741995459360 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=10996044 memory=280072804110848 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404733 11259949056 42591 33554432000 4194304 4196468 140733393198240 139741928346736 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=10996044 memory=10799 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11259949056 42591 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=10996044 memory=25313 CPUtime=0.63 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) R 32343 32346 22977 0 -1 4202560 2697 13234 0 0 56 0 5 2 20 0 15 0 107404735 11259949056 42591 33554432000 4194304 4196468 140733393198240 139742671536968 139743164678514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=10996044 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) R 32343 32346 22977 0 -1 4202560 3730 13234 0 0 59 0 5 2 20 0 15 0 107404735 11259949056 42591 33554432000 4194304 4196468 140733393198240 139742670480448 139743163069536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=10996044 memory=321013415751723303 CPUtime=0.52 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) S 32343 32346 22977 0 -1 1077944384 1896 13234 0 0 45 0 5 2 20 0 15 0 107404735 11259949056 42591 33554432000 4194304 4196468 140733393198240 139742669446000 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
################
# More data... #
################
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 50653 13234 0 0 16020 35 5 2 20 0 15 0 107404729 11280941056 697320 33554432000 4194304 4196468 140733393198240 139743151402496 139742764903306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=11016544 memory=2789280 CPUtime=1.25 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 1559 13234 0 0 85 33 5 2 20 0 15 0 107404730 11280941056 697320 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=11016544 memory=2959444 CPUtime=1.24 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 2027 13234 0 0 84 33 5 2 20 0 15 0 107404730 11280941056 697320 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=11016544 memory=1944 CPUtime=1.26 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 2199 13234 0 0 86 33 5 2 20 0 15 0 107404730 11280941056 697320 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=11016544 memory=4588 CPUtime=1.27 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 3398 13234 0 0 87 33 5 2 20 0 15 0 107404730 11280941056 697320 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=11016544 memory=9920 CPUtime=0.16 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 4267 13234 0 0 9 0 5 2 20 0 15 0 107404732 11280941056 697320 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=11016544 memory=2789280 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404732 11280941056 697320 33554432000 4194304 4196468 140733393198240 139741995459488 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=11016544 memory=-7739291840220455296 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 56 13234 0 0 0 0 5 2 20 0 15 0 107404733 11280941056 697320 33554432000 4194304 4196468 140733393198240 139741928346752 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=11016544 memory=2885212 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 697320 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=11016544 memory=2885212 CPUtime=9.2 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) S 32343 32346 22977 0 -1 1077944384 25944 13234 0 0 910 3 5 2 20 0 15 0 107404735 11280941056 697320 33554432000 4194304 4196468 140733393198240 139742671551088 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=11016544 memory=920 CPUtime=9.08 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) S 32343 32346 22977 0 -1 1077944384 26753 13234 0 0 898 3 5 2 20 0 15 0 107404735 11280941056 697320 33554432000 4194304 4196468 140733393198240 139742670498288 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=11016544 memory=3848 CPUtime=3.26 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) S 32343 32346 22977 0 -1 1077944384 19906 13234 0 0 314 5 5 2 20 0 15 0 107404735 11280941056 697320 33554432000 4194304 4196468 140733393198240 139742669446000 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32411] ppid=32343 vsize=11016544 memory=4104 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32411/stat : 32411 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 697320 33554432000 4194304 4196468 140733393198240 139741190155232 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32412] ppid=32343 vsize=11016544 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/32346/task/32412/stat : 32412 (java) S 32343 32346 22977 0 -1 1077944384 1060 13234 0 0 5 3 5 2 20 0 15 0 107404736 11280941056 697320 33554432000 4194304 4196468 140733393198240 139742668392880 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 186.97 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2789280 KiB
[startup+222.301 s]
/proc/loadavg: 2.03 1.76 1.77 3/217 32551
/proc/meminfo: memFree=23453788/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=11016544 memory=2332144 CPUtime=247.59 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 151281 13234 0 0 24562 190 5 2 20 0 15 0 107404721 11280941056 583036 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2754136 583036 3535 1 0 2715789 0
[pid=32346/tid=32399] ppid=32343 vsize=11016544 memory=2332144 CPUtime=220.43 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 55052 13234 0 0 22000 36 5 2 20 0 15 0 107404729 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743151405712 139742749349587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=11016544 memory=2407552 CPUtime=1.42 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 1677 13234 0 0 102 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=11016544 memory=2439884 CPUtime=1.41 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 3906 13234 0 0 101 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=11016544 memory=2332144 CPUtime=1.43 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 3446 13234 0 0 103 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=11016544 memory=2509152 CPUtime=1.45 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 3770 13234 0 0 104 34 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=11016544 memory=9920 CPUtime=0.18 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 4624 13234 0 0 10 1 5 2 20 0 15 0 107404732 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=11016544 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404732 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741995459488 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=11016544 memory=2407552 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 56 13234 0 0 0 0 5 2 20 0 15 0 107404733 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741928346752 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=11016544 memory=2407552 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=11016544 memory=2407552 CPUtime=9.23 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) S 32343 32346 22977 0 -1 1077944384 26491 13234 0 0 913 3 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742671551088 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=11016544 memory=2332144 CPUtime=9.1 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) S 32343 32346 22977 0 -1 1077944384 28789 13234 0 0 900 3 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742670498288 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=11016544 memory=1728 CPUtime=3.27 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) S 32343 32346 22977 0 -1 1077944384 20080 13234 0 0 315 5 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742669446000 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32411] ppid=32343 vsize=11016544 memory=2407552 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32411/stat : 32411 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741190155232 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32412] ppid=32343 vsize=11016544 memory=2407552 CPUtime=0.18 cores=1,3,5,7
/proc/32346/task/32412/stat : 32412 (java) S 32343 32346 22977 0 -1 1077944384 1171 13234 0 0 6 5 5 2 20 0 15 0 107404736 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742668392880 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 247.59 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2332144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+226.501 s]
/proc/loadavg: 2.03 1.76 1.77 3/217 32551
/proc/meminfo: memFree=23147272/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=11016544 memory=2332144 CPUtime=252.08 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 158015 13234 0 0 25010 191 5 2 20 0 15 0 107404721 11280941056 583036 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2754136 583036 3535 1 0 2715789 0
[pid=32346/tid=32399] ppid=32343 vsize=11016544 memory=2332144 CPUtime=224.63 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 56046 13234 0 0 22420 36 5 2 20 0 15 0 107404729 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743151403816 139742775572168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=11016544 memory=2332144 CPUtime=1.42 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 1677 13234 0 0 102 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=11016544 memory=2332144 CPUtime=1.41 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 3906 13234 0 0 101 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=11016544 memory=2439884 CPUtime=1.43 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 3446 13234 0 0 103 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=11016544 memory=2407552 CPUtime=1.45 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 3770 13234 0 0 104 34 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=11016544 memory=2332144 CPUtime=0.18 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 4629 13234 0 0 10 1 5 2 20 0 15 0 107404732 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=11016544 memory=2332144 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404732 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741995459488 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=11016544 memory=2332144 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 56 13234 0 0 0 0 5 2 20 0 15 0 107404733 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741928346752 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=11016544 memory=2407552 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=11016544 memory=2407552 CPUtime=9.51 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) S 32343 32346 22977 0 -1 1077944384 30725 13234 0 0 940 4 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742671551088 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=11016544 memory=2332144 CPUtime=9.11 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) S 32343 32346 22977 0 -1 1077944384 30200 13234 0 0 901 3 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742670498288 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=11016544 memory=2332144 CPUtime=3.27 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) S 32343 32346 22977 0 -1 1077944384 20137 13234 0 0 315 5 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742669446000 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32411] ppid=32343 vsize=11016544 memory=4588 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32411/stat : 32411 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741190155232 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32412] ppid=32343 vsize=11016544 memory=9920 CPUtime=0.18 cores=1,3,5,7
/proc/32346/task/32412/stat : 32412 (java) S 32343 32346 22977 0 -1 1077944384 1204 13234 0 0 6 5 5 2 20 0 15 0 107404736 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742668392880 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2332144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+226.541 s]
# the end of solver process 32346 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.169 s, system=1.96422 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+226.501 s]
/proc/loadavg: 2.03 1.76 1.77 3/217 32551
/proc/meminfo: memFree=23147272/32770624 swapFree=67108792/67108860
[pid=32346] ppid=32343 vsize=11016544 memory=2332144 CPUtime=252.08 cores=1,3,5,7
/proc/32346/stat : 32346 (java) S 32343 32346 22977 0 -1 1077944320 158015 13234 0 0 25010 191 5 2 20 0 15 0 107404721 11280941056 583036 33554432000 4194304 4196468 140733393198240 140733393180784 139743179570935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
/proc/32346/statm: 2754136 583036 3535 1 0 2715789 0
[pid=32346/tid=32399] ppid=32343 vsize=11016544 memory=2332144 CPUtime=224.63 cores=1,3,5,7
/proc/32346/task/32399/stat : 32399 (java) R 32343 32346 22977 0 -1 4202560 56046 13234 0 0 22420 36 5 2 20 0 15 0 107404729 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743151403816 139742775572168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32400] ppid=32343 vsize=11016544 memory=2332144 CPUtime=1.42 cores=1,3,5,7
/proc/32346/task/32400/stat : 32400 (java) S 32343 32346 22977 0 -1 1077944384 1677 13234 0 0 102 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743183813520 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32401] ppid=32343 vsize=11016544 memory=2332144 CPUtime=1.41 cores=1,3,5,7
/proc/32346/task/32401/stat : 32401 (java) S 32343 32346 22977 0 -1 1077944384 3906 13234 0 0 101 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139743071218448 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32402] ppid=32343 vsize=11016544 memory=2439884 CPUtime=1.43 cores=1,3,5,7
/proc/32346/task/32402/stat : 32402 (java) S 32343 32346 22977 0 -1 1077944384 3446 13234 0 0 103 33 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742717750416 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32403] ppid=32343 vsize=11016544 memory=2407552 CPUtime=1.45 cores=1,3,5,7
/proc/32346/task/32403/stat : 32403 (java) S 32343 32346 22977 0 -1 1077944384 3770 13234 0 0 104 34 5 2 20 0 15 0 107404730 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742716697616 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32404] ppid=32343 vsize=11016544 memory=2332144 CPUtime=0.18 cores=1,3,5,7
/proc/32346/task/32404/stat : 32404 (java) S 32343 32346 22977 0 -1 1077944384 4629 13234 0 0 10 1 5 2 20 0 15 0 107404732 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742672603248 139743179582082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32405] ppid=32343 vsize=11016544 memory=2332144 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32405/stat : 32405 (java) S 32343 32346 22977 0 -1 1077944384 21 13234 0 0 0 0 5 2 20 0 15 0 107404732 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741995459488 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32406] ppid=32343 vsize=11016544 memory=2332144 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32406/stat : 32406 (java) S 32343 32346 22977 0 -1 1077944384 56 13234 0 0 0 0 5 2 20 0 15 0 107404733 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741928346752 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32407] ppid=32343 vsize=11016544 memory=2407552 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32407/stat : 32407 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741620951120 139743179589531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32408] ppid=32343 vsize=11016544 memory=2407552 CPUtime=9.51 cores=1,3,5,7
/proc/32346/task/32408/stat : 32408 (java) S 32343 32346 22977 0 -1 1077944384 30725 13234 0 0 940 4 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742671551088 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32409] ppid=32343 vsize=11016544 memory=2332144 CPUtime=9.11 cores=1,3,5,7
/proc/32346/task/32409/stat : 32409 (java) S 32343 32346 22977 0 -1 1077944384 30200 13234 0 0 901 3 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742670498288 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32410] ppid=32343 vsize=11016544 memory=2332144 CPUtime=3.27 cores=1,3,5,7
/proc/32346/task/32410/stat : 32410 (java) S 32343 32346 22977 0 -1 1077944384 20137 13234 0 0 315 5 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742669446000 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32411] ppid=32343 vsize=11016544 memory=4588 CPUtime=0.07 cores=1,3,5,7
/proc/32346/task/32411/stat : 32411 (java) S 32343 32346 22977 0 -1 1077944384 3 13234 0 0 0 0 5 2 20 0 15 0 107404735 11280941056 583036 33554432000 4194304 4196468 140733393198240 139741190155232 139743179581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
[pid=32346/tid=32412] ppid=32343 vsize=11016544 memory=9920 CPUtime=0.18 cores=1,3,5,7
/proc/32346/task/32412/stat : 32412 (java) S 32343 32346 22977 0 -1 1077944384 1204 13234 0 0 6 5 5 2 20 0 15 0 107404736 11280941056 583036 33554432000 4194304 4196468 140733393198240 139742668392880 139743179582082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 16199680 140733393201768 140733393204577 140733393204577 140733393207247 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2332144 KiB
Child status: 143
Real time (s): 226.541
CPU time (s): 252.133
CPU user time (s): 250.169
CPU system time (s): 1.96422
CPU usage (%): 111.297
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 2967780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.169
system time used= 1.96422
maximum resident set size= 2977876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173074
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16029
involuntary context switches= 340
# summary of solver processes directly reported to runsolver:
# pid: 32346
# total CPU time (s): 252.133
# total CPU user time (s): 250.169
# total CPU system time (s): 1.96422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49378 second user time and 1.95385 second system time
The end