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 (15076 MiB free)
memory of node 1: 16384 MiB (13573 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263729-1502638504/watcher-4263729-1502638504 -o /tmp/evaluation-result-4263729-1502638504/solver-4263729-1502638504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502623989-31951 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263729-1502638504.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3563, runsolver pid=3560
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 2.58 4.27 4.70 3/213 3572
/proc/meminfo: memFree=29326100/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10151672 memory=19960 CPUtime=0.03 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 3887 0 0 0 3 0 0 0 20 0 9 0 105761740 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2537918 4990 2123 1 0 2527415 0
[pid=3563/tid=3565] ppid=3560 vsize=10151672 memory=279603310493936 CPUtime=0.03 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) D 3560 3563 12395 0 -1 1077944384 2528 0 0 0 3 0 0 0 20 0 9 0 105761747 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140253383413624 140253371857520 0 4 1 16800970 18446744072101604900 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10151672 memory=279603310493936 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105761747 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10151672 memory=139801815594624 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105761747 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 105761747 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10151672 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105761747 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105761749 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 105761749 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140252874220448 140253379188437 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 105761749 10395312128 4990 18446744073709551615 4194304 4196468 140728934591520 140252873167856 140253379188437 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 19960 KiB
[startup+0.210506 s]*
/proc/loadavg: 2.58 4.27 4.70 3/219 3578
/proc/meminfo: memFree=29317956/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10551156 memory=30584 CPUtime=0.11 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 7307 0 0 0 9 2 0 0 20 0 15 0 105761740 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2637789 7646 2760 1 0 2627261 0
[pid=3563/tid=3565] ppid=3560 vsize=10551156 memory=6933928925625698159 CPUtime=0.08 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) R 3560 3563 12395 0 -1 4202560 5236 0 0 0 7 1 0 0 20 0 15 0 105761747 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140253383366576 140253358754317 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761749 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105761749 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252874220448 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105761749 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252873167856 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105761752 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) S 3560 3563 12395 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 105761752 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252871064048 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) S 3560 3563 12395 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 105761752 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252870011504 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10551156 memory=139801815594624 CPUtime=0.01 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) R 3560 3563 12395 0 -1 4202560 313 0 0 0 1 0 0 0 20 0 15 0 105761752 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252868958960 140253358030828 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3577] ppid=3560 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3577/stat : 3577 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105761752 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252867906656 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3578] ppid=3560 vsize=10551156 memory=139801815594624 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3578/stat : 3578 (java) S 3560 3563 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105761757 10804383744 7646 18446744073709551615 4194304 4196468 140728934591520 140252866853168 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30584 KiB
[startup+0.311034 s]*
/proc/loadavg: 2.58 4.27 4.70 4/219 3578
/proc/meminfo: memFree=29312264/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10551156 memory=39200 CPUtime=0.28 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 8586 0 0 0 25 3 0 0 20 0 15 0 105761740 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2637789 9800 2890 1 0 2627261 0
[pid=3563/tid=3565] ppid=3560 vsize=10551156 memory=6933928925625698159 CPUtime=0.19 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) R 3560 3563 12395 0 -1 4202560 5650 0 0 0 17 2 0 0 20 0 15 0 105761747 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140253383415984 140253379200157 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10551156 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10551156 memory=5450906545588041258 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10551156 memory=-8102431393132624720 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10551156 memory=1404226546319204233 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10551156 memory=7078076838863583850 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761749 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105761749 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252874220448 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105761749 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252873167856 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105761752 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) R 3560 3563 12395 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 15 0 105761752 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252871064048 140253379189378 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) R 3560 3563 12395 0 -1 4202560 391 0 0 0 1 0 0 0 20 0 15 0 105761752 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252869993096 140253356506240 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10551156 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) R 3560 3563 12395 0 -1 4202560 817 0 0 0 5 0 0 0 20 0 15 0 105761752 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252868954904 140253358652424 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3577] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3577/stat : 3577 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105761752 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252867906656 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3578] ppid=3560 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3578/stat : 3578 (java) S 3560 3563 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105761757 10804383744 9800 18446744073709551615 4194304 4196468 140728934591520 140252866853168 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39200 KiB
[startup+0.701284 s]
/proc/loadavg: 2.58 4.27 4.70 6/219 3578
/proc/meminfo: memFree=29294992/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10551232 memory=94020 CPUtime=1.45 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 12868 0 0 0 141 4 0 0 20 0 15 0 105761740 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2637808 23505 3062 1 0 2627261 0
[pid=3563/tid=3565] ppid=3560 vsize=10551232 memory=2 CPUtime=0.57 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) R 3560 3563 12395 0 -1 4202560 7229 0 0 0 54 3 0 0 20 0 15 0 105761747 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140253383406576 140252982448731 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10551232 memory=7165352523811139894 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105761747 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10551232 memory=7158578613868058192 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105761747 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10551232 memory=6935649255776346432 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105761749 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10551232 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105761749 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252874220448 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10551232 memory=13931 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105761749 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252873167856 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10551232 memory=1038566 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105761752 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10551232 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) R 3560 3563 12395 0 -1 4202560 1038 0 0 0 29 0 0 0 20 0 15 0 105761752 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252871056000 140253362589126 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10551232 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) R 3560 3563 12395 0 -1 4202560 1512 0 0 0 28 0 0 0 20 0 15 0 105761752 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252869989824 140253364304537 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10551232 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) R 3560 3563 12395 0 -1 1077944384 1715 0 0 0 28 0 0 0 20 0 15 0 105761752 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252868958960 140253379189378 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3577] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3577/stat : 3577 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105761752 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252867906656 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3578] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3578/stat : 3578 (java) S 3560 3563 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105761757 10804461568 23505 18446744073709551615 4194304 4196468 140728934591520 140252866853168 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 94020 KiB
[startup+1.50078 s]
/proc/loadavg: 2.58 4.27 4.70 5/219 3578
/proc/meminfo: memFree=29153008/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10551232 memory=333724 CPUtime=3.54 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 14774 0 0 0 341 13 0 0 20 0 15 0 105761740 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2637808 83431 3112 1 0 2627261 0
[pid=3563/tid=3565] ppid=3560 vsize=10551232 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) R 3560 3563 12395 0 -1 4202560 7320 0 0 0 125 5 0 0 20 0 15 0 105761747 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140253383412248 140252982854855 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10551232 memory=55 CPUtime=0.05 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 100 0 0 0 4 1 0 0 20 0 15 0 105761747 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10551232 memory=13931 CPUtime=0.04 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 98 0 0 0 3 1 0 0 20 0 15 0 105761747 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10551232 memory=1038566 CPUtime=0.04 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 86 0 0 0 3 1 0 0 20 0 15 0 105761747 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10551232 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 107 0 0 0 4 1 0 0 20 0 15 0 105761747 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105761749 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105761749 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140252874220448 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105761749 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140252873167856 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105761752 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10551232 memory=6944656575208382560 CPUtime=0.81 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) S 3560 3563 12395 0 -1 1077944384 1779 0 0 0 81 0 0 0 20 0 15 0 105761752 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140252871064048 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10551232 memory=6944656592387989600 CPUtime=0.83 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) S 3560 3563 12395 0 -1 1077944384 1947 0 0 0 83 0 0 0 20 0 15 0 105761752 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140252870011504 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10551232 memory=6944656592387989600 CPUtime=0.34 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) S 3560 3563 12395 0 -1 1077944384 1892 0 0 0 34 0 0 0 20 0 15 0 105761752 10804461568 83431 18446744073709551615 4194304 4196468 140728934591520 140252868958960 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
################
# More data... #
################
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 1372 0 0 0 192 23 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.17 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1604 0 0 0 192 25 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.21 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2103 0 0 0 196 25 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0.93 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 3194 0 0 0 90 3 0 0 20 0 16 0 105761749 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 105761749 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252874220512 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 105761749 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252873167872 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10617796 memory=279603312197504 CPUtime=1.88 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) S 3560 3563 12395 0 -1 1077944384 13554 0 0 0 186 2 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252871064048 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.11 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) S 3560 3563 12395 0 -1 1077944384 12371 0 0 0 209 2 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252870011504 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0.51 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) S 3560 3563 12395 0 -1 1077944384 6875 0 0 0 49 2 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252868958960 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3577] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3577/stat : 3577 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252867906656 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3578] ppid=3560 vsize=10617796 memory=4132 CPUtime=1.68 cores=0,2,4,6
/proc/3563/task/3578/stat : 3578 (java) S 3560 3563 12395 0 -1 1077944384 1893 0 0 0 81 87 0 0 20 0 16 0 105761757 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252866853168 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3579] ppid=3560 vsize=10617796 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3579/stat : 3579 (java) S 3560 3563 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105762496 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252865798960 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 2515.05 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2087260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.3 s]
/proc/loadavg: 3.00 2.29 2.30 6/216 3840
/proc/meminfo: memFree=20705652/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2520.06 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 170248 0 0 0 251806 200 0 0 20 0 16 0 105761740 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2654449 521815 3146 1 0 2643902 0
[pid=3563/tid=3565] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2504.14 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) R 3560 3563 12395 0 -1 4202560 123499 0 0 0 250387 27 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253383414272 140252984253517 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.18 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 2358 0 0 0 192 26 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.15 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 1372 0 0 0 192 23 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.17 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1604 0 0 0 192 25 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.21 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2103 0 0 0 196 25 0 0 20 0 16 0 105761747 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0.93 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 3194 0 0 0 90 3 0 0 20 0 16 0 105761749 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 105761749 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252874220512 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 105761749 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252873167872 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10617796 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10617796 memory=2087260 CPUtime=1.88 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) S 3560 3563 12395 0 -1 1077944384 13554 0 0 0 186 2 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252871064048 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10617796 memory=2087260 CPUtime=2.11 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) S 3560 3563 12395 0 -1 1077944384 12371 0 0 0 209 2 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252870011504 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0.52 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) S 3560 3563 12395 0 -1 1077944384 6875 0 0 0 50 2 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252868958960 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3577] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3577/stat : 3577 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105761752 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252867906656 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3578] ppid=3560 vsize=10617796 memory=1992 CPUtime=1.68 cores=0,2,4,6
/proc/3563/task/3578/stat : 3578 (java) S 3560 3563 12395 0 -1 1077944384 1893 0 0 0 81 87 0 0 20 0 16 0 105761757 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252866853168 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3579] ppid=3560 vsize=10617796 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3579/stat : 3579 (java) S 3560 3563 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105762496 10872623104 521815 18446744073709551615 4194304 4196468 140728934591520 140252865798960 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2087260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.53 s]
# the end of solver process 3563 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.2 s, system=2.01457 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.41 s]
/proc/loadavg: 3.00 2.29 2.30 6/216 3840
/proc/meminfo: memFree=20705652/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10817488 memory=2093708 CPUtime=2520.17 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 171137 0 0 0 251817 200 0 0 20 0 17 0 105761740 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2704372 523427 3149 1 0 2693825 0
[pid=3563/tid=3565] ppid=3560 vsize=10817488 memory=7680170660397595203 CPUtime=2504.24 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) R 3560 3563 12395 0 -1 4202560 123651 0 0 0 250397 27 0 0 20 0 17 0 105761747 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140253383414384 140252984675074 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10817488 memory=4132 CPUtime=2.18 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 2358 0 0 0 192 26 0 0 20 0 17 0 105761747 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10817488 memory=52068 CPUtime=2.15 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 1372 0 0 0 192 23 0 0 20 0 17 0 105761747 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10817488 memory=4132 CPUtime=2.17 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1604 0 0 0 192 25 0 0 20 0 17 0 105761747 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10817488 memory=52068 CPUtime=2.21 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2103 0 0 0 196 25 0 0 20 0 17 0 105761747 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10817488 memory=1296 CPUtime=0.93 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 3200 0 0 0 90 3 0 0 20 0 17 0 105761749 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10817488 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 17 0 105761749 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252874220512 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10817488 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 105761749 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252873167872 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10817488 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 17 0 105761752 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10817488 memory=1228 CPUtime=1.88 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) S 3560 3563 12395 0 -1 1077944384 13559 0 0 0 186 2 0 0 20 0 17 0 105761752 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252871064048 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10817488 memory=1992 CPUtime=2.12 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) S 3560 3563 12395 0 -1 1077944384 12575 0 0 0 210 2 0 0 20 0 17 0 105761752 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252870011504 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10817488 memory=12132 CPUtime=0.52 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) S 3560 3563 12395 0 -1 1077944384 6959 0 0 0 50 2 0 0 20 0 17 0 105761752 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252868958960 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3577] ppid=3560 vsize=10817488 memory=796 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3577/stat : 3577 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105761752 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252867906656 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3578] ppid=3560 vsize=10817488 memory=7680170660397595203 CPUtime=1.68 cores=0,2,4,6
/proc/3563/task/3578/stat : 3578 (java) S 3560 3563 12395 0 -1 1077944384 1893 0 0 0 81 87 0 0 20 0 17 0 105761757 11077107712 523427 18446744073709551615 4194304 4196468 140728934591520 140252866853168 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 2093708 KiB
[startup+2507.5 s]
/proc/loadavg: 3.00 2.29 2.30 6/216 3840
/proc/meminfo: memFree=20705652/32770624 swapFree=67108860/67108860
[pid=3563] ppid=3560 vsize=10817488 memory=2095756 CPUtime=2520.19 cores=0,2,4,6
/proc/3563/stat : 3563 (java) S 3560 3563 12395 0 -1 1077944320 171146 0 0 0 251819 200 0 0 20 0 17 0 105761740 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140728934574064 140253379178231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
/proc/3563/statm: 2704372 523939 3149 1 0 2693825 0
[pid=3563/tid=3565] ppid=3560 vsize=10817488 memory=12132 CPUtime=2504.25 cores=0,2,4,6
/proc/3563/task/3565/stat : 3565 (java) S 3560 3563 12395 0 -1 1077944384 123660 0 0 0 250398 27 0 0 20 0 17 0 105761747 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140253383421104 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3566] ppid=3560 vsize=10817488 memory=2087260 CPUtime=2.18 cores=0,2,4,6
/proc/3563/task/3566/stat : 3566 (java) S 3560 3563 12395 0 -1 1077944384 2358 0 0 0 192 26 0 0 20 0 17 0 105761747 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140253309598480 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3567] ppid=3560 vsize=10817488 memory=2087260 CPUtime=2.15 cores=0,2,4,6
/proc/3563/task/3567/stat : 3567 (java) S 3560 3563 12395 0 -1 1077944384 1372 0 0 0 192 23 0 0 20 0 17 0 105761747 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140253308545936 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3568] ppid=3560 vsize=10817488 memory=2087260 CPUtime=2.17 cores=0,2,4,6
/proc/3563/task/3568/stat : 3568 (java) S 3560 3563 12395 0 -1 1077944384 1604 0 0 0 192 25 0 0 20 0 17 0 105761747 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140253307493392 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3569] ppid=3560 vsize=10817488 memory=2087260 CPUtime=2.21 cores=0,2,4,6
/proc/3563/task/3569/stat : 3569 (java) S 3560 3563 12395 0 -1 1077944384 2103 0 0 0 196 25 0 0 20 0 17 0 105761747 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140253306440848 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3570] ppid=3560 vsize=10817488 memory=2087260 CPUtime=0.93 cores=0,2,4,6
/proc/3563/task/3570/stat : 3570 (java) S 3560 3563 12395 0 -1 1077944384 3200 0 0 0 90 3 0 0 20 0 17 0 105761749 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252875274224 140253379189378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3571] ppid=3560 vsize=10817488 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3571/stat : 3571 (java) S 3560 3563 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 17 0 105761749 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252874220512 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3572] ppid=3560 vsize=10817488 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3572/stat : 3572 (java) S 3560 3563 12395 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 105761749 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252873167872 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3573] ppid=3560 vsize=10817488 memory=2087260 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3573/stat : 3573 (java) S 3560 3563 12395 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 17 0 105761752 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252872116432 140253379196827 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3574] ppid=3560 vsize=10817488 memory=2087260 CPUtime=1.88 cores=0,2,4,6
/proc/3563/task/3574/stat : 3574 (java) S 3560 3563 12395 0 -1 1077944384 13559 0 0 0 186 2 0 0 20 0 17 0 105761752 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252871064048 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3575] ppid=3560 vsize=10817488 memory=2087260 CPUtime=2.12 cores=0,2,4,6
/proc/3563/task/3575/stat : 3575 (java) S 3560 3563 12395 0 -1 1077944384 12575 0 0 0 210 2 0 0 20 0 17 0 105761752 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252870011504 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3576] ppid=3560 vsize=10817488 memory=2087260 CPUtime=0.52 cores=0,2,4,6
/proc/3563/task/3576/stat : 3576 (java) S 3560 3563 12395 0 -1 1077944384 6959 0 0 0 50 2 0 0 20 0 17 0 105761752 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252868958960 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3577] ppid=3560 vsize=10817488 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/3563/task/3577/stat : 3577 (java) S 3560 3563 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105761752 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252867906656 140253379188437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
[pid=3563/tid=3578] ppid=3560 vsize=10817488 memory=2087260 CPUtime=1.68 cores=0,2,4,6
/proc/3563/task/3578/stat : 3578 (java) S 3560 3563 12395 0 -1 1077944384 1893 0 0 0 81 87 0 0 20 0 17 0 105761757 11077107712 523939 18446744073709551615 4194304 4196468 140728934591520 140252866853168 140253379189378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36618240 140728934597008 140728934597161 140728934597161 140728934600655 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 2095756 KiB
Child status: 143
Real time (s): 2507.53
CPU time (s): 2520.21
CPU user time (s): 2518.2
CPU system time (s): 2.01457
CPU usage (%): 100.506
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 2095756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.2
system time used= 2.01457
maximum resident set size= 2098088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57069
involuntary context switches= 3251
# summary of solver processes directly reported to runsolver:
# pid: 3563
# total CPU time (s): 2520.21
# total CPU user time (s): 2518.2
# total CPU system time (s): 2.01457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4718 second user time and 25.6078 second system time
The end