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 (6262 MiB free)
memory of node 1: 16384 MiB (8655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403440-1568991427/watcher-4403440-1568991427 -o /var/tmp/evaluation-result-4403440-1568991427/solver-4403440-1568991427 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2031388199 HOME/instance-4403440-1568991427.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9439, runsolver pid=9436
Current StackSize limit: 8192 KiB
[startup+0.100902 s]*
/proc/loadavg: 8.13 8.37 7.99 8/233 9455
/proc/meminfo: memFree=15259560/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
[pid=9441] ppid=9439 vsize=15144776 memory=29704 CPUtime=0.13 cores=1,3,5,7
/proc/9441/stat : 9441 (java) S 9439 9439 6055 0 -1 1077944320 5836 0 0 0 12 1 0 0 20 0 15 0 475405311 15508250624 7426 33554432000 4194304 4196468 140724535967024 140724535949568 140324493754103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
/proc/9441/statm: 3786194 7426 3168 1 0 3748377 0
[pid=9441/tid=9442] ppid=9439 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 6055 0 -1 4202560 3723 0 0 0 8 1 0 0 20 0 15 0 475405311 15508250624 7426 33554432000 4194304 4196468 140724535967024 140324497976160 140324114626896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9443] ppid=9439 vsize=15144776 memory=3472468831908218064 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 7426 33554432000 4194304 4196468 140724535967024 140324446374928 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9444] ppid=9439 vsize=15144776 memory=140703013066368 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 7426 33554432000 4194304 4196468 140724535967024 140324445322384 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9445] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 7426 33554432000 4194304 4196468 140724535967024 140324444269328 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9446] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 7426 33554432000 4194304 4196468 140724535967024 140324443216784 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9447] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405313 15508250624 7426 33554432000 4194304 4196468 140724535967024 140323636312304 140324493765250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9448] ppid=9439 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 7426 33554432000 4194304 4196468 140724535967024 140323635258528 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9449] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 7426 33554432000 4194304 4196468 140724535967024 140323634205424 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9450] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 7426 33554432000 4194304 4196468 140724535967024 140323633154000 140324493772699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9451] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 6055 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 7426 33554432000 4194304 4196468 140724535967024 140323632102128 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9452] ppid=9439 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 6055 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 7426 33554432000 4194304 4196468 140724535967024 140323631049584 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9453] ppid=9439 vsize=15144776 memory=140703013066368 CPUtime=0.02 cores=1,3,5,7
/proc/9441/task/9453/stat : 9453 (java) R 9439 9439 6055 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 475405317 15508250624 7426 33554432000 4194304 4196468 140724535967024 140323629992288 140324472438208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9454] ppid=9439 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 7426 33554432000 4194304 4196468 140724535967024 140322985040736 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9455] ppid=9439 vsize=15144776 memory=140703013066368 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 7426 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31156 KiB
[startup+0.210726 s]*
/proc/loadavg: 8.13 8.37 7.99 7/233 9455
/proc/meminfo: memFree=15245936/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
[pid=9441] ppid=9439 vsize=15144776 memory=41204 CPUtime=0.35 cores=1,3,5,7
/proc/9441/stat : 9441 (java) S 9439 9439 6055 0 -1 1077944320 9478 0 0 0 32 3 0 0 20 0 15 0 475405311 15508250624 10301 33554432000 4194304 4196468 140724535967024 140724535949568 140324493754103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
/proc/9441/statm: 3786194 10301 3321 1 0 3748377 0
[pid=9441/tid=9442] ppid=9439 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 6055 0 -1 4202560 6627 0 0 0 18 2 0 0 20 0 15 0 475405311 15508250624 10301 33554432000 4194304 4196468 140724535967024 140324497987808 140324475318478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9443] ppid=9439 vsize=15144776 memory=3472468831908218064 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 10301 33554432000 4194304 4196468 140724535967024 140324446374928 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9444] ppid=9439 vsize=15144776 memory=140703013066368 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 10301 33554432000 4194304 4196468 140724535967024 140324445322384 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9445] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 10301 33554432000 4194304 4196468 140724535967024 140324444269328 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9446] ppid=9439 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15508250624 10301 33554432000 4194304 4196468 140724535967024 140324443216784 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9447] ppid=9439 vsize=15144776 memory=140703013066368 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405313 15508250624 10301 33554432000 4194304 4196468 140724535967024 140323636312304 140324493765250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9448] ppid=9439 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 10301 33554432000 4194304 4196468 140724535967024 140323635258528 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9449] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 10301 33554432000 4194304 4196468 140724535967024 140323634205424 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9450] ppid=9439 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 10301 33554432000 4194304 4196468 140724535967024 140323633154000 140324493772699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9451] ppid=9439 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 6055 0 -1 1077944384 595 0 0 0 2 0 0 0 20 0 15 0 475405317 15508250624 10301 33554432000 4194304 4196468 140724535967024 140323632102128 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9452] ppid=9439 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 6055 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 15 0 475405317 15508250624 10301 33554432000 4194304 4196468 140724535967024 140323631049584 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9453] ppid=9439 vsize=15144776 memory=140703013066368 CPUtime=0.08 cores=1,3,5,7
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 6055 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 475405317 15508250624 10301 33554432000 4194304 4196468 140724535967024 140323629996528 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9454] ppid=9439 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 10301 33554432000 4194304 4196468 140724535967024 140322985040736 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9455] ppid=9439 vsize=15144776 memory=140703013066368 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405317 15508250624 10301 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42656 KiB
[startup+0.3106 s]*
/proc/loadavg: 8.13 8.37 7.99 6/233 9455
/proc/meminfo: memFree=15239036/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
[pid=9441] ppid=9439 vsize=15149032 memory=49864 CPUtime=0.52 cores=1,3,5,7
/proc/9441/stat : 9441 (java) S 9439 9439 6055 0 -1 1077944320 10883 0 0 0 49 3 0 0 20 0 15 0 475405311 15512608768 12466 33554432000 4194304 4196468 140724535967024 140724535949568 140324493754103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
/proc/9441/statm: 3787258 12466 3355 1 0 3748377 0
[pid=9441/tid=9442] ppid=9439 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=1,3,5,7
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 6055 0 -1 4202560 7948 0 0 0 28 2 0 0 20 0 15 0 475405311 15512608768 12466 33554432000 4194304 4196468 140724535967024 140324497985216 140324477834590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9443] ppid=9439 vsize=15149032 memory=3472468831908218064 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15512608768 12466 33554432000 4194304 4196468 140724535967024 140324446374928 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9444] ppid=9439 vsize=15149032 memory=281405873359232 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15512608768 12466 33554432000 4194304 4196468 140724535967024 140324445322384 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9445] ppid=9439 vsize=15149032 memory=281405720618016 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15512608768 12466 33554432000 4194304 4196468 140724535967024 140324444269328 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9446] ppid=9439 vsize=15149032 memory=140702860292879 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15512608768 12466 33554432000 4194304 4196468 140724535967024 140324443216784 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9447] ppid=9439 vsize=15149032 memory=281405873366144 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405313 15512608768 12466 33554432000 4194304 4196468 140724535967024 140323636312304 140324493765250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9448] ppid=9439 vsize=15149032 memory=140702860297487 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405314 15512608768 12466 33554432000 4194304 4196468 140724535967024 140323635258528 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9449] ppid=9439 vsize=15149032 memory=140702860305879 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405314 15512608768 12466 33554432000 4194304 4196468 140724535967024 140323634205424 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9450] ppid=9439 vsize=15149032 memory=140702860311368 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15512608768 12466 33554432000 4194304 4196468 140724535967024 140323633154000 140324493772699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9451] ppid=9439 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 6055 0 -1 1077944384 598 0 0 0 3 0 0 0 20 0 15 0 475405317 15512608768 12466 33554432000 4194304 4196468 140724535967024 140323632102128 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9452] ppid=9439 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 6055 0 -1 1077944384 213 0 0 0 4 0 0 0 20 0 15 0 475405317 15512608768 12466 33554432000 4194304 4196468 140724535967024 140323631049584 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9453] ppid=9439 vsize=15149032 memory=140703013066368 CPUtime=0.12 cores=1,3,5,7
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 6055 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 15 0 475405317 15512608768 12466 33554432000 4194304 4196468 140724535967024 140323629996528 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9454] ppid=9439 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15512608768 12466 33554432000 4194304 4196468 140724535967024 140322985040736 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9455] ppid=9439 vsize=15149032 memory=140703013067820 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405317 15512608768 12466 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51316 KiB
[startup+0.701591 s]
/proc/loadavg: 8.13 8.37 7.99 7/233 9455
/proc/meminfo: memFree=15218496/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
[pid=9441] ppid=9439 vsize=15151156 memory=94216 CPUtime=1.8 cores=1,3,5,7
/proc/9441/stat : 9441 (java) S 9439 9439 6055 0 -1 1077944320 16776 0 0 0 175 5 0 0 20 0 15 0 475405311 15514783744 23554 33554432000 4194304 4196468 140724535967024 140724535949568 140324493754103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
/proc/9441/statm: 3787789 23554 3455 1 0 3748889 0
[pid=9441/tid=9442] ppid=9439 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 6055 0 -1 4202560 9254 0 0 0 65 3 0 0 20 0 15 0 475405311 15514783744 23554 33554432000 4194304 4196468 140724535967024 140324497990480 140324477124512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9443] ppid=9439 vsize=15151156 memory=128 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15514783744 23554 33554432000 4194304 4196468 140724535967024 140324446374928 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9444] ppid=9439 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15514783744 23554 33554432000 4194304 4196468 140724535967024 140324445322384 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9445] ppid=9439 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15514783744 23554 33554432000 4194304 4196468 140724535967024 140324444269328 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9446] ppid=9439 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405312 15514783744 23554 33554432000 4194304 4196468 140724535967024 140324443216784 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9447] ppid=9439 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405313 15514783744 23554 33554432000 4194304 4196468 140724535967024 140323636312304 140324493765250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9448] ppid=9439 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405314 15514783744 23554 33554432000 4194304 4196468 140724535967024 140323635258528 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9449] ppid=9439 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405314 15514783744 23554 33554432000 4194304 4196468 140724535967024 140323634205424 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9450] ppid=9439 vsize=15151156 memory=8100 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15514783744 23554 33554432000 4194304 4196468 140724535967024 140323633154000 140324493772699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9451] ppid=9439 vsize=15151156 memory=1164 CPUtime=0.34 cores=1,3,5,7
/proc/9441/task/9451/stat : 9451 (java) R 9439 9439 6055 0 -1 4202560 1642 0 0 0 34 0 0 0 20 0 15 0 475405317 15514783744 23554 33554432000 4194304 4196468 140724535967024 140323632083144 140324475298707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9452] ppid=9439 vsize=15151156 memory=9520 CPUtime=0.33 cores=1,3,5,7
/proc/9441/task/9452/stat : 9452 (java) R 9439 9439 6055 0 -1 4202560 2234 0 0 0 33 0 0 0 20 0 15 0 475405317 15514783744 23554 33554432000 4194304 4196468 140724535967024 140323631035464 140324473447203 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9453] ppid=9439 vsize=15151156 memory=14008 CPUtime=0.41 cores=1,3,5,7
/proc/9441/task/9453/stat : 9453 (java) R 9439 9439 6055 0 -1 4202560 2334 0 0 0 41 0 0 0 20 0 15 0 475405317 15514783744 23554 33554432000 4194304 4196468 140724535967024 140323629993464 140324486859805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9454] ppid=9439 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405317 15514783744 23554 33554432000 4194304 4196468 140724535967024 140322985040736 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9455] ppid=9439 vsize=15151156 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405317 15514783744 23554 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95668 KiB
[startup+1.50075 s]
/proc/loadavg: 8.13 8.37 7.99 8/233 9455
/proc/meminfo: memFree=15119296/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 64233 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9456] ppid=9439 vsize=15419460 memory=256896 CPUtime=12.55 cores=1,3,5,7
/proc/9441/task/9456/stat : 9456 (java) R 9439 9439 6055 0 -1 4202560 617 0 0 0 1255 0 0 0 20 0 19 0 475405421 15789527040 64233 33554432000 4194304 4196468 140724535967024 140322975006024 140324121638092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9457] ppid=9439 vsize=15419460 memory=-2893623298589923098 CPUtime=13.03 cores=1,3,5,7
/proc/9441/task/9457/stat : 9457 (java) R 9439 9439 6055 0 -1 4202560 949 0 0 0 1303 0 0 0 20 0 19 0 475405421 15789527040 64233 33554432000 4194304 4196468 140724535967024 140322973955512 140324121837164 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9458] ppid=9439 vsize=15419460 memory=-1807685287724412255 CPUtime=12.9 cores=1,3,5,7
/proc/9441/task/9458/stat : 9458 (java) R 9439 9439 6055 0 -1 4202560 237 0 0 0 1290 0 0 0 20 0 19 0 475405421 15789527040 64233 33554432000 4194304 4196468 140724535967024 140322972900912 140324121405041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9459] ppid=9439 vsize=15419460 memory=-3967418655009478193 CPUtime=12.64 cores=1,3,5,7
/proc/9441/task/9459/stat : 9459 (java) R 9439 9439 6055 0 -1 4202560 334 0 0 0 1264 0 0 0 20 0 19 0 475405421 15789527040 64233 33554432000 4194304 4196468 140724535967024 140322971849128 140324120909312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 59.21 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 258384 KiB
[startup+16.0016 s]*
/proc/loadavg: 8.54 8.45 8.02 9/234 9494
/proc/meminfo: memFree=15203792/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
[pid=9441] ppid=9439 vsize=15419460 memory=252028 CPUtime=62.43 cores=1,3,5,7
/proc/9441/stat : 9441 (java) S 9439 9439 6055 0 -1 1077944320 57022 0 0 0 6226 17 0 0 20 0 19 0 475405311 15789527040 63007 33554432000 4194304 4196468 140724535967024 140724535949568 140324493754103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
/proc/9441/statm: 3854865 63007 3532 1 0 3815965 0
[pid=9441/tid=9442] ppid=9439 vsize=15419460 memory=1398722017469774279 CPUtime=1.07 cores=1,3,5,7
/proc/9441/task/9442/stat : 9442 (java) S 9439 9439 6055 0 -1 1077944384 11276 0 0 0 103 4 0 0 20 0 19 0 475405311 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324497994880 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9443] ppid=9439 vsize=15419460 memory=-7003737579269690708 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 6055 0 -1 1077944384 747 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324446374928 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9444] ppid=9439 vsize=15419460 memory=9520 CPUtime=0.02 cores=1,3,5,7
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 6055 0 -1 1077944384 180 0 0 0 1 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324445322384 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9445] ppid=9439 vsize=15419460 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 6055 0 -1 1077944384 429 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324444269328 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9446] ppid=9439 vsize=15419460 memory=2120 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 6055 0 -1 1077944384 280 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324443216784 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9447] ppid=9439 vsize=15419460 memory=12028 CPUtime=0.01 cores=1,3,5,7
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 6055 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 19 0 475405313 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323636312304 140324493765250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9448] ppid=9439 vsize=15419460 memory=281405720538528 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 6055 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475405314 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323635258592 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9449] ppid=9439 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 6055 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475405314 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323634205440 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9450] ppid=9439 vsize=15419460 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323633154000 140324493772699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9451] ppid=9439 vsize=15419460 memory=7811048515109217618 CPUtime=3.18 cores=1,3,5,7
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 6055 0 -1 1077944384 18973 0 0 0 316 2 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323632102128 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9452] ppid=9439 vsize=15419460 memory=7524500563546302036 CPUtime=2.79 cores=1,3,5,7
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 6055 0 -1 1077944384 14376 0 0 0 278 1 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323631049584 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9453] ppid=9439 vsize=15419460 memory=7733634199255344489 CPUtime=0.83 cores=1,3,5,7
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 6055 0 -1 1077944384 6648 0 0 0 82 1 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323629996528 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9454] ppid=9439 vsize=15419460 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322985040736 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9455] ppid=9439 vsize=15419460 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9456] ppid=9439 vsize=15419460 memory=0 CPUtime=13.36 cores=1,3,5,7
/proc/9441/task/9456/stat : 9456 (java) R 9439 9439 6055 0 -1 4202560 617 0 0 0 1336 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322975006024 140324121403572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9457] ppid=9439 vsize=15419460 memory=0 CPUtime=13.82 cores=1,3,5,7
/proc/9441/task/9457/stat : 9457 (java) R 9439 9439 6055 0 -1 4202560 959 0 0 0 1382 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322973955512 140324118649183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9458] ppid=9439 vsize=15419460 memory=6943526294502006880 CPUtime=13.71 cores=1,3,5,7
/proc/9441/task/9458/stat : 9458 (java) R 9439 9439 6055 0 -1 4202560 237 0 0 0 1371 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322972900912 140324121673859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9459] ppid=9439 vsize=15419460 memory=6944656592455097440 CPUtime=13.45 cores=1,3,5,7
/proc/9441/task/9459/stat : 9459 (java) R 9439 9439 6055 0 -1 4202560 336 0 0 0 1345 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322971849128 140324120909347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 62.43 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 253480 KiB
[startup+16.2016 s]
/proc/loadavg: 8.54 8.45 8.02 9/234 9494
/proc/meminfo: memFree=15203792/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
[pid=9441] ppid=9439 vsize=15419460 memory=252028 CPUtime=63.18 cores=1,3,5,7
/proc/9441/stat : 9441 (java) S 9439 9439 6055 0 -1 1077944320 57022 0 0 0 6301 17 0 0 20 0 19 0 475405311 15789527040 63007 33554432000 4194304 4196468 140724535967024 140724535949568 140324493754103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
/proc/9441/statm: 3854865 63007 3532 1 0 3815965 0
[pid=9441/tid=9442] ppid=9439 vsize=15419460 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/9441/task/9442/stat : 9442 (java) S 9439 9439 6055 0 -1 1077944384 11276 0 0 0 103 4 0 0 20 0 19 0 475405311 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324497994880 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9443] ppid=9439 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 6055 0 -1 1077944384 747 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324446374928 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9444] ppid=9439 vsize=15419460 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 6055 0 -1 1077944384 180 0 0 0 1 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324445322384 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9445] ppid=9439 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 6055 0 -1 1077944384 429 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324444269328 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9446] ppid=9439 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 6055 0 -1 1077944384 280 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63007 33554432000 4194304 4196468 140724535967024 140324443216784 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9447] ppid=9439 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 6055 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 19 0 475405313 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323636312304 140324493765250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9448] ppid=9439 vsize=15419460 memory=-2843869621138343070 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 6055 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475405314 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323635258592 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9449] ppid=9439 vsize=15419460 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 6055 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475405314 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323634205440 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9450] ppid=9439 vsize=15419460 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323633154000 140324493772699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9451] ppid=9439 vsize=15419460 memory=14689690934577591 CPUtime=3.18 cores=1,3,5,7
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 6055 0 -1 1077944384 18973 0 0 0 316 2 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323632102128 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9452] ppid=9439 vsize=15419460 memory=9520 CPUtime=2.79 cores=1,3,5,7
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 6055 0 -1 1077944384 14376 0 0 0 278 1 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323631049584 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9453] ppid=9439 vsize=15419460 memory=14008 CPUtime=0.83 cores=1,3,5,7
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 6055 0 -1 1077944384 6648 0 0 0 82 1 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140323629996528 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9454] ppid=9439 vsize=15419460 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322985040736 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9455] ppid=9439 vsize=15419460 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9456] ppid=9439 vsize=15419460 memory=15680 CPUtime=13.55 cores=1,3,5,7
/proc/9441/task/9456/stat : 9456 (java) R 9439 9439 6055 0 -1 4202560 617 0 0 0 1355 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322975006024 140324121405148 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9457] ppid=9439 vsize=15419460 memory=512 CPUtime=14.01 cores=1,3,5,7
/proc/9441/task/9457/stat : 9457 (java) R 9439 9439 6055 0 -1 4202560 959 0 0 0 1401 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322973955512 140324123481784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9458] ppid=9439 vsize=15419460 memory=1564 CPUtime=13.9 cores=1,3,5,7
/proc/9441/task/9458/stat : 9458 (java) R 9439 9439 6055 0 -1 4202560 237 0 0 0 1390 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322972900912 140324121405140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9459] ppid=9439 vsize=15419460 memory=928 CPUtime=13.64 cores=1,3,5,7
/proc/9441/task/9459/stat : 9459 (java) R 9439 9439 6055 0 -1 4202560 336 0 0 0 1364 0 0 0 20 0 19 0 475405421 15789527040 63007 33554432000 4194304 4196468 140724535967024 140322971849128 140324121403556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 63.18 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 253480 KiB
[startup+16.3016 s]
/proc/loadavg: 8.54 8.45 8.02 9/234 9494
/proc/meminfo: memFree=15203792/32770624 swapFree=66988744/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405311 115843072 363 33554432000 4194304 5098028 140731754639360 140731754637464 140531450036860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39841792 140731754644310 140731754644569 140731754644569 140731754647494 0
/proc/9439/statm: 28282 363 304 221 0 87 0
[pid=9441] ppid=9439 vsize=15419460 memory=252036 CPUtime=63.58 cores=1,3,5,7
/proc/9441/stat : 9441 (java) S 9439 9439 6055 0 -1 1077944320 57154 0 0 0 6341 17 0 0 20 0 19 0 475405311 15789527040 63009 33554432000 4194304 4196468 140724535967024 140724535949568 140324493754103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
/proc/9441/statm: 3854865 63009 3532 1 0 3815965 0
[pid=9441/tid=9442] ppid=9439 vsize=15419460 memory=281405721222256 CPUtime=1.07 cores=1,3,5,7
/proc/9441/task/9442/stat : 9442 (java) S 9439 9439 6055 0 -1 1077944384 11276 0 0 0 103 4 0 0 20 0 19 0 475405311 15789527040 63009 33554432000 4194304 4196468 140724535967024 140324497994880 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9443] ppid=9439 vsize=15419460 memory=7091594282814105444 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 6055 0 -1 1077944384 747 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63009 33554432000 4194304 4196468 140724535967024 140324446374928 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9444] ppid=9439 vsize=15419460 memory=288230574492221466 CPUtime=0.02 cores=1,3,5,7
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 6055 0 -1 1077944384 180 0 0 0 1 1 0 0 20 0 19 0 475405312 15789527040 63009 33554432000 4194304 4196468 140724535967024 140324445322384 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9445] ppid=9439 vsize=15419460 memory=288230621803970871 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 6055 0 -1 1077944384 429 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63009 33554432000 4194304 4196468 140724535967024 140324444269328 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9446] ppid=9439 vsize=15419460 memory=14689690934577591 CPUtime=0.03 cores=1,3,5,7
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 6055 0 -1 1077944384 280 0 0 0 2 1 0 0 20 0 19 0 475405312 15789527040 63009 33554432000 4194304 4196468 140724535967024 140324443216784 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9447] ppid=9439 vsize=15419460 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 6055 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 19 0 475405313 15789527040 63009 33554432000 4194304 4196468 140724535967024 140323636312304 140324493765250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9448] ppid=9439 vsize=15419460 memory=252028 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 6055 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475405314 15789527040 63009 33554432000 4194304 4196468 140724535967024 140323635258592 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9449] ppid=9439 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 6055 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475405314 15789527040 63009 33554432000 4194304 4196468 140724535967024 140323634205440 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9450] ppid=9439 vsize=15419460 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63009 33554432000 4194304 4196468 140724535967024 140323633154000 140324493772699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9451] ppid=9439 vsize=15419460 memory=38964 CPUtime=3.18 cores=1,3,5,7
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 6055 0 -1 1077944384 18973 0 0 0 316 2 0 0 20 0 19 0 475405317 15789527040 63009 33554432000 4194304 4196468 140724535967024 140323632102128 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9452] ppid=9439 vsize=15419460 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/9441/task/9452/stat : 9452 (java) R 9439 9439 6055 0 -1 1077944384 14376 0 0 0 278 1 0 0 20 0 19 0 475405317 15789527040 63009 33554432000 4194304 4196468 140724535967024 140323631049584 140324493765250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9453] ppid=9439 vsize=15419460 memory=15680 CPUtime=0.83 cores=1,3,5,7
/proc/9441/task/9453/stat : 9453 (java) R 9439 9439 6055 0 -1 4202560 6810 0 0 0 82 1 0 0 20 0 19 0 475405317 15789527040 63009 33554432000 4194304 4196468 140724535967024 140323629996336 140324475160489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9454] ppid=9439 vsize=15419460 memory=512 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63009 33554432000 4194304 4196468 140724535967024 140322985040736 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9455] ppid=9439 vsize=15419460 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 6055 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 19 0 475405317 15789527040 63009 33554432000 4194304 4196468 140724535967024 140322983987760 140324493765250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9456] ppid=9439 vsize=15419460 memory=0 CPUtime=13.65 cores=1,3,5,7
/proc/9441/task/9456/stat : 9456 (java) R 9439 9439 6055 0 -1 4202560 620 0 0 0 1365 0 0 0 20 0 19 0 475405421 15789527040 63009 33554432000 4194304 4196468 140724535967024 140322975006024 140324121693721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9457] ppid=9439 vsize=15419460 memory=0 CPUtime=14.11 cores=1,3,5,7
/proc/9441/task/9457/stat : 9457 (java) S 9439 9439 6055 0 -1 1077944384 997 0 0 0 1411 0 0 0 20 0 19 0 475405421 15789527040 63009 33554432000 4194304 4196468 140724535967024 140322973955584 140324493764309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9458] ppid=9439 vsize=15419460 memory=576461252103989788 CPUtime=14 cores=1,3,5,7
/proc/9441/task/9458/stat : 9458 (java) R 9439 9439 6055 0 -1 4202560 237 0 0 0 1400 0 0 0 20 0 19 0 475405421 15789527040 63009 33554432000 4194304 4196468 140724535967024 140322972900912 140324121403618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
[pid=9441/tid=9459] ppid=9439 vsize=15419460 memory=8112282956445269571 CPUtime=13.74 cores=1,3,5,7
/proc/9441/task/9459/stat : 9459 (java) R 9439 9439 6055 0 -1 4202560 337 0 0 0 1374 0 0 0 20 0 19 0 475405421 15789527040 63009 33554432000 4194304 4196468 140724535967024 140322971849128 140324493766038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140724535972827 140724535973002 140724535973002 140724535975887 0
Current children cumulated CPU time: 63.58 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 253488 KiB
Child status: 0
Real time (s): 16.3339
CPU time (s): 63.6513
CPU user time (s): 63.4659
CPU system time (s): 0.18536
CPU usage (%): 389.687
Max. virtual memory (cumulated for all children) (KiB): 15534576
Max. memory (cumulated for all children) (KiB): 259280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.4659
system time used= 0.18536
maximum resident set size= 257828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2852
involuntary context switches= 1921
# summary of solver processes directly reported to runsolver:
# pid: 9439
# total CPU time (s): 63.6513
# total CPU user time (s): 63.4659
# total CPU system time (s): 0.18536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124126 second user time and 0.228727 second system time
The end