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 (8512 MiB free)
memory of node 1: 16384 MiB (6275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403717-1568992346/watcher-4403717-1568992346 -o /var/tmp/evaluation-result-4403717-1568992346/solver-4403717-1568992346 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 484414166 HOME/instance-4403717-1568992346.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
Current StackSize limit: 8192 KiB
solver pid=10454, runsolver pid=10451
[startup+0.100089 s]*
/proc/loadavg: 8.17 8.42 8.34 6/233 10470
/proc/meminfo: memFree=15125556/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
[pid=10456] ppid=10454 vsize=15144776 memory=28780 CPUtime=0.12 cores=1,3,5,7
/proc/10456/stat : 10456 (java) S 10454 10454 1883 0 -1 1077944320 5675 0 0 0 11 1 0 0 20 0 15 0 475490236 15508250624 7195 33554432000 4194304 4196468 140730336513136 140730336495680 140555861610231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
/proc/10456/statm: 3786194 7195 3119 1 0 3748377 0
[pid=10456/tid=10457] ppid=10454 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/10456/task/10457/stat : 10457 (java) R 10454 10454 1883 0 -1 4202560 3621 0 0 0 9 0 0 0 20 0 15 0 475490236 15508250624 7195 33554432000 4194304 4196468 140730336513136 140555865838000 140555845653861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10458] ppid=10454 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10458/stat : 10458 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 7195 33554432000 4194304 4196468 140730336513136 140555454438544 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10459] ppid=10454 vsize=15144776 memory=140595192305280 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10459/stat : 10459 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 7195 33554432000 4194304 4196468 140730336513136 140555453385744 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10460] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10460/stat : 10460 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 7195 33554432000 4194304 4196468 140730336513136 140555452332944 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10461] ppid=10454 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10461/stat : 10461 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 7195 33554432000 4194304 4196468 140730336513136 140555451280144 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10462] ppid=10454 vsize=15144776 memory=140595192305280 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10462/stat : 10462 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490238 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554735122800 140555861621378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10463] ppid=10454 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10463/stat : 10463 (java) S 10454 10454 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475490239 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554734068768 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10464] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10464/stat : 10464 (java) S 10454 10454 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475490239 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554733015920 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10465] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10465/stat : 10465 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490241 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554731964240 140555861628827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10466] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10466/stat : 10466 (java) R 10454 10454 1883 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 475490241 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554730912624 140555861621378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10467] ppid=10454 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10467/stat : 10467 (java) R 10454 10454 1883 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 15 0 475490241 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554729859824 140555845009404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10468] ppid=10454 vsize=15144776 memory=140595192305280 CPUtime=0.01 cores=1,3,5,7
/proc/10456/task/10468/stat : 10468 (java) R 10454 10454 1883 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 15 0 475490242 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554728807024 140555861622166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10469] ppid=10454 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10469/stat : 10469 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490242 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554727754464 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10470] ppid=10454 vsize=15144776 memory=140595192305280 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490242 15508250624 7195 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30236 KiB
[startup+0.210839 s]*
/proc/loadavg: 8.17 8.42 8.34 7/233 10470
/proc/meminfo: memFree=15113084/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
[pid=10456] ppid=10454 vsize=15144776 memory=40684 CPUtime=0.33 cores=1,3,5,7
/proc/10456/stat : 10456 (java) S 10454 10454 1883 0 -1 1077944320 9371 0 0 0 31 2 0 0 20 0 15 0 475490236 15508250624 10171 33554432000 4194304 4196468 140730336513136 140730336495680 140555861610231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
/proc/10456/statm: 3786194 10171 3305 1 0 3748377 0
[pid=10456/tid=10457] ppid=10454 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10456/task/10457/stat : 10457 (java) R 10454 10454 1883 0 -1 4202560 6609 0 0 0 18 1 0 0 20 0 15 0 475490236 15508250624 10171 33554432000 4194304 4196468 140730336513136 140555865839952 140555861622166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10458] ppid=10454 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10458/stat : 10458 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 10171 33554432000 4194304 4196468 140730336513136 140555454438544 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10459] ppid=10454 vsize=15144776 memory=288370971344017024 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10459/stat : 10459 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 10171 33554432000 4194304 4196468 140730336513136 140555453385744 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10460] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10460/stat : 10460 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 10171 33554432000 4194304 4196468 140730336513136 140555452332944 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10461] ppid=10454 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10461/stat : 10461 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490237 15508250624 10171 33554432000 4194304 4196468 140730336513136 140555451280144 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10462] ppid=10454 vsize=15144776 memory=140595192305280 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10462/stat : 10462 (java) S 10454 10454 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475490238 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554735122800 140555861621378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10463] ppid=10454 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10463/stat : 10463 (java) S 10454 10454 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475490239 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554734068768 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10464] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10464/stat : 10464 (java) S 10454 10454 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475490239 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554733015920 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10465] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10465/stat : 10465 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490241 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554731964240 140555861628827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10466] ppid=10454 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10456/task/10466/stat : 10466 (java) S 10454 10454 1883 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 475490241 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554730912624 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10467] ppid=10454 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10456/task/10467/stat : 10467 (java) S 10454 10454 1883 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 475490241 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554729859824 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10468] ppid=10454 vsize=15144776 memory=140595192305280 CPUtime=0.08 cores=1,3,5,7
/proc/10456/task/10468/stat : 10468 (java) R 10454 10454 1883 0 -1 4202560 812 0 0 0 8 0 0 0 20 0 15 0 475490242 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554728807024 140555840576455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10469] ppid=10454 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10469/stat : 10469 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490242 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554727754464 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10470] ppid=10454 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490242 15508250624 10171 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42140 KiB
[startup+0.31406 s]*
/proc/loadavg: 8.17 8.42 8.34 8/233 10470
/proc/meminfo: memFree=15105416/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
[pid=10456] ppid=10454 vsize=15149032 memory=50368 CPUtime=0.54 cores=1,3,5,7
/proc/10456/stat : 10456 (java) S 10454 10454 1883 0 -1 1077944320 10865 0 0 0 51 3 0 0 20 0 15 0 475490236 15512608768 12592 33554432000 4194304 4196468 140730336513136 140730336495680 140555861610231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
/proc/10456/statm: 3787258 12592 3372 1 0 3748377 0
[pid=10456/tid=10457] ppid=10454 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/10456/task/10457/stat : 10457 (java) R 10454 10454 1883 0 -1 4202560 7818 0 0 0 28 2 0 0 20 0 15 0 475490236 15512608768 12592 33554432000 4194304 4196468 140730336513136 140555865842000 140555845690718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10458] ppid=10454 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10458/stat : 10458 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490237 15512608768 12592 33554432000 4194304 4196468 140730336513136 140555454438544 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10459] ppid=10454 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10459/stat : 10459 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490237 15512608768 12592 33554432000 4194304 4196468 140730336513136 140555453385744 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10460] ppid=10454 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10460/stat : 10460 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490237 15512608768 12592 33554432000 4194304 4196468 140730336513136 140555452332944 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10461] ppid=10454 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10461/stat : 10461 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490237 15512608768 12592 33554432000 4194304 4196468 140730336513136 140555451280144 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10462] ppid=10454 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10462/stat : 10462 (java) S 10454 10454 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475490238 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554735122800 140555861621378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10463] ppid=10454 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10463/stat : 10463 (java) S 10454 10454 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475490239 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554734068768 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10464] ppid=10454 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10464/stat : 10464 (java) S 10454 10454 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475490239 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554733015920 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10465] ppid=10454 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10465/stat : 10465 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490241 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554731964240 140555861628827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10466] ppid=10454 vsize=15149032 memory=4426089072227881875 CPUtime=0.03 cores=1,3,5,7
/proc/10456/task/10466/stat : 10466 (java) S 10454 10454 1883 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 15 0 475490241 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554730912624 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10467] ppid=10454 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10456/task/10467/stat : 10467 (java) S 10454 10454 1883 0 -1 1077944384 358 0 0 0 5 0 0 0 20 0 15 0 475490241 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554729859824 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10468] ppid=10454 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10456/task/10468/stat : 10468 (java) S 10454 10454 1883 0 -1 1077944384 976 0 0 0 12 0 0 0 20 0 15 0 475490242 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554728807024 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10469] ppid=10454 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10469/stat : 10469 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490242 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554727754464 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10470] ppid=10454 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490242 15512608768 12592 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51824 KiB
[startup+0.70492 s]
/proc/loadavg: 8.17 8.42 8.34 10/233 10470
/proc/meminfo: memFree=15089372/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
[pid=10456] ppid=10454 vsize=15418440 memory=158148 CPUtime=1.71 cores=1,3,5,7
/proc/10456/stat : 10456 (java) S 10454 10454 1883 0 -1 1077944320 15584 0 0 0 166 5 0 0 20 0 19 0 475490236 15788482560 39537 33554432000 4194304 4196468 140730336513136 140730336495680 140555861610231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
/proc/10456/statm: 3854610 39537 3462 1 0 3815710 0
[pid=10456/tid=10457] ppid=10454 vsize=15418440 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/10456/task/10457/stat : 10457 (java) S 10454 10454 1883 0 -1 1077944384 9208 0 0 0 50 2 0 0 20 0 19 0 475490236 15788482560 39537 33554432000 4194304 4196468 140730336513136 140555865851008 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10458] ppid=10454 vsize=15418440 memory=164 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10458/stat : 10458 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475490237 15788482560 39537 33554432000 4194304 4196468 140730336513136 140555454438544 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10459] ppid=10454 vsize=15418440 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10459/stat : 10459 (java) S 10454 10454 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475490237 15788482560 39537 33554432000 4194304 4196468 140730336513136 140555453385744 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10460] ppid=10454 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10460/stat : 10460 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475490237 15788482560 39537 33554432000 4194304 4196468 140730336513136 140555452332944 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10461] ppid=10454 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10461/stat : 10461 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475490237 15788482560 39537 33554432000 4194304 4196468 140730336513136 140555451280144 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10462] ppid=10454 vsize=15418440 memory=40292 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10462/stat : 10462 (java) S 10454 10454 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475490238 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554735122800 140555861621378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10463] ppid=10454 vsize=15418440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10463/stat : 10463 (java) S 10454 10454 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475490239 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554734068768 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10464] ppid=10454 vsize=15418440 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10464/stat : 10464 (java) S 10454 10454 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475490239 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554733015920 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10465] ppid=10454 vsize=15418440 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10465/stat : 10465 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490241 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554731964240 140555861628827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10466] ppid=10454 vsize=15418440 memory=1044 CPUtime=0.26 cores=1,3,5,7
/proc/10456/task/10466/stat : 10466 (java) R 10454 10454 1883 0 -1 4202560 1141 0 0 0 26 0 0 0 20 0 19 0 475490241 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554730893776 140555845141696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10467] ppid=10454 vsize=15418440 memory=708 CPUtime=0.3 cores=1,3,5,7
/proc/10456/task/10467/stat : 10467 (java) R 10454 10454 1883 0 -1 4202560 1225 0 0 0 30 0 0 0 20 0 19 0 475490241 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554729852848 140555841267296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10468] ppid=10454 vsize=15418440 memory=9364 CPUtime=0.34 cores=1,3,5,7
/proc/10456/task/10468/stat : 10468 (java) R 10454 10454 1883 0 -1 4202560 1854 0 0 0 34 0 0 0 20 0 19 0 475490242 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554728807152 140555839802521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10469] ppid=10454 vsize=15418440 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10469/stat : 10469 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490242 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554727754464 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10470] ppid=10454 vsize=15418440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475490242 15788482560 39537 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 159604 KiB
[startup+1.50092 s]
/proc/loadavg: 8.17 8.42 8.34 12/237 10522
/proc/meminfo: memFree=14963724/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1117 0 0 0 0 2 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10543] ppid=10454 vsize=15483976 memory=3624 CPUtime=138.97 cores=1,3,5,7
/proc/10456/task/10543/stat : 10543 (java) R 10454 10454 1883 0 -1 4202560 564 0 0 0 13897 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554713511744 140555503326498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10544] ppid=10454 vsize=15483976 memory=15348 CPUtime=138.47 cores=1,3,5,7
/proc/10456/task/10544/stat : 10544 (java) R 10454 10454 1883 0 -1 4202560 1657 0 0 0 13847 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554715614864 140555503443641 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10545] ppid=10454 vsize=15483976 memory=2120 CPUtime=138.74 cores=1,3,5,7
/proc/10456/task/10545/stat : 10545 (java) R 10454 10454 1883 0 -1 4202560 2336 0 0 0 13874 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554716667656 140555503325627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10546] ppid=10454 vsize=15483976 memory=12036 CPUtime=138.66 cores=1,3,5,7
/proc/10456/task/10546/stat : 10546 (java) R 10454 10454 1883 0 -1 4202560 1106 0 0 0 13866 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554714563264 140555504378344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 562.01 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 238684 KiB
[startup+142.401 s]
/proc/loadavg: 8.18 8.38 8.34 9/237 10556
/proc/meminfo: memFree=14940080/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
[pid=10456] ppid=10454 vsize=15483976 memory=237228 CPUtime=565.19 cores=1,3,5,7
/proc/10456/stat : 10456 (java) S 10454 10454 1883 0 -1 1077944320 54065 0 0 0 56500 19 0 0 20 0 19 0 475490236 15855591424 59307 33554432000 4194304 4196468 140730336513136 140730336495680 140555861610231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
/proc/10456/statm: 3870994 59307 3517 1 0 3832094 0
[pid=10456/tid=10457] ppid=10454 vsize=15483976 memory=880 CPUtime=0.52 cores=1,3,5,7
/proc/10456/task/10457/stat : 10457 (java) S 10454 10454 1883 0 -1 1077944384 9208 0 0 0 50 2 0 0 20 0 19 0 475490236 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555865851008 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10458] ppid=10454 vsize=15483976 memory=4104 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10458/stat : 10458 (java) S 10454 10454 1883 0 -1 1077944384 895 0 0 0 7 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555454438544 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10459] ppid=10454 vsize=15483976 memory=1984 CPUtime=0.11 cores=1,3,5,7
/proc/10456/task/10459/stat : 10459 (java) S 10454 10454 1883 0 -1 1077944384 1826 0 0 0 8 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555453385744 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10460] ppid=10454 vsize=15483976 memory=1456 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10460/stat : 10460 (java) S 10454 10454 1883 0 -1 1077944384 1174 0 0 0 7 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555452332944 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10461] ppid=10454 vsize=15483976 memory=237228 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10461/stat : 10461 (java) S 10454 10454 1883 0 -1 1077944384 1212 0 0 0 8 2 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555451280144 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10462] ppid=10454 vsize=15483976 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/10456/task/10462/stat : 10462 (java) S 10454 10454 1883 0 -1 1077944384 1731 0 0 0 7 1 0 0 20 0 19 0 475490238 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554735122800 140555861621378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10463] ppid=10454 vsize=15483976 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10463/stat : 10463 (java) S 10454 10454 1883 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475490239 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554734068832 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10464] ppid=10454 vsize=15483976 memory=40292 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10464/stat : 10464 (java) S 10454 10454 1883 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 475490239 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554733015936 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10465] ppid=10454 vsize=15483976 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10465/stat : 10465 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554731964240 140555861628827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10466] ppid=10454 vsize=15483976 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/10456/task/10466/stat : 10466 (java) S 10454 10454 1883 0 -1 1077944384 10682 0 0 0 185 0 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554730912624 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10467] ppid=10454 vsize=15483976 memory=40292 CPUtime=1.97 cores=1,3,5,7
/proc/10456/task/10467/stat : 10467 (java) S 10454 10454 1883 0 -1 1077944384 12036 0 0 0 196 1 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554729859824 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10468] ppid=10454 vsize=15483976 memory=56 CPUtime=0.59 cores=1,3,5,7
/proc/10456/task/10468/stat : 10468 (java) S 10454 10454 1883 0 -1 1077944384 5703 0 0 0 58 1 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554728807024 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10469] ppid=10454 vsize=15483976 memory=-6804530867367538332 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10469/stat : 10469 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554727754464 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10470] ppid=10454 vsize=15483976 memory=-6586668835053300886 CPUtime=0.02 cores=1,3,5,7
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1117 0 0 0 0 2 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10543] ppid=10454 vsize=15483976 memory=4274004374211029041 CPUtime=139.77 cores=1,3,5,7
/proc/10456/task/10543/stat : 10543 (java) R 10454 10454 1883 0 -1 4202560 564 0 0 0 13977 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554713511632 140555503442805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10544] ppid=10454 vsize=15483976 memory=0 CPUtime=139.26 cores=1,3,5,7
/proc/10456/task/10544/stat : 10544 (java) R 10454 10454 1883 0 -1 4202560 1657 0 0 0 13926 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554715614864 140555503326551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10545] ppid=10454 vsize=15483976 memory=-3622645143214314312 CPUtime=139.53 cores=1,3,5,7
/proc/10456/task/10545/stat : 10545 (java) R 10454 10454 1883 0 -1 4202560 2336 0 0 0 13953 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554716667656 140555503442951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10546] ppid=10454 vsize=15483976 memory=3252 CPUtime=139.46 cores=1,3,5,7
/proc/10456/task/10546/stat : 10546 (java) R 10454 10454 1883 0 -1 4202560 1106 0 0 0 13946 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554714563400 140555503326736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 565.19 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 238684 KiB
[startup+142.801 s]
/proc/loadavg: 8.18 8.38 8.34 9/237 10556
/proc/meminfo: memFree=14940080/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
[pid=10456] ppid=10454 vsize=15483976 memory=237228 CPUtime=566.79 cores=1,3,5,7
/proc/10456/stat : 10456 (java) S 10454 10454 1883 0 -1 1077944320 54066 0 0 0 56660 19 0 0 20 0 19 0 475490236 15855591424 59307 33554432000 4194304 4196468 140730336513136 140730336495680 140555861610231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
/proc/10456/statm: 3870994 59307 3517 1 0 3832094 0
[pid=10456/tid=10457] ppid=10454 vsize=15483976 memory=281190168246656 CPUtime=0.52 cores=1,3,5,7
/proc/10456/task/10457/stat : 10457 (java) S 10454 10454 1883 0 -1 1077944384 9208 0 0 0 50 2 0 0 20 0 19 0 475490236 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555865851008 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10458] ppid=10454 vsize=15483976 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10458/stat : 10458 (java) S 10454 10454 1883 0 -1 1077944384 895 0 0 0 7 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555454438544 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10459] ppid=10454 vsize=15483976 memory=1444 CPUtime=0.11 cores=1,3,5,7
/proc/10456/task/10459/stat : 10459 (java) S 10454 10454 1883 0 -1 1077944384 1826 0 0 0 8 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555453385744 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10460] ppid=10454 vsize=15483976 memory=880 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10460/stat : 10460 (java) S 10454 10454 1883 0 -1 1077944384 1174 0 0 0 7 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555452332944 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10461] ppid=10454 vsize=15483976 memory=4104 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10461/stat : 10461 (java) S 10454 10454 1883 0 -1 1077944384 1212 0 0 0 8 2 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555451280144 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10462] ppid=10454 vsize=15483976 memory=1984 CPUtime=0.08 cores=1,3,5,7
/proc/10456/task/10462/stat : 10462 (java) S 10454 10454 1883 0 -1 1077944384 1731 0 0 0 7 1 0 0 20 0 19 0 475490238 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554735122800 140555861621378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10463] ppid=10454 vsize=15483976 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10463/stat : 10463 (java) S 10454 10454 1883 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475490239 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554734068832 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10464] ppid=10454 vsize=15483976 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10464/stat : 10464 (java) S 10454 10454 1883 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 475490239 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554733015936 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10465] ppid=10454 vsize=15483976 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10465/stat : 10465 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554731964240 140555861628827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10466] ppid=10454 vsize=15483976 memory=804 CPUtime=1.85 cores=1,3,5,7
/proc/10456/task/10466/stat : 10466 (java) S 10454 10454 1883 0 -1 1077944384 10682 0 0 0 185 0 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554730912624 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10467] ppid=10454 vsize=15483976 memory=1412 CPUtime=1.97 cores=1,3,5,7
/proc/10456/task/10467/stat : 10467 (java) S 10454 10454 1883 0 -1 1077944384 12036 0 0 0 196 1 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554729859824 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10468] ppid=10454 vsize=15483976 memory=3624 CPUtime=0.59 cores=1,3,5,7
/proc/10456/task/10468/stat : 10468 (java) S 10454 10454 1883 0 -1 1077944384 5703 0 0 0 58 1 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554728807024 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10469] ppid=10454 vsize=15483976 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10469/stat : 10469 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554727754464 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10470] ppid=10454 vsize=15483976 memory=2832 CPUtime=0.02 cores=1,3,5,7
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1117 0 0 0 0 2 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10543] ppid=10454 vsize=15483976 memory=984 CPUtime=140.17 cores=1,3,5,7
/proc/10456/task/10543/stat : 10543 (java) R 10454 10454 1883 0 -1 4202560 564 0 0 0 14017 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554713509072 140555503326410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10544] ppid=10454 vsize=15483976 memory=14012 CPUtime=139.66 cores=1,3,5,7
/proc/10456/task/10544/stat : 10544 (java) R 10454 10454 1883 0 -1 4202560 1657 0 0 0 13966 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554715614944 140555504033045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10545] ppid=10454 vsize=15483976 memory=15348 CPUtime=139.93 cores=1,3,5,7
/proc/10456/task/10545/stat : 10545 (java) R 10454 10454 1883 0 -1 4202560 2337 0 0 0 13993 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554716668056 140555503326425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10546] ppid=10454 vsize=15483976 memory=2120 CPUtime=139.86 cores=1,3,5,7
/proc/10456/task/10546/stat : 10546 (java) R 10454 10454 1883 0 -1 4202560 1106 0 0 0 13986 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554714565696 140555503326230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 566.79 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 238684 KiB
[startup+142.901 s]
/proc/loadavg: 8.18 8.38 8.34 9/237 10556
/proc/meminfo: memFree=14940080/32770624 swapFree=66952608/67108860
[pid=10454] ppid=10451 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10454/stat : 10454 (xcsp3-exec) S 10451 10454 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475490235 115843072 364 33554432000 4194304 5098028 140729986282800 140729986280904 139952020185724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12615680 140729986290519 140729986290777 140729986290777 140729986293702 0
/proc/10454/statm: 28282 364 305 221 0 87 0
[pid=10456] ppid=10454 vsize=15483976 memory=237228 CPUtime=567.19 cores=1,3,5,7
/proc/10456/stat : 10456 (java) S 10454 10454 1883 0 -1 1077944320 54066 0 0 0 56700 19 0 0 20 0 19 0 475490236 15855591424 59307 33554432000 4194304 4196468 140730336513136 140730336495680 140555861610231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
/proc/10456/statm: 3870994 59307 3517 1 0 3832094 0
[pid=10456/tid=10457] ppid=10454 vsize=15483976 memory=237228 CPUtime=0.52 cores=1,3,5,7
/proc/10456/task/10457/stat : 10457 (java) S 10454 10454 1883 0 -1 1077944384 9208 0 0 0 50 2 0 0 20 0 19 0 475490236 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555865851008 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10458] ppid=10454 vsize=15483976 memory=1456 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10458/stat : 10458 (java) S 10454 10454 1883 0 -1 1077944384 895 0 0 0 7 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555454438544 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10459] ppid=10454 vsize=15483976 memory=235180 CPUtime=0.11 cores=1,3,5,7
/proc/10456/task/10459/stat : 10459 (java) S 10454 10454 1883 0 -1 1077944384 1826 0 0 0 8 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555453385744 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10460] ppid=10454 vsize=15483976 memory=235180 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10460/stat : 10460 (java) S 10454 10454 1883 0 -1 1077944384 1174 0 0 0 7 3 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555452332944 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10461] ppid=10454 vsize=15483976 memory=229036 CPUtime=0.1 cores=1,3,5,7
/proc/10456/task/10461/stat : 10461 (java) S 10454 10454 1883 0 -1 1077944384 1212 0 0 0 8 2 0 0 20 0 19 0 475490237 15855591424 59307 33554432000 4194304 4196468 140730336513136 140555451280144 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10462] ppid=10454 vsize=15483976 memory=237228 CPUtime=0.08 cores=1,3,5,7
/proc/10456/task/10462/stat : 10462 (java) S 10454 10454 1883 0 -1 1077944384 1731 0 0 0 7 1 0 0 20 0 19 0 475490238 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554735122800 140555861621378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10463] ppid=10454 vsize=15483976 memory=237228 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10463/stat : 10463 (java) S 10454 10454 1883 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475490239 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554734068832 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10464] ppid=10454 vsize=15483976 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10464/stat : 10464 (java) S 10454 10454 1883 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 475490239 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554733015936 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10465] ppid=10454 vsize=15483976 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10465/stat : 10465 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554731964240 140555861628827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10466] ppid=10454 vsize=15483976 memory=235180 CPUtime=1.85 cores=1,3,5,7
/proc/10456/task/10466/stat : 10466 (java) S 10454 10454 1883 0 -1 1077944384 10682 0 0 0 185 0 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554730912624 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10467] ppid=10454 vsize=15483976 memory=235180 CPUtime=1.97 cores=1,3,5,7
/proc/10456/task/10467/stat : 10467 (java) S 10454 10454 1883 0 -1 1077944384 12036 0 0 0 196 1 0 0 20 0 19 0 475490241 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554729859824 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10468] ppid=10454 vsize=15483976 memory=3580 CPUtime=0.59 cores=1,3,5,7
/proc/10456/task/10468/stat : 10468 (java) S 10454 10454 1883 0 -1 1077944384 5703 0 0 0 58 1 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554728807024 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10469] ppid=10454 vsize=15483976 memory=40292 CPUtime=0 cores=1,3,5,7
/proc/10456/task/10469/stat : 10469 (java) S 10454 10454 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554727754464 140555861620437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10470] ppid=10454 vsize=15483976 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/10456/task/10470/stat : 10470 (java) S 10454 10454 1883 0 -1 1077944384 1117 0 0 0 0 2 0 0 20 0 19 0 475490242 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554726701744 140555861621378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10543] ppid=10454 vsize=15483976 memory=708 CPUtime=140.27 cores=1,3,5,7
/proc/10456/task/10543/stat : 10543 (java) R 10454 10454 1883 0 -1 4202560 564 0 0 0 14027 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554713509072 140555503326320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10544] ppid=10454 vsize=15483976 memory=226988 CPUtime=139.76 cores=1,3,5,7
/proc/10456/task/10544/stat : 10544 (java) R 10454 10454 1883 0 -1 4202560 1657 0 0 0 13976 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554715614944 140555505665675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10545] ppid=10454 vsize=15483976 memory=1456 CPUtime=140.03 cores=1,3,5,7
/proc/10456/task/10545/stat : 10545 (java) R 10454 10454 1883 0 -1 4202560 2337 0 0 0 14003 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554716668056 140555503325554 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
[pid=10456/tid=10546] ppid=10454 vsize=15483976 memory=1456 CPUtime=139.96 cores=1,3,5,7
/proc/10456/task/10546/stat : 10546 (java) R 10454 10454 1883 0 -1 4202560 1106 0 0 0 13996 0 0 0 20 0 19 0 475490363 15855591424 59307 33554432000 4194304 4196468 140730336513136 140554714565696 140555504172616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10489856 140730336515035 140730336515210 140730336515210 140730336518095 0
Current children cumulated CPU time: 567.19 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 238684 KiB
Child status: 0
Real time (s): 142.977
CPU time (s): 567.477
CPU user time (s): 567.277
CPU system time (s): 0.199399
CPU usage (%): 396.9
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 238684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 567.277
system time used= 0.199399
maximum resident set size= 237488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8667
involuntary context switches= 9649
# summary of solver processes directly reported to runsolver:
# pid: 10454
# total CPU time (s): 567.477
# total CPU user time (s): 567.277
# total CPU system time (s): 0.199399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.867873 second user time and 1.62541 second system time
The end