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 (14585 MiB free)
memory of node 1: 16384 MiB (15143 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400359-1568694352/watcher-4400359-1568694352 -o /tmp/evaluation-result-4400359-1568694352/solver-4400359-1568694352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1869637657 HOME/instance-4400359-1568694352.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30783, runsolver pid=30780
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.01 2.10 1.75 7/233 30799
/proc/meminfo: memFree=30425288/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
[pid=30785] ppid=30783 vsize=15144776 memory=30104 CPUtime=0.13 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30783 30783 30406 0 -1 1077944320 5924 0 0 0 11 2 0 0 20 0 15 0 445704090 15508250624 7526 33554432000 4194304 4196468 140729568973504 140729568956048 140664427405047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
/proc/30785/statm: 3786194 7526 3149 1 0 3748377 0
[pid=30785/tid=30786] ppid=30783 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/30785/task/30786/stat : 30786 (java) R 30783 30783 30406 0 -1 4202560 3851 0 0 0 8 1 0 0 20 0 15 0 445704090 15508250624 7526 33554432000 4194304 4196468 140729568973504 140664431637824 140664427426973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30787] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 7526 33554432000 4194304 4196468 140729568973504 140664355445776 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30788] ppid=30783 vsize=15144776 memory=288370679590958720 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 7526 33554432000 4194304 4196468 140729568973504 140664354393232 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30789] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 7526 33554432000 4194304 4196468 140729568973504 140664353340176 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30790] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30783 30783 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 7526 33554432000 4194304 4196468 140729568973504 140664352287632 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30791] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30783 30783 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445704092 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663761565936 140664427416194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30792] ppid=30783 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30783 30783 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445704093 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663760512160 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30793] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30783 30783 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445704093 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663759459056 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30794] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704095 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663758407632 140664427423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30795] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30783 30783 30406 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 445704095 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663757355760 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30796] ppid=30783 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704095 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663756303216 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30797] ppid=30783 vsize=15144776 memory=140303439246976 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) R 30783 30783 30406 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 445704095 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663755250160 140664427426394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30798] ppid=30783 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704096 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663754197856 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30799] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704096 15508250624 7526 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31552 KiB
[startup+0.210799 s]*
/proc/loadavg: 4.01 2.10 1.75 6/233 30799
/proc/meminfo: memFree=30413080/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
[pid=30785] ppid=30783 vsize=15144776 memory=41312 CPUtime=0.34 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30783 30783 30406 0 -1 1077944320 9540 0 0 0 31 3 0 0 20 0 15 0 445704090 15508250624 10328 33554432000 4194304 4196468 140729568973504 140729568956048 140664427405047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
/proc/30785/statm: 3786194 10328 3305 1 0 3748377 0
[pid=30785/tid=30786] ppid=30783 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30785/task/30786/stat : 30786 (java) R 30783 30783 30406 0 -1 4202560 6673 0 0 0 18 2 0 0 20 0 15 0 445704090 15508250624 10328 33554432000 4194304 4196468 140729568973504 140664431636288 140664021077005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30787] ppid=30783 vsize=15144776 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 10328 33554432000 4194304 4196468 140729568973504 140664355445776 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30788] ppid=30783 vsize=15144776 memory=140303439276556 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 10328 33554432000 4194304 4196468 140729568973504 140664354393232 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30789] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 10328 33554432000 4194304 4196468 140729568973504 140664353340176 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30790] ppid=30783 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30783 30783 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445704091 15508250624 10328 33554432000 4194304 4196468 140729568973504 140664352287632 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30791] ppid=30783 vsize=15144776 memory=140303439246976 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30783 30783 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445704092 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663761565936 140664427416194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30792] ppid=30783 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30783 30783 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445704093 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663760512160 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30793] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30783 30783 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445704093 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663759459056 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30794] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704095 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663758407632 140664427423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30795] ppid=30783 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30783 30783 30406 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 445704095 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663757355760 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30796] ppid=30783 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) R 30783 30783 30406 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 445704095 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663756303216 140664427416194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30797] ppid=30783 vsize=15144776 memory=140303439246976 CPUtime=0.07 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) R 30783 30783 30406 0 -1 4202560 675 0 0 0 7 0 0 0 20 0 15 0 445704095 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663755249968 140664406359580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30798] ppid=30783 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704096 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663754197856 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30799] ppid=30783 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704096 15508250624 10328 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42760 KiB
[startup+0.310776 s]*
/proc/loadavg: 4.01 2.10 1.75 8/233 30799
/proc/meminfo: memFree=30405696/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
[pid=30785] ppid=30783 vsize=15149032 memory=50156 CPUtime=0.53 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30783 30783 30406 0 -1 1077944320 10854 0 0 0 49 4 0 0 20 0 15 0 445704090 15512608768 12539 33554432000 4194304 4196468 140729568973504 140729568956048 140664427405047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
/proc/30785/statm: 3787258 12539 3356 1 0 3748377 0
[pid=30785/tid=30786] ppid=30783 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/30785/task/30786/stat : 30786 (java) R 30783 30783 30406 0 -1 4202560 7779 0 0 0 27 3 0 0 20 0 15 0 445704090 15512608768 12539 33554432000 4194304 4196468 140729568973504 140664431638832 140664411485534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30787] ppid=30783 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15512608768 12539 33554432000 4194304 4196468 140729568973504 140664355445776 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30788] ppid=30783 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15512608768 12539 33554432000 4194304 4196468 140729568973504 140664354393232 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30789] ppid=30783 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15512608768 12539 33554432000 4194304 4196468 140729568973504 140664353340176 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30790] ppid=30783 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30783 30783 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445704091 15512608768 12539 33554432000 4194304 4196468 140729568973504 140664352287632 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30791] ppid=30783 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30783 30783 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445704092 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663761565936 140664427416194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30792] ppid=30783 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30783 30783 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445704093 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663760512160 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30793] ppid=30783 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30783 30783 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445704093 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663759459056 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30794] ppid=30783 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704095 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663758407632 140664427423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30795] ppid=30783 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30783 30783 30406 0 -1 1077944384 579 0 0 0 4 0 0 0 20 0 15 0 445704095 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663757355760 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30796] ppid=30783 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) R 30783 30783 30406 0 -1 4202560 431 0 0 0 5 0 0 0 20 0 15 0 445704095 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663756284232 140664410960272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30797] ppid=30783 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30783 30783 30406 0 -1 1077944384 761 0 0 0 12 0 0 0 20 0 15 0 445704095 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663755250160 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30798] ppid=30783 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704096 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663754197856 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30799] ppid=30783 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704096 15512608768 12539 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51604 KiB
[startup+0.705847 s]
/proc/loadavg: 4.09 2.15 1.77 8/233 30799
/proc/meminfo: memFree=30378256/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
[pid=30785] ppid=30783 vsize=15151156 memory=109124 CPUtime=1.72 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30783 30783 30406 0 -1 1077944320 14815 0 0 0 166 6 0 0 20 0 15 0 445704090 15514783744 27281 33554432000 4194304 4196468 140729568973504 140729568956048 140664427405047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
/proc/30785/statm: 3787789 27281 3444 1 0 3748889 0
[pid=30785/tid=30786] ppid=30783 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/30785/task/30786/stat : 30786 (java) R 30783 30783 30406 0 -1 4202560 9156 0 0 0 64 4 0 0 20 0 15 0 445704090 15514783744 27281 33554432000 4194304 4196468 140729568973504 140664431637152 140664024494239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30787] ppid=30783 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15514783744 27281 33554432000 4194304 4196468 140729568973504 140664355445776 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30788] ppid=30783 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15514783744 27281 33554432000 4194304 4196468 140729568973504 140664354393232 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30789] ppid=30783 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704091 15514783744 27281 33554432000 4194304 4196468 140729568973504 140664353340176 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30790] ppid=30783 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30783 30783 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445704091 15514783744 27281 33554432000 4194304 4196468 140729568973504 140664352287632 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30791] ppid=30783 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30783 30783 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445704092 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663761565936 140664427416194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30792] ppid=30783 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30783 30783 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445704093 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663760512160 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30793] ppid=30783 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30783 30783 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445704093 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663759459056 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30794] ppid=30783 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704095 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663758407632 140664427423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30795] ppid=30783 vsize=15151156 memory=620 CPUtime=0.34 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) R 30783 30783 30406 0 -1 4202560 1678 0 0 0 34 0 0 0 20 0 15 0 445704095 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663757347488 140664408949487 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30796] ppid=30783 vsize=15151156 memory=1496 CPUtime=0.35 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) R 30783 30783 30406 0 -1 4202560 1019 0 0 0 35 0 0 0 20 0 15 0 445704095 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663756290000 140664408106539 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30797] ppid=30783 vsize=15151156 memory=1016 CPUtime=0.31 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) R 30783 30783 30406 0 -1 4202560 1656 0 0 0 31 0 0 0 20 0 15 0 445704095 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663755247096 140664406360673 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30798] ppid=30783 vsize=15151156 memory=6016 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445704096 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663754197856 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30799] ppid=30783 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445704096 15514783744 27281 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 110572 KiB
[startup+1.50285 s]
/proc/loadavg: 4.09 2.15 1.77 9/233 30799
/proc/meminfo: memFree=30292188/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 19 0 445704096 15857688576 76158 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30917] ppid=30783 vsize=15486024 memory=372932 CPUtime=9.08 cores=0,2,4,6
/proc/30785/task/30917/stat : 30917 (java) R 30783 30783 30406 0 -1 4202560 267 0 0 0 908 0 0 0 20 0 19 0 445706343 15857688576 76158 33554432000 4194304 4196468 140729568973504 140663738907976 140664027192997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30918] ppid=30783 vsize=15486024 memory=1412 CPUtime=9.25 cores=0,2,4,6
/proc/30785/task/30918/stat : 30918 (java) R 30783 30783 30406 0 -1 4202560 1110 0 0 0 925 0 0 0 20 0 19 0 445706343 15857688576 76158 33554432000 4194304 4196468 140729568973504 140663739961416 140664027192874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30919] ppid=30783 vsize=15486024 memory=2960 CPUtime=9.34 cores=0,2,4,6
/proc/30785/task/30919/stat : 30919 (java) R 30783 30783 30406 0 -1 4202560 1297 0 0 0 934 0 0 0 20 0 19 0 445706343 15857688576 76158 33554432000 4194304 4196468 140729568973504 140663742066536 140664027192843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30920] ppid=30783 vsize=15486024 memory=1448 CPUtime=9.12 cores=0,2,4,6
/proc/30785/task/30920/stat : 30920 (java) R 30783 30783 30406 0 -1 4202560 665 0 0 0 912 0 0 0 20 0 19 0 445706343 15857688576 76158 33554432000 4194304 4196468 140729568973504 140663737856664 140664027522259 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 125.34 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 306080 KiB
[startup+32.8008 s]
/proc/loadavg: 5.81 2.76 1.98 9/237 30920
/proc/meminfo: memFree=30026172/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
[pid=30785] ppid=30783 vsize=15486024 memory=306680 CPUtime=128.48 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30783 30783 30406 0 -1 1077944320 63196 0 0 0 12827 21 0 0 20 0 19 0 445704090 15857688576 76670 33554432000 4194304 4196468 140729568973504 140729568956048 140664427405047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
/proc/30785/statm: 3871506 76670 3530 1 0 3832606 0
[pid=30785/tid=30786] ppid=30783 vsize=15486024 memory=26016 CPUtime=1.35 cores=0,2,4,6
/proc/30785/task/30786/stat : 30786 (java) S 30783 30783 30406 0 -1 1077944384 11760 0 0 0 129 6 0 0 20 0 19 0 445704090 15857688576 76670 33554432000 4194304 4196468 140729568973504 140664431645824 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30787] ppid=30783 vsize=15486024 memory=14068 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30783 30783 30406 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 76670 33554432000 4194304 4196468 140729568973504 140664355445776 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30788] ppid=30783 vsize=15486024 memory=524 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30783 30783 30406 0 -1 1077944384 272 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 76670 33554432000 4194304 4196468 140729568973504 140664354393232 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30789] ppid=30783 vsize=15486024 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30783 30783 30406 0 -1 1077944384 108 0 0 0 1 1 0 0 20 0 19 0 445704091 15857688576 76670 33554432000 4194304 4196468 140729568973504 140664353340176 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30790] ppid=30783 vsize=15486024 memory=111632 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30783 30783 30406 0 -1 1077944384 375 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 76670 33554432000 4194304 4196468 140729568973504 140664352287632 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30791] ppid=30783 vsize=15486024 memory=800 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30783 30783 30406 0 -1 1077944384 1364 0 0 0 1 0 0 0 20 0 19 0 445704092 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663761565936 140664427416194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30792] ppid=30783 vsize=15486024 memory=4112 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30783 30783 30406 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445704093 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663760512224 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30793] ppid=30783 vsize=15486024 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30783 30783 30406 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 445704093 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663759459072 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30794] ppid=30783 vsize=15486024 memory=916 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445704095 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663758407632 140664427423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30795] ppid=30783 vsize=15486024 memory=3804 CPUtime=3.38 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30783 30783 30406 0 -1 1077944384 17149 0 0 0 337 1 0 0 20 0 19 0 445704095 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663757355760 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30796] ppid=30783 vsize=15486024 memory=2596 CPUtime=2.71 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30783 30783 30406 0 -1 1077944384 12451 0 0 0 270 1 0 0 20 0 19 0 445704095 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663756303216 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30797] ppid=30783 vsize=15486024 memory=2596 CPUtime=0.9 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30783 30783 30406 0 -1 1077944384 8963 0 0 0 88 2 0 0 20 0 19 0 445704095 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663755250160 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30798] ppid=30783 vsize=15486024 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445704096 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663754197856 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30799] ppid=30783 vsize=15486024 memory=1056 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 19 0 445704096 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30917] ppid=30783 vsize=15486024 memory=1188 CPUtime=9.86 cores=0,2,4,6
/proc/30785/task/30917/stat : 30917 (java) R 30783 30783 30406 0 -1 4202560 267 0 0 0 986 0 0 0 20 0 19 0 445706343 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663738907976 140664027192933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30918] ppid=30783 vsize=15486024 memory=1536 CPUtime=10.03 cores=0,2,4,6
/proc/30785/task/30918/stat : 30918 (java) R 30783 30783 30406 0 -1 4202560 1122 0 0 0 1003 0 0 0 20 0 19 0 445706343 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663739961360 140664027192816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30919] ppid=30783 vsize=15486024 memory=9592 CPUtime=10.13 cores=0,2,4,6
/proc/30785/task/30919/stat : 30919 (java) R 30783 30783 30406 0 -1 4202560 1309 0 0 0 1013 0 0 0 20 0 19 0 445706343 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663742066640 140664027415332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30920] ppid=30783 vsize=15486024 memory=2828 CPUtime=9.89 cores=0,2,4,6
/proc/30785/task/30920/stat : 30920 (java) R 30783 30783 30406 0 -1 4202560 669 0 0 0 989 0 0 0 20 0 19 0 445706343 15857688576 76670 33554432000 4194304 4196468 140729568973504 140663737856456 140664027192983 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 128.48 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 308128 KiB
[startup+33.2008 s]
/proc/loadavg: 5.81 2.76 1.98 9/238 30922
/proc/meminfo: memFree=30022712/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
[pid=30785] ppid=30783 vsize=15486024 memory=310776 CPUtime=130.07 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30783 30783 30406 0 -1 1077944320 63220 0 0 0 12986 21 0 0 20 0 19 0 445704090 15857688576 77694 33554432000 4194304 4196468 140729568973504 140729568956048 140664427405047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
/proc/30785/statm: 3871506 77694 3530 1 0 3832606 0
[pid=30785/tid=30786] ppid=30783 vsize=15486024 memory=2512 CPUtime=1.35 cores=0,2,4,6
/proc/30785/task/30786/stat : 30786 (java) S 30783 30783 30406 0 -1 1077944384 11760 0 0 0 129 6 0 0 20 0 19 0 445704090 15857688576 77694 33554432000 4194304 4196468 140729568973504 140664431645824 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30787] ppid=30783 vsize=15486024 memory=808 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30783 30783 30406 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 77694 33554432000 4194304 4196468 140729568973504 140664355445776 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30788] ppid=30783 vsize=15486024 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30783 30783 30406 0 -1 1077944384 272 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 77694 33554432000 4194304 4196468 140729568973504 140664354393232 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30789] ppid=30783 vsize=15486024 memory=1764 CPUtime=0.02 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30783 30783 30406 0 -1 1077944384 108 0 0 0 1 1 0 0 20 0 19 0 445704091 15857688576 77694 33554432000 4194304 4196468 140729568973504 140664353340176 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30790] ppid=30783 vsize=15486024 memory=288230574492221466 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30783 30783 30406 0 -1 1077944384 375 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 77694 33554432000 4194304 4196468 140729568973504 140664352287632 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30791] ppid=30783 vsize=15486024 memory=288230596050944315 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30783 30783 30406 0 -1 1077944384 1364 0 0 0 1 0 0 0 20 0 19 0 445704092 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663761565936 140664427416194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30792] ppid=30783 vsize=15486024 memory=16100368647981698 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30783 30783 30406 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445704093 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663760512224 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30793] ppid=30783 vsize=15486024 memory=288292168718877392 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30783 30783 30406 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 445704093 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663759459072 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30794] ppid=30783 vsize=15486024 memory=301794158495072081 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445704095 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663758407632 140664427423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30795] ppid=30783 vsize=15486024 memory=8243122710528917583 CPUtime=3.38 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30783 30783 30406 0 -1 1077944384 17149 0 0 0 337 1 0 0 20 0 19 0 445704095 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663757355760 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30796] ppid=30783 vsize=15486024 memory=1947786 CPUtime=2.71 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30783 30783 30406 0 -1 1077944384 12457 0 0 0 270 1 0 0 20 0 19 0 445704095 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663756303216 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30797] ppid=30783 vsize=15486024 memory=3906650782409455863 CPUtime=0.9 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30783 30783 30406 0 -1 1077944384 8963 0 0 0 88 2 0 0 20 0 19 0 445704095 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663755250160 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30798] ppid=30783 vsize=15486024 memory=8514701219880992413 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445704096 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663754197856 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30799] ppid=30783 vsize=15486024 memory=592004792737294126 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 19 0 445704096 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30917] ppid=30783 vsize=15486024 memory=288292168718877392 CPUtime=10.26 cores=0,2,4,6
/proc/30785/task/30917/stat : 30917 (java) R 30783 30783 30406 0 -1 4202560 267 0 0 0 1026 0 0 0 20 0 19 0 445706343 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663738907976 140664027192938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30918] ppid=30783 vsize=15486024 memory=288230376155041617 CPUtime=10.43 cores=0,2,4,6
/proc/30785/task/30918/stat : 30918 (java) R 30783 30783 30406 0 -1 4202560 1129 0 0 0 1043 0 0 0 20 0 19 0 445706343 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663739961496 140664027192879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30919] ppid=30783 vsize=15486024 memory=6656426216303648864 CPUtime=10.53 cores=0,2,4,6
/proc/30785/task/30919/stat : 30919 (java) R 30783 30783 30406 0 -1 4202560 1316 0 0 0 1053 0 0 0 20 0 19 0 445706343 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663742066808 140664027192997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30920] ppid=30783 vsize=15486024 memory=0 CPUtime=10.28 cores=0,2,4,6
/proc/30785/task/30920/stat : 30920 (java) R 30783 30783 30406 0 -1 4202560 671 0 0 0 1028 0 0 0 20 0 19 0 445706343 15857688576 77694 33554432000 4194304 4196468 140729568973504 140663737856456 140664027192901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 130.07 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 312224 KiB
[startup+33.6008 s]
/proc/loadavg: 5.81 2.76 1.98 9/238 30922
/proc/meminfo: memFree=30022712/32770624 swapFree=66953076/67108860
[pid=30783] ppid=30780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30783/stat : 30783 (xcsp3-exec) S 30780 30783 30406 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445704090 115843072 362 33554432000 4194304 5098028 140732780249184 140732780247288 139869586645628 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28749824 140732780254074 140732780254317 140732780254317 140732780257226 0
/proc/30783/statm: 28282 362 304 221 0 87 0
[pid=30785] ppid=30783 vsize=15486024 memory=312824 CPUtime=131.66 cores=0,2,4,6
/proc/30785/stat : 30785 (java) S 30783 30783 30406 0 -1 1077944320 63241 0 0 0 13145 21 0 0 20 0 19 0 445704090 15857688576 78206 33554432000 4194304 4196468 140729568973504 140729568956048 140664427405047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
/proc/30785/statm: 3871506 78206 3530 1 0 3832606 0
[pid=30785/tid=30786] ppid=30783 vsize=15486024 memory=4420 CPUtime=1.35 cores=0,2,4,6
/proc/30785/task/30786/stat : 30786 (java) S 30783 30783 30406 0 -1 1077944384 11760 0 0 0 129 6 0 0 20 0 19 0 445704090 15857688576 78206 33554432000 4194304 4196468 140729568973504 140664431645824 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30787] ppid=30783 vsize=15486024 memory=312824 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30787/stat : 30787 (java) S 30783 30783 30406 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 78206 33554432000 4194304 4196468 140729568973504 140664355445776 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30788] ppid=30783 vsize=15486024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30788/stat : 30788 (java) S 30783 30783 30406 0 -1 1077944384 272 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 78206 33554432000 4194304 4196468 140729568973504 140664354393232 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30789] ppid=30783 vsize=15486024 memory=12211 CPUtime=0.02 cores=0,2,4,6
/proc/30785/task/30789/stat : 30789 (java) S 30783 30783 30406 0 -1 1077944384 108 0 0 0 1 1 0 0 20 0 19 0 445704091 15857688576 78206 33554432000 4194304 4196468 140729568973504 140664353340176 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30790] ppid=30783 vsize=15486024 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/30785/task/30790/stat : 30790 (java) S 30783 30783 30406 0 -1 1077944384 375 0 0 0 2 1 0 0 20 0 19 0 445704091 15857688576 78206 33554432000 4194304 4196468 140729568973504 140664352287632 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30791] ppid=30783 vsize=15486024 memory=800 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30791/stat : 30791 (java) S 30783 30783 30406 0 -1 1077944384 1367 0 0 0 1 0 0 0 20 0 19 0 445704092 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663761565936 140664427416194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30792] ppid=30783 vsize=15486024 memory=4112 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30792/stat : 30792 (java) S 30783 30783 30406 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445704093 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663760512224 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30793] ppid=30783 vsize=15486024 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30793/stat : 30793 (java) S 30783 30783 30406 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 445704093 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663759459072 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30794] ppid=30783 vsize=15486024 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30794/stat : 30794 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445704095 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663758407632 140664427423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30795] ppid=30783 vsize=15486024 memory=1536 CPUtime=3.38 cores=0,2,4,6
/proc/30785/task/30795/stat : 30795 (java) S 30783 30783 30406 0 -1 1077944384 17149 0 0 0 337 1 0 0 20 0 19 0 445704095 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663757355760 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30796] ppid=30783 vsize=15486024 memory=9592 CPUtime=2.72 cores=0,2,4,6
/proc/30785/task/30796/stat : 30796 (java) S 30783 30783 30406 0 -1 1077944384 12468 0 0 0 271 1 0 0 20 0 19 0 445704095 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663756303216 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30797] ppid=30783 vsize=15486024 memory=2828 CPUtime=0.9 cores=0,2,4,6
/proc/30785/task/30797/stat : 30797 (java) S 30783 30783 30406 0 -1 1077944384 8963 0 0 0 88 2 0 0 20 0 19 0 445704095 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663755250160 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30798] ppid=30783 vsize=15486024 memory=780 CPUtime=0 cores=0,2,4,6
/proc/30785/task/30798/stat : 30798 (java) S 30783 30783 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445704096 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663754197856 140664427415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30799] ppid=30783 vsize=15486024 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/30785/task/30799/stat : 30799 (java) S 30783 30783 30406 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 19 0 445704096 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663753144880 140664427416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30917] ppid=30783 vsize=15486024 memory=1764 CPUtime=10.65 cores=0,2,4,6
/proc/30785/task/30917/stat : 30917 (java) R 30783 30783 30406 0 -1 4202560 267 0 0 0 1065 0 0 0 20 0 19 0 445706343 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663738908168 140664027192800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30918] ppid=30783 vsize=15486024 memory=111632 CPUtime=10.83 cores=0,2,4,6
/proc/30785/task/30918/stat : 30918 (java) R 30783 30783 30406 0 -1 4202560 1131 0 0 0 1083 0 0 0 20 0 19 0 445706343 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663739961280 140664027192910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30919] ppid=30783 vsize=15486024 memory=800 CPUtime=10.93 cores=0,2,4,6
/proc/30785/task/30919/stat : 30919 (java) R 30783 30783 30406 0 -1 4202560 1321 0 0 0 1093 0 0 0 20 0 19 0 445706343 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663742066080 140664027193228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
[pid=30785/tid=30920] ppid=30783 vsize=15486024 memory=4112 CPUtime=10.67 cores=0,2,4,6
/proc/30785/task/30920/stat : 30920 (java) R 30783 30783 30406 0 -1 4202560 671 0 0 0 1067 0 0 0 20 0 19 0 445706343 15857688576 78206 33554432000 4194304 4196468 140729568973504 140663737855560 140664027747897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9203712 140729568977903 140729568978074 140729568978074 140729568980943 0
Current children cumulated CPU time: 131.66 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 314272 KiB
Child status: 0
Real time (s): 33.6309
CPU time (s): 131.767
CPU user time (s): 131.544
CPU system time (s): 0.223513
CPU usage (%): 391.803
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 314272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.544
system time used= 0.223513
maximum resident set size= 315104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4467
involuntary context switches= 3157
# summary of solver processes directly reported to runsolver:
# pid: 30783
# total CPU time (s): 131.767
# total CPU user time (s): 131.544
# total CPU system time (s): 0.223513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.256259 second user time and 0.401213 second system time
The end