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 (4599 MiB free)
memory of node 1: 16384 MiB (5742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404210-1568992745/watcher-4404210-1568992745 -o /var/tmp/evaluation-result-4404210-1568992745/solver-4404210-1568992745 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568989977-29017 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1893490529 HOME/instance-4404210-1568992745.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=2106, runsolver pid=2103
[startup+0.100058 s]*
/proc/loadavg: 9.56 9.09 8.45 8/234 2122
/proc/meminfo: memFree=10573308/32770624 swapFree=66956680/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
[pid=2108] ppid=2106 vsize=15144776 memory=29760 CPUtime=0.12 cores=0,2,4,6
/proc/2108/stat : 2108 (java) S 2106 2106 28986 0 -1 1077944320 5412 0 0 0 11 1 0 0 20 0 15 0 475513156 15508250624 7440 33554432000 4194304 4196468 140724747927232 140724747909776 139911957692151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
/proc/2108/statm: 3786194 7440 3113 1 0 3748377 0
[pid=2108/tid=2109] ppid=2106 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/2108/task/2109/stat : 2109 (java) R 2106 2106 28986 0 -1 4202560 3363 0 0 0 8 1 0 0 20 0 15 0 475513156 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911961921504 139911957704086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2110] ppid=2106 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2110/stat : 2110 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911916452496 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2111] ppid=2106 vsize=15144776 memory=140108058801792 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2111/stat : 2111 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911549233680 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2112] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2112/stat : 2112 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911548180880 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2113] ppid=2106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2113/stat : 2113 (java) S 2106 2106 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911547128080 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2114] ppid=2106 vsize=15144776 memory=140108058801792 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2114/stat : 2114 (java) S 2106 2106 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475513158 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911426292592 139911957703298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2115] ppid=2106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2115/stat : 2115 (java) S 2106 2106 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475513158 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911425238560 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2116] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2116/stat : 2116 (java) S 2106 2106 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475513159 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911424185712 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2117] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2117/stat : 2117 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475513161 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911423134032 139911957710747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2118] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2118/stat : 2118 (java) S 2106 2106 28986 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 475513161 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911422081392 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2119] ppid=2106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2119/stat : 2119 (java) S 2106 2106 28986 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 475513161 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911421028592 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2120] ppid=2106 vsize=15144776 memory=140108058801792 CPUtime=0.02 cores=0,2,4,6
/proc/2108/task/2120/stat : 2120 (java) R 2106 2106 28986 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 475513161 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911419975792 139911936811585 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2121] ppid=2106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2121/stat : 2121 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475513161 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911418923232 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2122] ppid=2106 vsize=15144776 memory=140108058801792 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513162 15508250624 7572 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31216 KiB
[startup+0.210901 s]*
/proc/loadavg: 9.56 9.09 8.45 7/234 2122
/proc/meminfo: memFree=10561500/32770624 swapFree=66956680/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
[pid=2108] ppid=2106 vsize=15144776 memory=40648 CPUtime=0.34 cores=0,2,4,6
/proc/2108/stat : 2108 (java) S 2106 2106 28986 0 -1 1077944320 8903 0 0 0 31 3 0 0 20 0 15 0 475513156 15508250624 10162 33554432000 4194304 4196468 140724747927232 140724747909776 139911957692151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
/proc/2108/statm: 3786194 10162 3295 1 0 3748377 0
[pid=2108/tid=2109] ppid=2106 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2109/stat : 2109 (java) R 2106 2106 28986 0 -1 4202560 6165 0 0 0 18 2 0 0 20 0 15 0 475513156 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911961924064 139911957713498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2110] ppid=2106 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2110/stat : 2110 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911916452496 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2111] ppid=2106 vsize=15144776 memory=3977720394149213856 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2111/stat : 2111 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911549233680 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2112] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2112/stat : 2112 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911548180880 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2113] ppid=2106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2113/stat : 2113 (java) S 2106 2106 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475513157 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911547128080 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2114] ppid=2106 vsize=15144776 memory=140108058801792 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2114/stat : 2114 (java) S 2106 2106 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475513158 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911426292592 139911957703298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2115] ppid=2106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2115/stat : 2115 (java) S 2106 2106 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475513158 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911425238560 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2116] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2116/stat : 2116 (java) S 2106 2106 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475513159 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911424185712 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2117] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2117/stat : 2117 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475513161 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911423134032 139911957710747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2118] ppid=2106 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2108/task/2118/stat : 2118 (java) S 2106 2106 28986 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 475513161 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911422081392 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2119] ppid=2106 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2108/task/2119/stat : 2119 (java) S 2106 2106 28986 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 475513161 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911421028592 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2120] ppid=2106 vsize=15144776 memory=140108058801792 CPUtime=0.08 cores=0,2,4,6
/proc/2108/task/2120/stat : 2120 (java) S 2106 2106 28986 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 15 0 475513161 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911419975792 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2121] ppid=2106 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2121/stat : 2121 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475513161 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911418923232 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2122] ppid=2106 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513162 15508250624 10162 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42104 KiB
[startup+0.310764 s]*
/proc/loadavg: 9.56 9.09 8.45 6/234 2122
/proc/meminfo: memFree=10555200/32770624 swapFree=66956680/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
[pid=2108] ppid=2106 vsize=15149032 memory=49584 CPUtime=0.51 cores=0,2,4,6
/proc/2108/stat : 2108 (java) S 2106 2106 28986 0 -1 1077944320 10185 0 0 0 48 3 0 0 20 0 15 0 475513156 15512608768 12396 33554432000 4194304 4196468 140724747927232 140724747909776 139911957692151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
/proc/2108/statm: 3787258 12396 3366 1 0 3748377 0
[pid=2108/tid=2109] ppid=2106 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2108/task/2109/stat : 2109 (java) R 2106 2106 28986 0 -1 4202560 7321 0 0 0 27 3 0 0 20 0 15 0 475513156 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911961923264 139911941772638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2110] ppid=2106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2110/stat : 2110 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911916452496 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2111] ppid=2106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2111/stat : 2111 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911549233680 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2112] ppid=2106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2112/stat : 2112 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513157 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911548180880 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2113] ppid=2106 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2113/stat : 2113 (java) S 2106 2106 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475513157 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911547128080 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2114] ppid=2106 vsize=15149032 memory=3906083434395869232 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2114/stat : 2114 (java) S 2106 2106 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475513158 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911426292592 139911957703298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2115] ppid=2106 vsize=15149032 memory=7165352523811338296 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2115/stat : 2115 (java) S 2106 2106 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475513158 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911425238560 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2116] ppid=2106 vsize=15149032 memory=8104553123276731697 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2116/stat : 2116 (java) S 2106 2106 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475513159 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911424185712 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2117] ppid=2106 vsize=15149032 memory=7526543629070524005 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2117/stat : 2117 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475513161 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911423134032 139911957710747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2118] ppid=2106 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2108/task/2118/stat : 2118 (java) S 2106 2106 28986 0 -1 1077944384 402 0 0 0 4 0 0 0 20 0 15 0 475513161 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911422081392 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2119] ppid=2106 vsize=15149032 memory=3544649781780689208 CPUtime=0.03 cores=0,2,4,6
/proc/2108/task/2119/stat : 2119 (java) S 2106 2106 28986 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 15 0 475513161 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911421028592 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2120] ppid=2106 vsize=15149032 memory=3467974704290289328 CPUtime=0.12 cores=0,2,4,6
/proc/2108/task/2120/stat : 2120 (java) S 2106 2106 28986 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 15 0 475513161 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911419975792 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2121] ppid=2106 vsize=15149032 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2121/stat : 2121 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475513161 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911418923232 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2122] ppid=2106 vsize=15149032 memory=3834171462852499124 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475513162 15512608768 12465 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51040 KiB
[startup+0.700731 s]
/proc/loadavg: 9.56 9.09 8.45 6/234 2122
/proc/meminfo: memFree=10537212/32770624 swapFree=66956680/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
[pid=2108] ppid=2106 vsize=15417412 memory=98056 CPUtime=1.61 cores=0,2,4,6
/proc/2108/stat : 2108 (java) S 2106 2106 28986 0 -1 1077944320 14836 0 0 0 155 6 0 0 20 0 19 0 475513156 15787429888 24514 33554432000 4194304 4196468 140724747927232 140724747909776 139911957692151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
/proc/2108/statm: 3854353 24514 3459 1 0 3815453 0
[pid=2108/tid=2109] ppid=2106 vsize=15417412 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/2108/task/2109/stat : 2109 (java) S 2106 2106 28986 0 -1 1077944384 8781 0 0 0 56 4 0 0 20 0 19 0 475513156 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911961932928 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2110] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2110/stat : 2110 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475513157 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911916452496 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2111] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2111/stat : 2111 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475513157 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911549233680 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2112] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2112/stat : 2112 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475513157 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911548180880 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2113] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2113/stat : 2113 (java) S 2106 2106 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475513157 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911547128080 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2114] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2114/stat : 2114 (java) S 2106 2106 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475513158 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911426292592 139911957703298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2115] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2115/stat : 2115 (java) S 2106 2106 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475513158 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911425238560 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2116] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2116/stat : 2116 (java) S 2106 2106 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475513159 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911424185712 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2117] ppid=2106 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2117/stat : 2117 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911423134032 139911957710747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2118] ppid=2106 vsize=15417412 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/2108/task/2118/stat : 2118 (java) R 2106 2106 28986 0 -1 4202560 1258 0 0 0 23 0 0 0 20 0 19 0 475513161 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911422061200 139911936944774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2119] ppid=2106 vsize=15417412 memory=192 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2119/stat : 2119 (java) R 2106 2106 28986 0 -1 4202560 1122 0 0 0 20 0 0 0 20 0 19 0 475513161 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911421015160 139911942083854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2120] ppid=2106 vsize=15417412 memory=2 CPUtime=0.38 cores=0,2,4,6
/proc/2108/task/2120/stat : 2120 (java) S 2106 2106 28986 0 -1 1077944384 2070 0 0 0 38 0 0 0 20 0 19 0 475513161 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911419975792 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2121] ppid=2106 vsize=15417412 memory=57 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2121/stat : 2121 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911418923232 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2122] ppid=2106 vsize=15417412 memory=2112 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475513162 15787429888 24514 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 99512 KiB
[startup+1.50147 s]
/proc/loadavg: 9.56 9.09 8.45 11/238 2158
/proc/meminfo: memFree=10440000/32770624 swapFree=66956680/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 402 0 0 0 0 3 0 0 20 0 19 0 475513162 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2195] ppid=2106 vsize=15552588 memory=11632 CPUtime=210.49 cores=0,2,4,6
/proc/2108/task/2195/stat : 2195 (java) R 2106 2106 28986 0 -1 4202560 889 0 0 0 21049 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911405493528 139911598599743 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2196] ppid=2106 vsize=15552588 memory=1732 CPUtime=210.35 cores=0,2,4,6
/proc/2108/task/2196/stat : 2196 (java) R 2106 2106 28986 0 -1 4202560 2292 0 0 0 21035 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911404444504 139911598599892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2197] ppid=2106 vsize=15552588 memory=1088 CPUtime=210.25 cores=0,2,4,6
/proc/2108/task/2197/stat : 2197 (java) R 2106 2106 28986 0 -1 4202560 2170 0 0 0 21025 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911401294352 139911937417277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2198] ppid=2106 vsize=15552588 memory=988 CPUtime=210.46 cores=0,2,4,6
/proc/2108/task/2198/stat : 2198 (java) R 2106 2106 28986 0 -1 4202560 1353 0 0 0 21046 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911408652848 139911599251919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 860.58 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 226416 KiB
[startup+217.601 s]
/proc/loadavg: 8.88 9.02 8.55 9/238 2223
/proc/meminfo: memFree=10225544/32770624 swapFree=66956684/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
[pid=2108] ppid=2106 vsize=15552588 memory=224960 CPUtime=863.76 cores=0,2,4,6
/proc/2108/stat : 2108 (java) S 2106 2106 28986 0 -1 1077944320 58754 0 0 0 86350 26 0 0 20 0 19 0 475513156 15925850112 56240 33554432000 4194304 4196468 140724747927232 140724747909776 139911957692151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
/proc/2108/statm: 3888147 56240 3518 1 0 3849247 0
[pid=2108/tid=2109] ppid=2106 vsize=15552588 memory=2320673929178880503 CPUtime=0.6 cores=0,2,4,6
/proc/2108/task/2109/stat : 2109 (java) S 2106 2106 28986 0 -1 1077944384 8836 0 0 0 56 4 0 0 20 0 19 0 475513156 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911961932928 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2110] ppid=2106 vsize=15552588 memory=14012 CPUtime=0.19 cores=0,2,4,6
/proc/2108/task/2110/stat : 2110 (java) S 2106 2106 28986 0 -1 1077944384 1795 0 0 0 15 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911916452496 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2111] ppid=2106 vsize=15552588 memory=2112 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2111/stat : 2111 (java) S 2106 2106 28986 0 -1 1077944384 954 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911549233680 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2112] ppid=2106 vsize=15552588 memory=12040 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2112/stat : 2112 (java) S 2106 2106 28986 0 -1 1077944384 2437 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911548180880 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2113] ppid=2106 vsize=15552588 memory=31860 CPUtime=0.19 cores=0,2,4,6
/proc/2108/task/2113/stat : 2113 (java) S 2106 2106 28986 0 -1 1077944384 3386 0 0 0 16 3 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911547128080 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2114] ppid=2106 vsize=15552588 memory=4486604260213485459 CPUtime=0.15 cores=0,2,4,6
/proc/2108/task/2114/stat : 2114 (java) S 2106 2106 28986 0 -1 1077944384 2575 0 0 0 14 1 0 0 20 0 19 0 475513158 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911426292592 139911957703298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2115] ppid=2106 vsize=15552588 memory=202096 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2115/stat : 2115 (java) S 2106 2106 28986 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475513158 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911425238624 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2116] ppid=2106 vsize=15552588 memory=16105874779277135 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2116/stat : 2116 (java) S 2106 2106 28986 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475513159 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911424185728 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2117] ppid=2106 vsize=15552588 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2117/stat : 2117 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911423134032 139911957710747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2118] ppid=2106 vsize=15552588 memory=8112282956445269571 CPUtime=2.62 cores=0,2,4,6
/proc/2108/task/2118/stat : 2118 (java) S 2106 2106 28986 0 -1 1077944384 10398 0 0 0 261 1 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911422081392 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2119] ppid=2106 vsize=15552588 memory=3848 CPUtime=3 cores=0,2,4,6
/proc/2108/task/2119/stat : 2119 (java) S 2106 2106 28986 0 -1 1077944384 13018 0 0 0 300 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911421028592 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2120] ppid=2106 vsize=15552588 memory=2592 CPUtime=0.72 cores=0,2,4,6
/proc/2108/task/2120/stat : 2120 (java) S 2106 2106 28986 0 -1 1077944384 4791 0 0 0 71 1 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911419975792 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2121] ppid=2106 vsize=15552588 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2121/stat : 2121 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911418923232 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2122] ppid=2106 vsize=15552588 memory=4486604260213485459 CPUtime=0.03 cores=0,2,4,6
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 402 0 0 0 0 3 0 0 20 0 19 0 475513162 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2195] ppid=2106 vsize=15552588 memory=222912 CPUtime=211.27 cores=0,2,4,6
/proc/2108/task/2195/stat : 2195 (java) R 2106 2106 28986 0 -1 4202560 889 0 0 0 21127 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911405492928 139911598599993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2196] ppid=2106 vsize=15552588 memory=222912 CPUtime=211.15 cores=0,2,4,6
/proc/2108/task/2196/stat : 2196 (java) R 2106 2106 28986 0 -1 4202560 2292 0 0 0 21115 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911404441512 139911599836328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2197] ppid=2106 vsize=15552588 memory=12040 CPUtime=211.04 cores=0,2,4,6
/proc/2108/task/2197/stat : 2197 (java) R 2106 2106 28986 0 -1 4202560 2171 0 0 0 21104 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911401294368 139911598892431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2198] ppid=2106 vsize=15552588 memory=8112282956445269571 CPUtime=211.26 cores=0,2,4,6
/proc/2108/task/2198/stat : 2198 (java) R 2106 2106 28986 0 -1 4202560 1353 0 0 0 21126 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911408652392 139911599650157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 863.76 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 226416 KiB
[startup+218.001 s]*
/proc/loadavg: 8.88 9.02 8.55 9/238 2223
/proc/meminfo: memFree=10226164/32770624 swapFree=66956684/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
[pid=2108] ppid=2106 vsize=15552588 memory=224960 CPUtime=865.38 cores=0,2,4,6
/proc/2108/stat : 2108 (java) S 2106 2106 28986 0 -1 1077944320 58755 0 0 0 86512 26 0 0 20 0 19 0 475513156 15925850112 56240 33554432000 4194304 4196468 140724747927232 140724747909776 139911957692151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
/proc/2108/statm: 3888147 56240 3518 1 0 3849247 0
[pid=2108/tid=2109] ppid=2106 vsize=15552588 memory=262 CPUtime=0.6 cores=0,2,4,6
/proc/2108/task/2109/stat : 2109 (java) S 2106 2106 28986 0 -1 1077944384 8836 0 0 0 56 4 0 0 20 0 19 0 475513156 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911961932928 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2110] ppid=2106 vsize=15552588 memory=300 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2110/stat : 2110 (java) S 2106 2106 28986 0 -1 1077944384 1795 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911916452496 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2111] ppid=2106 vsize=15552588 memory=72 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2111/stat : 2111 (java) S 2106 2106 28986 0 -1 1077944384 954 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911549233680 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2112] ppid=2106 vsize=15552588 memory=4126316290023845779 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2112/stat : 2112 (java) S 2106 2106 28986 0 -1 1077944384 2437 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911548180880 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2113] ppid=2106 vsize=15552588 memory=222912 CPUtime=0.19 cores=0,2,4,6
/proc/2108/task/2113/stat : 2113 (java) S 2106 2106 28986 0 -1 1077944384 3386 0 0 0 16 3 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911547128080 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2114] ppid=2106 vsize=15552588 memory=1976 CPUtime=0.15 cores=0,2,4,6
/proc/2108/task/2114/stat : 2114 (java) S 2106 2106 28986 0 -1 1077944384 2575 0 0 0 14 1 0 0 20 0 19 0 475513158 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911426292592 139911957703298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2115] ppid=2106 vsize=15552588 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2115/stat : 2115 (java) S 2106 2106 28986 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475513158 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911425238624 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2116] ppid=2106 vsize=15552588 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2116/stat : 2116 (java) S 2106 2106 28986 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475513159 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911424185728 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2117] ppid=2106 vsize=15552588 memory=808 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2117/stat : 2117 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911423134032 139911957710747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2118] ppid=2106 vsize=15552588 memory=1764 CPUtime=2.62 cores=0,2,4,6
/proc/2108/task/2118/stat : 2118 (java) S 2106 2106 28986 0 -1 1077944384 10398 0 0 0 261 1 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911422081392 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2119] ppid=2106 vsize=15552588 memory=8112282956445269571 CPUtime=3 cores=0,2,4,6
/proc/2108/task/2119/stat : 2119 (java) S 2106 2106 28986 0 -1 1077944384 13018 0 0 0 300 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911421028592 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2120] ppid=2106 vsize=15552588 memory=6032 CPUtime=0.72 cores=0,2,4,6
/proc/2108/task/2120/stat : 2120 (java) S 2106 2106 28986 0 -1 1077944384 4791 0 0 0 71 1 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911419975792 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2121] ppid=2106 vsize=15552588 memory=624 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2121/stat : 2121 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911418923232 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2122] ppid=2106 vsize=15552588 memory=3636 CPUtime=0.03 cores=0,2,4,6
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 402 0 0 0 0 3 0 0 20 0 19 0 475513162 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2195] ppid=2106 vsize=15552588 memory=280215880821568 CPUtime=211.67 cores=0,2,4,6
/proc/2108/task/2195/stat : 2195 (java) R 2106 2106 28986 0 -1 4202560 889 0 0 0 21167 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911405492928 139911599831718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2196] ppid=2106 vsize=15552588 memory=7013346442758874224 CPUtime=211.56 cores=0,2,4,6
/proc/2108/task/2196/stat : 2196 (java) R 2106 2106 28986 0 -1 4202560 2292 0 0 0 21156 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911404441328 139911598599910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2197] ppid=2106 vsize=15552588 memory=7234030490512353113 CPUtime=211.45 cores=0,2,4,6
/proc/2108/task/2197/stat : 2197 (java) R 2106 2106 28986 0 -1 4202560 2171 0 0 0 21145 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911401291560 139911600399072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2198] ppid=2106 vsize=15552588 memory=1988 CPUtime=211.67 cores=0,2,4,6
/proc/2108/task/2198/stat : 2198 (java) R 2106 2106 28986 0 -1 4202560 1354 0 0 0 21167 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911408655568 139911599650157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 865.38 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 226416 KiB
[startup+218.111 s]
/proc/loadavg: 8.88 9.02 8.55 9/238 2223
/proc/meminfo: memFree=10226164/32770624 swapFree=66956684/67108860
[pid=2106] ppid=2103 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2106/stat : 2106 (xcsp3-exec) S 2103 2106 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475513155 115843072 364 33554432000 4194304 5098028 140735846852816 140735846850920 140051781218940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32006144 140735846855510 140735846855769 140735846855769 140735846858694 0
/proc/2106/statm: 28282 364 305 221 0 87 0
[pid=2108] ppid=2106 vsize=15552588 memory=224960 CPUtime=865.79 cores=0,2,4,6
/proc/2108/stat : 2108 (java) S 2106 2106 28986 0 -1 1077944320 58755 0 0 0 86553 26 0 0 20 0 19 0 475513156 15925850112 56240 33554432000 4194304 4196468 140724747927232 140724747909776 139911957692151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
/proc/2108/statm: 3888147 56240 3518 1 0 3849247 0
[pid=2108/tid=2109] ppid=2106 vsize=15552588 memory=224960 CPUtime=0.6 cores=0,2,4,6
/proc/2108/task/2109/stat : 2109 (java) S 2106 2106 28986 0 -1 1077944384 8836 0 0 0 56 4 0 0 20 0 19 0 475513156 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911961932928 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2110] ppid=2106 vsize=15552588 memory=1456 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2110/stat : 2110 (java) S 2106 2106 28986 0 -1 1077944384 1795 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911916452496 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2111] ppid=2106 vsize=15552588 memory=224960 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2111/stat : 2111 (java) S 2106 2106 28986 0 -1 1077944384 954 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911549233680 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2112] ppid=2106 vsize=15552588 memory=1456 CPUtime=0.2 cores=0,2,4,6
/proc/2108/task/2112/stat : 2112 (java) S 2106 2106 28986 0 -1 1077944384 2437 0 0 0 16 4 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911548180880 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2113] ppid=2106 vsize=15552588 memory=222912 CPUtime=0.19 cores=0,2,4,6
/proc/2108/task/2113/stat : 2113 (java) S 2106 2106 28986 0 -1 1077944384 3386 0 0 0 16 3 0 0 20 0 19 0 475513157 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911547128080 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2114] ppid=2106 vsize=15552588 memory=224960 CPUtime=0.15 cores=0,2,4,6
/proc/2108/task/2114/stat : 2114 (java) S 2106 2106 28986 0 -1 1077944384 2575 0 0 0 14 1 0 0 20 0 19 0 475513158 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911426292592 139911957703298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2115] ppid=2106 vsize=15552588 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2115/stat : 2115 (java) S 2106 2106 28986 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 475513158 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911425238624 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2116] ppid=2106 vsize=15552588 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2116/stat : 2116 (java) S 2106 2106 28986 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475513159 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911424185728 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2117] ppid=2106 vsize=15552588 memory=222912 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2117/stat : 2117 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911423134032 139911957710747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2118] ppid=2106 vsize=15552588 memory=1456 CPUtime=2.62 cores=0,2,4,6
/proc/2108/task/2118/stat : 2118 (java) S 2106 2106 28986 0 -1 1077944384 10398 0 0 0 261 1 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911422081392 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2119] ppid=2106 vsize=15552588 memory=222912 CPUtime=3 cores=0,2,4,6
/proc/2108/task/2119/stat : 2119 (java) S 2106 2106 28986 0 -1 1077944384 13018 0 0 0 300 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911421028592 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2120] ppid=2106 vsize=15552588 memory=224960 CPUtime=0.72 cores=0,2,4,6
/proc/2108/task/2120/stat : 2120 (java) S 2106 2106 28986 0 -1 1077944384 4791 0 0 0 71 1 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911419975792 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2121] ppid=2106 vsize=15552588 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2108/task/2121/stat : 2121 (java) S 2106 2106 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475513161 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911418923232 139911957702357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2122] ppid=2106 vsize=15552588 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/2108/task/2122/stat : 2122 (java) S 2106 2106 28986 0 -1 1077944384 402 0 0 0 0 3 0 0 20 0 19 0 475513162 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911417871536 139911957703298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2195] ppid=2106 vsize=15552588 memory=1456 CPUtime=211.77 cores=0,2,4,6
/proc/2108/task/2195/stat : 2195 (java) R 2106 2106 28986 0 -1 4202560 889 0 0 0 21177 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911405492928 139911599650327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2196] ppid=2106 vsize=15552588 memory=1988 CPUtime=211.66 cores=0,2,4,6
/proc/2108/task/2196/stat : 2196 (java) R 2106 2106 28986 0 -1 4202560 2292 0 0 0 21166 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911404441328 139911600396342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2197] ppid=2106 vsize=15552588 memory=988 CPUtime=211.55 cores=0,2,4,6
/proc/2108/task/2197/stat : 2197 (java) R 2106 2106 28986 0 -1 4202560 2171 0 0 0 21155 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911401291560 139911598891504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
[pid=2108/tid=2198] ppid=2106 vsize=15552588 memory=1428 CPUtime=211.77 cores=0,2,4,6
/proc/2108/task/2198/stat : 2198 (java) R 2106 2106 28986 0 -1 4202560 1354 0 0 0 21177 0 0 0 20 0 19 0 475513625 15925850112 56240 33554432000 4194304 4196468 140724747927232 139911408655568 139911599650368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724747928539 140724747928714 140724747928714 140724747931599 0
Current children cumulated CPU time: 865.79 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 226416 KiB
Child status: 0
Real time (s): 218.162
CPU time (s): 865.977
CPU user time (s): 865.704
CPU system time (s): 0.272746
CPU usage (%): 396.942
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 226416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 865.704
system time used= 0.272746
maximum resident set size= 224960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13405
involuntary context switches= 15176
# summary of solver processes directly reported to runsolver:
# pid: 2106
# total CPU time (s): 865.977
# total CPU user time (s): 865.704
# total CPU system time (s): 0.272746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32541 second user time and 2.43074 second system time
The end