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 (15266 MiB free)
memory of node 1: 16384 MiB (15507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393228-1568317568/watcher-4393228-1568317568 -o /tmp/evaluation-result-4393228-1568317568/solver-4393228-1568317568 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 558581366 HOME/instance-4393228-1568317568.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12870, runsolver pid=12867
Current StackSize limit: 8192 KiB
[startup+0.100482 s]*
/proc/loadavg: 8.54 8.49 8.07 11/234 12886
/proc/meminfo: memFree=31495512/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
[pid=12872] ppid=12870 vsize=15144768 memory=28676 CPUtime=0.13 cores=0,2,4,6
/proc/12872/stat : 12872 (java) S 12870 12870 6753 0 -1 1077944320 5654 0 0 0 11 2 0 0 20 0 15 0 408019495 15508242432 7169 33554432000 4194304 4196468 140730123577376 140730123559920 140409378590455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
/proc/12872/statm: 3786192 7169 3120 1 0 3748377 0
[pid=12872/tid=12873] ppid=12870 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/12872/task/12873/stat : 12873 (java) R 12870 12870 6753 0 -1 4202560 3574 0 0 0 8 1 0 0 20 0 15 0 408019495 15508242432 7169 33554432000 4194304 4196468 140730123577376 140409382822632 140409378612381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12874] ppid=12870 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12874/stat : 12874 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 7169 33554432000 4194304 4196468 140730123577376 140409331211408 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12875] ppid=12870 vsize=15144768 memory=140481417053824 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12875/stat : 12875 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 7169 33554432000 4194304 4196468 140730123577376 140409330158608 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12876] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12876/stat : 12876 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 7169 33554432000 4194304 4196468 140730123577376 140409329105808 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12877] ppid=12870 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12877/stat : 12877 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 7169 33554432000 4194304 4196468 140730123577376 140409328053008 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12878] ppid=12870 vsize=15144768 memory=140481417053824 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12878/stat : 12878 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019497 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408252737904 140409378601602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12879] ppid=12870 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12879/stat : 12879 (java) S 12870 12870 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019498 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408251683872 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12880] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12880/stat : 12880 (java) S 12870 12870 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019498 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408250631024 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12881] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12881/stat : 12881 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019500 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408249579344 140409378609051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12882] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12882/stat : 12882 (java) R 12870 12870 6753 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 15 0 408019500 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408248528024 140409362026193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12883] ppid=12870 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12883/stat : 12883 (java) R 12870 12870 6753 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408019500 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408247474928 140409378601602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12884] ppid=12870 vsize=15144768 memory=140481417053824 CPUtime=0.02 cores=0,2,4,6
/proc/12872/task/12884/stat : 12884 (java) R 12870 12870 6753 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 408019500 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408246422128 140409362670942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12885] ppid=12870 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12885/stat : 12885 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019501 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408245369568 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12886] ppid=12870 vsize=15144768 memory=140481417053824 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12886/stat : 12886 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019501 15508242432 7169 33554432000 4194304 4196468 140730123577376 140408244316848 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30128 KiB
[startup+0.21082 s]*
/proc/loadavg: 8.54 8.49 8.07 8/234 12886
/proc/meminfo: memFree=31481984/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
[pid=12872] ppid=12870 vsize=15144768 memory=41224 CPUtime=0.34 cores=0,2,4,6
/proc/12872/stat : 12872 (java) S 12870 12870 6753 0 -1 1077944320 9512 0 0 0 30 4 0 0 20 0 15 0 408019495 15508242432 10306 33554432000 4194304 4196468 140730123577376 140730123559920 140409378590455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
/proc/12872/statm: 3786192 10306 3284 1 0 3748377 0
[pid=12872/tid=12873] ppid=12870 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/12872/task/12873/stat : 12873 (java) R 12870 12870 6753 0 -1 1077944384 6612 0 0 0 17 3 0 0 20 0 15 0 408019495 15508242432 10306 33554432000 4194304 4196468 140730123577376 140409382822656 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12874] ppid=12870 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12874/stat : 12874 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 10306 33554432000 4194304 4196468 140730123577376 140409331211408 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12875] ppid=12870 vsize=15144768 memory=140481420206573 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12875/stat : 12875 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 10306 33554432000 4194304 4196468 140730123577376 140409330158608 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12876] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12876/stat : 12876 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 10306 33554432000 4194304 4196468 140730123577376 140409329105808 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12877] ppid=12870 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12877/stat : 12877 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15508242432 10306 33554432000 4194304 4196468 140730123577376 140409328053008 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12878] ppid=12870 vsize=15144768 memory=140481417053824 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12878/stat : 12878 (java) S 12870 12870 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408019497 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408252737904 140409378601602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12879] ppid=12870 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12879/stat : 12879 (java) S 12870 12870 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019498 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408251683872 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12880] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12880/stat : 12880 (java) S 12870 12870 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019498 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408250631024 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12881] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12881/stat : 12881 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019500 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408249579344 140409378609051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12882] ppid=12870 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12872/task/12882/stat : 12882 (java) S 12870 12870 6753 0 -1 1077944384 694 0 0 0 3 0 0 0 20 0 15 0 408019500 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408248527728 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12883] ppid=12870 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12872/task/12883/stat : 12883 (java) S 12870 12870 6753 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 408019500 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408247474928 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12884] ppid=12870 vsize=15144768 memory=140481417053824 CPUtime=0.07 cores=0,2,4,6
/proc/12872/task/12884/stat : 12884 (java) R 12870 12870 6753 0 -1 4202560 731 0 0 0 7 0 0 0 20 0 15 0 408019500 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408246422128 140409378602390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12885] ppid=12870 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12885/stat : 12885 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019501 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408245369568 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12886] ppid=12870 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12886/stat : 12886 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019501 15508242432 10306 33554432000 4194304 4196468 140730123577376 140408244316848 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42676 KiB
[startup+0.310586 s]*
/proc/loadavg: 8.54 8.49 8.07 10/234 12886
/proc/meminfo: memFree=31475216/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
[pid=12872] ppid=12870 vsize=15149024 memory=49860 CPUtime=0.52 cores=0,2,4,6
/proc/12872/stat : 12872 (java) S 12870 12870 6753 0 -1 1077944320 10747 0 0 0 47 5 0 0 20 0 15 0 408019495 15512600576 12465 33554432000 4194304 4196468 140730123577376 140730123559920 140409378590455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
/proc/12872/statm: 3787256 12465 3338 1 0 3748377 0
[pid=12872/tid=12873] ppid=12870 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/12872/task/12873/stat : 12873 (java) R 12870 12870 6753 0 -1 4202560 7686 0 0 0 26 4 0 0 20 0 15 0 408019495 15512600576 12465 33554432000 4194304 4196468 140730123577376 140409382821568 140409378612381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12874] ppid=12870 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12874/stat : 12874 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15512600576 12465 33554432000 4194304 4196468 140730123577376 140409331211408 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12875] ppid=12870 vsize=15149024 memory=3006084 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12875/stat : 12875 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15512600576 12465 33554432000 4194304 4196468 140730123577376 140409330158608 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12876] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12876/stat : 12876 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15512600576 12465 33554432000 4194304 4196468 140730123577376 140409329105808 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12877] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12877/stat : 12877 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15512600576 12465 33554432000 4194304 4196468 140730123577376 140409328053008 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12878] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12878/stat : 12878 (java) S 12870 12870 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408019497 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408252737904 140409378601602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12879] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12879/stat : 12879 (java) S 12870 12870 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019498 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408251683872 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12880] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12880/stat : 12880 (java) S 12870 12870 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019498 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408250631024 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12881] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12881/stat : 12881 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019500 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408249579344 140409378609051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12882] ppid=12870 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12872/task/12882/stat : 12882 (java) S 12870 12870 6753 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 408019500 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408248527728 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12883] ppid=12870 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12872/task/12883/stat : 12883 (java) R 12870 12870 6753 0 -1 4202560 267 0 0 0 4 0 0 0 20 0 15 0 408019500 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408247456040 140409356613121 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12884] ppid=12870 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12872/task/12884/stat : 12884 (java) S 12870 12870 6753 0 -1 1077944384 799 0 0 0 12 0 0 0 20 0 15 0 408019500 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408246422128 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12885] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12885/stat : 12885 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019501 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408245369568 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12886] ppid=12870 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12886/stat : 12886 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019501 15512600576 12465 33554432000 4194304 4196468 140730123577376 140408244316848 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51312 KiB
[startup+0.70266 s]
/proc/loadavg: 8.54 8.49 8.07 9/234 12886
/proc/meminfo: memFree=31456572/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
[pid=12872] ppid=12870 vsize=15151148 memory=82696 CPUtime=1.58 cores=0,2,4,6
/proc/12872/stat : 12872 (java) S 12870 12870 6753 0 -1 1077944320 14851 0 0 0 151 7 0 0 20 0 15 0 408019495 15514775552 20674 33554432000 4194304 4196468 140730123577376 140730123559920 140409378590455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
/proc/12872/statm: 3787787 20674 3450 1 0 3748889 0
[pid=12872/tid=12873] ppid=12870 vsize=15151148 memory=1788182791425 CPUtime=0.68 cores=0,2,4,6
/proc/12872/task/12873/stat : 12873 (java) R 12870 12870 6753 0 -1 4202560 9257 0 0 0 63 5 0 0 20 0 15 0 408019495 15514775552 20674 33554432000 4194304 4196468 140730123577376 140409382824624 140409011100046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12874] ppid=12870 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12874/stat : 12874 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15514775552 20674 33554432000 4194304 4196468 140730123577376 140409331211408 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12875] ppid=12870 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12875/stat : 12875 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15514775552 20674 33554432000 4194304 4196468 140730123577376 140409330158608 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12876] ppid=12870 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12876/stat : 12876 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019496 15514775552 20674 33554432000 4194304 4196468 140730123577376 140409329105808 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12877] ppid=12870 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12877/stat : 12877 (java) S 12870 12870 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408019496 15514775552 20674 33554432000 4194304 4196468 140730123577376 140409328053008 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12878] ppid=12870 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12878/stat : 12878 (java) S 12870 12870 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408019497 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408252737904 140409378601602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12879] ppid=12870 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12879/stat : 12879 (java) S 12870 12870 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408019498 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408251683872 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12880] ppid=12870 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12880/stat : 12880 (java) S 12870 12870 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408019498 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408250631024 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12881] ppid=12870 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12881/stat : 12881 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019500 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408249579344 140409378609051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12882] ppid=12870 vsize=15151148 memory=1764 CPUtime=0.23 cores=0,2,4,6
/proc/12872/task/12882/stat : 12882 (java) S 12870 12870 6753 0 -1 1077944384 1315 0 0 0 23 0 0 0 20 0 15 0 408019500 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408248527728 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12883] ppid=12870 vsize=15151148 memory=111632 CPUtime=0.23 cores=0,2,4,6
/proc/12872/task/12883/stat : 12883 (java) S 12870 12870 6753 0 -1 1077944384 824 0 0 0 23 0 0 0 20 0 15 0 408019500 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408247474928 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12884] ppid=12870 vsize=15151148 memory=804 CPUtime=0.42 cores=0,2,4,6
/proc/12872/task/12884/stat : 12884 (java) R 12870 12870 6753 0 -1 4202560 2149 0 0 0 41 1 0 0 20 0 15 0 408019500 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408246419920 140409362670942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12885] ppid=12870 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12885/stat : 12885 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408019501 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408245369568 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12886] ppid=12870 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12886/stat : 12886 (java) S 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408019501 15514775552 20674 33554432000 4194304 4196468 140730123577376 140408244316848 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 84148 KiB
[startup+1.50076 s]
/proc/loadavg: 8.58 8.50 8.08 12/238 12890
/proc/meminfo: memFree=31367168/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/12872/task/12886/stat : 12886 (java) R 12870 12870 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408019501 15790571520 53135 33554432000 4194304 4196468 140730123577376 140408244316848 140409378601602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12931] ppid=12870 vsize=15420480 memory=6656426216303648864 CPUtime=1 cores=0,2,4,6
/proc/12872/task/12931/stat : 12931 (java) R 12870 12870 6753 0 -1 4202560 27 0 0 0 100 0 0 0 20 0 19 0 408019627 15790571520 53135 33554432000 4194304 4196468 140730123577376 140408233008040 140409015522818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12932] ppid=12870 vsize=15420480 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/12872/task/12932/stat : 12932 (java) R 12870 12870 6753 0 -1 4202560 56 0 0 0 98 0 0 0 20 0 19 0 408019627 15790571520 53135 33554432000 4194304 4196468 140730123577376 140408229851032 140409014400828 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12933] ppid=12870 vsize=15420480 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/12872/task/12933/stat : 12933 (java) R 12870 12870 6753 0 -1 4202560 35 0 0 0 160 0 0 0 20 0 19 0 408019627 15790571520 53135 33554432000 4194304 4196468 140730123577376 140408231955928 140409016228753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12934] ppid=12870 vsize=15420480 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/12872/task/12934/stat : 12934 (java) R 12870 12870 6753 0 -1 4202560 30 0 0 0 125 0 0 0 20 0 19 0 408019627 15790571520 53135 33554432000 4194304 4196468 140730123577376 140408230903768 140409013886720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 11.32 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 213992 KiB
[startup+4.80116 s]
/proc/loadavg: 8.58 8.50 8.08 11/238 12934
/proc/meminfo: memFree=31281016/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
[pid=12872] ppid=12870 vsize=15420480 memory=227092 CPUtime=17.67 cores=0,2,4,6
/proc/12872/stat : 12872 (java) S 12870 12870 6753 0 -1 1077944320 25222 0 0 0 1753 14 0 0 20 0 19 0 408019495 15790571520 56773 33554432000 4194304 4196468 140730123577376 140730123559920 140409378590455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
/proc/12872/statm: 3855120 56773 3529 1 0 3816222 0
[pid=12872/tid=12873] ppid=12870 vsize=15420480 memory=6791534058613427641 CPUtime=0.97 cores=0,2,4,6
/proc/12872/task/12873/stat : 12873 (java) S 12870 12870 6753 0 -1 1077944384 9475 0 0 0 91 6 0 0 20 0 19 0 408019495 15790571520 56773 33554432000 4194304 4196468 140730123577376 140409382831232 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12874] ppid=12870 vsize=15420480 memory=194160 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12874/stat : 12874 (java) S 12870 12870 6753 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56773 33554432000 4194304 4196468 140730123577376 140409331211408 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12875] ppid=12870 vsize=15420480 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12875/stat : 12875 (java) S 12870 12870 6753 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56773 33554432000 4194304 4196468 140730123577376 140409330158608 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12876] ppid=12870 vsize=15420480 memory=205468 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12876/stat : 12876 (java) S 12870 12870 6753 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56773 33554432000 4194304 4196468 140730123577376 140409329105808 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12877] ppid=12870 vsize=15420480 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12877/stat : 12877 (java) S 12870 12870 6753 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 19 0 408019496 15790571520 56773 33554432000 4194304 4196468 140730123577376 140409328053008 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12878] ppid=12870 vsize=15420480 memory=804 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12878/stat : 12878 (java) S 12870 12870 6753 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 19 0 408019497 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408252737904 140409378601602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12879] ppid=12870 vsize=15420480 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12879/stat : 12879 (java) S 12870 12870 6753 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408019498 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408251683936 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12880] ppid=12870 vsize=15420480 memory=198228 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12880/stat : 12880 (java) S 12870 12870 6753 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 408019498 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408250631040 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12881] ppid=12870 vsize=15420480 memory=227092 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12881/stat : 12881 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019500 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408249579344 140409378609051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12882] ppid=12870 vsize=15420480 memory=280962533555680 CPUtime=2.27 cores=0,2,4,6
/proc/12872/task/12882/stat : 12882 (java) D 12870 12870 6753 0 -1 4202560 5008 0 0 0 227 0 0 0 20 0 19 0 408019500 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408248527648 140409358514591 0 4 0 16800975 18446744072100220037 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12883] ppid=12870 vsize=15420480 memory=7594597771697979466 CPUtime=2.56 cores=0,2,4,6
/proc/12872/task/12883/stat : 12883 (java) D 12870 12870 6753 0 -1 4202560 3639 0 0 0 256 0 0 0 20 0 19 0 408019500 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408247475224 140409358514591 0 4 0 16800975 18446744072100220037 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12884] ppid=12870 vsize=15420480 memory=288289961105687237 CPUtime=0.96 cores=0,2,4,6
/proc/12872/task/12884/stat : 12884 (java) D 12870 12870 6753 0 -1 4202560 3840 0 0 0 94 2 0 0 20 0 19 0 408019500 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408246422048 140409358514591 0 4 0 16800975 18446744072100220037 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12885] ppid=12870 vsize=15420480 memory=3020363 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12885/stat : 12885 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019501 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408245369568 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12886] ppid=12870 vsize=15420480 memory=-3704326594973231466 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12886/stat : 12886 (java) D 12870 12870 6753 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 408019501 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408244316768 140409363446542 0 4 0 16800975 18446744072100220037 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12931] ppid=12870 vsize=15420480 memory=-9001727377931987047 CPUtime=2.41 cores=0,2,4,6
/proc/12872/task/12931/stat : 12931 (java) R 12870 12870 6753 0 -1 4202560 89 0 0 0 241 0 0 0 20 0 19 0 408019627 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408233008168 140409017163340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12932] ppid=12870 vsize=15420480 memory=6944613755328037012 CPUtime=2.29 cores=0,2,4,6
/proc/12872/task/12932/stat : 12932 (java) R 12870 12870 6753 0 -1 4202560 144 0 0 0 229 0 0 0 20 0 19 0 408019627 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408229851336 140409017163392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12933] ppid=12870 vsize=15420480 memory=7316803075424543371 CPUtime=2.9 cores=0,2,4,6
/proc/12872/task/12933/stat : 12933 (java) R 12870 12870 6753 0 -1 4202560 176 0 0 0 290 0 0 0 20 0 19 0 408019627 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408231956472 140409015880954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12934] ppid=12870 vsize=15420480 memory=-8614379499087747112 CPUtime=2.69 cores=0,2,4,6
/proc/12872/task/12934/stat : 12934 (java) R 12870 12870 6753 0 -1 4202560 104 0 0 0 269 0 0 0 20 0 19 0 408019627 15790571520 56773 33554432000 4194304 4196468 140730123577376 140408230904904 140409017162811 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 17.67 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 228544 KiB
[startup+5.60115 s]
/proc/loadavg: 8.58 8.50 8.08 10/238 12934
/proc/meminfo: memFree=31276140/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
[pid=12872] ppid=12870 vsize=15420480 memory=227292 CPUtime=20.7 cores=0,2,4,6
/proc/12872/stat : 12872 (java) S 12870 12870 6753 0 -1 1077944320 29084 0 0 0 2056 14 0 0 20 0 19 0 408019495 15790571520 56823 33554432000 4194304 4196468 140730123577376 140730123559920 140409378590455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
/proc/12872/statm: 3855120 56823 3529 1 0 3816222 0
[pid=12872/tid=12873] ppid=12870 vsize=15420480 memory=1452 CPUtime=0.97 cores=0,2,4,6
/proc/12872/task/12873/stat : 12873 (java) S 12870 12870 6753 0 -1 1077944384 9475 0 0 0 91 6 0 0 20 0 19 0 408019495 15790571520 56823 33554432000 4194304 4196468 140730123577376 140409382831232 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12874] ppid=12870 vsize=15420480 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12874/stat : 12874 (java) S 12870 12870 6753 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56823 33554432000 4194304 4196468 140730123577376 140409331211408 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12875] ppid=12870 vsize=15420480 memory=3047711591739858828 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12875/stat : 12875 (java) S 12870 12870 6753 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56823 33554432000 4194304 4196468 140730123577376 140409330158608 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12876] ppid=12870 vsize=15420480 memory=8039887049847964027 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12876/stat : 12876 (java) S 12870 12870 6753 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56823 33554432000 4194304 4196468 140730123577376 140409329105808 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12877] ppid=12870 vsize=15420480 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12877/stat : 12877 (java) S 12870 12870 6753 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 19 0 408019496 15790571520 56823 33554432000 4194304 4196468 140730123577376 140409328053008 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12878] ppid=12870 vsize=15420480 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12878/stat : 12878 (java) S 12870 12870 6753 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 19 0 408019497 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408252737904 140409378601602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12879] ppid=12870 vsize=15420480 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12879/stat : 12879 (java) S 12870 12870 6753 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408019498 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408251683936 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12880] ppid=12870 vsize=15420480 memory=16780 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12880/stat : 12880 (java) S 12870 12870 6753 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 408019498 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408250631040 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12881] ppid=12870 vsize=15420480 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12881/stat : 12881 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019500 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408249579344 140409378609051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12882] ppid=12870 vsize=15420480 memory=984 CPUtime=2.36 cores=0,2,4,6
/proc/12872/task/12882/stat : 12882 (java) S 12870 12870 6753 0 -1 1077944384 5948 0 0 0 236 0 0 0 20 0 19 0 408019500 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408248527728 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12883] ppid=12870 vsize=15420480 memory=1328 CPUtime=2.58 cores=0,2,4,6
/proc/12872/task/12883/stat : 12883 (java) S 12870 12870 6753 0 -1 1077944384 4404 0 0 0 258 0 0 0 20 0 19 0 408019500 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408247474928 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12884] ppid=12870 vsize=15420480 memory=780 CPUtime=0.97 cores=0,2,4,6
/proc/12872/task/12884/stat : 12884 (java) S 12870 12870 6753 0 -1 1077944384 5050 0 0 0 95 2 0 0 20 0 19 0 408019500 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408246422128 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12885] ppid=12870 vsize=15420480 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12885/stat : 12885 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019501 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408245369568 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12886] ppid=12870 vsize=15420480 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12886/stat : 12886 (java) S 12870 12870 6753 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 19 0 408019501 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408244316848 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12931] ppid=12870 vsize=15420480 memory=1028 CPUtime=3.19 cores=0,2,4,6
/proc/12872/task/12931/stat : 12931 (java) R 12870 12870 6753 0 -1 4202560 155 0 0 0 319 0 0 0 20 0 19 0 408019627 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408233007944 140409017163702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12932] ppid=12870 vsize=15420480 memory=1060 CPUtime=3.08 cores=0,2,4,6
/proc/12872/task/12932/stat : 12932 (java) R 12870 12870 6753 0 -1 4202560 347 0 0 0 308 0 0 0 20 0 19 0 408019627 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408229850768 140409017163296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12933] ppid=12870 vsize=15420480 memory=2828 CPUtime=3.65 cores=0,2,4,6
/proc/12872/task/12933/stat : 12933 (java) R 12870 12870 6753 0 -1 4202560 378 0 0 0 365 0 0 0 20 0 19 0 408019627 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408231956200 140409017163257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12934] ppid=12870 vsize=15420480 memory=24452 CPUtime=3.27 cores=0,2,4,6
/proc/12872/task/12934/stat : 12934 (java) R 12870 12870 6753 0 -1 4202560 173 0 0 0 327 0 0 0 20 0 19 0 408019627 15790571520 56823 33554432000 4194304 4196468 140730123577376 140408230904504 140409014399594 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 20.7 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 228744 KiB
[startup+6.00115 s]*
/proc/loadavg: 8.61 8.51 8.08 9/238 12934
/proc/meminfo: memFree=31266124/32770624 swapFree=66979472/67108860
[pid=12870] ppid=12867 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/12870/stat : 12870 (xcsp3-exec) S 12867 12870 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408019494 115843072 363 33554432000 4194304 5098028 140720991209920 140720991208024 140220463989372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8216576 140720991216507 140720991216749 140720991216749 140720991219658 0
/proc/12870/statm: 28282 363 304 221 0 87 0
[pid=12872] ppid=12870 vsize=15420480 memory=227316 CPUtime=22.32 cores=0,2,4,6
/proc/12872/stat : 12872 (java) S 12870 12870 6753 0 -1 1077944320 29498 0 0 0 2218 14 0 0 20 0 19 0 408019495 15790571520 56829 33554432000 4194304 4196468 140730123577376 140730123559920 140409378590455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
/proc/12872/statm: 3855120 56829 3529 1 0 3816222 0
[pid=12872/tid=12873] ppid=12870 vsize=15420480 memory=7883960649037381690 CPUtime=0.97 cores=0,2,4,6
/proc/12872/task/12873/stat : 12873 (java) S 12870 12870 6753 0 -1 1077944384 9475 0 0 0 91 6 0 0 20 0 19 0 408019495 15790571520 56829 33554432000 4194304 4196468 140730123577376 140409382831232 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12874] ppid=12870 vsize=15420480 memory=2996236 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12874/stat : 12874 (java) S 12870 12870 6753 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56829 33554432000 4194304 4196468 140730123577376 140409331211408 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12875] ppid=12870 vsize=15420480 memory=3165778 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12875/stat : 12875 (java) S 12870 12870 6753 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56829 33554432000 4194304 4196468 140730123577376 140409330158608 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12876] ppid=12870 vsize=15420480 memory=-7384994778349281184 CPUtime=0.01 cores=0,2,4,6
/proc/12872/task/12876/stat : 12876 (java) S 12870 12870 6753 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 19 0 408019496 15790571520 56829 33554432000 4194304 4196468 140730123577376 140409329105808 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12877] ppid=12870 vsize=15420480 memory=3473454196134653999 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12877/stat : 12877 (java) S 12870 12870 6753 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 19 0 408019496 15790571520 56829 33554432000 4194304 4196468 140730123577376 140409328053008 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12878] ppid=12870 vsize=15420480 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12878/stat : 12878 (java) S 12870 12870 6753 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 19 0 408019497 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408252737904 140409378601602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12879] ppid=12870 vsize=15420480 memory=7311435031524761458 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12879/stat : 12879 (java) S 12870 12870 6753 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408019498 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408251683936 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12880] ppid=12870 vsize=15420480 memory=3471342877737891504 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12880/stat : 12880 (java) S 12870 12870 6753 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 408019498 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408250631040 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12881] ppid=12870 vsize=15420480 memory=3184097920075968559 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12881/stat : 12881 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019500 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408249579344 140409378609051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12882] ppid=12870 vsize=15420480 memory=0 CPUtime=2.36 cores=0,2,4,6
/proc/12872/task/12882/stat : 12882 (java) S 12870 12870 6753 0 -1 1077944384 5948 0 0 0 236 0 0 0 20 0 19 0 408019500 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408248527728 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12883] ppid=12870 vsize=15420480 memory=3472323898181169199 CPUtime=2.6 cores=0,2,4,6
/proc/12872/task/12883/stat : 12883 (java) S 12870 12870 6753 0 -1 1077944384 4507 0 0 0 260 0 0 0 20 0 19 0 408019500 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408247474928 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12884] ppid=12870 vsize=15420480 memory=-6945504543650622756 CPUtime=0.97 cores=0,2,4,6
/proc/12872/task/12884/stat : 12884 (java) S 12870 12870 6753 0 -1 1077944384 5339 0 0 0 95 2 0 0 20 0 19 0 408019500 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408246422128 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12885] ppid=12870 vsize=15420480 memory=-7161732098442470212 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12885/stat : 12885 (java) S 12870 12870 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408019501 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408245369568 140409378600661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12886] ppid=12870 vsize=15420480 memory=7681407940103534239 CPUtime=0 cores=0,2,4,6
/proc/12872/task/12886/stat : 12886 (java) S 12870 12870 6753 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 19 0 408019501 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408244316848 140409378601602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12931] ppid=12870 vsize=15420480 memory=0 CPUtime=3.59 cores=0,2,4,6
/proc/12872/task/12931/stat : 12931 (java) R 12870 12870 6753 0 -1 4202560 155 0 0 0 359 0 0 0 20 0 19 0 408019627 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408233007944 140409017163405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12932] ppid=12870 vsize=15420480 memory=0 CPUtime=3.49 cores=0,2,4,6
/proc/12872/task/12932/stat : 12932 (java) R 12870 12870 6753 0 -1 4202560 356 0 0 0 349 0 0 0 20 0 19 0 408019627 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408229852760 140409014084624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12933] ppid=12870 vsize=15420480 memory=0 CPUtime=4.06 cores=0,2,4,6
/proc/12872/task/12933/stat : 12933 (java) R 12870 12870 6753 0 -1 4202560 391 0 0 0 406 0 0 0 20 0 19 0 408019627 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408231956520 140409014966860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
[pid=12872/tid=12934] ppid=12870 vsize=15420480 memory=0 CPUtime=3.66 cores=0,2,4,6
/proc/12872/task/12934/stat : 12934 (java) R 12870 12870 6753 0 -1 4202560 173 0 0 0 366 0 0 0 20 0 19 0 408019627 15790571520 56829 33554432000 4194304 4196468 140730123577376 140408230904712 140409015170072 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 33742848 140730123580399 140730123580570 140730123580570 140730123583439 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 228768 KiB
Child status: 0
Real time (s): 6.03703
CPU time (s): 22.4132
CPU user time (s): 22.2621
CPU system time (s): 0.151161
CPU usage (%): 371.263
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 228768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.2621
system time used= 0.151161
maximum resident set size= 228432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3117
involuntary context switches= 903
# summary of solver processes directly reported to runsolver:
# pid: 12870
# total CPU time (s): 22.4132
# total CPU user time (s): 22.2621
# total CPU system time (s): 0.151161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064028 second user time and 0.111456 second system time
The end