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 (7482 MiB free)
memory of node 1: 16384 MiB (15612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257995-1502646482/watcher-4257995-1502646482 -o /tmp/evaluation-result-4257995-1502646482/solver-4257995-1502646482 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257995-1502646482.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10522, runsolver pid=10519
[startup+0.10096 s]*
/proc/loadavg: 3.59 3.50 3.40 3/198 10527
/proc/meminfo: memFree=23648800/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=9934352 memory=10736 CPUtime=0 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 2488 0 0 0 0 0 0 0 20 0 6 0 66841505 10172776448 2684 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2483588 2684 1223 1 0 2473558 0
[pid=10522/tid=10527] ppid=10519 vsize=9934352 memory=4206751525541407381 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) R 10519 10522 17093 0 -1 4202560 1265 0 0 0 0 0 0 0 20 0 6 0 66841515 10172776448 2750 18446744073709551615 4194304 4196468 140722326900512 140148399404376 140148380405759 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=9934352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 66841516 10172776448 2788 18446744073709551615 4194304 4196468 140722326900512 140148341513104 140148395173589 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=9934352 memory=140712957765248 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 66841516 10172776448 2788 18446744073709551615 4194304 4196468 140722326900512 140148004936464 140148395173589 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=9934352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 66841516 10172776448 2788 18446744073709551615 4194304 4196468 140722326900512 140148003884176 140148395173589 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=9934352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 66841516 10172776448 2788 18446744073709551615 4194304 4196468 140722326900512 140148002831376 140148395173589 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9934352 KiB
Current children cumulated memory: 10736 KiB
[startup+0.209823 s]*
/proc/loadavg: 3.59 3.50 3.40 6/211 10540
/proc/meminfo: memFree=23635772/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551156 memory=26380 CPUtime=0.08 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 5050 0 0 0 7 1 0 0 20 0 15 0 66841505 10804383744 6595 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637789 6595 2647 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) R 10519 10522 17093 0 -1 4202560 3164 0 0 0 6 0 0 0 20 0 15 0 66841515 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140148399394944 140148380843540 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140148341513104 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551156 memory=3617152644786742944 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140148004936464 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140148003884176 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140148002831376 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551156 memory=140712957765248 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66841518 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147959253104 140148395174530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147958199072 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66841518 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147957146736 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147956095056 140148395181979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) S 10519 10522 17093 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147955042928 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) S 10519 10522 17093 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147953990128 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551156 memory=140712957765248 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147952937840 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551156 memory=140712957765248 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841525 10804383744 6662 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26380 KiB
[startup+0.310096 s]*
/proc/loadavg: 3.59 3.50 3.40 6/211 10540
/proc/meminfo: memFree=23623720/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551156 memory=35876 CPUtime=0.23 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 8286 0 0 0 21 2 0 0 20 0 15 0 66841505 10804383744 8969 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637789 8969 2849 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551156 memory=-7677926825137650786 CPUtime=0.16 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) R 10519 10522 17093 0 -1 4202560 5973 0 0 0 15 1 0 0 20 0 15 0 66841515 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140148399400256 140148379243870 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140148341513104 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140148004936464 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140148003884176 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66841516 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140148002831376 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66841518 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147959253104 140148395174530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147958199072 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66841518 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147957146736 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147956095056 140148395181979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) S 10519 10522 17093 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147955042928 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551156 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) S 10519 10522 17093 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 66841521 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147953990128 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551156 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 401 0 0 0 4 0 0 0 20 0 15 0 66841521 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147952937840 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551156 memory=140712957765248 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841525 10804383744 9033 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35876 KiB
[startup+0.705415 s]
/proc/loadavg: 3.59 3.50 3.40 7/211 10540
/proc/meminfo: memFree=23606676/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551232 memory=201324 CPUtime=1.19 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 11970 0 0 0 111 8 0 0 20 0 15 0 66841505 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637808 50331 3071 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551232 memory=6297835844906604903 CPUtime=0.52 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) R 10519 10522 17093 0 -1 4202560 7477 0 0 0 48 4 0 0 20 0 15 0 66841515 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140148399394128 140148022006536 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551232 memory=7308028628335813952 CPUtime=0.02 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) S 10519 10522 17093 0 -1 1077944384 24 0 0 0 2 0 0 0 20 0 15 0 66841516 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140148341513104 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551232 memory=7596259004554634560 CPUtime=0.01 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) S 10519 10522 17093 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 15 0 66841516 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140148004936464 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551232 memory=7302135314614015848 CPUtime=0.02 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) S 10519 10522 17093 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 15 0 66841516 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140148003884176 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551232 memory=2275 CPUtime=0.01 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) S 10519 10522 17093 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 66841516 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140148002831376 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551232 memory=302 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147959253104 140148395174530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551232 memory=857 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147958199072 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551232 memory=57 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147957146736 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147956095056 140148395181979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551232 memory=108 CPUtime=0.19 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) R 10519 10522 17093 0 -1 4202560 1099 0 0 0 19 0 0 0 20 0 15 0 66841521 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147955024320 140148378649786 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551232 memory=3904 CPUtime=0.17 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) R 10519 10522 17093 0 -1 4202560 796 0 0 0 17 0 0 0 20 0 15 0 66841521 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147953981408 140148387452791 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551232 memory=-7677926825137650786 CPUtime=0.19 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 1077 0 0 0 19 0 0 0 20 0 15 0 66841521 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147952937840 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841525 10804461568 50331 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 201324 KiB
[startup+1.50143 s]
/proc/loadavg: 3.59 3.50 3.40 9/211 10540
/proc/meminfo: memFree=23375988/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551232 memory=549604 CPUtime=3.15 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 12939 0 0 0 277 38 0 0 20 0 15 0 66841505 10804461568 136889 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637808 137401 3086 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551232 memory=281425719054208 CPUtime=1.03 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) S 10519 10522 17093 0 -1 1077944384 7546 0 0 0 98 5 0 0 20 0 15 0 66841515 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140148399394608 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551232 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) R 10519 10522 17093 0 -1 4202560 213 0 0 0 22 7 0 0 20 0 15 0 66841516 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140148341513104 140148380191257 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551232 memory=5857 CPUtime=0.29 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) R 10519 10522 17093 0 -1 4202560 225 0 0 0 22 7 0 0 20 0 15 0 66841516 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140148004936664 140148388263083 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551232 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) R 10519 10522 17093 0 -1 4202560 201 0 0 0 22 7 0 0 20 0 15 0 66841516 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140148003884176 140148380191257 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551232 memory=281425719148832 CPUtime=0.27 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) R 10519 10522 17093 0 -1 4202560 204 0 0 0 20 7 0 0 20 0 15 0 66841516 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140148002831264 140148388263083 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147959251616 140148395173589 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147958199072 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551232 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147957146736 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551232 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147956095056 140148395181979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551232 memory=16448 CPUtime=0.36 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) S 10519 10522 17093 0 -1 1077944384 1141 0 0 0 36 0 0 0 20 0 15 0 66841521 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147955042928 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551232 memory=2752 CPUtime=0.33 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) S 10519 10522 17093 0 -1 1077944384 871 0 0 0 33 0 0 0 20 0 15 0 66841521 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147953990128 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551232 memory=2752 CPUtime=0.2 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 1096 0 0 0 20 0 0 0 20 0 15 0 66841521 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147952937840 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551232 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551232 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) S 10519 10522 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66841525 10804461568 137401 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
[startup+85.9529 s]
# the end of solver process 10522 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.783 s, system=6.24065 s
Solver just ended.
Dumping a history of the last processes samples
[startup+84.8006 s]
/proc/loadavg: 5.30 4.01 3.58 9/209 10617
/proc/meminfo: memFree=15428764/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551232 memory=8009484 CPUtime=255.69 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 238534 0 0 0 24951 618 0 0 20 0 15 0 66841505 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637808 2002371 3108 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551232 memory=1444 CPUtime=12.34 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) S 10519 10522 17093 0 -1 1077944384 18320 0 0 0 1221 13 0 0 20 0 15 0 66841515 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148399399456 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551232 memory=1228 CPUtime=56.6 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) R 10519 10522 17093 0 -1 4202560 45547 0 0 0 5511 149 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148341513224 140148387791591 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551232 memory=-8774313645642428999 CPUtime=57.05 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) R 10519 10522 17093 0 -1 4202560 46553 0 0 0 5553 152 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148004936584 140148387791591 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551232 memory=8009484 CPUtime=56.99 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) R 10519 10522 17093 0 -1 4202560 50649 0 0 0 5551 148 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148003884064 140148388267020 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551232 memory=7931648 CPUtime=56.71 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) R 10519 10522 17093 0 -1 4202560 50169 0 0 0 5522 149 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148002831496 140148387791591 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551232 memory=1296 CPUtime=14.83 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 18922 0 0 0 1481 2 0 0 20 0 15 0 66841518 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147959251648 140148395173589 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551232 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147958199136 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147957146752 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147956094704 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551232 memory=-8774313645642428999 CPUtime=0.4 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) S 10519 10522 17093 0 -1 1077944384 1640 0 0 0 40 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147955042688 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551232 memory=4612 CPUtime=0.37 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) S 10519 10522 17093 0 -1 1077944384 1562 0 0 0 37 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147953990176 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551232 memory=1708 CPUtime=0.26 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 3410 0 0 0 26 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147952937888 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551232 memory=1228 CPUtime=0.03 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) S 10519 10522 17093 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 66841525 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 255.69 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8009484 KiB
[startup+85.6007 s]
/proc/loadavg: 5.30 4.01 3.58 9/209 10617
/proc/meminfo: memFree=15428764/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551232 memory=8009484 CPUtime=258.79 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 238564 0 0 0 25260 619 0 0 20 0 15 0 66841505 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637808 2002371 3108 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551232 memory=-8774313645642428999 CPUtime=12.34 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) S 10519 10522 17093 0 -1 1077944384 18320 0 0 0 1221 13 0 0 20 0 15 0 66841515 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148399399456 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551232 memory=37680 CPUtime=57.37 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) R 10519 10522 17093 0 -1 4202560 45547 0 0 0 5588 149 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148341513224 140148387791591 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551232 memory=1296 CPUtime=57.82 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) R 10519 10522 17093 0 -1 4202560 46553 0 0 0 5630 152 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148004936272 140148387791591 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551232 memory=2420 CPUtime=57.79 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) R 10519 10522 17093 0 -1 4202560 50679 0 0 0 5631 148 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148003884064 140148376773171 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551232 memory=1732 CPUtime=57.47 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) R 10519 10522 17093 0 -1 4202560 50169 0 0 0 5597 150 0 0 20 0 15 0 66841516 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140148002831496 140148387791591 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551232 memory=5788 CPUtime=14.83 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 18922 0 0 0 1481 2 0 0 20 0 15 0 66841518 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147959251648 140148395173589 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147958199136 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147957146752 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147956094704 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551232 memory=1228 CPUtime=0.4 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) S 10519 10522 17093 0 -1 1077944384 1640 0 0 0 40 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147955042688 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551232 memory=12200 CPUtime=0.37 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) S 10519 10522 17093 0 -1 1077944384 1562 0 0 0 37 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147953990176 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551232 memory=1992 CPUtime=0.26 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 3410 0 0 0 26 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147952937888 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551232 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551232 memory=1000 CPUtime=0.03 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) R 10519 10522 17093 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 66841525 10804461568 2002371 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 258.79 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8009484 KiB
[startup+85.8007 s]
/proc/loadavg: 5.30 4.01 3.58 9/209 10617
/proc/meminfo: memFree=15428764/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551232 memory=8009488 CPUtime=259.56 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 238627 0 0 0 25337 619 0 0 20 0 15 0 66841505 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637808 2002372 3108 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551232 memory=-8774313645642428999 CPUtime=12.34 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) S 10519 10522 17093 0 -1 1077944384 18320 0 0 0 1221 13 0 0 20 0 15 0 66841515 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148399399456 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551232 memory=1296 CPUtime=57.56 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) R 10519 10522 17093 0 -1 4202560 45547 0 0 0 5607 149 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148341512912 140148387791591 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551232 memory=2420 CPUtime=58.01 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) R 10519 10522 17093 0 -1 4202560 46553 0 0 0 5649 152 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148004936272 140148387791591 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551232 memory=1732 CPUtime=57.99 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) R 10519 10522 17093 0 -1 4202560 50742 0 0 0 5651 148 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148003884064 140148380159793 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551232 memory=5788 CPUtime=57.66 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) S 10519 10522 17093 0 -1 1077944384 50169 0 0 0 5616 150 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148002831184 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551232 memory=4612 CPUtime=14.83 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 18922 0 0 0 1481 2 0 0 20 0 15 0 66841518 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147959251648 140148395173589 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147958199136 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147957146752 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147956094704 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551232 memory=12200 CPUtime=0.4 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) S 10519 10522 17093 0 -1 1077944384 1640 0 0 0 40 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147955042688 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551232 memory=1992 CPUtime=0.37 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) S 10519 10522 17093 0 -1 1077944384 1562 0 0 0 37 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147953990176 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551232 memory=1204 CPUtime=0.26 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 3410 0 0 0 26 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147952937888 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551232 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551232 memory=796 CPUtime=0.03 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) S 10519 10522 17093 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 66841525 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 259.56 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8009488 KiB
[startup+85.9007 s]
/proc/loadavg: 5.30 4.01 3.58 9/209 10617
/proc/meminfo: memFree=15428764/32770624 swapFree=67108860/67108860
[pid=10522] ppid=10519 vsize=10551232 memory=8009488 CPUtime=259.95 cores=1,3,5,7
/proc/10522/stat : 10522 (java) S 10519 10522 17093 0 -1 1077944320 238662 0 0 0 25376 619 0 0 20 0 15 0 66841505 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140722326883056 140148395163383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
/proc/10522/statm: 2637808 2002372 3108 1 0 2627261 0
[pid=10522/tid=10527] ppid=10519 vsize=10551232 memory=8009484 CPUtime=12.34 cores=1,3,5,7
/proc/10522/task/10527/stat : 10527 (java) S 10519 10522 17093 0 -1 1077944384 18320 0 0 0 1221 13 0 0 20 0 15 0 66841515 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148399399456 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10528] ppid=10519 vsize=10551232 memory=8009476 CPUtime=57.66 cores=1,3,5,7
/proc/10522/task/10528/stat : 10528 (java) R 10519 10522 17093 0 -1 4202560 45547 0 0 0 5617 149 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148341512912 140148387791591 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10529] ppid=10519 vsize=10551232 memory=8009484 CPUtime=58.11 cores=1,3,5,7
/proc/10522/task/10529/stat : 10529 (java) R 10519 10522 17093 0 -1 4202560 46553 0 0 0 5659 152 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148004936272 140148387791591 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10530] ppid=10519 vsize=10551232 memory=8009484 CPUtime=58.09 cores=1,3,5,7
/proc/10522/task/10530/stat : 10530 (java) R 10519 10522 17093 0 -1 4202560 50777 0 0 0 5661 148 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148003884064 140148380153019 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10531] ppid=10519 vsize=10551232 memory=8009484 CPUtime=57.76 cores=1,3,5,7
/proc/10522/task/10531/stat : 10531 (java) R 10519 10522 17093 0 -1 4202560 50169 0 0 0 5626 150 0 0 20 0 15 0 66841516 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140148002831496 140148387791591 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10532] ppid=10519 vsize=10551232 memory=8009484 CPUtime=14.83 cores=1,3,5,7
/proc/10522/task/10532/stat : 10532 (java) S 10519 10522 17093 0 -1 1077944384 18922 0 0 0 1481 2 0 0 20 0 15 0 66841518 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147959251648 140148395173589 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10533] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10533/stat : 10533 (java) S 10519 10522 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147958199136 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10534] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10534/stat : 10534 (java) S 10519 10522 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66841518 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147957146752 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10535] ppid=10519 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10535/stat : 10535 (java) S 10519 10522 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147956094704 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10536] ppid=10519 vsize=10551232 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/10522/task/10536/stat : 10536 (java) S 10519 10522 17093 0 -1 1077944384 1640 0 0 0 40 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147955042688 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10537] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0.37 cores=1,3,5,7
/proc/10522/task/10537/stat : 10537 (java) S 10519 10522 17093 0 -1 1077944384 1562 0 0 0 37 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147953990176 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10538] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0.26 cores=1,3,5,7
/proc/10522/task/10538/stat : 10538 (java) S 10519 10522 17093 0 -1 1077944384 3410 0 0 0 26 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147952937888 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10539] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0 cores=1,3,5,7
/proc/10522/task/10539/stat : 10539 (java) S 10519 10522 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66841521 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147951885280 140148395173589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
[pid=10522/tid=10540] ppid=10519 vsize=10551232 memory=8009484 CPUtime=0.03 cores=1,3,5,7
/proc/10522/task/10540/stat : 10540 (java) S 10519 10522 17093 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 66841525 10804461568 2002372 18446744073709551615 4194304 4196468 140722326900512 140147950832048 140148395174530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8966144 140722326909333 140722326909486 140722326909486 140722326912975 0
Current children cumulated CPU time: 259.95 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8009488 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.953
CPU time (s): 260.024
CPU user time (s): 253.783
CPU system time (s): 6.24065
CPU usage (%): 302.519
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8009488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.783
system time used= 6.24065
maximum resident set size= 8009852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5817
involuntary context switches= 5187
# summary of solver processes directly reported to runsolver:
# pid: 10522
# total CPU time (s): 260.024
# total CPU user time (s): 253.783
# total CPU system time (s): 6.24065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.487699 second user time and 0.897605 second system time
The end