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 (13131 MiB free)
memory of node 1: 16384 MiB (15383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263645-1502626185/watcher-4263645-1502626185 -o /tmp/evaluation-result-4263645-1502626185/solver-4263645-1502626185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263645-1502626185.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=19628, runsolver pid=19625
[startup+0.100154 s]*
/proc/loadavg: 2.13 2.09 2.25 3/206 19637
/proc/meminfo: memFree=29186488/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10484492 memory=23956 CPUtime=0.05 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 4943 0 0 0 4 1 0 0 20 0 14 0 16501158 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2621123 5989 2578 1 0 2610620 0
[pid=19628/tid=19630] ppid=19625 vsize=10484492 memory=-6439968830534014599 CPUtime=0.04 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) D 19625 19628 7968 0 -1 1077944384 3055 0 0 0 4 0 0 0 20 0 14 0 16501163 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140479427897152 140479423683645 0 4 1 16800974 18446744072101723684 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16501164 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10484492 memory=140526273730176 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16501164 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16501164 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 16501164 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10484492 memory=140526273730176 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 16501165 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 16501166 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478986597920 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 16501166 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478917895536 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16501168 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) S 19625 19628 7968 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 14 0 16501168 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478915791216 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16501168 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478914738416 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10484492 memory=140526273730176 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) S 19625 19628 7968 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 16501169 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478913685616 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16501169 10736119808 5989 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23956 KiB
[startup+0.213319 s]*
/proc/loadavg: 2.13 2.09 2.25 4/212 19643
/proc/meminfo: memFree=29178048/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10551156 memory=30764 CPUtime=0.14 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 7836 0 0 0 12 2 0 0 20 0 15 0 16501158 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2637789 7691 2788 1 0 2627261 0
[pid=19628/tid=19630] ppid=19625 vsize=10551156 memory=8318255677412212789 CPUtime=0.1 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) R 19625 19628 7968 0 -1 4202560 5685 0 0 0 9 1 0 0 20 0 15 0 16501163 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140479427875072 140479423681693 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10551156 memory=326 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10551156 memory=288370902425441920 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10551156 memory=140526273730176 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16501165 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16501166 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478986597920 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16501166 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478917895536 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16501168 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) S 19625 19628 7968 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 16501168 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478915791216 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16501168 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478914738416 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10551156 memory=140526273730176 CPUtime=0.02 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) S 19625 19628 7968 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 16501169 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478913685616 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16501169 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19643] ppid=19625 vsize=10551156 memory=140526273730176 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19643/stat : 19643 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501174 10804383744 7691 18446744073709551615 4194304 4196468 140728159539152 140478911581360 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30764 KiB
[startup+0.310363 s]*
/proc/loadavg: 2.13 2.09 2.25 5/212 19643
/proc/meminfo: memFree=29172332/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10551156 memory=39252 CPUtime=0.32 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 9085 0 0 0 29 3 0 0 20 0 15 0 16501158 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2637789 9813 2911 1 0 2627261 0
[pid=19628/tid=19630] ppid=19625 vsize=10551156 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) S 19625 19628 7968 0 -1 1077944384 6186 0 0 0 18 1 0 0 20 0 15 0 16501163 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140479427897664 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16501164 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16501165 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16501166 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478986597920 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16501166 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478917895536 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16501168 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10551156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) R 19625 19628 7968 0 -1 4202560 600 0 0 0 2 0 0 0 20 0 15 0 16501168 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478915789616 140479409723923 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) R 19625 19628 7968 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 16501168 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478914738416 140479423670914 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10551156 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) R 19625 19628 7968 0 -1 4202560 805 0 0 0 6 0 0 0 20 0 15 0 16501169 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478913682408 140479403069712 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16501169 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19643] ppid=19625 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19643/stat : 19643 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501174 10804383744 9813 18446744073709551615 4194304 4196468 140728159539152 140478911581360 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39252 KiB
[startup+0.70135 s]
/proc/loadavg: 2.13 2.09 2.25 4/212 19643
/proc/meminfo: memFree=29153180/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10551232 memory=105440 CPUtime=1.48 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 13431 0 0 0 144 4 0 0 20 0 15 0 16501158 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2637808 26360 3052 1 0 2627261 0
[pid=19628/tid=19630] ppid=19625 vsize=10551232 memory=3056 CPUtime=0.57 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) R 19625 19628 7968 0 -1 4202560 7407 0 0 0 54 3 0 0 20 0 15 0 16501163 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140479427893664 140479067658843 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10551232 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10551232 memory=4060 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10551232 memory=7450735414763743833 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501164 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10551232 memory=7158870075131520611 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16501164 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10551232 memory=7516613762463065702 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16501165 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10551232 memory=5865727821814644839 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16501166 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478986597920 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10551232 memory=7451579878684191847 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16501166 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478917895536 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10551232 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16501168 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10551232 memory=281052325284160 CPUtime=0.33 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) R 19625 19628 7968 0 -1 4202560 1741 0 0 0 33 0 0 0 20 0 15 0 16501168 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478915772784 140479407159859 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10551232 memory=7882267345101149545 CPUtime=0.31 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) R 19625 19628 7968 0 -1 4202560 1422 0 0 0 31 0 0 0 20 0 15 0 16501168 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478914724296 140479405179107 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10551232 memory=7447128870833335450 CPUtime=0.24 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) S 19625 19628 7968 0 -1 1077944384 1490 0 0 0 24 0 0 0 20 0 15 0 16501169 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478913685616 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16501169 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19643] ppid=19625 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19643/stat : 19643 (java) S 19625 19628 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16501174 10804461568 26360 18446744073709551615 4194304 4196468 140728159539152 140478911581360 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 105440 KiB
[startup+1.50135 s]
/proc/loadavg: 2.13 2.09 2.25 5/212 19643
/proc/meminfo: memFree=29021680/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10551232 memory=223708 CPUtime=4.05 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 18021 0 0 0 396 9 0 0 20 0 15 0 16501158 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2637808 55927 3109 1 0 2627261 0
[pid=19628/tid=19630] ppid=19625 vsize=10551232 memory=281052325219376 CPUtime=1.33 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) R 19625 19628 7968 0 -1 4202560 7939 0 0 0 129 4 0 0 20 0 15 0 16501163 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140479427895200 140479069161001 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10551232 memory=4124 CPUtime=0.01 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 16501164 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10551232 memory=12752 CPUtime=0.02 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 15 0 16501164 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10551232 memory=2424 CPUtime=0.01 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 16501164 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10551232 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 71 0 0 0 2 0 0 0 20 0 15 0 16501164 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10551232 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 16501165 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10551232 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 16501166 10804461568 55927 18446744073709551615 4194304 4196468 140728159539152 140478986597984 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
################
# More data... #
################
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1278 0 0 0 17 8 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.27 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 876 0 0 0 18 9 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.07 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 1690 0 0 0 3 4 0 0 20 0 16 0 16501165 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 16501166 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478986597984 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 16501166 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478917895552 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10617796 memory=865848 CPUtime=1.89 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) S 19625 19628 7968 0 -1 1077944384 7208 0 0 0 188 1 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478915791216 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10617796 memory=865848 CPUtime=2.17 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) S 19625 19628 7968 0 -1 1077944384 8158 0 0 0 216 1 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478914738416 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.57 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) S 19625 19628 7968 0 -1 1077944384 5603 0 0 0 56 1 0 0 20 0 16 0 16501169 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478913685616 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 16501169 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19643] ppid=19625 vsize=10617796 memory=865848 CPUtime=1.37 cores=1,3,5,7
/proc/19628/task/19643/stat : 19643 (java) S 19625 19628 7968 0 -1 1077944384 1553 0 0 0 62 75 0 0 20 0 16 0 16501174 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478911581360 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19644] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19644/stat : 19644 (java) S 19625 19628 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 16501337 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478910526896 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 2448.91 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 865848 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.40 3/213 20513
/proc/meminfo: memFree=25415396/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10617796 memory=865848 CPUtime=2508.93 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 54027 0 0 0 250777 116 0 0 20 0 16 0 16501158 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2654449 216462 3129 1 0 2643902 0
[pid=19628/tid=19630] ppid=19625 vsize=10617796 memory=1440 CPUtime=2501.69 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) R 19625 19628 7968 0 -1 4202560 24277 0 0 0 250159 10 0 0 20 0 16 0 16501163 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479427898720 140479070701448 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.26 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 979 0 0 0 17 9 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.26 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 923 0 0 0 17 9 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.25 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1278 0 0 0 17 8 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.27 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 876 0 0 0 18 9 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.07 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 1695 0 0 0 3 4 0 0 20 0 16 0 16501165 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 16501166 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478986597984 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 16501166 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478917895552 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10617796 memory=865848 CPUtime=1.89 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) S 19625 19628 7968 0 -1 1077944384 7210 0 0 0 188 1 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478915791216 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10617796 memory=865848 CPUtime=2.17 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) S 19625 19628 7968 0 -1 1077944384 8160 0 0 0 216 1 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478914738416 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10617796 memory=865848 CPUtime=0.57 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) S 19625 19628 7968 0 -1 1077944384 5611 0 0 0 56 1 0 0 20 0 16 0 16501169 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478913685616 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 16501169 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19643] ppid=19625 vsize=10617796 memory=4124 CPUtime=1.4 cores=1,3,5,7
/proc/19628/task/19643/stat : 19643 (java) S 19625 19628 7968 0 -1 1077944384 1586 0 0 0 64 76 0 0 20 0 16 0 16501174 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478911581360 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19644] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19644/stat : 19644 (java) S 19625 19628 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 16501337 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478910526896 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 2508.93 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 865848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.4 s]
/proc/loadavg: 2.01 2.03 2.40 3/213 20516
/proc/meminfo: memFree=25414696/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10617796 memory=865848 CPUtime=2520.04 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 54036 0 0 0 251887 117 0 0 20 0 16 0 16501158 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2654449 216462 3129 1 0 2643902 0
[pid=19628/tid=19630] ppid=19625 vsize=10617796 memory=3868 CPUtime=2512.79 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) R 19625 19628 7968 0 -1 4202560 24284 0 0 0 251269 10 0 0 20 0 16 0 16501163 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479427898720 140479071142449 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10617796 memory=3904 CPUtime=0.26 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 979 0 0 0 17 9 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10617796 memory=3088 CPUtime=0.26 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 923 0 0 0 17 9 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10617796 memory=2760 CPUtime=0.25 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1278 0 0 0 17 8 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10617796 memory=1152 CPUtime=0.27 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 876 0 0 0 18 9 0 0 20 0 16 0 16501164 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10617796 memory=3212 CPUtime=0.07 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 1695 0 0 0 3 4 0 0 20 0 16 0 16501165 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10617796 memory=865848 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 16501166 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478986597984 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10617796 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 16501166 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478917895552 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10617796 memory=3244 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10617796 memory=288230574492221466 CPUtime=1.89 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) S 19625 19628 7968 0 -1 1077944384 7210 0 0 0 188 1 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478915791216 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10617796 memory=288230613214036277 CPUtime=2.17 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) S 19625 19628 7968 0 -1 1077944384 8160 0 0 0 216 1 0 0 20 0 16 0 16501168 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478914738416 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10617796 memory=15816711811106768 CPUtime=0.57 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) S 19625 19628 7968 0 -1 1077944384 5611 0 0 0 56 1 0 0 20 0 16 0 16501169 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478913685616 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 16501169 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19643] ppid=19625 vsize=10617796 memory=2248 CPUtime=1.4 cores=1,3,5,7
/proc/19628/task/19643/stat : 19643 (java) S 19625 19628 7968 0 -1 1077944384 1588 0 0 0 64 76 0 0 20 0 16 0 16501174 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478911581360 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19644] ppid=19625 vsize=10617796 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19644/stat : 19644 (java) S 19625 19628 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 16501337 10872623104 216462 18446744073709551615 4194304 4196468 140728159539152 140478910526896 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 865848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.65 s]
# the end of solver process 19628 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.93 s, system=1.17808 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.6 s]
/proc/loadavg: 2.01 2.03 2.40 3/213 20516
/proc/meminfo: memFree=25414696/32770624 swapFree=67108860/67108860
[pid=19628] ppid=19625 vsize=10817488 memory=865980 CPUtime=2520.06 cores=1,3,5,7
/proc/19628/stat : 19628 (java) S 19625 19628 7968 0 -1 1077944320 54381 0 0 0 251889 117 0 0 20 0 17 0 16501158 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140728159521696 140479423659767 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
/proc/19628/statm: 2704372 216495 3131 1 0 2693825 0
[pid=19628/tid=19630] ppid=19625 vsize=10817488 memory=1236 CPUtime=2512.8 cores=1,3,5,7
/proc/19628/task/19630/stat : 19630 (java) S 19625 19628 7968 0 -1 1077944384 24324 0 0 0 251270 10 0 0 20 0 17 0 16501163 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140479427902640 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19631] ppid=19625 vsize=10817488 memory=865848 CPUtime=0.26 cores=1,3,5,7
/proc/19628/task/19631/stat : 19631 (java) S 19625 19628 7968 0 -1 1077944384 979 0 0 0 17 9 0 0 20 0 17 0 16501164 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140479388940944 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19632] ppid=19625 vsize=10817488 memory=865848 CPUtime=0.26 cores=1,3,5,7
/proc/19628/task/19632/stat : 19632 (java) S 19625 19628 7968 0 -1 1077944384 923 0 0 0 17 9 0 0 20 0 17 0 16501164 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140479034030608 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19633] ppid=19625 vsize=10817488 memory=865848 CPUtime=0.25 cores=1,3,5,7
/proc/19628/task/19633/stat : 19633 (java) S 19625 19628 7968 0 -1 1077944384 1278 0 0 0 17 8 0 0 20 0 17 0 16501164 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140479032977808 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19634] ppid=19625 vsize=10817488 memory=-8774313645642428999 CPUtime=0.27 cores=1,3,5,7
/proc/19628/task/19634/stat : 19634 (java) S 19625 19628 7968 0 -1 1077944384 876 0 0 0 18 9 0 0 20 0 17 0 16501164 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140479031925008 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19635] ppid=19625 vsize=10817488 memory=9916 CPUtime=0.07 cores=1,3,5,7
/proc/19628/task/19635/stat : 19635 (java) S 19625 19628 7968 0 -1 1077944384 1695 0 0 0 3 4 0 0 20 0 17 0 16501165 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478987651952 140479423670914 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19636] ppid=19625 vsize=10817488 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19636/stat : 19636 (java) S 19625 19628 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 16501166 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478986597984 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19637] ppid=19625 vsize=10817488 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19637/stat : 19637 (java) S 19625 19628 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 16501166 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478917895552 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19638] ppid=19625 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19638/stat : 19638 (java) S 19625 19628 7968 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 17 0 16501168 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478916843856 140479423678363 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19639] ppid=19625 vsize=10817488 memory=1588 CPUtime=1.89 cores=1,3,5,7
/proc/19628/task/19639/stat : 19639 (java) S 19625 19628 7968 0 -1 1077944384 7210 0 0 0 188 1 0 0 20 0 17 0 16501168 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478915791216 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19640] ppid=19625 vsize=10817488 memory=928 CPUtime=2.17 cores=1,3,5,7
/proc/19628/task/19640/stat : 19640 (java) S 19625 19628 7968 0 -1 1077944384 8160 0 0 0 216 1 0 0 20 0 17 0 16501168 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478914738416 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19641] ppid=19625 vsize=10817488 memory=2164 CPUtime=0.57 cores=1,3,5,7
/proc/19628/task/19641/stat : 19641 (java) S 19625 19628 7968 0 -1 1077944384 5670 0 0 0 56 1 0 0 20 0 17 0 16501169 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478913685616 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19642] ppid=19625 vsize=10817488 memory=12852 CPUtime=0 cores=1,3,5,7
/proc/19628/task/19642/stat : 19642 (java) S 19625 19628 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 16501169 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478912633056 140479423669973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
[pid=19628/tid=19643] ppid=19625 vsize=10817488 memory=2424 CPUtime=1.4 cores=1,3,5,7
/proc/19628/task/19643/stat : 19643 (java) S 19625 19628 7968 0 -1 1077944384 1588 0 0 0 64 76 0 0 20 0 17 0 16501174 11077107712 216495 18446744073709551615 4194304 4196468 140728159539152 140478911581360 140479423670914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140728159547793 140728159547946 140728159547946 140728159551439 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 865980 KiB
Child status: 143
Real time (s): 2513.65
CPU time (s): 2520.11
CPU user time (s): 2518.93
CPU system time (s): 1.17808
CPU usage (%): 100.257
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 865980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.93
system time used= 1.17808
maximum resident set size= 866484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54561
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56702
involuntary context switches= 982
# summary of solver processes directly reported to runsolver:
# pid: 19628
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.93
# total CPU system time (s): 1.17808
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.707 second user time and 23.0652 second system time
The end