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 (15230 MiB free)
memory of node 1: 16384 MiB (11431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399185-1568700105/watcher-4399185-1568700105 -o /tmp/evaluation-result-4399185-1568700105/solver-4399185-1568700105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568699927-7005 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1465903663 HOME/instance-4399185-1568700105.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10160, runsolver pid=10157
Current StackSize limit: 8192 KiB
[startup+0.101679 s]*
/proc/loadavg: 5.85 2.89 2.52 7/233 10176
/proc/meminfo: memFree=27287948/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
[pid=10162] ppid=10160 vsize=15144776 memory=27464 CPUtime=0.14 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10160 6974 0 -1 1077944320 5824 0 0 0 12 2 0 0 20 0 15 0 446263561 15508250624 6866 33554432000 4194304 4196468 140724928942080 140724928924624 140382982545143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
/proc/10162/statm: 3786194 6866 3181 1 0 3748377 0
[pid=10162/tid=10163] ppid=10160 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10160 6974 0 -1 4202560 3639 0 0 0 8 1 0 0 20 0 15 0 446263562 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382986776288 140382982557078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10164] ppid=10160 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10164/stat : 10164 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382575397776 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10165] ppid=10160 vsize=15144776 memory=140377189443200 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10165/stat : 10165 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382574344976 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10166] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382573292688 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10167] ppid=10160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10160 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382572239888 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10168] ppid=10160 vsize=15144776 memory=140377189443200 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10168/stat : 10168 (java) S 10160 10160 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263564 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382450514032 140382982556290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10169] ppid=10160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10160 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263564 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382449460000 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10170] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10160 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263564 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382448407664 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10171] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382447355984 140382982563739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10172] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10172/stat : 10172 (java) S 10160 10160 6974 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382446303856 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10173] ppid=10160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) R 10160 10160 6974 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382445251056 140382982556290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10174] ppid=10160 vsize=15144776 memory=140377189443200 CPUtime=0.02 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) R 10160 10160 6974 0 -1 4202560 413 0 0 0 2 0 0 0 20 0 15 0 446263567 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382444198768 140382966625630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10175] ppid=10160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10175/stat : 10175 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382443146208 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10176] ppid=10160 vsize=15144776 memory=140377189443200 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 6866 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28912 KiB
[startup+0.210657 s]*
/proc/loadavg: 5.85 2.89 2.52 6/233 10176
/proc/meminfo: memFree=27274288/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
[pid=10162] ppid=10160 vsize=15144776 memory=39324 CPUtime=0.34 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10160 6974 0 -1 1077944320 9575 0 0 0 31 3 0 0 20 0 15 0 446263561 15508250624 9831 33554432000 4194304 4196468 140724928942080 140724928924624 140382982545143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
/proc/10162/statm: 3786194 9831 3304 1 0 3748377 0
[pid=10162/tid=10163] ppid=10160 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10160 6974 0 -1 4202560 6656 0 0 0 17 3 0 0 20 0 15 0 446263562 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382986778848 140382982557078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10164] ppid=10160 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10164/stat : 10164 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382575397776 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10165] ppid=10160 vsize=15144776 memory=140377189465007 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10165/stat : 10165 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382574344976 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10166] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382573292688 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10167] ppid=10160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10160 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263562 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382572239888 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10168] ppid=10160 vsize=15144776 memory=140377189443200 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10168/stat : 10168 (java) S 10160 10160 6974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263564 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382450514032 140382982556290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10169] ppid=10160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10160 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263564 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382449460000 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10170] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10160 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263564 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382448407664 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10171] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382447355984 140382982563739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10172] ppid=10160 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10162/task/10172/stat : 10172 (java) S 10160 10160 6974 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 446263567 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382446303856 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10173] ppid=10160 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10160 6974 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 446263567 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382445251056 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10174] ppid=10160 vsize=15144776 memory=140377189443200 CPUtime=0.08 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) R 10160 10160 6974 0 -1 4202560 961 0 0 0 8 0 0 0 20 0 15 0 446263567 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382444198768 140382960913768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10175] ppid=10160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10175/stat : 10175 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382443146208 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10176] ppid=10160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263567 15508250624 9831 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40772 KiB
[startup+0.31116 s]*
/proc/loadavg: 5.85 2.89 2.52 8/233 10176
/proc/meminfo: memFree=27269672/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
[pid=10162] ppid=10160 vsize=15149032 memory=49128 CPUtime=0.53 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10160 6974 0 -1 1077944320 11128 0 0 0 49 4 0 0 20 0 15 0 446263561 15512608768 12282 33554432000 4194304 4196468 140724928942080 140724928924624 140382982545143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
/proc/10162/statm: 3787258 12282 3372 1 0 3748377 0
[pid=10162/tid=10163] ppid=10160 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) R 10160 10160 6974 0 -1 4202560 7790 0 0 0 26 3 0 0 20 0 15 0 446263562 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382986776488 140382967725473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10164] ppid=10160 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10164/stat : 10164 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382575397776 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10165] ppid=10160 vsize=15149032 memory=3978139928902248657 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10165/stat : 10165 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382574344976 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10166] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263562 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382573292688 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10167] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10160 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263562 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382572239888 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10168] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10168/stat : 10168 (java) S 10160 10160 6974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263564 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382450514032 140382982556290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10169] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10160 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263564 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382449460000 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10170] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10160 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263564 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382448407664 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10171] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263567 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382447355984 140382982563739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10172] ppid=10160 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10162/task/10172/stat : 10172 (java) R 10160 10160 6974 0 -1 4202560 582 0 0 0 5 0 0 0 20 0 15 0 446263567 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382446294240 140382960394209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10173] ppid=10160 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) R 10160 10160 6974 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 446263567 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382445251056 140382982556290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10174] ppid=10160 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10160 6974 0 -1 1077944384 1205 0 0 0 13 0 0 0 20 0 15 0 446263567 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382444198768 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10175] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10175/stat : 10175 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263567 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382443146208 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10176] ppid=10160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263567 15512608768 12308 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50576 KiB
[startup+0.706813 s]
/proc/loadavg: 5.85 2.89 2.52 7/233 10176
/proc/meminfo: memFree=27250104/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
[pid=10162] ppid=10160 vsize=15417412 memory=84464 CPUtime=1.6 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10160 6974 0 -1 1077944320 15502 0 0 0 154 6 0 0 20 0 19 0 446263561 15787429888 21116 33554432000 4194304 4196468 140724928942080 140724928924624 140382982545143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
/proc/10162/statm: 3854353 21116 3455 1 0 3815453 0
[pid=10162/tid=10163] ppid=10160 vsize=15417412 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) S 10160 10160 6974 0 -1 1077944384 9285 0 0 0 55 4 0 0 20 0 19 0 446263562 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382986785920 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10164] ppid=10160 vsize=15417412 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10164/stat : 10164 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446263562 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382575397776 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10165] ppid=10160 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10165/stat : 10165 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446263562 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382574344976 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10166] ppid=10160 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446263562 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382573292688 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10167] ppid=10160 vsize=15417412 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10160 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446263562 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382572239888 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10168] ppid=10160 vsize=15417412 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10168/stat : 10168 (java) S 10160 10160 6974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446263564 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382450514032 140382982556290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10169] ppid=10160 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10160 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446263564 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382449460000 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10170] ppid=10160 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10160 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446263564 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382448407664 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10171] ppid=10160 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382447355984 140382982563739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10172] ppid=10160 vsize=15417412 memory=1764 CPUtime=0.24 cores=0,2,4,6
/proc/10162/task/10172/stat : 10172 (java) R 10160 10160 6974 0 -1 4202560 1240 0 0 0 24 0 0 0 20 0 19 0 446263567 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382446295312 140382966031102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10173] ppid=10160 vsize=15417412 memory=111628 CPUtime=0.22 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) R 10160 10160 6974 0 -1 4202560 1114 0 0 0 22 0 0 0 20 0 19 0 446263567 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382445231464 140382966941599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10174] ppid=10160 vsize=15417412 memory=796 CPUtime=0.36 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) R 10160 10160 6974 0 -1 1077944384 2347 0 0 0 36 0 0 0 20 0 19 0 446263567 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382444198768 140382982556290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10175] ppid=10160 vsize=15417412 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10175/stat : 10175 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382443146208 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10176] ppid=10160 vsize=15417412 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446263567 15787429888 21116 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 85912 KiB
[startup+1.50075 s]
/proc/loadavg: 5.85 2.89 2.52 9/237 10212
/proc/meminfo: memFree=27149964/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 52554 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10217] ppid=10160 vsize=15487052 memory=208148 CPUtime=3.47 cores=0,2,4,6
/proc/10162/task/10217/stat : 10217 (java) R 10160 10160 6974 0 -1 4202560 177 0 0 0 347 0 0 0 20 0 19 0 446263821 15858741248 52554 33554432000 4194304 4196468 140724928942080 140382433110368 140382626586806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10218] ppid=10160 vsize=15487052 memory=3504 CPUtime=2.72 cores=0,2,4,6
/proc/10162/task/10218/stat : 10218 (java) R 10160 10160 6974 0 -1 4202560 311 0 0 0 272 0 0 0 20 0 19 0 446263821 15858741248 52554 33554432000 4194304 4196468 140724928942080 140382428901848 140382624796653 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10219] ppid=10160 vsize=15487052 memory=48408 CPUtime=3.15 cores=0,2,4,6
/proc/10162/task/10219/stat : 10219 (java) R 10160 10160 6974 0 -1 4202560 372 0 0 0 314 1 0 0 20 0 19 0 446263821 15858741248 52554 33554432000 4194304 4196468 140724928942080 140382429954488 140382626588102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10220] ppid=10160 vsize=15487052 memory=3028 CPUtime=3.6 cores=0,2,4,6
/proc/10162/task/10220/stat : 10220 (java) R 10160 10160 6974 0 -1 4202560 136 0 0 0 360 0 0 0 20 0 19 0 446263821 15858741248 52554 33554432000 4194304 4196468 140724928942080 140382432060424 140382624549902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 23.7 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 211664 KiB
[startup+7.20503 s]
/proc/loadavg: 6.40 3.11 2.59 9/237 10225
/proc/meminfo: memFree=27107652/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
[pid=10162] ppid=10160 vsize=15487052 memory=214496 CPUtime=26.9 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10160 6974 0 -1 1077944320 30789 0 0 0 2677 13 0 0 20 0 19 0 446263561 15858741248 53624 33554432000 4194304 4196468 140724928942080 140724928924624 140382982545143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
/proc/10162/statm: 3871763 53624 3514 1 0 3832863 0
[pid=10162/tid=10163] ppid=10160 vsize=15487052 memory=214496 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) S 10160 10160 6974 0 -1 1077944384 9290 0 0 0 55 4 0 0 20 0 19 0 446263562 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382986785920 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10164] ppid=10160 vsize=15487052 memory=776 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10164/stat : 10164 (java) S 10160 10160 6974 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382575397776 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10165] ppid=10160 vsize=15487052 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10165/stat : 10165 (java) S 10160 10160 6974 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382574344976 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10166] ppid=10160 vsize=15487052 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10160 6974 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382573292688 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10167] ppid=10160 vsize=15487052 memory=676 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10160 6974 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382572239888 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10168] ppid=10160 vsize=15487052 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10168/stat : 10168 (java) S 10160 10160 6974 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382450514032 140382982556290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10169] ppid=10160 vsize=15487052 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10160 6974 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382449460064 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10170] ppid=10160 vsize=15487052 memory=48408 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10160 6974 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382448407680 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10171] ppid=10160 vsize=15487052 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382447355984 140382982563739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10172] ppid=10160 vsize=15487052 memory=2012 CPUtime=2.16 cores=0,2,4,6
/proc/10162/task/10172/stat : 10172 (java) S 10160 10160 6974 0 -1 1077944384 5539 0 0 0 215 1 0 0 20 0 19 0 446263567 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382446303856 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10173] ppid=10160 vsize=15487052 memory=0 CPUtime=2.13 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10160 6974 0 -1 1077944384 7344 0 0 0 213 0 0 0 20 0 19 0 446263567 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382445251056 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10174] ppid=10160 vsize=15487052 memory=3332881 CPUtime=0.66 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10160 6974 0 -1 1077944384 3602 0 0 0 65 1 0 0 20 0 19 0 446263567 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382444198768 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10175] ppid=10160 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10175/stat : 10175 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382443146208 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10176] ppid=10160 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10217] ppid=10160 vsize=15487052 memory=0 CPUtime=4.27 cores=0,2,4,6
/proc/10162/task/10217/stat : 10217 (java) R 10160 10160 6974 0 -1 4202560 177 0 0 0 427 0 0 0 20 0 19 0 446263821 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382433111176 140382625715541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10218] ppid=10160 vsize=15487052 memory=0 CPUtime=3.51 cores=0,2,4,6
/proc/10162/task/10218/stat : 10218 (java) R 10160 10160 6974 0 -1 4202560 315 0 0 0 351 0 0 0 20 0 19 0 446263821 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382428901048 140382624549917 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10219] ppid=10160 vsize=15487052 memory=0 CPUtime=3.95 cores=0,2,4,6
/proc/10162/task/10219/stat : 10219 (java) R 10160 10160 6974 0 -1 4202560 373 0 0 0 394 1 0 0 20 0 19 0 446263821 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382429956168 140382626586221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10220] ppid=10160 vsize=15487052 memory=0 CPUtime=4.38 cores=0,2,4,6
/proc/10162/task/10220/stat : 10220 (java) R 10160 10160 6974 0 -1 4202560 136 0 0 0 438 0 0 0 20 0 19 0 446263821 15858741248 53624 33554432000 4194304 4196468 140724928942080 140382432059040 140382626588360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 26.9 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 215944 KiB
[startup+8.00102 s]*
/proc/loadavg: 6.40 3.11 2.59 9/237 10225
/proc/meminfo: memFree=27107652/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
[pid=10162] ppid=10160 vsize=15487052 memory=214612 CPUtime=30.1 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10160 6974 0 -1 1077944320 31592 0 0 0 2997 13 0 0 20 0 19 0 446263561 15858741248 53653 33554432000 4194304 4196468 140724928942080 140724928924624 140382982545143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
/proc/10162/statm: 3871763 53653 3514 1 0 3832863 0
[pid=10162/tid=10163] ppid=10160 vsize=15487052 memory=-7828588039587136857 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) S 10160 10160 6974 0 -1 1077944384 9290 0 0 0 55 4 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382986785920 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10164] ppid=10160 vsize=15487052 memory=8319083140700905521 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10164/stat : 10164 (java) S 10160 10160 6974 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382575397776 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10165] ppid=10160 vsize=15487052 memory=140377189445089 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10165/stat : 10165 (java) S 10160 10160 6974 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382574344976 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10166] ppid=10160 vsize=15487052 memory=7734744765792084309 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10160 6974 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382573292688 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10167] ppid=10160 vsize=15487052 memory=3835149571323277363 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10160 6974 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382572239888 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10168] ppid=10160 vsize=15487052 memory=140377189443200 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10168/stat : 10168 (java) S 10160 10160 6974 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382450514032 140382982556290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10169] ppid=10160 vsize=15487052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10160 6974 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382449460064 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10170] ppid=10160 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10160 6974 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382448407680 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10171] ppid=10160 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382447355984 140382982563739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10172] ppid=10160 vsize=15487052 memory=0 CPUtime=2.17 cores=0,2,4,6
/proc/10162/task/10172/stat : 10172 (java) S 10160 10160 6974 0 -1 1077944384 5633 0 0 0 216 1 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382446303856 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10173] ppid=10160 vsize=15487052 memory=0 CPUtime=2.24 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10160 6974 0 -1 1077944384 8027 0 0 0 223 1 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382445251056 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10174] ppid=10160 vsize=15487052 memory=7878495878512652343 CPUtime=0.66 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10160 6974 0 -1 1077944384 3608 0 0 0 65 1 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382444198768 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10175] ppid=10160 vsize=15487052 memory=734139722786418735 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10175/stat : 10175 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382443146208 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10176] ppid=10160 vsize=15487052 memory=3472468673417123504 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10217] ppid=10160 vsize=15487052 memory=8097827316026060847 CPUtime=5.06 cores=0,2,4,6
/proc/10162/task/10217/stat : 10217 (java) R 10160 10160 6974 0 -1 4202560 178 0 0 0 506 0 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382433110616 140382624524700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10218] ppid=10160 vsize=15487052 memory=8029051778353222629 CPUtime=4.3 cores=0,2,4,6
/proc/10162/task/10218/stat : 10218 (java) R 10160 10160 6974 0 -1 4202560 326 0 0 0 430 0 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382428902056 140382628094597 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10219] ppid=10160 vsize=15487052 memory=3472328279047811119 CPUtime=4.73 cores=0,2,4,6
/proc/10162/task/10219/stat : 10219 (java) R 10160 10160 6974 0 -1 4202560 378 0 0 0 472 1 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382429954104 140382624549467 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10220] ppid=10160 vsize=15487052 memory=-9174445032661854264 CPUtime=5.11 cores=0,2,4,6
/proc/10162/task/10220/stat : 10220 (java) R 10160 10160 6974 0 -1 4202560 139 0 0 0 511 0 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382432060312 140382626125606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 30.1 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 216060 KiB
[startup+8.20602 s]
/proc/loadavg: 6.40 3.11 2.59 9/237 10225
/proc/meminfo: memFree=27107652/32770624 swapFree=66997372/67108860
[pid=10160] ppid=10157 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10160/stat : 10160 (xcsp3-exec) S 10157 10160 6974 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446263561 115843072 362 33554432000 4194304 5098028 140720648420064 140720648418168 140326461215356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38932480 140720648422266 140720648422509 140720648422509 140720648425418 0
/proc/10160/statm: 28282 362 304 221 0 87 0
[pid=10162] ppid=10160 vsize=15487052 memory=214612 CPUtime=30.88 cores=0,2,4,6
/proc/10162/stat : 10162 (java) S 10160 10160 6974 0 -1 1077944320 31592 0 0 0 3075 13 0 0 20 0 19 0 446263561 15858741248 53653 33554432000 4194304 4196468 140724928942080 140724928924624 140382982545143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
/proc/10162/statm: 3871763 53653 3514 1 0 3832863 0
[pid=10162/tid=10163] ppid=10160 vsize=15487052 memory=7957689449132282197 CPUtime=0.59 cores=0,2,4,6
/proc/10162/task/10163/stat : 10163 (java) S 10160 10160 6974 0 -1 1077944384 9290 0 0 0 55 4 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382986785920 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10164] ppid=10160 vsize=15487052 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10164/stat : 10164 (java) S 10160 10160 6974 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382575397776 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10165] ppid=10160 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10165/stat : 10165 (java) S 10160 10160 6974 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382574344976 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10166] ppid=10160 vsize=15487052 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10166/stat : 10166 (java) S 10160 10160 6974 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382573292688 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10167] ppid=10160 vsize=15487052 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10167/stat : 10167 (java) S 10160 10160 6974 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 446263562 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382572239888 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10168] ppid=10160 vsize=15487052 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10168/stat : 10168 (java) S 10160 10160 6974 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382450514032 140382982556290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10169] ppid=10160 vsize=15487052 memory=-7161732098442470212 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10169/stat : 10169 (java) S 10160 10160 6974 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382449460064 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10170] ppid=10160 vsize=15487052 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10170/stat : 10170 (java) S 10160 10160 6974 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 446263564 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382448407680 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10171] ppid=10160 vsize=15487052 memory=61828 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10171/stat : 10171 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382447355984 140382982563739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10172] ppid=10160 vsize=15487052 memory=0 CPUtime=2.17 cores=0,2,4,6
/proc/10162/task/10172/stat : 10172 (java) S 10160 10160 6974 0 -1 1077944384 5633 0 0 0 216 1 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382446303856 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10173] ppid=10160 vsize=15487052 memory=7649399371430178865 CPUtime=2.24 cores=0,2,4,6
/proc/10162/task/10173/stat : 10173 (java) S 10160 10160 6974 0 -1 1077944384 8027 0 0 0 223 1 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382445251056 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10174] ppid=10160 vsize=15487052 memory=5787495400907755600 CPUtime=0.66 cores=0,2,4,6
/proc/10162/task/10174/stat : 10174 (java) S 10160 10160 6974 0 -1 1077944384 3608 0 0 0 65 1 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382444198768 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10175] ppid=10160 vsize=15487052 memory=7666935715084976236 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10175/stat : 10175 (java) S 10160 10160 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382443146208 140382982555349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10176] ppid=10160 vsize=15487052 memory=8026650869813564775 CPUtime=0 cores=0,2,4,6
/proc/10162/task/10176/stat : 10176 (java) S 10160 10160 6974 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 446263567 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382442092976 140382982556290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10217] ppid=10160 vsize=15487052 memory=5939241182904479081 CPUtime=5.26 cores=0,2,4,6
/proc/10162/task/10217/stat : 10217 (java) R 10160 10160 6974 0 -1 4202560 178 0 0 0 526 0 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382433110616 140382626005803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10218] ppid=10160 vsize=15487052 memory=140377189442209 CPUtime=4.5 cores=0,2,4,6
/proc/10162/task/10218/stat : 10218 (java) R 10160 10160 6974 0 -1 4202560 326 0 0 0 450 0 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382428902056 140382627634897 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10219] ppid=10160 vsize=15487052 memory=0 CPUtime=4.93 cores=0,2,4,6
/proc/10162/task/10219/stat : 10219 (java) R 10160 10160 6974 0 -1 4202560 378 0 0 0 492 1 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382429954104 140382626099136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
[pid=10162/tid=10220] ppid=10160 vsize=15487052 memory=0 CPUtime=5.3 cores=0,2,4,6
/proc/10162/task/10220/stat : 10220 (java) R 10160 10160 6974 0 -1 4202560 139 0 0 0 530 0 0 0 20 0 19 0 446263821 15858741248 53653 33554432000 4194304 4196468 140724928942080 140382432060312 140382626126013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140724928947183 140724928947354 140724928947354 140724928950223 0
Current children cumulated CPU time: 30.88 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 216060 KiB
Child status: 0
Real time (s): 8.24023
CPU time (s): 31.0004
CPU user time (s): 30.8596
CPU system time (s): 0.140847
CPU usage (%): 376.208
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 216060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.8596
system time used= 0.140847
maximum resident set size= 214784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32602
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= 2965
involuntary context switches= 1114
# summary of solver processes directly reported to runsolver:
# pid: 10160
# total CPU time (s): 31.0004
# total CPU user time (s): 30.8596
# total CPU system time (s): 0.140847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076442 second user time and 0.130554 second system time
The end