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 (13712 MiB free)
memory of node 1: 16384 MiB (13893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400492-1568694434/watcher-4400492-1568694434 -o /tmp/evaluation-result-4400492-1568694434/solver-4400492-1568694434 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 7318092 HOME/instance-4400492-1568694434.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
Current StackSize limit: 8192 KiB
solver pid=24763, runsolver pid=24760
[startup+0.100622 s]*
/proc/loadavg: 8.56 5.05 2.90 7/234 24779
/proc/meminfo: memFree=28252564/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15144776 memory=29088 CPUtime=0.13 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 5779 0 0 0 13 0 0 0 20 0 15 0 445383561 15508250624 7272 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3786194 7272 3118 1 0 3748377 0
[pid=24765/tid=24766] ppid=24763 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 3674 0 0 0 9 0 0 0 20 0 15 0 445383561 15508250624 7338 33554432000 4194304 4196468 140730533022960 140352399133344 140352387144510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383563 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351858870208 140352372740240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) R 24763 24763 22939 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351857826256 140352394917589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15508250624 7338 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30540 KiB
[startup+0.210937 s]*
/proc/loadavg: 8.56 5.05 2.90 6/234 24779
/proc/meminfo: memFree=28239764/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15144776 memory=40860 CPUtime=0.34 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 9481 0 0 0 32 2 0 0 20 0 15 0 445383561 15508250624 10215 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3786194 10215 3302 1 0 3748377 0
[pid=24765/tid=24766] ppid=24763 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 15 0 445383561 15508250624 10215 33554432000 4194304 4196468 140730533022960 140352399141088 140352394919318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15144776 memory=140468546617203 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445383563 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 1077944384 590 0 0 0 2 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15144776 memory=140468543264384 CPUtime=0.08 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) R 24763 24763 22939 0 -1 4202560 715 0 0 0 8 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351856773104 140352373867375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15508250624 10215 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42312 KiB
[startup+0.313226 s]*
/proc/loadavg: 8.56 5.05 2.90 9/234 24779
/proc/meminfo: memFree=28231760/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15149032 memory=50360 CPUtime=0.53 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 10896 0 0 0 50 3 0 0 20 0 15 0 445383561 15512608768 12586 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3787258 12586 3363 1 0 3748377 0
[pid=24765/tid=24766] ppid=24763 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 7835 0 0 0 27 3 0 0 20 0 15 0 445383561 15512608768 12590 33554432000 4194304 4196468 140730533022960 140352399138496 140352378987870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445383563 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 4202560 719 0 0 0 5 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351858859720 140352379836835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 245 0 0 0 4 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 795 0 0 0 13 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15512608768 12590 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51812 KiB
[startup+0.701143 s]
/proc/loadavg: 8.56 5.05 2.90 9/233 24779
/proc/meminfo: memFree=28215240/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15151156 memory=85600 CPUtime=1.61 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 15107 0 0 0 156 5 0 0 20 0 15 0 445383561 15514783744 21400 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3787789 21400 3453 1 0 3748889 0
[pid=24765/tid=24766] ppid=24763 vsize=15151156 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) R 24763 24763 22939 0 -1 4202560 9328 0 0 0 64 4 0 0 20 0 15 0 445383561 15514783744 21400 33554432000 4194304 4196468 140730533022960 140352399128944 140352034387968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15151156 memory=48260 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445383562 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445383563 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445383564 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351862036128 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445383564 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351860983024 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15151156 memory=1720 CPUtime=0.26 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) R 24763 24763 22939 0 -1 4202560 1350 0 0 0 26 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351858863904 140352378318278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15151156 memory=10604 CPUtime=0.23 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) R 24763 24763 22939 0 -1 4202560 977 0 0 0 23 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351857813456 140352379309305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15151156 memory=4160 CPUtime=0.42 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) R 24763 24763 22939 0 -1 4202560 2145 0 0 0 42 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351856764624 140352374622180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445383566 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445383567 15514783744 21400 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 87052 KiB
[startup+1.50076 s]
/proc/loadavg: 8.56 5.05 2.90 9/238 24820
/proc/meminfo: memFree=28084984/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=1720 CPUtime=88.04 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8803 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352376313604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=10604 CPUtime=88.37 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8837 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352039399548 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=4160 CPUtime=88.31 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8830 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352039322509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=776 CPUtime=88.44 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8844 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039494437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 578.12 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB
[startup+146.401 s]
/proc/loadavg: 9.26 6.55 3.77 10/237 25714
/proc/meminfo: memFree=27210740/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15553616 memory=179016 CPUtime=581.3 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 96455 0 0 0 58109 21 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3888404 44754 3532 1 0 3849504 0
[pid=24765/tid=24766] ppid=24763 vsize=15553616 memory=179016 CPUtime=0.7 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) S 24763 24763 22939 0 -1 1077944384 10134 0 0 0 66 4 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140352399148160 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15553616 memory=48264 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1195 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15553616 memory=988 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 3461 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15553616 memory=2008 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 3593 0 0 0 3 1 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15553616 memory=1436 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 1303 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15553616 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 3338 0 0 0 3 1 0 0 20 0 19 0 445383563 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15553616 memory=181580 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351862036192 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15553616 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351860983040 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15553616 memory=179016 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15553616 memory=15261432686053804 CPUtime=3.61 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) S 24763 24763 22939 0 -1 1077944384 21535 0 0 0 359 2 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15553616 memory=183108 CPUtime=3.72 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 21833 0 0 0 371 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15553616 memory=111636 CPUtime=0.85 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 11941 0 0 0 84 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15553616 memory=800 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15553616 memory=4104 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=1808 CPUtime=88.84 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8883 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352039497305 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=924 CPUtime=89.15 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8915 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352039093366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=1452 CPUtime=89.11 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8910 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352038639706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=181580 CPUtime=89.24 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8924 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039322401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 581.3 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB
[startup+146.801 s]
/proc/loadavg: 9.26 6.55 3.77 10/237 25714
/proc/meminfo: memFree=27210740/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15553616 memory=179016 CPUtime=582.9 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 96455 0 0 0 58269 21 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3888404 44754 3532 1 0 3849504 0
[pid=24765/tid=24766] ppid=24763 vsize=15553616 memory=15261432686053804 CPUtime=0.7 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) S 24763 24763 22939 0 -1 1077944384 10134 0 0 0 66 4 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140352399148160 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15553616 memory=800 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1195 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15553616 memory=4104 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 3461 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15553616 memory=1808 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 3593 0 0 0 3 1 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15553616 memory=924 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 1303 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15553616 memory=3804 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 3338 0 0 0 3 1 0 0 20 0 19 0 445383563 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15553616 memory=2712 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351862036192 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15553616 memory=2700 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351860983040 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15553616 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15553616 memory=3260 CPUtime=3.61 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) S 24763 24763 22939 0 -1 1077944384 21535 0 0 0 359 2 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15553616 memory=1452 CPUtime=3.72 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 21833 0 0 0 371 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15553616 memory=179016 CPUtime=0.85 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 11941 0 0 0 84 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15553616 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15553616 memory=111636 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=800 CPUtime=89.24 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8923 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352039149596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=4104 CPUtime=89.55 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8955 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352038381116 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=1808 CPUtime=89.51 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8950 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352039642322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=1452 CPUtime=89.64 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8964 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039092142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 582.9 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB
[startup+147.001 s]*
/proc/loadavg: 9.26 6.55 3.77 10/237 25714
/proc/meminfo: memFree=27210740/32770624 swapFree=66959728/67108860
[pid=24763] ppid=24760 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24763/stat : 24763 (xcsp3-exec) S 24760 24763 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445383560 115843072 363 33554432000 4194304 5098028 140729561577744 140729561575848 140527274996348 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12886016 140729561580413 140729561580653 140729561580653 140729561583562 0
/proc/24763/statm: 28282 363 304 221 0 87 0
[pid=24765] ppid=24763 vsize=15553616 memory=179016 CPUtime=583.73 cores=0,2,4,6
/proc/24765/stat : 24765 (java) S 24763 24763 22939 0 -1 1077944320 96455 0 0 0 58352 21 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140730533005504 140352394907383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
/proc/24765/statm: 3888404 44754 3532 1 0 3849504 0
[pid=24765/tid=24766] ppid=24763 vsize=15553616 memory=6791534058613427641 CPUtime=0.7 cores=0,2,4,6
/proc/24765/task/24766/stat : 24766 (java) S 24763 24763 22939 0 -1 1077944384 10134 0 0 0 66 4 0 0 20 0 19 0 445383561 15926902784 44754 33554432000 4194304 4196468 140730533022960 140352399148160 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24767] ppid=24763 vsize=15553616 memory=4126316290023845779 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24767/stat : 24767 (java) S 24763 24763 22939 0 -1 1077944384 1195 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351986915856 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24768] ppid=24763 vsize=15553616 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24768/stat : 24768 (java) S 24763 24763 22939 0 -1 1077944384 3461 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351985863312 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24769] ppid=24763 vsize=15553616 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24769/stat : 24769 (java) S 24763 24763 22939 0 -1 1077944384 3593 0 0 0 3 1 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351984810256 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24770] ppid=24763 vsize=15553616 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24765/task/24770/stat : 24770 (java) S 24763 24763 22939 0 -1 1077944384 1303 0 0 0 3 0 0 0 20 0 19 0 445383562 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351983757712 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24771] ppid=24763 vsize=15553616 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24765/task/24771/stat : 24771 (java) S 24763 24763 22939 0 -1 1077944384 3338 0 0 0 3 1 0 0 20 0 19 0 445383563 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351863089904 140352394918530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24772] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24772/stat : 24772 (java) S 24763 24763 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351862036192 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24773] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24773/stat : 24773 (java) S 24763 24763 22939 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 445383564 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351860983040 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24774] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24774/stat : 24774 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351859931600 140352394925979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24775] ppid=24763 vsize=15553616 memory=0 CPUtime=3.61 cores=0,2,4,6
/proc/24765/task/24775/stat : 24775 (java) S 24763 24763 22939 0 -1 1077944384 21535 0 0 0 359 2 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351858878704 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24776] ppid=24763 vsize=15553616 memory=0 CPUtime=3.72 cores=0,2,4,6
/proc/24765/task/24776/stat : 24776 (java) S 24763 24763 22939 0 -1 1077944384 21833 0 0 0 371 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351857826160 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24777] ppid=24763 vsize=15553616 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/24765/task/24777/stat : 24777 (java) S 24763 24763 22939 0 -1 1077944384 11941 0 0 0 84 1 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351856773104 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24778] ppid=24763 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24765/task/24778/stat : 24778 (java) S 24763 24763 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445383566 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351855720800 140352394917589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24779] ppid=24763 vsize=15553616 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24765/task/24779/stat : 24779 (java) S 24763 24763 22939 0 -1 1077944384 1740 0 0 0 0 2 0 0 20 0 19 0 445383567 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351854668848 140352394918530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24871] ppid=24763 vsize=15553616 memory=0 CPUtime=89.45 cores=0,2,4,6
/proc/24765/task/24871/stat : 24871 (java) R 24763 24763 22939 0 -1 4202560 720 0 0 0 8944 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351842528456 140352038638205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24872] ppid=24763 vsize=15553616 memory=0 CPUtime=89.75 cores=0,2,4,6
/proc/24765/task/24872/stat : 24872 (java) R 24763 24763 22939 0 -1 4202560 1532 0 0 0 8975 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351837276320 140352038638985 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24873] ppid=24763 vsize=15553616 memory=0 CPUtime=89.72 cores=0,2,4,6
/proc/24765/task/24873/stat : 24873 (java) R 24763 24763 22939 0 -1 4202560 1794 0 0 0 8971 1 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351838327256 140352039328190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
[pid=24765/tid=24874] ppid=24763 vsize=15553616 memory=0 CPUtime=89.85 cores=0,2,4,6
/proc/24765/task/24874/stat : 24874 (java) R 24763 24763 22939 0 -1 4202560 847 0 0 0 8985 0 0 0 20 0 19 0 445389239 15926902784 44754 33554432000 4194304 4196468 140730533022960 140351843580640 140352039092480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140730533028847 140730533029018 140730533029018 140730533031887 0
Current children cumulated CPU time: 583.73 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 180468 KiB
Child status: 0
Real time (s): 147.083
CPU time (s): 584.003
CPU user time (s): 583.782
CPU system time (s): 0.22064
CPU usage (%): 397.057
Max. virtual memory (cumulated for all children) (KiB): 15668932
Max. memory (cumulated for all children) (KiB): 229036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 583.782
system time used= 0.22064
maximum resident set size= 230944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7776
involuntary context switches= 14366
# summary of solver processes directly reported to runsolver:
# pid: 24763
# total CPU time (s): 584.003
# total CPU user time (s): 583.782
# total CPU system time (s): 0.22064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.911241 second user time and 1.60334 second system time
The end