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 (9570 MiB free)
memory of node 1: 16384 MiB (11690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405935-1569408342/watcher-4405935-1569408342 -o /var/tmp/evaluation-result-4405935-1569408342/solver-4405935-1569408342 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 936283519 HOME/instance-4405935-1569408342.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29037, runsolver pid=29034
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 1.51 1.66 1.80 5/230 29053
/proc/meminfo: memFree=21757000/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15144776 memory=27204 CPUtime=0.13 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 5786 0 0 0 12 1 0 0 20 0 15 0 516748943 15508250624 6801 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3786194 6801 3142 1 0 3748377 0
[pid=29039/tid=29040] ppid=29037 vsize=15144776 memory=8108032331684915787 CPUtime=0.08 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 4202560 3608 0 0 0 8 0 0 0 20 0 15 0 516748944 15508250624 6801 33554432000 4194304 4196468 140721354321616 139715522500704 139715518279062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 6801 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15144776 memory=139982531626624 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 6801 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 6801 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 6801 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15144776 memory=139982531626624 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) S 29037 29037 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516748946 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516748946 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714985751968 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516748946 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714984699376 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714983647952 139715518285723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) S 29037 29037 25905 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714982594544 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) S 29037 29037 25905 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714981542000 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15144776 memory=139982531626624 CPUtime=0.02 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) R 29037 29037 25905 0 -1 4202560 385 0 0 0 2 0 0 0 20 0 15 0 516748949 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714980489456 139715518288474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29053] ppid=29037 vsize=15144776 memory=139982531626624 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29053/stat : 29053 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 6801 33554432000 4194304 4196468 140721354321616 139714978384688 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28656 KiB
[startup+0.210803 s]*
/proc/loadavg: 1.51 1.66 1.80 3/230 29053
/proc/meminfo: memFree=21743252/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15144776 memory=39052 CPUtime=0.34 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 9549 0 0 0 31 3 0 0 20 0 15 0 516748943 15508250624 9763 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3786194 9763 3291 1 0 3748377 0
[pid=29039/tid=29040] ppid=29037 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 4202560 6587 0 0 0 18 2 0 0 20 0 15 0 516748944 15508250624 9763 33554432000 4194304 4196468 140721354321616 139715522501056 139715157037345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 9763 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15144776 memory=3690192153025473891 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 9763 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 9763 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516748944 15508250624 9763 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) S 29037 29037 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516748946 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516748946 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714985751968 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15144776 memory=139982531626624 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516748946 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714984699376 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714983647952 139715518285723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) S 29037 29037 25905 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 15 0 516748949 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714982594544 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) S 29037 29037 25905 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 516748949 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714981542000 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) R 29037 29037 25905 0 -1 4202560 978 0 0 0 8 0 0 0 20 0 15 0 516748949 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714980489264 139715497221032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29053] ppid=29037 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29053/stat : 29053 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748949 15508250624 9763 33554432000 4194304 4196468 140721354321616 139714978384688 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40504 KiB
[startup+0.311171 s]*
/proc/loadavg: 1.51 1.66 1.80 5/230 29053
/proc/meminfo: memFree=21738516/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15149032 memory=48880 CPUtime=0.54 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 11039 0 0 0 50 4 0 0 20 0 15 0 516748943 15512608768 12220 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3787258 12220 3371 1 0 3748377 0
[pid=29039/tid=29040] ppid=29037 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 4202560 7734 0 0 0 27 3 0 0 20 0 15 0 516748944 15512608768 12220 33554432000 4194304 4196468 140721354321616 139715522498240 139715502347614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15512608768 12220 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15149032 memory=3905528202495551090 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15512608768 12220 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15512608768 12220 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516748944 15512608768 12220 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15149032 memory=139982531626624 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) S 29037 29037 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516748946 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516748946 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714985751968 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516748946 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714984699376 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714983647952 139715518285723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) S 29037 29037 25905 0 -1 1077944384 497 0 0 0 4 0 0 0 20 0 15 0 516748949 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714982594544 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) R 29037 29037 25905 0 -1 4202560 313 0 0 0 4 0 0 0 20 0 15 0 516748949 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714981532384 139715499787454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15149032 memory=139982531626624 CPUtime=0.13 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) S 29037 29037 25905 0 -1 1077944384 1192 0 0 0 13 0 0 0 20 0 15 0 516748949 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714980489456 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29053] ppid=29037 vsize=15149032 memory=139982531626624 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29053/stat : 29053 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748949 15512608768 12220 33554432000 4194304 4196468 140721354321616 139714978384688 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50332 KiB
[startup+0.700806 s]
/proc/loadavg: 1.51 1.66 1.80 4/230 29053
/proc/meminfo: memFree=21726420/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15151156 memory=74908 CPUtime=1.57 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 16511 0 0 0 152 5 0 0 20 0 15 0 516748943 15514783744 18727 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3787789 18727 3454 1 0 3748889 0
[pid=29039/tid=29040] ppid=29037 vsize=15151156 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 4202560 9113 0 0 0 64 4 0 0 20 0 15 0 516748944 15514783744 18727 33554432000 4194304 4196468 140721354321616 139715522505568 139715518279062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15151156 memory=520 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15514783744 18727 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15514783744 18727 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748944 15514783744 18727 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516748944 15514783744 18727 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) S 29037 29037 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714985751968 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15151156 memory=808 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714984699376 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15151156 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714983647952 139715518285723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15151156 memory=7302135314614015848 CPUtime=0.27 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) R 29037 29037 25905 0 -1 4202560 2100 0 0 0 27 0 0 0 20 0 15 0 516748949 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714982575952 139715496284139 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15151156 memory=7667499773190497616 CPUtime=0.26 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) R 29037 29037 25905 0 -1 4202560 1494 0 0 0 26 0 0 0 20 0 15 0 516748949 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714981528024 139715510556576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15151156 memory=7223887401239728208 CPUtime=0.33 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) R 29037 29037 25905 0 -1 4202560 2509 0 0 0 33 0 0 0 20 0 15 0 516748949 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714980489456 139715498234246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15151156 memory=7440060183353512016 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29053] ppid=29037 vsize=15151156 memory=7453012555186398805 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29053/stat : 29053 (java) S 29037 29037 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 18727 33554432000 4194304 4196468 140721354321616 139714978384688 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76360 KiB
[startup+1.50082 s]
/proc/loadavg: 1.51 1.66 1.80 5/230 29053
/proc/meminfo: memFree=21698080/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/meminfo: memFree=21577940/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15151156 memory=200504 CPUtime=25.25 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 36983 0 0 0 2513 12 0 0 20 0 15 0 516748943 15514783744 50126 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3787789 50126 3508 1 0 3748889 0
[pid=29039/tid=29040] ppid=29037 vsize=15151156 memory=2832 CPUtime=22.34 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 4202560 11269 0 0 0 2229 5 0 0 20 0 15 0 516748944 15514783744 50126 33554432000 4194304 4196468 140721354321616 139715522506832 139715159703456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15151156 memory=668 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50126 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15151156 memory=1276 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 795 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50126 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15151156 memory=1096 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50126 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15151156 memory=200476 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 712 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50126 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15151156 memory=36524 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) S 29037 29037 25905 0 -1 1077944384 700 0 0 0 1 0 0 0 20 0 15 0 516748946 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714985752032 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714984699392 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714983647952 139715518285723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15151156 memory=6944656592455097440 CPUtime=1.18 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) S 29037 29037 25905 0 -1 1077944384 8218 0 0 0 117 1 0 0 20 0 15 0 516748949 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714982594544 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15151156 memory=6944656575208382560 CPUtime=1.13 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) S 29037 29037 25905 0 -1 1077944384 6375 0 0 0 113 0 0 0 20 0 15 0 516748949 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714981542000 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15151156 memory=6944656575208382560 CPUtime=0.46 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) S 29037 29037 25905 0 -1 1077944384 5984 0 0 0 45 1 0 0 20 0 15 0 516748949 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714980489456 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29053] ppid=29037 vsize=15151156 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29053/stat : 29053 (java) S 29037 29037 25905 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50126 33554432000 4194304 4196468 140721354321616 139714978384688 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 201956 KiB
[startup+24.0008 s]*
/proc/loadavg: 1.53 1.65 1.79 3/229 29055
/proc/meminfo: memFree=21578080/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15151156 memory=202572 CPUtime=26.86 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 37005 0 0 0 2674 12 0 0 20 0 15 0 516748943 15514783744 50643 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3787789 50643 3508 1 0 3748889 0
[pid=29039/tid=29040] ppid=29037 vsize=15151156 memory=1096 CPUtime=23.95 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 4202560 11277 0 0 0 2390 5 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715522506048 139715161013049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15151156 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15151156 memory=36524 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 797 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15151156 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15151156 memory=2596 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 714 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15151156 memory=2864 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) S 29037 29037 25905 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 15 0 516748946 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714985752032 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714984699392 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15151156 memory=3320 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714983647952 139715518285723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15151156 memory=1456 CPUtime=1.18 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) S 29037 29037 25905 0 -1 1077944384 8218 0 0 0 117 1 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714982594544 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15151156 memory=3879432 CPUtime=1.13 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) S 29037 29037 25905 0 -1 1077944384 6375 0 0 0 113 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714981542000 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15151156 memory=1412 CPUtime=0.46 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) S 29037 29037 25905 0 -1 1077944384 5984 0 0 0 45 1 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714980489456 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15151156 memory=2756 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29053] ppid=29037 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29053/stat : 29053 (java) S 29037 29037 25905 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714978384688 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 204024 KiB
[startup+24.4007 s]
/proc/loadavg: 1.53 1.65 1.79 3/229 29055
/proc/meminfo: memFree=21578080/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15151156 memory=202572 CPUtime=27.25 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 37005 0 0 0 2713 12 0 0 20 0 15 0 516748943 15514783744 50643 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3787789 50643 3508 1 0 3748889 0
[pid=29039/tid=29040] ppid=29037 vsize=15151156 memory=1808 CPUtime=24.34 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 4202560 11277 0 0 0 2429 5 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715522506048 139715159527399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15151156 memory=924 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15151156 memory=3848 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 797 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15151156 memory=2596 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15151156 memory=2864 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 714 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50643 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15151156 memory=4096 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) S 29037 29037 25905 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 15 0 516748946 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714985752032 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15151156 memory=3320 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516748946 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714984699392 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714983647952 139715518285723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15151156 memory=3879432 CPUtime=1.18 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) S 29037 29037 25905 0 -1 1077944384 8218 0 0 0 117 1 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714982594544 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15151156 memory=3472328296227418193 CPUtime=1.13 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) S 29037 29037 25905 0 -1 1077944384 6375 0 0 0 113 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714981542000 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15151156 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) S 29037 29037 25905 0 -1 1077944384 5984 0 0 0 45 1 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714980489456 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15151156 memory=202572 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29053] ppid=29037 vsize=15151156 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29053/stat : 29053 (java) S 29037 29037 25905 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 15 0 516748949 15514783744 50643 33554432000 4194304 4196468 140721354321616 139714978384688 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 27.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 204024 KiB
[startup+24.6006 s]
/proc/loadavg: 1.53 1.65 1.79 3/229 29055
/proc/meminfo: memFree=21578080/32770624 swapFree=66953520/67108860
[pid=29037] ppid=29034 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29037/stat : 29037 (xcsp3-exec) S 29034 29037 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516748943 115843072 363 33554432000 4194304 5098028 140730078137168 140730078135272 139959738135164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32260096 140730078139223 140730078139481 140730078139481 140730078142406 0
/proc/29037/statm: 28282 363 305 221 0 87 0
[pid=29039] ppid=29037 vsize=15151156 memory=202600 CPUtime=27.45 cores=1,3,5,7
/proc/29039/stat : 29039 (java) S 29037 29037 25905 0 -1 1077944320 38023 0 0 0 2733 12 0 0 20 0 15 0 516748943 15514783744 50650 33554432000 4194304 4196468 140721354321616 140721354304160 139715518267127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
/proc/29039/statm: 3787789 50650 3509 1 0 3748889 0
[pid=29039/tid=29040] ppid=29037 vsize=15151156 memory=-2317720213663851332 CPUtime=24.54 cores=1,3,5,7
/proc/29039/task/29040/stat : 29040 (java) R 29037 29037 25905 0 -1 1077944384 12025 0 0 0 2449 5 0 0 20 0 15 0 516748944 15514783744 50650 33554432000 4194304 4196468 140721354321616 139715522510072 139715518279062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29041] ppid=29037 vsize=15151156 memory=-3833726747341067623 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29041/stat : 29041 (java) S 29037 29037 25905 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50650 33554432000 4194304 4196468 140721354321616 139715110635792 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29042] ppid=29037 vsize=15151156 memory=-2605811476043407915 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29042/stat : 29042 (java) S 29037 29037 25905 0 -1 1077944384 797 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50650 33554432000 4194304 4196468 140721354321616 139715109583248 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29043] ppid=29037 vsize=15151156 memory=4956998493510226538 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29043/stat : 29043 (java) S 29037 29037 25905 0 -1 1077944384 919 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50650 33554432000 4194304 4196468 140721354321616 139715108530704 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29044] ppid=29037 vsize=15151156 memory=-2748367524519556131 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29044/stat : 29044 (java) S 29037 29037 25905 0 -1 1077944384 714 0 0 0 1 0 0 0 20 0 15 0 516748944 15514783744 50653 33554432000 4194304 4196468 140721354321616 139715107478160 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29045] ppid=29037 vsize=15151156 memory=-4051592751533505334 CPUtime=0.01 cores=1,3,5,7
/proc/29039/task/29045/stat : 29045 (java) R 29037 29037 25905 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 14 0 516748946 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714986805744 139715518278274 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29046] ppid=29037 vsize=15151156 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29046/stat : 29046 (java) S 29037 29037 25905 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 14 0 516748946 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714985752032 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29047] ppid=29037 vsize=15151156 memory=-3284643825843719562 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29047/stat : 29047 (java) S 29037 29037 25905 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 14 0 516748946 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714984699392 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29048] ppid=29037 vsize=15151156 memory=5787477641288517003 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29048/stat : 29048 (java) D 29037 29037 25905 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 14 0 516748949 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714983647952 139715155615448 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29049] ppid=29037 vsize=15151156 memory=-8961168018402230209 CPUtime=1.18 cores=1,3,5,7
/proc/29039/task/29049/stat : 29049 (java) S 29037 29037 25905 0 -1 1077944384 8218 0 0 0 117 1 0 0 20 0 14 0 516748949 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714982594544 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29050] ppid=29037 vsize=15151156 memory=-6873162000112450758 CPUtime=1.13 cores=1,3,5,7
/proc/29039/task/29050/stat : 29050 (java) S 29037 29037 25905 0 -1 1077944384 6375 0 0 0 113 0 0 0 20 0 14 0 516748949 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714981542000 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29051] ppid=29037 vsize=15151156 memory=279964760006384 CPUtime=0.46 cores=1,3,5,7
/proc/29039/task/29051/stat : 29051 (java) S 29037 29037 25905 0 -1 1077944384 6254 0 0 0 45 1 0 0 20 0 14 0 516748949 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714980489456 139715518278274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
[pid=29039/tid=29052] ppid=29037 vsize=15151156 memory=4137287014106042739 CPUtime=0 cores=1,3,5,7
/proc/29039/task/29052/stat : 29052 (java) S 29037 29037 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 516748949 15514783744 50653 33554432000 4194304 4196468 140721354321616 139714979437152 139715518277333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20676608 140721354322907 140721354323082 140721354323082 140721354325967 0
Current children cumulated CPU time: 27.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 204052 KiB
Child status: 0
Real time (s): 24.6068
CPU time (s): 27.4678
CPU user time (s): 27.3383
CPU system time (s): 0.129465
CPU usage (%): 111.627
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 204052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.3383
system time used= 0.129465
maximum resident set size= 204608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2754
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 29037
# total CPU time (s): 27.4678
# total CPU user time (s): 27.3383
# total CPU system time (s): 0.129465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.187658 second user time and 0.259835 second system time
The end