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 (3817 MiB free)
memory of node 1: 16384 MiB (9130 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403910-1568993738/watcher-4403910-1568993738 -o /tmp/evaluation-result-4403910-1568993738/solver-4403910-1568993738 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568992882-17662 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1674884615 HOME/instance-4403910-1568993738.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18171, runsolver pid=18168
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 8.14 7.93 7.42 8/234 18187
/proc/meminfo: memFree=13241744/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
[pid=18173] ppid=18171 vsize=15144776 memory=28944 CPUtime=0.13 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18171 14371 0 -1 1077944320 5703 0 0 0 11 2 0 0 20 0 15 0 475626872 15508250624 7236 33554432000 4194304 4196468 140726993942640 140726993925184 140190678040311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
/proc/18173/statm: 3786194 7236 3141 1 0 3748377 0
[pid=18173/tid=18174] ppid=18171 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/18173/task/18174/stat : 18174 (java) R 18171 18171 14371 0 -1 4202560 3576 0 0 0 8 1 0 0 20 0 15 0 475626872 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190682269904 140190299587107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18175] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190630660624 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18176] ppid=18171 vsize=15144776 memory=140015497423912 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190629608080 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18177] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190628555024 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18178] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18171 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190627502480 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18179] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18171 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475626874 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190146349808 140190678051458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18180] ppid=18171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18171 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475626875 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190145296032 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18181] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18171 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475626875 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190144242928 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18182] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475626877 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190143191504 140190678058907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18183] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18171 14371 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 475626877 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190142138608 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18184] ppid=18171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18171 14371 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475626877 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190141086064 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18185] ppid=18171 vsize=15144776 memory=140015497406080 CPUtime=0.02 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) R 18171 18171 14371 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 475626878 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190140033008 140190678061658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18186] ppid=18171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475626878 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190138980704 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18187] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626878 15508250624 7236 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30392 KiB
[startup+0.210838 s]*
/proc/loadavg: 8.14 7.93 7.42 7/234 18187
/proc/meminfo: memFree=13228528/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
[pid=18173] ppid=18171 vsize=15144776 memory=41032 CPUtime=0.34 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18171 14371 0 -1 1077944320 9484 0 0 0 31 3 0 0 20 0 15 0 475626872 15508250624 10258 33554432000 4194304 4196468 140726993942640 140726993925184 140190678040311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
/proc/18173/statm: 3786194 10258 3313 1 0 3748377 0
[pid=18173/tid=18174] ppid=18171 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18173/task/18174/stat : 18174 (java) R 18171 18171 14371 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 15 0 475626872 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190682273040 140190662120798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18175] ppid=18171 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190630660624 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18176] ppid=18171 vsize=15144776 memory=288370391649117824 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190629608080 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18177] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190628555024 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18178] ppid=18171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18171 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475626873 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190627502480 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18179] ppid=18171 vsize=15144776 memory=140015497406080 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18171 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475626874 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190146349808 140190678051458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18180] ppid=18171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18171 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475626875 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190145296032 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18181] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18171 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475626875 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190144242928 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18182] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475626877 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190143191504 140190678058907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18183] ppid=18171 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18171 14371 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 15 0 475626877 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190142138608 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18184] ppid=18171 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18171 14371 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 15 0 475626877 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190141086064 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18185] ppid=18171 vsize=15144776 memory=140015497406080 CPUtime=0.08 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) R 18171 18171 14371 0 -1 4202560 715 0 0 0 8 0 0 0 20 0 15 0 475626878 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190140033008 140190662205554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18186] ppid=18171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475626878 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190138980704 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18187] ppid=18171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626878 15508250624 10258 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42480 KiB
[startup+0.315111 s]*
/proc/loadavg: 8.14 7.93 7.42 7/234 18187
/proc/meminfo: memFree=13220996/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
[pid=18173] ppid=18171 vsize=15149032 memory=50532 CPUtime=0.53 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18171 14371 0 -1 1077944320 10961 0 0 0 49 4 0 0 20 0 15 0 475626872 15512608768 12633 33554432000 4194304 4196468 140726993942640 140726993925184 140190678040311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
/proc/18173/statm: 3787258 12633 3357 1 0 3748377 0
[pid=18173/tid=18174] ppid=18171 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/18173/task/18174/stat : 18174 (java) R 18171 18171 14371 0 -1 4202560 7887 0 0 0 28 2 0 0 20 0 15 0 475626872 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190682271424 140190662120798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18175] ppid=18171 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190630660624 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18176] ppid=18171 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190629608080 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18177] ppid=18171 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626873 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190628555024 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18178] ppid=18171 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18171 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475626873 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190627502480 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18179] ppid=18171 vsize=15149032 memory=-7017622370433679519 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18171 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475626874 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190146349808 140190678051458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18180] ppid=18171 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18171 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475626875 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190145296032 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18181] ppid=18171 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18171 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475626875 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190144242928 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18182] ppid=18171 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475626877 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190143191504 140190678058907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18183] ppid=18171 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18171 14371 0 -1 1077944384 464 0 0 0 4 0 0 0 20 0 15 0 475626877 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190142138608 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18184] ppid=18171 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18171 14371 0 -1 1077944384 523 0 0 0 4 0 0 0 20 0 15 0 475626877 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190141086064 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18185] ppid=18171 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18171 14371 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 15 0 475626878 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190140033008 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18186] ppid=18171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475626878 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190138980704 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18187] ppid=18171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475626878 15512608768 12633 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51980 KiB
[startup+0.701028 s]
/proc/loadavg: 8.14 7.93 7.42 7/234 18187
/proc/meminfo: memFree=13204280/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
[pid=18173] ppid=18171 vsize=15417412 memory=91124 CPUtime=1.6 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18171 14371 0 -1 1077944320 15078 0 0 0 154 6 0 0 20 0 19 0 475626872 15787429888 22781 33554432000 4194304 4196468 140726993942640 140726993925184 140190678040311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
/proc/18173/statm: 3854353 22781 3452 1 0 3815453 0
[pid=18173/tid=18174] ppid=18171 vsize=15417412 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/18173/task/18174/stat : 18174 (java) S 18171 18171 14371 0 -1 1077944384 9244 0 0 0 56 3 0 0 20 0 19 0 475626872 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190682281088 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18175] ppid=18171 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475626873 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190630660624 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18176] ppid=18171 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475626873 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190629608080 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18177] ppid=18171 vsize=15417412 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475626873 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190628555024 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18178] ppid=18171 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18171 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475626873 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190627502480 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18179] ppid=18171 vsize=15417412 memory=676 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18171 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475626874 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190146349808 140190678051458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18180] ppid=18171 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18171 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475626875 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190145296032 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18181] ppid=18171 vsize=15417412 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18171 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475626875 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190144242928 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18182] ppid=18171 vsize=15417412 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626877 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190143191504 140190678058907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18183] ppid=18171 vsize=15417412 memory=1712 CPUtime=0.21 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) R 18171 18171 14371 0 -1 1077944384 1258 0 0 0 21 0 0 0 20 0 19 0 475626877 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190142138608 140190678051458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18184] ppid=18171 vsize=15417412 memory=1112 CPUtime=0.23 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) R 18171 18171 14371 0 -1 4202560 1173 0 0 0 23 0 0 0 20 0 19 0 475626877 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190141067080 140190661523867 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18185] ppid=18171 vsize=15417412 memory=1004 CPUtime=0.37 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) R 18171 18171 14371 0 -1 4202560 1880 0 0 0 37 0 0 0 20 0 19 0 475626878 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190140030800 140190656733718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18186] ppid=18171 vsize=15417412 memory=6064 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626878 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190138980704 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18187] ppid=18171 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475626878 15787429888 22781 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92572 KiB
[startup+1.50079 s]
/proc/loadavg: 8.14 7.93 7.42 10/238 18219
/proc/meminfo: memFree=13107544/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 463 0 0 0 0 4 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18252] ppid=18171 vsize=15487052 memory=916 CPUtime=226.42 cores=1,3,5,7
/proc/18173/task/18252/stat : 18252 (java) R 18171 18171 14371 0 -1 4202560 761 0 0 0 22642 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190128946480 140190304932443 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18253] ppid=18171 vsize=15487052 memory=12024 CPUtime=226.48 cores=1,3,5,7
/proc/18173/task/18253/stat : 18253 (java) R 18171 18171 14371 0 -1 4202560 1954 0 0 0 22648 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190121586608 140190304787970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18254] ppid=18171 vsize=15487052 memory=500 CPUtime=225.9 cores=1,3,5,7
/proc/18173/task/18254/stat : 18254 (java) R 18171 18171 14371 0 -1 4202560 1785 0 0 0 22590 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190127894312 140190304784591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18255] ppid=18171 vsize=15487052 memory=1560 CPUtime=226.57 cores=1,3,5,7
/proc/18173/task/18255/stat : 18255 (java) R 18171 18171 14371 0 -1 4202560 1460 0 0 0 22657 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190124739088 140190304068545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 922.98 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 312960 KiB
[startup+233.201 s]
/proc/loadavg: 8.17 8.16 7.64 9/237 18273
/proc/meminfo: memFree=12555760/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
[pid=18173] ppid=18171 vsize=15487052 memory=311512 CPUtime=924.53 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18171 14371 0 -1 1077944320 55300 0 0 0 92428 25 0 0 20 0 19 0 475626872 15858741248 77878 33554432000 4194304 4196468 140726993942640 140726993925184 140190678040311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
/proc/18173/statm: 3871763 77878 3517 1 0 3832863 0
[pid=18173/tid=18174] ppid=18171 vsize=15487052 memory=8257237230052613020 CPUtime=0.61 cores=1,3,5,7
/proc/18173/task/18174/stat : 18174 (java) S 18171 18171 14371 0 -1 1077944384 9359 0 0 0 57 4 0 0 20 0 19 0 475626872 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190682281088 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18175] ppid=18171 vsize=15487052 memory=8257237230052613020 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18171 14371 0 -1 1077944384 2071 0 0 0 28 4 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190630660624 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18176] ppid=18171 vsize=15487052 memory=6944656592455360569 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18171 14371 0 -1 1077944384 2218 0 0 0 28 4 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190629608080 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18177] ppid=18171 vsize=15487052 memory=4137290303932963203 CPUtime=0.31 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18171 14371 0 -1 1077944384 1532 0 0 0 29 2 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190628555024 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18178] ppid=18171 vsize=15487052 memory=-9001734013606258791 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18171 14371 0 -1 1077944384 1744 0 0 0 29 3 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190627502480 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18179] ppid=18171 vsize=15487052 memory=7681905605394137914 CPUtime=0.22 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18171 14371 0 -1 1077944384 2745 0 0 0 21 1 0 0 20 0 19 0 475626874 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190146349808 140190678051458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18180] ppid=18171 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18171 14371 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475626875 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190145296096 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18181] ppid=18171 vsize=15487052 memory=311512 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18171 14371 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475626875 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190144242944 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18182] ppid=18171 vsize=15487052 memory=309464 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190143191504 140190678058907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18183] ppid=18171 vsize=15487052 memory=1712 CPUtime=2.52 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18171 14371 0 -1 1077944384 9488 0 0 0 251 1 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190142138608 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18184] ppid=18171 vsize=15487052 memory=8317482817917895235 CPUtime=2.49 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18171 14371 0 -1 1077944384 10345 0 0 0 248 1 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190141086064 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18185] ppid=18171 vsize=15487052 memory=6791534058613427641 CPUtime=0.73 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18171 14371 0 -1 1077944384 5726 0 0 0 72 1 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190140033008 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18186] ppid=18171 vsize=15487052 memory=2732 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190138980704 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18187] ppid=18171 vsize=15487052 memory=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 463 0 0 0 0 4 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18252] ppid=18171 vsize=15487052 memory=4104 CPUtime=226.8 cores=1,3,5,7
/proc/18173/task/18252/stat : 18252 (java) R 18171 18171 14371 0 -1 4202560 761 0 0 0 22680 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190128946728 140190303923725 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18253] ppid=18171 vsize=15487052 memory=1412 CPUtime=226.87 cores=1,3,5,7
/proc/18173/task/18253/stat : 18253 (java) R 18171 18171 14371 0 -1 4202560 1955 0 0 0 22687 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190121586592 140190303923097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18254] ppid=18171 vsize=15487052 memory=3264 CPUtime=226.29 cores=1,3,5,7
/proc/18173/task/18254/stat : 18254 (java) R 18171 18171 14371 0 -1 4202560 1785 0 0 0 22629 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190127894872 140190305349441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18255] ppid=18171 vsize=15487052 memory=1452 CPUtime=226.96 cores=1,3,5,7
/proc/18173/task/18255/stat : 18255 (java) R 18171 18171 14371 0 -1 4202560 1461 0 0 0 22696 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190124739200 140190303923292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 924.53 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 312960 KiB
[startup+233.601 s]
/proc/loadavg: 8.17 8.16 7.64 9/237 18273
/proc/meminfo: memFree=12555760/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
[pid=18173] ppid=18171 vsize=15487052 memory=311512 CPUtime=926.13 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18171 14371 0 -1 1077944320 55302 0 0 0 92588 25 0 0 20 0 19 0 475626872 15858741248 77878 33554432000 4194304 4196468 140726993942640 140726993925184 140190678040311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
/proc/18173/statm: 3871763 77878 3517 1 0 3832863 0
[pid=18173/tid=18174] ppid=18171 vsize=15487052 memory=164 CPUtime=0.61 cores=1,3,5,7
/proc/18173/task/18174/stat : 18174 (java) S 18171 18171 14371 0 -1 1077944384 9359 0 0 0 57 4 0 0 20 0 19 0 475626872 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190682281088 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18175] ppid=18171 vsize=15487052 memory=7649399388626827313 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18171 14371 0 -1 1077944384 2071 0 0 0 28 4 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190630660624 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18176] ppid=18171 vsize=15487052 memory=1448 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18171 14371 0 -1 1077944384 2218 0 0 0 28 4 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190629608080 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18177] ppid=18171 vsize=15487052 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18171 14371 0 -1 1077944384 1532 0 0 0 29 2 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190628555024 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18178] ppid=18171 vsize=15487052 memory=55956 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18171 14371 0 -1 1077944384 1744 0 0 0 29 3 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190627502480 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18179] ppid=18171 vsize=15487052 memory=3028 CPUtime=0.22 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18171 14371 0 -1 1077944384 2745 0 0 0 21 1 0 0 20 0 19 0 475626874 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190146349808 140190678051458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18180] ppid=18171 vsize=15487052 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18171 14371 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475626875 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190145296096 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18181] ppid=18171 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18171 14371 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475626875 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190144242944 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18182] ppid=18171 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190143191504 140190678058907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18183] ppid=18171 vsize=15487052 memory=311512 CPUtime=2.52 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18171 14371 0 -1 1077944384 9488 0 0 0 251 1 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190142138608 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18184] ppid=18171 vsize=15487052 memory=776 CPUtime=2.49 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18171 14371 0 -1 1077944384 10345 0 0 0 248 1 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190141086064 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18185] ppid=18171 vsize=15487052 memory=1764 CPUtime=0.73 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18171 14371 0 -1 1077944384 5726 0 0 0 72 1 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190140033008 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18186] ppid=18171 vsize=15487052 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190138980704 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18187] ppid=18171 vsize=15487052 memory=796 CPUtime=0.04 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 463 0 0 0 0 4 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18252] ppid=18171 vsize=15487052 memory=1804 CPUtime=227.19 cores=1,3,5,7
/proc/18173/task/18252/stat : 18252 (java) R 18171 18171 14371 0 -1 4202560 761 0 0 0 22719 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190128946416 140190303922994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18253] ppid=18171 vsize=15487052 memory=916 CPUtime=227.27 cores=1,3,5,7
/proc/18173/task/18253/stat : 18253 (java) R 18171 18171 14371 0 -1 4202560 1956 0 0 0 22727 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190121589728 140190303922863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18254] ppid=18171 vsize=15487052 memory=6791534058613427641 CPUtime=226.69 cores=1,3,5,7
/proc/18173/task/18254/stat : 18254 (java) R 18171 18171 14371 0 -1 4202560 1785 0 0 0 22669 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190127894936 140190304932423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18255] ppid=18171 vsize=15487052 memory=1980 CPUtime=227.36 cores=1,3,5,7
/proc/18173/task/18255/stat : 18255 (java) R 18171 18171 14371 0 -1 4202560 1462 0 0 0 22736 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190124736736 140190304732652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 926.13 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 312960 KiB
[startup+233.701 s]
/proc/loadavg: 8.17 8.16 7.64 9/237 18273
/proc/meminfo: memFree=12555760/32770624 swapFree=66999216/67108860
[pid=18171] ppid=18168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (xcsp3-exec) S 18168 18171 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475626872 115843072 362 33554432000 4194304 5098028 140729650781776 140729650779880 140524609503868 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21069824 140729650783098 140729650783341 140729650783341 140729650786250 0
/proc/18171/statm: 28282 362 304 221 0 87 0
[pid=18173] ppid=18171 vsize=15487052 memory=311512 CPUtime=926.53 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18171 14371 0 -1 1077944320 55302 0 0 0 92628 25 0 0 20 0 19 0 475626872 15858741248 77878 33554432000 4194304 4196468 140726993942640 140726993925184 140190678040311 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
/proc/18173/statm: 3871763 77878 3517 1 0 3832863 0
[pid=18173/tid=18174] ppid=18171 vsize=15487052 memory=1448 CPUtime=0.61 cores=1,3,5,7
/proc/18173/task/18174/stat : 18174 (java) S 18171 18171 14371 0 -1 1077944384 9359 0 0 0 57 4 0 0 20 0 19 0 475626872 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190682281088 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18175] ppid=18171 vsize=15487052 memory=307320 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18171 14371 0 -1 1077944384 2071 0 0 0 28 4 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190630660624 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18176] ppid=18171 vsize=15487052 memory=299128 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18171 14371 0 -1 1077944384 2218 0 0 0 28 4 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190629608080 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18177] ppid=18171 vsize=15487052 memory=311512 CPUtime=0.31 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18171 14371 0 -1 1077944384 1532 0 0 0 29 2 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190628555024 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18178] ppid=18171 vsize=15487052 memory=1448 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18171 14371 0 -1 1077944384 1744 0 0 0 29 3 0 0 20 0 19 0 475626873 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190627502480 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18179] ppid=18171 vsize=15487052 memory=32 CPUtime=0.22 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18171 14371 0 -1 1077944384 2745 0 0 0 21 1 0 0 20 0 19 0 475626874 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190146349808 140190678051458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18180] ppid=18171 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18171 14371 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475626875 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190145296096 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18181] ppid=18171 vsize=15487052 memory=311512 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18171 14371 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475626875 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190144242944 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18182] ppid=18171 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190143191504 140190678058907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18183] ppid=18171 vsize=15487052 memory=311512 CPUtime=2.52 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18171 14371 0 -1 1077944384 9488 0 0 0 251 1 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190142138608 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18184] ppid=18171 vsize=15487052 memory=1448 CPUtime=2.49 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18171 14371 0 -1 1077944384 10345 0 0 0 248 1 0 0 20 0 19 0 475626877 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190141086064 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18185] ppid=18171 vsize=15487052 memory=311512 CPUtime=0.73 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18171 14371 0 -1 1077944384 5726 0 0 0 72 1 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190140033008 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18186] ppid=18171 vsize=15487052 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18171 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190138980704 140190678050517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18187] ppid=18171 vsize=15487052 memory=311512 CPUtime=0.04 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18171 14371 0 -1 1077944384 463 0 0 0 0 4 0 0 20 0 19 0 475626878 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190137928752 140190678051458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18252] ppid=18171 vsize=15487052 memory=6656426216303648864 CPUtime=227.29 cores=1,3,5,7
/proc/18173/task/18252/stat : 18252 (java) R 18171 18171 14371 0 -1 4202560 761 0 0 0 22729 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190128946416 140190304785852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18253] ppid=18171 vsize=15487052 memory=1448 CPUtime=227.36 cores=1,3,5,7
/proc/18173/task/18253/stat : 18253 (java) R 18171 18171 14371 0 -1 4202560 1956 0 0 0 22736 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190121589728 140190305539690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18254] ppid=18171 vsize=15487052 memory=311512 CPUtime=226.79 cores=1,3,5,7
/proc/18173/task/18254/stat : 18254 (java) R 18171 18171 14371 0 -1 4202560 1785 0 0 0 22679 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190127894936 140190305234236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
[pid=18173/tid=18255] ppid=18171 vsize=15487052 memory=1588 CPUtime=227.46 cores=1,3,5,7
/proc/18173/task/18255/stat : 18255 (java) R 18171 18171 14371 0 -1 4202560 1462 0 0 0 22746 0 0 0 20 0 19 0 475627308 15858741248 77878 33554432000 4194304 4196468 140726993942640 140190124736736 140190304784666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15818752 140726993949679 140726993949850 140726993949850 140726993952719 0
Current children cumulated CPU time: 926.53 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 312960 KiB
Child status: 0
Real time (s): 233.743
CPU time (s): 926.68
CPU user time (s): 926.411
CPU system time (s): 0.269095
CPU usage (%): 396.453
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 312960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 926.411
system time used= 0.269095
maximum resident set size= 311668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16107
involuntary context switches= 23151
# summary of solver processes directly reported to runsolver:
# pid: 18171
# total CPU time (s): 926.68
# total CPU user time (s): 926.411
# total CPU system time (s): 0.269095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41766 second user time and 2.81196 second system time
The end