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 (15116 MiB free)
memory of node 1: 16384 MiB (15530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400597-1568679416/watcher-4400597-1568679416 -o /tmp/evaluation-result-4400597-1568679416/solver-4400597-1568679416 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1076744166 HOME/instance-4400597-1568679416.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10413, runsolver pid=10410
[startup+0.102153 s]*
/proc/loadavg: 8.27 8.50 8.49 7/233 10429
/proc/meminfo: memFree=31366236/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15144776 memory=27900 CPUtime=0.14 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 5934 0 0 0 12 2 0 0 20 0 15 0 444194648 15508250624 6975 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3786194 6975 3152 1 0 3748377 0
[pid=10415/tid=10416] ppid=10413 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 3752 0 0 0 8 1 0 0 20 0 15 0 444194648 15508250624 6975 33554432000 4194304 4196468 140733324615344 139760287218032 139760283000214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) R 10413 10413 32513 0 -1 4202560 423 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759747364848 139760283000214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0.02 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) R 10413 10413 32513 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29348 KiB
[startup+0.210838 s]*
/proc/loadavg: 8.27 8.50 8.49 7/233 10429
/proc/meminfo: memFree=31353368/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15144776 memory=40128 CPUtime=0.34 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 9747 0 0 0 31 3 0 0 20 0 15 0 444194648 15508250624 10032 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3786194 10032 3320 1 0 3748377 0
[pid=10415/tid=10416] ppid=10413 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 6697 0 0 0 18 2 0 0 20 0 15 0 444194648 15508250624 10032 33554432000 4194304 4196468 140733324615344 139760287226592 139760283000214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15144776 memory=140503245061358 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0.08 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 898 0 0 0 8 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41576 KiB
[startup+0.310712 s]*
/proc/loadavg: 8.27 8.50 8.49 7/233 10429
/proc/meminfo: memFree=31346564/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15149032 memory=49424 CPUtime=0.52 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 11163 0 0 0 48 4 0 0 20 0 15 0 444194648 15512608768 12356 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3787258 12356 3363 1 0 3748377 0
[pid=10415/tid=10416] ppid=10413 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 7850 0 0 0 27 3 0 0 20 0 15 0 444194648 15512608768 12356 33554432000 4194304 4196468 140733324615344 139760287219392 139760267068766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15149032 memory=15822218080154965 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444194651 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) R 10413 10413 32513 0 -1 4202560 598 0 0 0 4 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759747364848 139760260876752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 1036 0 0 0 12 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50872 KiB
[startup+0.703593 s]
/proc/loadavg: 8.27 8.50 8.49 9/233 10429
/proc/meminfo: memFree=31323736/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15151156 memory=99580 CPUtime=1.71 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 15035 0 0 0 164 7 0 0 20 0 15 0 444194648 15514783744 24895 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3787789 24895 3444 1 0 3748889 0
[pid=10415/tid=10416] ppid=10413 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 9210 0 0 0 63 4 0 0 20 0 15 0 444194648 15514783744 24895 33554432000 4194304 4196468 140733324615344 139760287225872 139759919440547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444194651 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15151156 memory=1764 CPUtime=0.27 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) R 10413 10413 32513 0 -1 4202560 1034 0 0 0 27 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759747364848 139760264532736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15151156 memory=111628 CPUtime=0.34 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) R 10413 10413 32513 0 -1 4202560 1245 0 0 0 34 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759746302016 139760262841821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15151156 memory=796 CPUtime=0.38 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 2240 0 0 0 38 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101028 KiB
[startup+1.50164 s]
/proc/loadavg: 8.27 8.50 8.49 6/233 10429
/proc/meminfo: memFree=31128820/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 530564 0 0 0 219614 175 0 0 20 0 19 0 444194648 15789527040 436561 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3854865 436561 3556 1 0 3815965 0
[pid=10415/tid=10416] ppid=10413 vsize=15419460 memory=1448 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) S 10413 10413 32513 0 -1 1077944384 21719 0 0 0 175 8 0 0 20 0 19 0 444194648 15789527040 436561 33554432000 4194304 4196468 140733324615344 139760287229056 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15419460 memory=1746244 CPUtime=1.84 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 9954 0 0 0 156 28 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15419460 memory=1746244 CPUtime=1.8 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 11080 0 0 0 153 27 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.8 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 11211 0 0 0 154 26 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.82 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 10665 0 0 0 153 29 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15419460 memory=1740120 CPUtime=0.1 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 9384 0 0 0 9 1 0 0 20 0 19 0 444194651 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15419460 memory=1740120 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759750522336 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759749469696 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15419460 memory=1746244 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.74 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 37546 0 0 0 471 3 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.21 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 26436 0 0 0 418 3 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15419460 memory=1746244 CPUtime=1.11 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 35573 0 0 0 107 4 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15419460 memory=1746244 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15419460 memory=111628 CPUtime=0.24 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 3971 0 0 0 8 16 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11515] ppid=10413 vsize=15419460 memory=796 CPUtime=30.01 cores=1,3,5,7
/proc/10415/task/11515/stat : 11515 (java) R 10413 10413 32513 0 -1 4202560 1418 0 0 0 3001 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759733934728 139759926640785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11516] ppid=10413 vsize=15419460 memory=1746244 CPUtime=30.56 cores=1,3,5,7
/proc/10415/task/11516/stat : 11516 (java) R 10413 10413 32513 0 -1 4202560 2813 0 0 0 3056 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759732885984 139759924450841 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11517] ppid=10413 vsize=15419460 memory=3504 CPUtime=30.57 cores=1,3,5,7
/proc/10415/task/11517/stat : 11517 (java) R 10413 10413 32513 0 -1 4202560 2805 0 0 0 3057 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759730780008 139759926556498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11518] ppid=10413 vsize=15419460 memory=1448 CPUtime=30.56 cores=1,3,5,7
/proc/10415/task/11518/stat : 11518 (java) R 10413 10413 32513 0 -1 4202560 1961 0 0 0 3056 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759731830856 139759926640349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 2197.89 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1747692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.112 s]
/proc/loadavg: 8.35 8.42 8.41 10/237 11523
/proc/meminfo: memFree=29063648/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15419460 memory=1731812 CPUtime=2400.08 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 539597 0 0 0 239831 177 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3854865 432953 3556 1 0 3815965 0
[pid=10415/tid=10416] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) S 10413 10413 32513 0 -1 1077944384 21719 0 0 0 175 8 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760287229056 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15419460 memory=1740120 CPUtime=1.85 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 10434 0 0 0 157 28 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 11506 0 0 0 154 27 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 11970 0 0 0 155 26 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 11507 0 0 0 154 29 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0.1 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 9962 0 0 0 9 1 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759750522336 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759749469696 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15419460 memory=1731812 CPUtime=4.74 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 37556 0 0 0 471 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.21 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 26441 0 0 0 418 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.11 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 35819 0 0 0 107 4 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15419460 memory=3504 CPUtime=0.27 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 4016 0 0 0 9 18 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11515] ppid=10413 vsize=15419460 memory=47928 CPUtime=79.99 cores=1,3,5,7
/proc/10415/task/11515/stat : 11515 (java) R 10413 10413 32513 0 -1 4202560 1913 0 0 0 7999 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759733934480 139759926640395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11516] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.19 cores=1,3,5,7
/proc/10415/task/11516/stat : 11516 (java) R 10413 10413 32513 0 -1 4202560 4606 0 0 0 8119 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759732883272 139759925481972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11517] ppid=10413 vsize=15419460 memory=1731812 CPUtime=81.34 cores=1,3,5,7
/proc/10415/task/11517/stat : 11517 (java) R 10413 10413 32513 0 -1 4202560 5327 0 0 0 8134 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759730777544 139759927381373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11518] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.29 cores=1,3,5,7
/proc/10415/task/11518/stat : 11518 (java) R 10413 10413 32513 0 -1 4202560 2793 0 0 0 8129 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759731830664 139759926699114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1733260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.139 s]
# the end of solver process 10413 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001123 s, system=0.001123 s
[startup+633.196 s]
# the end of solver process 10415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.6 s, system=1.78858 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.112 s]
/proc/loadavg: 8.35 8.42 8.41 10/237 11523
/proc/meminfo: memFree=29063648/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15419460 memory=1731812 CPUtime=2400.08 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 539597 0 0 0 239831 177 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3854865 432953 3556 1 0 3815965 0
[pid=10415/tid=10416] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) S 10413 10413 32513 0 -1 1077944384 21719 0 0 0 175 8 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760287229056 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15419460 memory=1740120 CPUtime=1.85 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 10434 0 0 0 157 28 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 11506 0 0 0 154 27 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 11970 0 0 0 155 26 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 11507 0 0 0 154 29 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0.1 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 9962 0 0 0 9 1 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759750522336 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759749469696 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15419460 memory=1731812 CPUtime=4.74 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 37556 0 0 0 471 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.21 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 26441 0 0 0 418 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.11 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 35819 0 0 0 107 4 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15419460 memory=3504 CPUtime=0.27 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 4016 0 0 0 9 18 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11515] ppid=10413 vsize=15419460 memory=47928 CPUtime=79.99 cores=1,3,5,7
/proc/10415/task/11515/stat : 11515 (java) R 10413 10413 32513 0 -1 4202560 1913 0 0 0 7999 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759733934480 139759926640395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11516] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.19 cores=1,3,5,7
/proc/10415/task/11516/stat : 11516 (java) R 10413 10413 32513 0 -1 4202560 4606 0 0 0 8119 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759732883272 139759925481972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11517] ppid=10413 vsize=15419460 memory=1731812 CPUtime=81.34 cores=1,3,5,7
/proc/10415/task/11517/stat : 11517 (java) R 10413 10413 32513 0 -1 4202560 5327 0 0 0 8134 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759730777544 139759927381373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11518] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.29 cores=1,3,5,7
/proc/10415/task/11518/stat : 11518 (java) R 10413 10413 32513 0 -1 4202560 2793 0 0 0 8129 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759731830664 139759926699114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1733260 KiB
Child status: 143
Real time (s): 633.196
CPU time (s): 2400.39
CPU user time (s): 2398.6
CPU system time (s): 1.78858
CPU usage (%): 379.091
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1747692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.6
system time used= 1.78858
maximum resident set size= 1750320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20989
involuntary context switches= 47494
# summary of solver processes directly reported to runsolver:
# pid: 10413,10415
# total CPU time (s): 2400.39
# total CPU user time (s): 2398.6
# total CPU system time (s): 1.78858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41462 second user time and 7.15566 second system time
The end