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 (14361 MiB free)
memory of node 1: 16384 MiB (15376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400500-1568694470/watcher-4400500-1568694470 -o /tmp/evaluation-result-4400500-1568694470/solver-4400500-1568694470 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 426293298 HOME/instance-4400500-1568694470.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31707, runsolver pid=31704
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 8.17 4.24 2.57 7/233 31723
/proc/meminfo: memFree=30434684/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
[pid=31709] ppid=31707 vsize=15144776 memory=28988 CPUtime=0.13 cores=1,3,5,7
/proc/31709/stat : 31709 (java) S 31707 31707 30406 0 -1 1077944320 5712 0 0 0 12 1 0 0 20 0 15 0 445715888 15508250624 7247 33554432000 4194304 4196468 140724097441248 140724097423792 139940101349111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
/proc/31709/statm: 3786194 7247 3153 1 0 3748377 0
[pid=31709/tid=31710] ppid=31707 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/31709/task/31710/stat : 31710 (java) R 31707 31707 30406 0 -1 4202560 3584 0 0 0 8 0 0 0 20 0 15 0 445715888 15508250624 7247 33554432000 4194304 4196468 140724097441248 139940105573520 139940093586238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31711] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31711/stat : 31711 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 7247 33554432000 4194304 4196468 140724097441248 139940037585424 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31712] ppid=31707 vsize=15144776 memory=288370347740391040 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31712/stat : 31712 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 7247 33554432000 4194304 4196468 140724097441248 139940036532880 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31713] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31713/stat : 31713 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 7247 33554432000 4194304 4196468 140724097441248 139940035479824 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31714] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31714/stat : 31714 (java) S 31707 31707 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939690371472 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31715] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31715/stat : 31715 (java) S 31707 31707 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445715890 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939637123824 139940101360258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31716] ppid=31707 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31716/stat : 31716 (java) S 31707 31707 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445715890 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939636070048 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31717] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31717/stat : 31717 (java) S 31707 31707 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445715891 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939635016944 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31718] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31718/stat : 31718 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939633965520 139940101367707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31719] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31719/stat : 31719 (java) S 31707 31707 30406 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 445715893 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939632912624 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31720] ppid=31707 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31720/stat : 31720 (java) S 31707 31707 30406 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 445715893 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939563956592 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31721] ppid=31707 vsize=15144776 memory=139971588679296 CPUtime=0.02 cores=1,3,5,7
/proc/31709/task/31721/stat : 31721 (java) R 31707 31707 30406 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 445715893 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939562903536 139940079967071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31722] ppid=31707 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31722/stat : 31722 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939561851232 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31723] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715894 15508250624 7247 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30436 KiB
[startup+0.210935 s]*
/proc/loadavg: 8.17 4.24 2.57 6/233 31723
/proc/meminfo: memFree=30422104/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
[pid=31709] ppid=31707 vsize=15144776 memory=40844 CPUtime=0.35 cores=1,3,5,7
/proc/31709/stat : 31709 (java) S 31707 31707 30406 0 -1 1077944320 9483 0 0 0 32 3 0 0 20 0 15 0 445715888 15508250624 10211 33554432000 4194304 4196468 140724097441248 140724097423792 139940101349111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
/proc/31709/statm: 3786194 10211 3302 1 0 3748377 0
[pid=31709/tid=31710] ppid=31707 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31709/task/31710/stat : 31710 (java) R 31707 31707 30406 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 15 0 445715888 15508250624 10211 33554432000 4194304 4196468 140724097441248 139940105582896 139940101361046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31711] ppid=31707 vsize=15144776 memory=1946935 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31711/stat : 31711 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 10211 33554432000 4194304 4196468 140724097441248 139940037585424 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31712] ppid=31707 vsize=15144776 memory=139971588708876 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31712/stat : 31712 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 10211 33554432000 4194304 4196468 140724097441248 139940036532880 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31713] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31713/stat : 31713 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 10211 33554432000 4194304 4196468 140724097441248 139940035479824 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31714] ppid=31707 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31714/stat : 31714 (java) S 31707 31707 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445715889 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939690371472 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31715] ppid=31707 vsize=15144776 memory=139971588679296 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31715/stat : 31715 (java) S 31707 31707 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445715890 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939637123824 139940101360258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31716] ppid=31707 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31716/stat : 31716 (java) S 31707 31707 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445715890 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939636070048 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31717] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31717/stat : 31717 (java) S 31707 31707 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445715891 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939635016944 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31718] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31718/stat : 31718 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939633965520 139940101367707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31719] ppid=31707 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31709/task/31719/stat : 31719 (java) S 31707 31707 30406 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 445715893 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939632912624 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31720] ppid=31707 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31709/task/31720/stat : 31720 (java) S 31707 31707 30406 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 445715893 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939563956592 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31721] ppid=31707 vsize=15144776 memory=139971588679296 CPUtime=0.08 cores=1,3,5,7
/proc/31709/task/31721/stat : 31721 (java) R 31707 31707 30406 0 -1 4202560 787 0 0 0 8 0 0 0 20 0 15 0 445715893 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939562903536 139940093586238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31722] ppid=31707 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31722/stat : 31722 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939561851232 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31723] ppid=31707 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715894 15508250624 10211 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42292 KiB
[startup+0.310684 s]*
/proc/loadavg: 8.17 4.24 2.57 7/233 31723
/proc/meminfo: memFree=30414820/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
[pid=31709] ppid=31707 vsize=15149032 memory=50100 CPUtime=0.54 cores=1,3,5,7
/proc/31709/stat : 31709 (java) S 31707 31707 30406 0 -1 1077944320 10917 0 0 0 50 4 0 0 20 0 15 0 445715888 15512608768 12525 33554432000 4194304 4196468 140724097441248 140724097423792 139940101349111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
/proc/31709/statm: 3787258 12525 3336 1 0 3748377 0
[pid=31709/tid=31710] ppid=31707 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/31709/task/31710/stat : 31710 (java) R 31707 31707 30406 0 -1 4202560 7842 0 0 0 28 2 0 0 20 0 15 0 445715888 15512608768 12525 33554432000 4194304 4196468 140724097441248 139940105580880 139940101371037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31711] ppid=31707 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31711/stat : 31711 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15512608768 12525 33554432000 4194304 4196468 140724097441248 139940037585424 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31712] ppid=31707 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31712/stat : 31712 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15512608768 12525 33554432000 4194304 4196468 140724097441248 139940036532880 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31713] ppid=31707 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31713/stat : 31713 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15512608768 12525 33554432000 4194304 4196468 140724097441248 139940035479824 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31714] ppid=31707 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31714/stat : 31714 (java) S 31707 31707 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445715889 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939690371472 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31715] ppid=31707 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31715/stat : 31715 (java) S 31707 31707 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445715890 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939637123824 139940101360258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31716] ppid=31707 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31716/stat : 31716 (java) S 31707 31707 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445715890 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939636070048 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31717] ppid=31707 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31717/stat : 31717 (java) S 31707 31707 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445715891 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939635016944 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31718] ppid=31707 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31718/stat : 31718 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939633965520 139940101367707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31719] ppid=31707 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/31709/task/31719/stat : 31719 (java) S 31707 31707 30406 0 -1 1077944384 621 0 0 0 5 0 0 0 20 0 15 0 445715893 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939632912624 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31720] ppid=31707 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31709/task/31720/stat : 31720 (java) S 31707 31707 30406 0 -1 1077944384 264 0 0 0 4 0 0 0 20 0 15 0 445715893 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939563956592 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31721] ppid=31707 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31709/task/31721/stat : 31721 (java) S 31707 31707 30406 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 15 0 445715893 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939562903536 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31722] ppid=31707 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31722/stat : 31722 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939561851232 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31723] ppid=31707 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715894 15512608768 12525 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51548 KiB
[startup+0.7035 s]
/proc/loadavg: 8.17 4.24 2.57 9/233 31723
/proc/meminfo: memFree=30401080/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
[pid=31709] ppid=31707 vsize=15151156 memory=87704 CPUtime=1.58 cores=1,3,5,7
/proc/31709/stat : 31709 (java) S 31707 31707 30406 0 -1 1077944320 15068 0 0 0 152 6 0 0 20 0 15 0 445715888 15514783744 21926 33554432000 4194304 4196468 140724097441248 140724097423792 139940101349111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
/proc/31709/statm: 3787789 21926 3453 1 0 3748889 0
[pid=31709/tid=31710] ppid=31707 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/31709/task/31710/stat : 31710 (java) R 31707 31707 30406 0 -1 4202560 9260 0 0 0 64 4 0 0 20 0 15 0 445715888 15514783744 21926 33554432000 4194304 4196468 140724097441248 139940105586832 139940101371037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31711] ppid=31707 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31711/stat : 31711 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15514783744 21926 33554432000 4194304 4196468 140724097441248 139940037585424 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31712] ppid=31707 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31712/stat : 31712 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15514783744 21926 33554432000 4194304 4196468 140724097441248 139940036532880 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31713] ppid=31707 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31713/stat : 31713 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715889 15514783744 21926 33554432000 4194304 4196468 140724097441248 139940035479824 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31714] ppid=31707 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31714/stat : 31714 (java) S 31707 31707 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445715889 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939690371472 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31715] ppid=31707 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31715/stat : 31715 (java) S 31707 31707 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445715890 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939637123824 139940101360258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31716] ppid=31707 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31716/stat : 31716 (java) S 31707 31707 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445715890 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939636070048 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31717] ppid=31707 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31717/stat : 31717 (java) S 31707 31707 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445715891 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939635016944 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31718] ppid=31707 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31718/stat : 31718 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939633965520 139940101367707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31719] ppid=31707 vsize=15151156 memory=620 CPUtime=0.22 cores=1,3,5,7
/proc/31709/task/31719/stat : 31719 (java) R 31707 31707 30406 0 -1 4202560 1210 0 0 0 22 0 0 0 20 0 15 0 445715893 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939632901424 139940101370458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31720] ppid=31707 vsize=15151156 memory=1496 CPUtime=0.25 cores=1,3,5,7
/proc/31709/task/31720/stat : 31720 (java) R 31707 31707 30406 0 -1 1077944384 1032 0 0 0 25 0 0 0 20 0 15 0 445715893 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939563943376 139940101359317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31721] ppid=31707 vsize=15151156 memory=1016 CPUtime=0.41 cores=1,3,5,7
/proc/31709/task/31721/stat : 31721 (java) R 31707 31707 30406 0 -1 4202560 2260 0 0 0 41 0 0 0 20 0 15 0 445715893 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939562901936 139940101370458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31722] ppid=31707 vsize=15151156 memory=6016 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31722/stat : 31722 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445715893 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939561851232 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31723] ppid=31707 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445715894 15514783744 21926 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89152 KiB
[startup+1.50163 s]
/proc/loadavg: 8.17 4.24 2.57 12/237 31748
/proc/meminfo: memFree=30295624/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 583 0 0 0 0 0 0 0 20 0 19 0 445715894 15857688576 58918 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31901] ppid=31707 vsize=15486024 memory=56 CPUtime=5.33 cores=1,3,5,7
/proc/31709/task/31901/stat : 31901 (java) R 31707 31707 30406 0 -1 4202560 45 0 0 0 533 0 0 0 20 0 19 0 445716632 15857688576 58918 33554432000 4194304 4196468 140724097441248 139939548658480 139939723641292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31902] ppid=31707 vsize=15486024 memory=6943526294502006880 CPUtime=5.2 cores=1,3,5,7
/proc/31709/task/31902/stat : 31902 (java) R 31707 31707 30406 0 -1 4202560 467 0 0 0 520 0 0 0 20 0 19 0 445716632 15857688576 58918 33554432000 4194304 4196468 140724097441248 139939545511144 139939720787179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31903] ppid=31707 vsize=15486024 memory=780 CPUtime=5.17 cores=1,3,5,7
/proc/31709/task/31903/stat : 31903 (java) R 31707 31707 30406 0 -1 4202560 306 0 0 0 517 0 0 0 20 0 19 0 445716632 15857688576 58918 33554432000 4194304 4196468 140724097441248 139939549711320 139939723428958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31904] ppid=31707 vsize=15486024 memory=620 CPUtime=5.29 cores=1,3,5,7
/proc/31709/task/31904/stat : 31904 (java) R 31707 31707 30406 0 -1 4202560 162 0 0 0 529 0 0 0 20 0 19 0 445716632 15857688576 58918 33554432000 4194304 4196468 140724097441248 139939551818952 139939720807436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 49.45 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 237112 KiB
[startup+14.4016 s]
/proc/loadavg: 8.79 4.57 2.71 9/237 31916
/proc/meminfo: memFree=30258380/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
[pid=31709] ppid=31707 vsize=15486024 memory=241376 CPUtime=55.8 cores=1,3,5,7
/proc/31709/stat : 31709 (java) S 31707 31707 30406 0 -1 1077944320 46111 0 0 0 5563 17 0 0 20 0 19 0 445715888 15857688576 60344 33554432000 4194304 4196468 140724097441248 140724097423792 139940101349111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
/proc/31709/statm: 3871506 60344 3519 1 0 3832606 0
[pid=31709/tid=31710] ppid=31707 vsize=15486024 memory=26016 CPUtime=0.79 cores=1,3,5,7
/proc/31709/task/31710/stat : 31710 (java) S 31707 31707 30406 0 -1 1077944384 9517 0 0 0 75 4 0 0 20 0 19 0 445715888 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940105589888 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31711] ppid=31707 vsize=15486024 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/31709/task/31711/stat : 31711 (java) S 31707 31707 30406 0 -1 1077944384 1371 0 0 0 2 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940037585424 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31712] ppid=31707 vsize=15486024 memory=2273 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31712/stat : 31712 (java) S 31707 31707 30406 0 -1 1077944384 1161 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940036532880 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31713] ppid=31707 vsize=15486024 memory=2244 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31713/stat : 31713 (java) S 31707 31707 30406 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940035479824 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31714] ppid=31707 vsize=15486024 memory=28945 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31714/stat : 31714 (java) S 31707 31707 30406 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939690371472 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31715] ppid=31707 vsize=15486024 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31715/stat : 31715 (java) S 31707 31707 30406 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 19 0 445715890 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939637123824 139940101360258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31716] ppid=31707 vsize=15486024 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31716/stat : 31716 (java) S 31707 31707 30406 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445715890 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939636070048 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31717] ppid=31707 vsize=15486024 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31717/stat : 31717 (java) S 31707 31707 30406 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445715891 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939635016944 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31718] ppid=31707 vsize=15486024 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31718/stat : 31718 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939633965520 139940101367707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31719] ppid=31707 vsize=15486024 memory=1536 CPUtime=3.49 cores=1,3,5,7
/proc/31709/task/31719/stat : 31719 (java) S 31707 31707 30406 0 -1 1077944384 10851 0 0 0 347 2 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939632912624 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31720] ppid=31707 vsize=15486024 memory=3624 CPUtime=3.35 cores=1,3,5,7
/proc/31709/task/31720/stat : 31720 (java) S 31707 31707 30406 0 -1 1077944384 9727 0 0 0 334 1 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939563956592 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31721] ppid=31707 vsize=15486024 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/31709/task/31721/stat : 31721 (java) S 31707 31707 30406 0 -1 1077944384 6585 0 0 0 90 1 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939562903536 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31722] ppid=31707 vsize=15486024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31722/stat : 31722 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939561851232 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31723] ppid=31707 vsize=15486024 memory=279942881345776 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 583 0 0 0 0 0 0 0 20 0 19 0 445715894 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31901] ppid=31707 vsize=15486024 memory=7523361486864476516 CPUtime=6.91 cores=1,3,5,7
/proc/31709/task/31901/stat : 31901 (java) R 31707 31707 30406 0 -1 4202560 50 0 0 0 691 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939548658520 139939722455231 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31902] ppid=31707 vsize=15486024 memory=7590655979367786604 CPUtime=6.69 cores=1,3,5,7
/proc/31709/task/31902/stat : 31902 (java) R 31707 31707 30406 0 -1 4202560 546 0 0 0 669 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939545509848 139939723285749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31903] ppid=31707 vsize=15486024 memory=1536 CPUtime=6.71 cores=1,3,5,7
/proc/31709/task/31903/stat : 31903 (java) R 31707 31707 30406 0 -1 4202560 325 0 0 0 671 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939549712552 139939723741999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31904] ppid=31707 vsize=15486024 memory=9592 CPUtime=6.87 cores=1,3,5,7
/proc/31709/task/31904/stat : 31904 (java) R 31707 31707 30406 0 -1 4202560 168 0 0 0 687 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939551817592 139939723567782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 55.8 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 242824 KiB
[startup+15.2036 s]
/proc/loadavg: 8.79 4.57 2.71 9/237 31916
/proc/meminfo: memFree=30250000/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
[pid=31709] ppid=31707 vsize=15486024 memory=241376 CPUtime=58.99 cores=1,3,5,7
/proc/31709/stat : 31709 (java) S 31707 31707 30406 0 -1 1077944320 46113 0 0 0 5882 17 0 0 20 0 19 0 445715888 15857688576 60344 33554432000 4194304 4196468 140724097441248 140724097423792 139940101349111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
/proc/31709/statm: 3871506 60344 3519 1 0 3832606 0
[pid=31709/tid=31710] ppid=31707 vsize=15486024 memory=-7740096080597194087 CPUtime=0.79 cores=1,3,5,7
/proc/31709/task/31710/stat : 31710 (java) S 31707 31707 30406 0 -1 1077944384 9517 0 0 0 75 4 0 0 20 0 19 0 445715888 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940105589888 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31711] ppid=31707 vsize=15486024 memory=6944656592455088490 CPUtime=0.02 cores=1,3,5,7
/proc/31709/task/31711/stat : 31711 (java) S 31707 31707 30406 0 -1 1077944384 1371 0 0 0 2 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940037585424 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31712] ppid=31707 vsize=15486024 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31712/stat : 31712 (java) S 31707 31707 30406 0 -1 1077944384 1161 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940036532880 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31713] ppid=31707 vsize=15486024 memory=47972 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31713/stat : 31713 (java) S 31707 31707 30406 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940035479824 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31714] ppid=31707 vsize=15486024 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31714/stat : 31714 (java) S 31707 31707 30406 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939690371472 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31715] ppid=31707 vsize=15486024 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31715/stat : 31715 (java) S 31707 31707 30406 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 19 0 445715890 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939637123824 139940101360258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31716] ppid=31707 vsize=15486024 memory=235664 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31716/stat : 31716 (java) S 31707 31707 30406 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445715890 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939636070048 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31717] ppid=31707 vsize=15486024 memory=16100368647981698 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31717/stat : 31717 (java) S 31707 31707 30406 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445715891 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939635016944 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31718] ppid=31707 vsize=15486024 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31718/stat : 31718 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939633965520 139940101367707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31719] ppid=31707 vsize=15486024 memory=0 CPUtime=3.49 cores=1,3,5,7
/proc/31709/task/31719/stat : 31719 (java) S 31707 31707 30406 0 -1 1077944384 10851 0 0 0 347 2 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939632912624 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31720] ppid=31707 vsize=15486024 memory=-2247047206255221849 CPUtime=3.35 cores=1,3,5,7
/proc/31709/task/31720/stat : 31720 (java) S 31707 31707 30406 0 -1 1077944384 9727 0 0 0 334 1 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939563956592 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31721] ppid=31707 vsize=15486024 memory=7956005031678667109 CPUtime=0.91 cores=1,3,5,7
/proc/31709/task/31721/stat : 31721 (java) S 31707 31707 30406 0 -1 1077944384 6585 0 0 0 90 1 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939562903536 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31722] ppid=31707 vsize=15486024 memory=7883384405948392552 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31722/stat : 31722 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939561851232 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31723] ppid=31707 vsize=15486024 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 583 0 0 0 0 0 0 0 20 0 19 0 445715894 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31901] ppid=31707 vsize=15486024 memory=2116 CPUtime=7.7 cores=1,3,5,7
/proc/31709/task/31901/stat : 31901 (java) R 31707 31707 30406 0 -1 4202560 50 0 0 0 770 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939548658520 139939723430304 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31902] ppid=31707 vsize=15486024 memory=26016 CPUtime=7.5 cores=1,3,5,7
/proc/31709/task/31902/stat : 31902 (java) R 31707 31707 30406 0 -1 4202560 547 0 0 0 750 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939545509848 139939720591339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31903] ppid=31707 vsize=15486024 memory=14068 CPUtime=7.51 cores=1,3,5,7
/proc/31709/task/31903/stat : 31903 (java) R 31707 31707 30406 0 -1 4202560 326 0 0 0 751 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939549712552 139939723567536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31904] ppid=31707 vsize=15486024 memory=524 CPUtime=7.68 cores=1,3,5,7
/proc/31709/task/31904/stat : 31904 (java) R 31707 31707 30406 0 -1 4202560 168 0 0 0 768 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939551817592 139939723638037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 58.99 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 242824 KiB
[startup+15.4096 s]
/proc/loadavg: 8.79 4.57 2.71 9/237 31916
/proc/meminfo: memFree=30250000/32770624 swapFree=66953076/67108860
[pid=31707] ppid=31704 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31707/stat : 31707 (xcsp3-exec) S 31704 31707 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445715887 115843072 362 33554432000 4194304 5098028 140723113147552 140723113145656 139869492462204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30343168 140723113149307 140723113149549 140723113149549 140723113152458 0
/proc/31707/statm: 28282 362 304 221 0 87 0
[pid=31709] ppid=31707 vsize=15486024 memory=241376 CPUtime=59.81 cores=1,3,5,7
/proc/31709/stat : 31709 (java) S 31707 31707 30406 0 -1 1077944320 46121 0 0 0 5964 17 0 0 20 0 19 0 445715888 15857688576 60344 33554432000 4194304 4196468 140724097441248 140724097423792 139940101349111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
/proc/31709/statm: 3871506 60344 3519 1 0 3832606 0
[pid=31709/tid=31710] ppid=31707 vsize=15486024 memory=3520 CPUtime=0.79 cores=1,3,5,7
/proc/31709/task/31710/stat : 31710 (java) S 31707 31707 30406 0 -1 1077944384 9517 0 0 0 75 4 0 0 20 0 19 0 445715888 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940105589888 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31711] ppid=31707 vsize=15486024 memory=1976 CPUtime=0.02 cores=1,3,5,7
/proc/31709/task/31711/stat : 31711 (java) S 31707 31707 30406 0 -1 1077944384 1371 0 0 0 2 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940037585424 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31712] ppid=31707 vsize=15486024 memory=2512 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31712/stat : 31712 (java) S 31707 31707 30406 0 -1 1077944384 1161 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940036532880 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31713] ppid=31707 vsize=15486024 memory=808 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31713/stat : 31713 (java) S 31707 31707 30406 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139940035479824 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31714] ppid=31707 vsize=15486024 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31714/stat : 31714 (java) S 31707 31707 30406 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 445715889 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939690371472 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31715] ppid=31707 vsize=15486024 memory=1764 CPUtime=0.01 cores=1,3,5,7
/proc/31709/task/31715/stat : 31715 (java) S 31707 31707 30406 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 19 0 445715890 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939637123824 139940101360258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31716] ppid=31707 vsize=15486024 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31716/stat : 31716 (java) S 31707 31707 30406 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445715890 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939636070048 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31717] ppid=31707 vsize=15486024 memory=800 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31717/stat : 31717 (java) S 31707 31707 30406 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445715891 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939635016944 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31718] ppid=31707 vsize=15486024 memory=4112 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31718/stat : 31718 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939633965520 139940101367707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31719] ppid=31707 vsize=15486024 memory=1804 CPUtime=3.49 cores=1,3,5,7
/proc/31709/task/31719/stat : 31719 (java) S 31707 31707 30406 0 -1 1077944384 10851 0 0 0 347 2 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939632912624 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31720] ppid=31707 vsize=15486024 memory=916 CPUtime=3.35 cores=1,3,5,7
/proc/31709/task/31720/stat : 31720 (java) S 31707 31707 30406 0 -1 1077944384 9727 0 0 0 334 1 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939563956592 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31721] ppid=31707 vsize=15486024 memory=3804 CPUtime=0.91 cores=1,3,5,7
/proc/31709/task/31721/stat : 31721 (java) S 31707 31707 30406 0 -1 1077944384 6585 0 0 0 90 1 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939562903536 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31722] ppid=31707 vsize=15486024 memory=2712 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31722/stat : 31722 (java) S 31707 31707 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445715893 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939561851232 139940101359317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31723] ppid=31707 vsize=15486024 memory=2712 CPUtime=0 cores=1,3,5,7
/proc/31709/task/31723/stat : 31723 (java) S 31707 31707 30406 0 -1 1077944384 591 0 0 0 0 0 0 0 20 0 19 0 445715894 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939560799280 139940101360258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31901] ppid=31707 vsize=15486024 memory=1412 CPUtime=7.91 cores=1,3,5,7
/proc/31709/task/31901/stat : 31901 (java) R 31707 31707 30406 0 -1 4202560 50 0 0 0 791 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939548658520 139939723567608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31902] ppid=31707 vsize=15486024 memory=2804 CPUtime=7.7 cores=1,3,5,7
/proc/31709/task/31902/stat : 31902 (java) R 31707 31707 30406 0 -1 4202560 547 0 0 0 770 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939545509848 139939723285442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31903] ppid=31707 vsize=15486024 memory=1448 CPUtime=7.72 cores=1,3,5,7
/proc/31709/task/31903/stat : 31903 (java) R 31707 31707 30406 0 -1 4202560 326 0 0 0 772 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939549712552 139939722455244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
[pid=31709/tid=31904] ppid=31707 vsize=15486024 memory=235700 CPUtime=7.88 cores=1,3,5,7
/proc/31709/task/31904/stat : 31904 (java) R 31707 31707 30406 0 -1 4202560 168 0 0 0 788 0 0 0 20 0 19 0 445716632 15857688576 60344 33554432000 4194304 4196468 140724097441248 139939551817592 139939723640476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724097442799 140724097442970 140724097442970 140724097445839 0
Current children cumulated CPU time: 59.81 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 242824 KiB
Child status: 0
Real time (s): 15.436
CPU time (s): 59.8996
CPU user time (s): 59.7225
CPU system time (s): 0.177076
CPU usage (%): 388.051
Max. virtual memory (cumulated for all children) (KiB): 15600816
Max. memory (cumulated for all children) (KiB): 242964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.7225
system time used= 0.177076
maximum resident set size= 246616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47226
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= 3883
involuntary context switches= 2180
# summary of solver processes directly reported to runsolver:
# pid: 31707
# total CPU time (s): 59.8996
# total CPU user time (s): 59.7225
# total CPU system time (s): 0.177076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.138776 second user time and 0.199704 second system time
The end