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 (15262 MiB free)
memory of node 1: 16384 MiB (15311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400426-1568674673/watcher-4400426-1568674673 -o /tmp/evaluation-result-4400426-1568674673/solver-4400426-1568674673 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1273672677 HOME/instance-4400426-1568674673.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1399, runsolver pid=1396
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.35 8.54 7.08 6/233 1415
/proc/meminfo: memFree=31290372/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
[pid=1401] ppid=1399 vsize=15144776 memory=30064 CPUtime=0.12 cores=0,2,4,6
/proc/1401/stat : 1401 (java) S 1399 1399 32513 0 -1 1077944320 5477 0 0 0 11 1 0 0 20 0 15 0 443720362 15508250624 7516 33554432000 4194304 4196468 140721913478144 140721913460688 140295076622071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
/proc/1401/statm: 3786194 7516 3124 1 0 3748377 0
[pid=1401/tid=1402] ppid=1399 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/1401/task/1402/stat : 1402 (java) R 1399 1399 32513 0 -1 4202560 3393 0 0 0 8 0 0 0 20 0 15 0 443720363 15508250624 7516 33554432000 4194304 4196468 140721913478144 140295080853392 140295076634006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1403] ppid=1399 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1403/stat : 1403 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294669392912 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1404] ppid=1399 vsize=15144776 memory=139948729329280 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1404/stat : 1404 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294668340368 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1405] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1405/stat : 1405 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294667287312 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1406] ppid=1399 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1406/stat : 1406 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294666234768 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1407] ppid=1399 vsize=15144776 memory=139948729329280 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1407/stat : 1407 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720365 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294545127664 140295076633218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1408] ppid=1399 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1408/stat : 1408 (java) S 1399 1399 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443720365 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294544073888 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1409] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1409/stat : 1409 (java) S 1399 1399 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443720365 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294543020784 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1410] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1410/stat : 1410 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294541969360 140295076640667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1411] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1411/stat : 1411 (java) R 1399 1399 32513 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294540917488 140295057974384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1412] ppid=1399 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1412/stat : 1412 (java) R 1399 1399 32513 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294539864944 140295076633218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1413] ppid=1399 vsize=15144776 memory=139948729329280 CPUtime=0.01 cores=0,2,4,6
/proc/1401/task/1413/stat : 1413 (java) R 1399 1399 32513 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 15 0 443720368 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294538811888 140295076634006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1414] ppid=1399 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1414/stat : 1414 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294537759584 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1415] ppid=1399 vsize=15144776 memory=139948729329280 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1415/stat : 1415 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 7516 33554432000 4194304 4196468 140721913478144 140294536706608 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31512 KiB
[startup+0.210685 s]*
/proc/loadavg: 8.35 8.54 7.08 7/233 1415
/proc/meminfo: memFree=31278328/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
[pid=1401] ppid=1399 vsize=15144776 memory=40444 CPUtime=0.33 cores=0,2,4,6
/proc/1401/stat : 1401 (java) S 1399 1399 32513 0 -1 1077944320 8867 0 0 0 31 2 0 0 20 0 15 0 443720362 15508250624 10111 33554432000 4194304 4196468 140721913478144 140721913460688 140295076622071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
/proc/1401/statm: 3786194 10111 3263 1 0 3748377 0
[pid=1401/tid=1402] ppid=1399 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1401/task/1402/stat : 1402 (java) R 1399 1399 32513 0 -1 4202560 6158 0 0 0 18 2 0 0 20 0 15 0 443720363 15508250624 10111 33554432000 4194304 4196468 140721913478144 140295080851792 140295076643997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1403] ppid=1399 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1403/stat : 1403 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294669392912 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1404] ppid=1399 vsize=15144776 memory=139948729356893 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1404/stat : 1404 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294668340368 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1405] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1405/stat : 1405 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294667287312 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1406] ppid=1399 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1406/stat : 1406 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294666234768 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1407] ppid=1399 vsize=15144776 memory=139948729329280 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1407/stat : 1407 (java) S 1399 1399 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443720365 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294545127664 140295076633218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1408] ppid=1399 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1408/stat : 1408 (java) S 1399 1399 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443720365 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294544073888 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1409] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1409/stat : 1409 (java) S 1399 1399 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443720365 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294543020784 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1410] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1410/stat : 1410 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294541969360 140295076640667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1411] ppid=1399 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1401/task/1411/stat : 1411 (java) S 1399 1399 32513 0 -1 1077944384 441 0 0 0 3 0 0 0 20 0 15 0 443720368 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294540917488 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1412] ppid=1399 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1401/task/1412/stat : 1412 (java) S 1399 1399 32513 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 15 0 443720368 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294539864944 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1413] ppid=1399 vsize=15144776 memory=139948729329280 CPUtime=0.07 cores=0,2,4,6
/proc/1401/task/1413/stat : 1413 (java) S 1399 1399 32513 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 15 0 443720368 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294538811888 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1414] ppid=1399 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1414/stat : 1414 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294537759584 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1415] ppid=1399 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1415/stat : 1415 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443720368 15508250624 10111 33554432000 4194304 4196468 140721913478144 140294536706608 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41892 KiB
[startup+0.316454 s]*
/proc/loadavg: 8.35 8.54 7.08 7/233 1415
/proc/meminfo: memFree=31271676/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
[pid=1401] ppid=1399 vsize=15149032 memory=49916 CPUtime=0.53 cores=0,2,4,6
/proc/1401/stat : 1401 (java) S 1399 1399 32513 0 -1 1077944320 10349 0 0 0 50 3 0 0 20 0 15 0 443720362 15512608768 12479 33554432000 4194304 4196468 140721913478144 140721913460688 140295076622071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
/proc/1401/statm: 3787258 12479 3339 1 0 3748377 0
[pid=1401/tid=1402] ppid=1399 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1401/task/1402/stat : 1402 (java) R 1399 1399 32513 0 -1 4202560 7360 0 0 0 28 2 0 0 20 0 15 0 443720363 15512608768 12479 33554432000 4194304 4196468 140721913478144 140295080853184 140295060702558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1403] ppid=1399 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1403/stat : 1403 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15512608768 12479 33554432000 4194304 4196468 140721913478144 140294669392912 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1404] ppid=1399 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1404/stat : 1404 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15512608768 12479 33554432000 4194304 4196468 140721913478144 140294668340368 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1405] ppid=1399 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1405/stat : 1405 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443720363 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294667287312 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1406] ppid=1399 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1406/stat : 1406 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443720363 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294666234768 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1407] ppid=1399 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1407/stat : 1407 (java) S 1399 1399 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443720365 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294545127664 140295076633218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1408] ppid=1399 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1408/stat : 1408 (java) S 1399 1399 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443720365 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294544073888 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1409] ppid=1399 vsize=15149032 memory=3833746603143278640 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1409/stat : 1409 (java) S 1399 1399 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443720365 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294543020784 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1410] ppid=1399 vsize=15149032 memory=7959395632135221304 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1410/stat : 1410 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443720368 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294541969360 140295076640667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1411] ppid=1399 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1401/task/1411/stat : 1411 (java) S 1399 1399 32513 0 -1 1077944384 449 0 0 0 4 0 0 0 20 0 15 0 443720368 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294540917488 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1412] ppid=1399 vsize=15149032 memory=3467824627879784501 CPUtime=0.05 cores=0,2,4,6
/proc/1401/task/1412/stat : 1412 (java) S 1399 1399 32513 0 -1 1077944384 329 0 0 0 5 0 0 0 20 0 15 0 443720368 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294539864944 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1413] ppid=1399 vsize=15149032 memory=3756202756751197872 CPUtime=0.12 cores=0,2,4,6
/proc/1401/task/1413/stat : 1413 (java) S 1399 1399 32513 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 15 0 443720368 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294538811888 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1414] ppid=1399 vsize=15149032 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1414/stat : 1414 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443720368 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294537759584 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1415] ppid=1399 vsize=15149032 memory=3977720243110577844 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1415/stat : 1415 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443720368 15512608768 12544 33554432000 4194304 4196468 140721913478144 140294536706608 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51364 KiB
[startup+0.706271 s]
/proc/loadavg: 8.35 8.54 7.08 9/233 1415
/proc/meminfo: memFree=31257536/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
[pid=1401] ppid=1399 vsize=15420484 memory=87036 CPUtime=1.52 cores=0,2,4,6
/proc/1401/stat : 1401 (java) S 1399 1399 32513 0 -1 1077944320 14059 0 0 0 147 5 0 0 20 0 19 0 443720362 15790575616 21759 33554432000 4194304 4196468 140721913478144 140721913460688 140295076622071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
/proc/1401/statm: 3855121 21759 3453 1 0 3816221 0
[pid=1401/tid=1402] ppid=1399 vsize=15420484 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1401/task/1402/stat : 1402 (java) S 1399 1399 32513 0 -1 1077944384 8967 0 0 0 63 4 0 0 20 0 19 0 443720363 15790575616 21759 33554432000 4194304 4196468 140721913478144 140295080862848 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1403] ppid=1399 vsize=15419460 memory=51 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1403/stat : 1403 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443720363 15789527040 21759 33554432000 4194304 4196468 140721913478144 140294669392912 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1404] ppid=1399 vsize=15420484 memory=110 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1404/stat : 1404 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443720363 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294668340368 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1405] ppid=1399 vsize=15420484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1405/stat : 1405 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443720363 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294667287312 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1406] ppid=1399 vsize=15420484 memory=3 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1406/stat : 1406 (java) S 1399 1399 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443720363 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294666234768 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1407] ppid=1399 vsize=15420484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1407/stat : 1407 (java) S 1399 1399 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 443720365 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294545127664 140295076633218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1408] ppid=1399 vsize=15420484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1408/stat : 1408 (java) S 1399 1399 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443720365 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294544073888 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1409] ppid=1399 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1409/stat : 1409 (java) S 1399 1399 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 443720365 15789527040 21759 33554432000 4194304 4196468 140721913478144 140294543020784 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1410] ppid=1399 vsize=15420484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1410/stat : 1410 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294541969360 140295076640667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1411] ppid=1399 vsize=15420484 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/1401/task/1411/stat : 1411 (java) R 1399 1399 32513 0 -1 1077944384 971 0 0 0 18 0 0 0 20 0 19 0 443720368 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294540917488 140295076633218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1412] ppid=1399 vsize=15420484 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/1401/task/1412/stat : 1412 (java) R 1399 1399 32513 0 -1 1077944384 754 0 0 0 21 0 0 0 20 0 19 0 443720368 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294539851728 140295076632277 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1413] ppid=1399 vsize=15420484 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/1401/task/1413/stat : 1413 (java) R 1399 1399 32513 0 -1 4202560 1786 0 0 0 40 0 0 0 20 0 19 0 443720368 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294538808824 140295060962645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1414] ppid=1399 vsize=15420484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1414/stat : 1414 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15790575616 21759 33554432000 4194304 4196468 140721913478144 140294537759584 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1415] ppid=1399 vsize=15419460 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1415/stat : 1415 (java) S 1399 1399 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443720368 15789527040 21759 33554432000 4194304 4196468 140721913478144 140294536706608 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15533612 KiB
Current children cumulated memory: 88484 KiB
[startup+1.50145 s]
/proc/loadavg: 8.35 8.54 7.08 9/238 1432
/proc/meminfo: memFree=31192392/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 245576 KiB
[startup+57.8014 s]
/proc/loadavg: 8.37 8.54 7.16 10/237 1523
/proc/meminfo: memFree=31082664/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
[pid=1401] ppid=1399 vsize=15552588 memory=244128 CPUtime=228.3 cores=0,2,4,6
/proc/1401/stat : 1401 (java) S 1399 1399 32513 0 -1 1077944320 73982 0 0 0 22802 28 0 0 20 0 19 0 443720362 15925850112 61032 33554432000 4194304 4196468 140721913478144 140721913460688 140295076622071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
/proc/1401/statm: 3888147 61032 3534 1 0 3849247 0
[pid=1401/tid=1402] ppid=1399 vsize=15552588 memory=1448 CPUtime=0.68 cores=0,2,4,6
/proc/1401/task/1402/stat : 1402 (java) S 1399 1399 32513 0 -1 1077944384 9155 0 0 0 64 4 0 0 20 0 19 0 443720363 15925850112 61032 33554432000 4194304 4196468 140721913478144 140295080862848 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1403] ppid=1399 vsize=15552588 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/1401/task/1403/stat : 1403 (java) S 1399 1399 32513 0 -1 1077944384 1707 0 0 0 4 4 0 0 20 0 19 0 443720363 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294669392912 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1404] ppid=1399 vsize=15552588 memory=244116 CPUtime=0.09 cores=0,2,4,6
/proc/1401/task/1404/stat : 1404 (java) S 1399 1399 32513 0 -1 1077944384 1138 0 0 0 5 4 0 0 20 0 19 0 443720363 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294668340368 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1405] ppid=1399 vsize=15552588 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/1401/task/1405/stat : 1405 (java) S 1399 1399 32513 0 -1 1077944384 1198 0 0 0 4 4 0 0 20 0 19 0 443720363 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294667287312 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1406] ppid=1399 vsize=15552588 memory=244128 CPUtime=0.09 cores=0,2,4,6
/proc/1401/task/1406/stat : 1406 (java) S 1399 1399 32513 0 -1 1077944384 1993 0 0 0 5 4 0 0 20 0 19 0 443720363 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294666234768 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1407] ppid=1399 vsize=15552588 memory=8560 CPUtime=0.07 cores=0,2,4,6
/proc/1401/task/1407/stat : 1407 (java) S 1399 1399 32513 0 -1 1077944384 2025 0 0 0 6 1 0 0 20 0 19 0 443720365 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294545127664 140295076633218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1408] ppid=1399 vsize=15552588 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1408/stat : 1408 (java) S 1399 1399 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443720365 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294544073952 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1409] ppid=1399 vsize=15552588 memory=244116 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1409/stat : 1409 (java) S 1399 1399 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 443720365 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294543020800 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1410] ppid=1399 vsize=15552588 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1410/stat : 1410 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294541969360 140295076640667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1411] ppid=1399 vsize=15552588 memory=676 CPUtime=4.81 cores=0,2,4,6
/proc/1401/task/1411/stat : 1411 (java) S 1399 1399 32513 0 -1 1077944384 18513 0 0 0 479 2 0 0 20 0 19 0 443720368 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294540917488 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1412] ppid=1399 vsize=15552588 memory=1412 CPUtime=4.88 cores=0,2,4,6
/proc/1401/task/1412/stat : 1412 (java) S 1399 1399 32513 0 -1 1077944384 18623 0 0 0 487 1 0 0 20 0 19 0 443720368 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294539864944 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1413] ppid=1399 vsize=15552588 memory=3216 CPUtime=0.82 cores=0,2,4,6
/proc/1401/task/1413/stat : 1413 (java) S 1399 1399 32513 0 -1 1077944384 7866 0 0 0 81 1 0 0 20 0 19 0 443720368 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294538811888 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1414] ppid=1399 vsize=15552588 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1414/stat : 1414 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294537759584 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1415] ppid=1399 vsize=15552588 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/1401/task/1415/stat : 1415 (java) S 1399 1399 32513 0 -1 1077944384 546 0 0 0 0 1 0 0 20 0 19 0 443720368 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294536706608 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1516] ppid=1399 vsize=15552588 memory=4486604260213485459 CPUtime=40.25 cores=0,2,4,6
/proc/1401/task/1516/stat : 1516 (java) R 1399 1399 32513 0 -1 4202560 470 0 0 0 4025 0 0 0 20 0 19 0 443722092 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294518411416 140295058028288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1517] ppid=1399 vsize=15552588 memory=2512 CPUtime=40.15 cores=0,2,4,6
/proc/1401/task/1517/stat : 1517 (java) R 1399 1399 32513 0 -1 4202560 1047 0 0 0 4015 0 0 0 20 0 19 0 443722092 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294523285560 140294724825060 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1518] ppid=1399 vsize=15552588 memory=1436 CPUtime=40.04 cores=0,2,4,6
/proc/1401/task/1518/stat : 1518 (java) R 1399 1399 32513 0 -1 4202560 1024 0 0 0 4004 0 0 0 20 0 19 0 443722092 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294524340848 140294722048542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1519] ppid=1399 vsize=15552588 memory=812 CPUtime=40.03 cores=0,2,4,6
/proc/1401/task/1519/stat : 1519 (java) R 1399 1399 32513 0 -1 4202560 1113 0 0 0 4003 0 0 0 20 0 19 0 443722092 15925850112 61032 33554432000 4194304 4196468 140721913478144 140294522232192 140294725102439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
Current children cumulated CPU time: 228.3 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 245576 KiB
[startup+58.2015 s]*
/proc/loadavg: 8.37 8.54 7.16 10/237 1523
/proc/meminfo: memFree=31080492/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
[pid=1401] ppid=1399 vsize=15552588 memory=246176 CPUtime=229.91 cores=0,2,4,6
/proc/1401/stat : 1401 (java) S 1399 1399 32513 0 -1 1077944320 73989 0 0 0 22963 28 0 0 20 0 19 0 443720362 15925850112 61544 33554432000 4194304 4196468 140721913478144 140721913460688 140295076622071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
/proc/1401/statm: 3888147 61544 3534 1 0 3849247 0
[pid=1401/tid=1402] ppid=1399 vsize=15552588 memory=1980 CPUtime=0.68 cores=0,2,4,6
/proc/1401/task/1402/stat : 1402 (java) S 1399 1399 32513 0 -1 1077944384 9155 0 0 0 64 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140295080862848 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1403] ppid=1399 vsize=15552588 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/1401/task/1403/stat : 1403 (java) S 1399 1399 32513 0 -1 1077944384 1708 0 0 0 4 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294669392912 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1404] ppid=1399 vsize=15552588 memory=720 CPUtime=0.09 cores=0,2,4,6
/proc/1401/task/1404/stat : 1404 (java) S 1399 1399 32513 0 -1 1077944384 1140 0 0 0 5 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294668340368 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1405] ppid=1399 vsize=15552588 memory=3 CPUtime=0.08 cores=0,2,4,6
/proc/1401/task/1405/stat : 1405 (java) S 1399 1399 32513 0 -1 1077944384 1199 0 0 0 4 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294667287312 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1406] ppid=1399 vsize=15552588 memory=296 CPUtime=0.09 cores=0,2,4,6
/proc/1401/task/1406/stat : 1406 (java) S 1399 1399 32513 0 -1 1077944384 1995 0 0 0 5 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294666234768 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1407] ppid=1399 vsize=15552588 memory=254499 CPUtime=0.07 cores=0,2,4,6
/proc/1401/task/1407/stat : 1407 (java) S 1399 1399 32513 0 -1 1077944384 2025 0 0 0 6 1 0 0 20 0 19 0 443720365 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294545127664 140295076633218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1408] ppid=1399 vsize=15552588 memory=1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1408/stat : 1408 (java) S 1399 1399 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443720365 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294544073952 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1409] ppid=1399 vsize=15552588 memory=34621 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1409/stat : 1409 (java) S 1399 1399 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 443720365 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294543020800 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1410] ppid=1399 vsize=15552588 memory=1 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1410/stat : 1410 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294541969360 140295076640667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1411] ppid=1399 vsize=15552588 memory=1412 CPUtime=4.81 cores=0,2,4,6
/proc/1401/task/1411/stat : 1411 (java) S 1399 1399 32513 0 -1 1077944384 18513 0 0 0 479 2 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294540917488 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1412] ppid=1399 vsize=15552588 memory=3216 CPUtime=4.88 cores=0,2,4,6
/proc/1401/task/1412/stat : 1412 (java) S 1399 1399 32513 0 -1 1077944384 18623 0 0 0 487 1 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294539864944 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1413] ppid=1399 vsize=15552588 memory=1388 CPUtime=0.82 cores=0,2,4,6
/proc/1401/task/1413/stat : 1413 (java) S 1399 1399 32513 0 -1 1077944384 7866 0 0 0 81 1 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294538811888 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1414] ppid=1399 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1414/stat : 1414 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294537759584 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1415] ppid=1399 vsize=15552588 memory=228060 CPUtime=0.01 cores=0,2,4,6
/proc/1401/task/1415/stat : 1415 (java) S 1399 1399 32513 0 -1 1077944384 546 0 0 0 0 1 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294536706608 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1516] ppid=1399 vsize=15552588 memory=776 CPUtime=40.66 cores=0,2,4,6
/proc/1401/task/1516/stat : 1516 (java) R 1399 1399 32513 0 -1 4202560 470 0 0 0 4066 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294518411416 140294721604896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1517] ppid=1399 vsize=15552588 memory=3992 CPUtime=40.54 cores=0,2,4,6
/proc/1401/task/1517/stat : 1517 (java) R 1399 1399 32513 0 -1 4202560 1047 0 0 0 4054 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294523285720 140294721606044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1518] ppid=1399 vsize=15552588 memory=2828 CPUtime=40.45 cores=0,2,4,6
/proc/1401/task/1518/stat : 1518 (java) R 1399 1399 32513 0 -1 4202560 1025 0 0 0 4045 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294524341056 140294721477183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1519] ppid=1399 vsize=15552588 memory=676 CPUtime=40.44 cores=0,2,4,6
/proc/1401/task/1519/stat : 1519 (java) R 1399 1399 32513 0 -1 4202560 1113 0 0 0 4044 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294522232640 140294719291414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
Current children cumulated CPU time: 229.91 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 247624 KiB
[startup+58.6014 s]
/proc/loadavg: 8.37 8.54 7.16 10/237 1523
/proc/meminfo: memFree=31080492/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
[pid=1401] ppid=1399 vsize=15552588 memory=246176 CPUtime=231.47 cores=0,2,4,6
/proc/1401/stat : 1401 (java) S 1399 1399 32513 0 -1 1077944320 73992 0 0 0 23119 28 0 0 20 0 19 0 443720362 15925850112 61544 33554432000 4194304 4196468 140721913478144 140721913460688 140295076622071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
/proc/1401/statm: 3888147 61544 3534 1 0 3849247 0
[pid=1401/tid=1402] ppid=1399 vsize=15552588 memory=8112282956445269571 CPUtime=0.68 cores=0,2,4,6
/proc/1401/task/1402/stat : 1402 (java) S 1399 1399 32513 0 -1 1077944384 9155 0 0 0 64 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140295080862848 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1403] ppid=1399 vsize=15552588 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/1401/task/1403/stat : 1403 (java) S 1399 1399 32513 0 -1 1077944384 1708 0 0 0 4 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294669392912 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1404] ppid=1399 vsize=15552588 memory=47756 CPUtime=0.09 cores=0,2,4,6
/proc/1401/task/1404/stat : 1404 (java) S 1399 1399 32513 0 -1 1077944384 1141 0 0 0 5 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294668340368 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1405] ppid=1399 vsize=15552588 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/1401/task/1405/stat : 1405 (java) S 1399 1399 32513 0 -1 1077944384 1199 0 0 0 4 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294667287312 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1406] ppid=1399 vsize=15552588 memory=1448 CPUtime=0.09 cores=0,2,4,6
/proc/1401/task/1406/stat : 1406 (java) S 1399 1399 32513 0 -1 1077944384 1995 0 0 0 5 4 0 0 20 0 19 0 443720363 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294666234768 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1407] ppid=1399 vsize=15552588 memory=244128 CPUtime=0.07 cores=0,2,4,6
/proc/1401/task/1407/stat : 1407 (java) S 1399 1399 32513 0 -1 1077944384 2025 0 0 0 6 1 0 0 20 0 19 0 443720365 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294545127664 140295076633218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1408] ppid=1399 vsize=15552588 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1408/stat : 1408 (java) S 1399 1399 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443720365 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294544073952 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1409] ppid=1399 vsize=15552588 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1409/stat : 1409 (java) S 1399 1399 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 443720365 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294543020800 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1410] ppid=1399 vsize=15552588 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1410/stat : 1410 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294541969360 140295076640667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1411] ppid=1399 vsize=15552588 memory=1548 CPUtime=4.81 cores=0,2,4,6
/proc/1401/task/1411/stat : 1411 (java) S 1399 1399 32513 0 -1 1077944384 18513 0 0 0 479 2 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294540917488 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1412] ppid=1399 vsize=15552588 memory=8560 CPUtime=4.88 cores=0,2,4,6
/proc/1401/task/1412/stat : 1412 (java) S 1399 1399 32513 0 -1 1077944384 18623 0 0 0 487 1 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294539864944 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1413] ppid=1399 vsize=15552588 memory=1668 CPUtime=0.82 cores=0,2,4,6
/proc/1401/task/1413/stat : 1413 (java) S 1399 1399 32513 0 -1 1077944384 7866 0 0 0 81 1 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294538811888 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1414] ppid=1399 vsize=15552588 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/1401/task/1414/stat : 1414 (java) S 1399 1399 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294537759584 140295076632277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1415] ppid=1399 vsize=15552588 memory=226012 CPUtime=0.01 cores=0,2,4,6
/proc/1401/task/1415/stat : 1415 (java) S 1399 1399 32513 0 -1 1077944384 546 0 0 0 0 1 0 0 20 0 19 0 443720368 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294536706608 140295076633218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1516] ppid=1399 vsize=15552588 memory=776 CPUtime=41.05 cores=0,2,4,6
/proc/1401/task/1516/stat : 1516 (java) R 1399 1399 32513 0 -1 4202560 470 0 0 0 4105 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294518411296 140294724225831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1517] ppid=1399 vsize=15552588 memory=3992 CPUtime=40.93 cores=0,2,4,6
/proc/1401/task/1517/stat : 1517 (java) R 1399 1399 32513 0 -1 4202560 1048 0 0 0 4093 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294523288512 140294724628273 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1518] ppid=1399 vsize=15552588 memory=2828 CPUtime=40.84 cores=0,2,4,6
/proc/1401/task/1518/stat : 1518 (java) R 1399 1399 32513 0 -1 4202560 1026 0 0 0 4084 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294524338856 140294723297810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
[pid=1401/tid=1519] ppid=1399 vsize=15552588 memory=676 CPUtime=40.82 cores=0,2,4,6
/proc/1401/task/1519/stat : 1519 (java) R 1399 1399 32513 0 -1 4202560 1113 0 0 0 4082 0 0 0 20 0 19 0 443722092 15925850112 61544 33554432000 4194304 4196468 140721913478144 140294522231984 140294721605163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35520512 140721913484271 140721913484442 140721913484442 140721913487311 0
Current children cumulated CPU time: 231.47 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 247624 KiB
[startup+58.7008 s]
/proc/loadavg: 8.37 8.54 7.16 10/237 1523
/proc/meminfo: memFree=31080492/32770624 swapFree=66997368/67108860
[pid=1399] ppid=1396 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1399/stat : 1399 (xcsp3-exec) S 1396 1399 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443720362 115843072 362 33554432000 4194304 5098028 140720855879136 140720855877240 139785158546044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39464960 140720855884666 140720855884909 140720855884909 140720855887818 0
/proc/1399/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 58.7046
CPU time (s): 231.873
CPU user time (s): 231.574
CPU system time (s): 0.298208
CPU usage (%): 394.982
Max. virtual memory (cumulated for all children) (KiB): 15667876
Max. memory (cumulated for all children) (KiB): 251992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.574
system time used= 0.298208
maximum resident set size= 254936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6987
involuntary context switches= 5828
# summary of solver processes directly reported to runsolver:
# pid: 1399
# total CPU time (s): 231.873
# total CPU user time (s): 231.574
# total CPU system time (s): 0.298208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.363201 second user time and 0.695092 second system time
The end