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 (12242 MiB free)
memory of node 1: 16384 MiB (12289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405916-1569410067/watcher-4405916-1569410067 -o /var/tmp/evaluation-result-4405916-1569410067/solver-4405916-1569410067 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569408107-11225 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 225961602 HOME/instance-4405916-1569410067.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12401, runsolver pid=12398
[startup+0.100058 s]*
/proc/loadavg: 1.37 1.50 1.59 4/232 12417
/proc/meminfo: memFree=25104448/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
[pid=12403] ppid=12401 vsize=15144776 memory=29012 CPUtime=0.13 cores=1,3,5,7
/proc/12403/stat : 12403 (java) S 12401 12401 8971 0 -1 1077944320 5674 0 0 0 12 1 0 0 20 0 15 0 516948586 15508250624 7253 33554432000 4194304 4196468 140733727907024 140733727889568 139729655422711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
/proc/12403/statm: 3786194 7253 3151 1 0 3748377 0
[pid=12403/tid=12404] ppid=12401 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=1,3,5,7
/proc/12403/task/12404/stat : 12404 (java) R 12401 12401 8971 0 -1 4202560 3546 0 0 0 9 0 0 0 20 0 15 0 516948586 15508250624 7253 33554432000 4194304 4196468 140733727907024 139729659644768 139729655434646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12405] ppid=12401 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12405/stat : 12405 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15508250624 7253 33554432000 4194304 4196468 140733727907024 139729583463184 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12406] ppid=12401 vsize=15144776 memory=140039080068736 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12406/stat : 12406 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15508250624 7253 33554432000 4194304 4196468 140733727907024 139729582410640 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) S 12401 12401 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516948587 15508250624 7253 33554432000 4194304 4196468 140733727907024 139729245170704 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15508250624 7253 33554432000 4194304 4196468 140733727907024 139729244118160 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15144776 memory=140039080068736 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948588 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728797997040 139729655433858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516948589 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728796943264 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516948589 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728795890672 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) S 12401 12401 8971 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 516948591 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728793786864 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) S 12401 12401 8971 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516948591 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728792734320 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15144776 memory=140039080068736 CPUtime=0.02 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) R 12401 12401 8971 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 516948591 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728791681776 139729639538474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15144776 memory=140039080068736 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516948592 15508250624 7253 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30468 KiB
[startup+0.215675 s]*
/proc/loadavg: 1.37 1.50 1.59 4/232 12417
/proc/meminfo: memFree=25091344/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
[pid=12403] ppid=12401 vsize=15144776 memory=41292 CPUtime=0.35 cores=1,3,5,7
/proc/12403/stat : 12403 (java) S 12401 12401 8971 0 -1 1077944320 9533 0 0 0 33 2 0 0 20 0 15 0 516948586 15508250624 10323 33554432000 4194304 4196468 140733727907024 140733727889568 139729655422711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
/proc/12403/statm: 3786194 10323 3305 1 0 3748377 0
[pid=12403/tid=12404] ppid=12401 vsize=15144776 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/12403/task/12404/stat : 12404 (java) R 12401 12401 8971 0 -1 4202560 6666 0 0 0 19 2 0 0 20 0 15 0 516948586 15508250624 10351 33554432000 4194304 4196468 140733727907024 139729659646880 139729657697991 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12405] ppid=12401 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12405/stat : 12405 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15508250624 10351 33554432000 4194304 4196468 140733727907024 139729583463184 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12406] ppid=12401 vsize=15144776 memory=288370415231780480 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12406/stat : 12406 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15508250624 10351 33554432000 4194304 4196468 140733727907024 139729582410640 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) S 12401 12401 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516948587 15508250624 10351 33554432000 4194304 4196468 140733727907024 139729245170704 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15146892 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15510417408 10351 33554432000 4194304 4196468 140733727907024 139729244118160 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15146892 memory=140039080068736 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) S 12401 12401 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516948588 15510417408 10351 33554432000 4194304 4196468 140733727907024 139728797997040 139729655433858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15146892 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516948589 15510417408 10351 33554432000 4194304 4196468 140733727907024 139728796943264 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15146892 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516948589 15510417408 10351 33554432000 4194304 4196468 140733727907024 139728795890672 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15146892 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15510417408 10351 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) S 12401 12401 8971 0 -1 1077944384 464 0 0 0 3 0 0 0 20 0 15 0 516948591 15512608768 10354 33554432000 4194304 4196468 140733727907024 139728793786864 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15149032 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) S 12401 12401 8971 0 -1 1077944384 317 0 0 0 2 0 0 0 20 0 15 0 516948591 15512608768 10354 33554432000 4194304 4196468 140733727907024 139728792734320 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15149032 memory=140039080068736 CPUtime=0.08 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) S 12401 12401 8971 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 516948591 15512608768 10354 33554432000 4194304 4196468 140733727907024 139728791681776 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15512608768 10354 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516948592 15512608768 10354 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42748 KiB
[startup+0.310749 s]*
/proc/loadavg: 1.37 1.50 1.59 6/232 12417
/proc/meminfo: memFree=25083716/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
[pid=12403] ppid=12401 vsize=15149032 memory=49904 CPUtime=0.53 cores=1,3,5,7
/proc/12403/stat : 12403 (java) S 12401 12401 8971 0 -1 1077944320 10846 0 0 0 50 3 0 0 20 0 15 0 516948586 15512608768 12476 33554432000 4194304 4196468 140733727907024 140733727889568 139729655422711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
/proc/12403/statm: 3787258 12476 3372 1 0 3748377 0
[pid=12403/tid=12404] ppid=12401 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/12403/task/12404/stat : 12404 (java) R 12401 12401 8971 0 -1 4202560 7788 0 0 0 27 2 0 0 20 0 15 0 516948586 15512608768 12546 33554432000 4194304 4196468 140733727907024 139729659656496 139729655444637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12405] ppid=12401 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12405/stat : 12405 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15512608768 12546 33554432000 4194304 4196468 140733727907024 139729583463184 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12406] ppid=12401 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12406/stat : 12406 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15512608768 12546 33554432000 4194304 4196468 140733727907024 139729582410640 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) S 12401 12401 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516948587 15512608768 12546 33554432000 4194304 4196468 140733727907024 139729245170704 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) S 12401 12401 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516948587 15512608768 12546 33554432000 4194304 4196468 140733727907024 139729244118160 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15149032 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) S 12401 12401 8971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516948588 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728797997040 139729655433858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15149032 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516948589 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728796943264 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15149032 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516948589 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728795890672 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15149032 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) R 12401 12401 8971 0 -1 4202560 548 0 0 0 5 0 0 0 20 0 15 0 516948591 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728793777248 139729634666731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) S 12401 12401 8971 0 -1 1077944384 332 0 0 0 4 0 0 0 20 0 15 0 516948591 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728792734320 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) S 12401 12401 8971 0 -1 1077944384 879 0 0 0 13 0 0 0 20 0 15 0 516948591 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728791681776 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516948592 15512608768 12546 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51360 KiB
[startup+0.700849 s]
/proc/loadavg: 1.37 1.50 1.59 4/232 12417
/proc/meminfo: memFree=24994564/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
[pid=12403] ppid=12401 vsize=15149108 memory=563648 CPUtime=1.2 cores=1,3,5,7
/proc/12403/stat : 12403 (java) S 12401 12401 8971 0 -1 1077944320 12192 0 0 0 98 22 0 0 20 0 15 0 516948586 15512686592 140912 33554432000 4194304 4196468 140733727907024 140733727889568 139729655422711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
/proc/12403/statm: 3787277 140912 3413 1 0 3748377 0
[pid=12403/tid=12404] ppid=12401 vsize=15149108 memory=1792544867585 CPUtime=0.62 cores=1,3,5,7
/proc/12403/task/12404/stat : 12404 (java) R 12401 12401 8971 0 -1 4202560 8474 0 0 0 53 9 0 0 20 0 15 0 516948586 15512686592 140912 33554432000 4194304 4196468 140733727907024 139729659657088 139729264183200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12405] ppid=12401 vsize=15149108 memory=3472328296227679313 CPUtime=0.04 cores=1,3,5,7
/proc/12403/task/12405/stat : 12405 (java) S 12401 12401 8971 0 -1 1077944384 56 0 0 0 2 2 0 0 20 0 15 0 516948587 15512686592 140912 33554432000 4194304 4196468 140733727907024 139729583463184 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12406] ppid=12401 vsize=15149108 memory=-7604262568725289114 CPUtime=0.03 cores=1,3,5,7
/proc/12403/task/12406/stat : 12406 (java) S 12401 12401 8971 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 15 0 516948587 15512686592 140912 33554432000 4194304 4196468 140733727907024 139729582410640 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15149108 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) S 12401 12401 8971 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 15 0 516948587 15512686592 140912 33554432000 4194304 4196468 140733727907024 139729245170704 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15149108 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) S 12401 12401 8971 0 -1 1077944384 55 0 0 0 2 2 0 0 20 0 15 0 516948587 15512686592 140912 33554432000 4194304 4196468 140733727907024 139729244118160 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15149108 memory=55416 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) S 12401 12401 8971 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516948588 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728797997040 139729655433858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15149108 memory=992 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516948589 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728796943264 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15149108 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516948589 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728795890672 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15149108 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15149108 memory=11624 CPUtime=0.08 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) R 12401 12401 8971 0 -1 4202560 566 0 0 0 8 0 0 0 20 0 15 0 516948591 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728793774976 139729638626516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15149108 memory=740 CPUtime=0.07 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) R 12401 12401 8971 0 -1 4202560 486 0 0 0 7 0 0 0 20 0 15 0 516948591 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728792723344 139729636123296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15149108 memory=1056 CPUtime=0.19 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) S 12401 12401 8971 0 -1 1077944384 1072 0 0 0 19 0 0 0 20 0 15 0 516948591 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728791681776 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15149108 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15149108 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516948592 15512686592 140912 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 565104 KiB
[startup+1.50081 s]
/proc/loadavg: 1.37 1.50 1.59 3/232 12417
/proc/meminfo: memFree=24510536/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/12403/task/12406/stat : 12406 (java) R 12401 12401 8971 0 -1 4202560 28208 0 0 0 1907 316 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729582410760 139729648050919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15151156 memory=10765952 CPUtime=22.2 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) R 12401 12401 8971 0 -1 4202560 32744 0 0 0 1955 265 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729245170512 139729648050919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15151156 memory=992 CPUtime=22.21 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) R 12401 12401 8971 0 -1 4202560 29694 0 0 0 1918 303 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729244118360 139729648525740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15151156 memory=2044 CPUtime=6.57 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) S 12401 12401 8971 0 -1 1077944384 23166 0 0 0 656 1 0 0 20 0 15 0 516948588 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728797995600 139729655432917 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728796943328 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728795890688 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15151156 memory=280077905411568 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15151156 memory=280077905411632 CPUtime=0.58 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) S 12401 12401 8971 0 -1 1077944384 3175 0 0 0 58 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728793786624 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15151156 memory=280077905411696 CPUtime=0.59 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) S 12401 12401 8971 0 -1 1077944384 2308 0 0 0 58 1 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728792734368 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15151156 memory=280077905411760 CPUtime=0.36 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) S 12401 12401 8971 0 -1 1077944384 2866 0 0 0 36 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728791681824 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15151156 memory=280077905411824 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15151156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 281 0 0 0 1 1 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 112.83 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12671736 KiB
[startup+45.6008 s]
/proc/loadavg: 2.15 1.70 1.65 6/230 12420
/proc/meminfo: memFree=12435848/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
[pid=12403] ppid=12401 vsize=15151156 memory=12670280 CPUtime=115.93 cores=1,3,5,7
/proc/12403/stat : 12403 (java) S 12401 12401 8971 0 -1 1077944320 233403 0 0 0 10424 1169 0 0 20 0 15 0 516948586 15514783744 3167570 33554432000 4194304 4196468 140733727907024 140733727889568 139729655422711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
/proc/12403/statm: 3787789 3167570 3498 1 0 3748889 0
[pid=12403/tid=12404] ppid=12401 vsize=15151156 memory=2044 CPUtime=15.72 cores=1,3,5,7
/proc/12403/task/12404/stat : 12404 (java) S 12401 12401 8971 0 -1 1077944384 16422 0 0 0 1559 13 0 0 20 0 15 0 516948586 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729659660832 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12405] ppid=12401 vsize=15151156 memory=1424 CPUtime=23.04 cores=1,3,5,7
/proc/12403/task/12405/stat : 12405 (java) R 12401 12401 8971 0 -1 4202560 22866 0 0 0 2044 260 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729583462992 139729648050919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12406] ppid=12401 vsize=15151156 memory=11624 CPUtime=22.98 cores=1,3,5,7
/proc/12403/task/12406/stat : 12406 (java) R 12401 12401 8971 0 -1 4202560 28208 0 0 0 1982 316 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729582410760 139729648050919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15151156 memory=740 CPUtime=22.97 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) R 12401 12401 8971 0 -1 4202560 32744 0 0 0 2031 266 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729245170512 139729648050919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15151156 memory=1056 CPUtime=23.01 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) R 12401 12401 8971 0 -1 4202560 100020 0 0 0 1994 307 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729244118360 139729640412347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15151156 memory=1552 CPUtime=6.57 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) S 12401 12401 8971 0 -1 1077944384 23166 0 0 0 656 1 0 0 20 0 15 0 516948588 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728797995600 139729655432917 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728796943328 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15151156 memory=3644 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728795890688 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15151156 memory=2832 CPUtime=0.58 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) S 12401 12401 8971 0 -1 1077944384 3175 0 0 0 58 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728793786624 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15151156 memory=1716 CPUtime=0.59 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) S 12401 12401 8971 0 -1 1077944384 2308 0 0 0 58 1 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728792734368 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15151156 memory=1200 CPUtime=0.36 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) S 12401 12401 8971 0 -1 1077944384 2866 0 0 0 36 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728791681824 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15151156 memory=6188 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15151156 memory=14012 CPUtime=0.02 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 282 0 0 0 1 1 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 115.93 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12671736 KiB
[startup+46.0008 s]*
/proc/loadavg: 2.15 1.70 1.65 6/230 12420
/proc/meminfo: memFree=12435848/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
[pid=12403] ppid=12401 vsize=15151156 memory=12670280 CPUtime=117.51 cores=1,3,5,7
/proc/12403/stat : 12403 (java) S 12401 12401 8971 0 -1 1077944320 233403 0 0 0 10581 1170 0 0 20 0 15 0 516948586 15514783744 3167570 33554432000 4194304 4196468 140733727907024 140733727889568 139729655422711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
/proc/12403/statm: 3787789 3167570 3498 1 0 3748889 0
[pid=12403/tid=12404] ppid=12401 vsize=15151156 memory=1398722017469774279 CPUtime=15.72 cores=1,3,5,7
/proc/12403/task/12404/stat : 12404 (java) S 12401 12401 8971 0 -1 1077944384 16422 0 0 0 1559 13 0 0 20 0 15 0 516948586 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729659660832 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12405] ppid=12401 vsize=15151156 memory=4872558044660077418 CPUtime=23.43 cores=1,3,5,7
/proc/12403/task/12405/stat : 12405 (java) R 12401 12401 8971 0 -1 4202560 22866 0 0 0 2083 260 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729583462992 139729648050919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12406] ppid=12401 vsize=15151156 memory=11624 CPUtime=23.36 cores=1,3,5,7
/proc/12403/task/12406/stat : 12406 (java) R 12401 12401 8971 0 -1 4202560 28208 0 0 0 2020 316 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729582410760 139729648050919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15151156 memory=740 CPUtime=23.37 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) R 12401 12401 8971 0 -1 4202560 32744 0 0 0 2070 267 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729245170512 139729648050919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15151156 memory=1056 CPUtime=23.42 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) R 12401 12401 8971 0 -1 4202560 100020 0 0 0 2035 307 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729244118360 139729648527424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15151156 memory=1552 CPUtime=6.57 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) S 12401 12401 8971 0 -1 1077944384 23166 0 0 0 656 1 0 0 20 0 15 0 516948588 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728797995600 139729655432917 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728796943328 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15151156 memory=3644 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728795890688 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15151156 memory=2832 CPUtime=0.58 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) S 12401 12401 8971 0 -1 1077944384 3175 0 0 0 58 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728793786624 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15151156 memory=1716 CPUtime=0.59 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) S 12401 12401 8971 0 -1 1077944384 2308 0 0 0 58 1 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728792734368 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15151156 memory=1200 CPUtime=0.36 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) S 12401 12401 8971 0 -1 1077944384 2866 0 0 0 36 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728791681824 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15151156 memory=6188 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15151156 memory=12670280 CPUtime=0.02 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 282 0 0 0 1 1 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 117.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12671736 KiB
[startup+46.4008 s]
/proc/loadavg: 2.15 1.70 1.65 6/230 12420
/proc/meminfo: memFree=12435848/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
[pid=12403] ppid=12401 vsize=15151156 memory=12670280 CPUtime=117.92 cores=1,3,5,7
/proc/12403/stat : 12403 (java) S 12401 12401 8971 0 -1 1077944320 233914 0 0 0 10622 1170 0 0 20 0 15 0 516948586 15514783744 3167570 33554432000 4194304 4196468 140733727907024 140733727889568 139729655422711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
/proc/12403/statm: 3787789 3167570 3498 1 0 3748889 0
[pid=12403/tid=12404] ppid=12401 vsize=15151156 memory=12670280 CPUtime=15.72 cores=1,3,5,7
/proc/12403/task/12404/stat : 12404 (java) S 12401 12401 8971 0 -1 1077944384 16422 0 0 0 1559 13 0 0 20 0 15 0 516948586 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729659660832 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12405] ppid=12401 vsize=15151156 memory=2120 CPUtime=23.44 cores=1,3,5,7
/proc/12403/task/12405/stat : 12405 (java) S 12401 12401 8971 0 -1 1077944384 22866 0 0 0 2084 260 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729583463184 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12406] ppid=12401 vsize=15151156 memory=500 CPUtime=23.36 cores=1,3,5,7
/proc/12403/task/12406/stat : 12406 (java) S 12401 12401 8971 0 -1 1077944384 28208 0 0 0 2020 316 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729582410640 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12407] ppid=12401 vsize=15151156 memory=1556 CPUtime=23.38 cores=1,3,5,7
/proc/12403/task/12407/stat : 12407 (java) S 12401 12401 8971 0 -1 1077944384 32744 0 0 0 2071 267 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729245170704 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12408] ppid=12401 vsize=15151156 memory=924 CPUtime=23.43 cores=1,3,5,7
/proc/12403/task/12408/stat : 12408 (java) S 12401 12401 8971 0 -1 1077944384 100020 0 0 0 2036 307 0 0 20 0 15 0 516948587 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139729244118160 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12409] ppid=12401 vsize=15151156 memory=1672 CPUtime=6.95 cores=1,3,5,7
/proc/12403/task/12409/stat : 12409 (java) R 12401 12401 8971 0 -1 4202560 23677 0 0 0 694 1 0 0 20 0 15 0 516948588 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728797995488 139729633792891 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12410] ppid=12401 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12410/stat : 12410 (java) S 12401 12401 8971 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728796943328 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12411] ppid=12401 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12411/stat : 12411 (java) S 12401 12401 8971 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 516948589 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728795890688 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12412] ppid=12401 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12412/stat : 12412 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728794839248 139729655441307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12413] ppid=12401 vsize=15151156 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/12403/task/12413/stat : 12413 (java) S 12401 12401 8971 0 -1 1077944384 3175 0 0 0 58 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728793786624 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12414] ppid=12401 vsize=15151156 memory=58 CPUtime=0.59 cores=1,3,5,7
/proc/12403/task/12414/stat : 12414 (java) S 12401 12401 8971 0 -1 1077944384 2308 0 0 0 58 1 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728792734368 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12415] ppid=12401 vsize=15151156 memory=59 CPUtime=0.36 cores=1,3,5,7
/proc/12403/task/12415/stat : 12415 (java) S 12401 12401 8971 0 -1 1077944384 2866 0 0 0 36 0 0 0 20 0 15 0 516948591 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728791681824 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12416] ppid=12401 vsize=15151156 memory=36 CPUtime=0 cores=1,3,5,7
/proc/12403/task/12416/stat : 12416 (java) S 12401 12401 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728790629472 139729655432917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
[pid=12403/tid=12417] ppid=12401 vsize=15151156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12403/task/12417/stat : 12417 (java) S 12401 12401 8971 0 -1 1077944384 282 0 0 0 1 1 0 0 20 0 15 0 516948592 15514783744 3167570 33554432000 4194304 4196468 140733727907024 139728789575984 139729655433858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28286976 140733727912923 140733727913098 140733727913098 140733727915983 0
Current children cumulated CPU time: 117.92 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12671736 KiB
[startup+46.5009 s]
/proc/loadavg: 2.15 1.70 1.65 6/230 12420
/proc/meminfo: memFree=12435848/32770624 swapFree=66974660/67108860
[pid=12401] ppid=12398 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/12401/stat : 12401 (xcsp3-exec) S 12398 12401 8971 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516948586 115843072 364 33554432000 4194304 5098028 140724766020784 140724766018888 140682782978684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21663744 140724766028631 140724766028889 140724766028889 140724766031814 0
/proc/12401/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 1
Real time (s): 46.5094
CPU time (s): 118.042
CPU user time (s): 106.263
CPU system time (s): 11.779
CPU usage (%): 253.803
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12671736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.263
system time used= 11.779
maximum resident set size= 12670680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234688
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= 7010
involuntary context switches= 913
# summary of solver processes directly reported to runsolver:
# pid: 12401
# total CPU time (s): 118.042
# total CPU user time (s): 106.263
# total CPU system time (s): 11.779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.316467 second user time and 0.544716 second system time
The end