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 (13313 MiB free)
memory of node 1: 16384 MiB (13566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269900-1502868347/watcher-4269900-1502868347 -o /tmp/evaluation-result-4269900-1502868347/solver-4269900-1502868347 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502838668-25114 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1129793220 HOME/instance-4269900-1502868347.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=30233, runsolver pid=30230
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.92 1.98 1.98 4/217 30249
/proc/meminfo: memFree=27508892/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13978596 memory=28160 CPUtime=0.11 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 5407 0 0 0 11 0 0 0 20 0 15 0 119915497 14314082304 7040 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3494649 7040 2862 1 0 3482966 0
[pid=30235/tid=30236] ppid=30233 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 4202560 3415 0 0 0 9 0 0 0 20 0 15 0 119915498 14314082304 7105 33554432000 4194304 4196468 140725885802384 139756198889264 139756194667926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13978596 memory=139790954833536 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915499 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13978596 memory=139790954833536 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915500 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119915500 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119915501 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) S 30233 30233 25083 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 119915503 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755664669168 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755663616624 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13978596 memory=139790954833536 CPUtime=0.01 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) R 30233 30233 25083 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 119915503 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755662564080 139756175893552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13978596 memory=139790954833536 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915503 14314082304 7105 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29544 KiB
[startup+0.210538 s]*
/proc/loadavg: 1.92 1.98 1.98 3/217 30249
/proc/meminfo: memFree=27497424/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13982852 memory=40704 CPUtime=0.34 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 8196 0 0 0 32 2 0 0 20 0 15 0 119915497 14318440448 10176 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3495713 10176 3067 1 0 3482966 0
[pid=30235/tid=30236] ppid=30233 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 1077944384 5292 0 0 0 19 1 0 0 20 0 15 0 119915498 14318440448 10176 33554432000 4194304 4196468 140725885802384 139756198877840 139756187335213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13982852 memory=8911 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 10176 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13982852 memory=288370167106545280 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 10176 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 10176 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 10176 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13982852 memory=139790954833536 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915500 14318440448 10176 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119915500 14318440448 10176 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119915501 14318473216 10176 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14318473216 10176 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) S 30233 30233 25083 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 15 0 119915503 14318440448 10198 33554432000 4194304 4196468 140725885802384 139755664669168 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) S 30233 30233 25083 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 15 0 119915503 14318440448 10198 33554432000 4194304 4196468 140725885802384 139755663616624 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13982852 memory=139790954833536 CPUtime=0.08 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) R 30233 30233 25083 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 15 0 119915503 14318440448 10198 33554432000 4194304 4196468 140725885802384 139755662562040 139756173923459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14318440448 10198 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915503 14318440448 10198 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42088 KiB
[startup+0.315081 s]*
/proc/loadavg: 1.92 1.98 1.98 6/217 30249
/proc/meminfo: memFree=27489856/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13982852 memory=47884 CPUtime=0.51 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 9175 0 0 0 49 2 0 0 20 0 15 0 119915497 14318440448 11971 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3495713 11971 3126 1 0 3482966 0
[pid=30235/tid=30236] ppid=30233 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 4202560 5962 0 0 0 28 1 0 0 20 0 15 0 119915498 14318440448 11971 33554432000 4194304 4196468 140725885802384 139756198880336 139756178736478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915500 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119915500 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119915501 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) R 30233 30233 25083 0 -1 4202560 650 0 0 0 4 0 0 0 20 0 15 0 119915503 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755664669168 139756179553488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) R 30233 30233 25083 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 15 0 119915503 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755663616720 139756194666197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) R 30233 30233 25083 0 -1 4202560 872 0 0 0 13 0 0 0 20 0 15 0 119915503 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755662561016 139756172801256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915503 14318440448 11971 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49268 KiB
[startup+0.701227 s]
/proc/loadavg: 1.92 1.98 1.98 5/217 30249
/proc/meminfo: memFree=27466716/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13984976 memory=82816 CPUtime=1.7 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 12355 0 0 0 166 4 0 0 20 0 15 0 119915497 14320615424 20704 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3496244 20704 3209 1 0 3483478 0
[pid=30235/tid=30236] ppid=30233 vsize=13984976 memory=33 CPUtime=0.65 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 4202560 6666 0 0 0 63 2 0 0 20 0 15 0 119915498 14320615424 20704 33554432000 4194304 4196468 140725885802384 139756198892912 139755836459755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13984976 memory=33672 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 119915500 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119915500 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119915501 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13984976 memory=5792 CPUtime=0.35 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) R 30233 30233 25083 0 -1 4202560 1700 0 0 0 35 0 0 0 20 0 15 0 119915503 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755664660816 139756178681228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13984976 memory=796 CPUtime=0.32 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) R 30233 30233 25083 0 -1 4202560 1096 0 0 0 32 0 0 0 20 0 15 0 119915503 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755663602816 139756178142219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13984976 memory=1436 CPUtime=0.34 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) R 30233 30233 25083 0 -1 1077944384 1583 0 0 0 34 0 0 0 20 0 15 0 119915503 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755662560032 139756194666197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13984976 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 20704 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 84200 KiB
[startup+1.50083 s]
/proc/loadavg: 1.92 1.98 1.98 5/217 30249
/proc/meminfo: memFree=27447052/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13984976 memory=223500 CPUtime=2361.94 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 55837 0 0 0 236157 37 0 0 20 0 15 0 119915497 14320615424 55875 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3496244 55875 3264 1 0 3483478 0
[pid=30235/tid=30236] ppid=30233 vsize=13984976 memory=1384 CPUtime=2356.86 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 4202560 14579 0 0 0 235682 4 0 0 20 0 15 0 119915498 14320615424 55875 33554432000 4194304 4196468 140725885802384 139756198894728 139755836602510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13984976 memory=223500 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13984976 memory=164 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13984976 memory=4282549671104693297 CPUtime=0.02 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 710 0 0 0 1 1 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13984976 memory=7085412811329962004 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13984976 memory=3467833521950296859 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 119915501 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13984976 memory=6944652177228980320 CPUtime=1.94 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) S 30233 30233 25083 0 -1 1077944384 14372 0 0 0 193 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755664669168 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13984976 memory=6944656592455360604 CPUtime=2 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) S 30233 30233 25083 0 -1 1077944384 17276 0 0 0 198 2 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755663616624 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13984976 memory=6944656592455097440 CPUtime=0.54 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) S 30233 30233 25083 0 -1 1077944384 6095 0 0 0 53 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755662564080 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13984976 memory=223500 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13984976 memory=796 CPUtime=0.47 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 615 0 0 0 19 28 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 2361.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224884 KiB
[startup+2358.4 s]
/proc/loadavg: 1.87 1.93 1.95 3/218 30401
/proc/meminfo: memFree=18184644/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13984976 memory=223500 CPUtime=2363.54 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 55855 0 0 0 236317 37 0 0 20 0 15 0 119915497 14320615424 55875 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3496244 55875 3264 1 0 3483478 0
[pid=30235/tid=30236] ppid=30233 vsize=13984976 memory=0 CPUtime=2358.46 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 4202560 14595 0 0 0 235842 4 0 0 20 0 15 0 119915498 14320615424 55875 33554432000 4194304 4196468 140725885802384 139756198894728 139755836602111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13984976 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13984976 memory=33716 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13984976 memory=1012 CPUtime=0.02 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 712 0 0 0 1 1 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13984976 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 119915501 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13984976 memory=223500 CPUtime=1.94 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) S 30233 30233 25083 0 -1 1077944384 14372 0 0 0 193 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755664669168 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13984976 memory=8836 CPUtime=2 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) S 30233 30233 25083 0 -1 1077944384 17276 0 0 0 198 2 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755663616624 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13984976 memory=11044 CPUtime=0.54 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) S 30233 30233 25083 0 -1 1077944384 6095 0 0 0 53 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755662564080 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13984976 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13984976 memory=960 CPUtime=0.47 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 615 0 0 0 19 28 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 2363.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224884 KiB
[startup+2358.8 s]
/proc/loadavg: 1.87 1.93 1.95 3/218 30401
/proc/meminfo: memFree=18184644/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13984976 memory=223500 CPUtime=2363.94 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 55855 0 0 0 236357 37 0 0 20 0 15 0 119915497 14320615424 55875 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3496244 55875 3264 1 0 3483478 0
[pid=30235/tid=30236] ppid=30233 vsize=13984976 memory=1156 CPUtime=2358.86 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 4202560 14595 0 0 0 235882 4 0 0 20 0 15 0 119915498 14320615424 55875 33554432000 4194304 4196468 140725885802384 139756198894728 139755836602453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13984976 memory=3332 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13984976 memory=223500 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13984976 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13984976 memory=3248 CPUtime=0.02 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 712 0 0 0 1 1 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13984976 memory=9313284 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 119915501 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13984976 memory=1398720917958146503 CPUtime=1.94 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) S 30233 30233 25083 0 -1 1077944384 14372 0 0 0 193 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755664669168 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13984976 memory=4872558044660077418 CPUtime=2 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) S 30233 30233 25083 0 -1 1077944384 17276 0 0 0 198 2 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755663616624 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13984976 memory=1384 CPUtime=0.54 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) S 30233 30233 25083 0 -1 1077944384 6095 0 0 0 53 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755662564080 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13984976 memory=223500 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13984976 memory=1160 CPUtime=0.47 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 615 0 0 0 19 28 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 2363.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224884 KiB
[startup+2359.2 s]
/proc/loadavg: 1.87 1.93 1.95 3/218 30401
/proc/meminfo: memFree=18184644/32770624 swapFree=67108860/67108860
[pid=30233] ppid=30230 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (xcsp3-exec) S 30230 30233 25083 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119915497 9740288 346 33554432000 4194304 5098028 140734799847808 140734799845912 139945431810684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38973440 140734799856750 140734799856955 140734799856955 140734799859691 0
/proc/30233/statm: 2378 346 289 221 0 87 0
[pid=30235] ppid=30233 vsize=13984976 memory=223500 CPUtime=2364.34 cores=0,2,4,6
/proc/30235/stat : 30235 (java) S 30233 30233 25083 0 -1 1077944320 55855 0 0 0 236397 37 0 0 20 0 15 0 119915497 14320615424 55875 33554432000 4194304 4196468 140725885802384 140725885784928 139756194655991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
/proc/30235/statm: 3496244 55875 3264 1 0 3483478 0
[pid=30235/tid=30236] ppid=30233 vsize=13984976 memory=223500 CPUtime=2359.26 cores=0,2,4,6
/proc/30235/task/30236/stat : 30236 (java) R 30233 30233 25083 0 -1 4202560 14595 0 0 0 235922 4 0 0 20 0 15 0 119915498 14320615424 55875 33554432000 4194304 4196468 140725885802384 139756198894728 139755836603008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30237] ppid=30233 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30237/stat : 30237 (java) S 30233 30233 25083 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755790773008 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30238] ppid=30233 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30238/stat : 30238 (java) S 30233 30233 25083 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755789720464 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30239] ppid=30233 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30239/stat : 30239 (java) S 30233 30233 25083 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755788667920 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30240] ppid=30233 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30240/stat : 30240 (java) S 30233 30233 25083 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 119915499 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755787615376 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30241] ppid=30233 vsize=13984976 memory=1240 CPUtime=0.02 cores=0,2,4,6
/proc/30235/task/30241/stat : 30241 (java) S 30233 30233 25083 0 -1 1077944384 712 0 0 0 1 1 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755668879344 139756194667138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30242] ppid=30233 vsize=13984976 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30242/stat : 30242 (java) S 30233 30233 25083 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119915500 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755667825568 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30243] ppid=30233 vsize=13984976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30243/stat : 30243 (java) S 30233 30233 25083 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 119915501 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755666772976 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30244] ppid=30233 vsize=13984976 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30244/stat : 30244 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755665721552 139756194674587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30245] ppid=30233 vsize=13984976 memory=6944652177228980320 CPUtime=1.94 cores=0,2,4,6
/proc/30235/task/30245/stat : 30245 (java) S 30233 30233 25083 0 -1 1077944384 14372 0 0 0 193 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755664669168 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30246] ppid=30233 vsize=13984976 memory=6791534058613427641 CPUtime=2 cores=0,2,4,6
/proc/30235/task/30246/stat : 30246 (java) S 30233 30233 25083 0 -1 1077944384 17276 0 0 0 198 2 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755663616624 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30247] ppid=30233 vsize=13984976 memory=19972 CPUtime=0.54 cores=0,2,4,6
/proc/30235/task/30247/stat : 30247 (java) S 30233 30233 25083 0 -1 1077944384 6095 0 0 0 53 1 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755662564080 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30248] ppid=30233 vsize=13984976 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/30235/task/30248/stat : 30248 (java) S 30233 30233 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755661511776 139756194666197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
[pid=30235/tid=30249] ppid=30233 vsize=13984976 memory=1792 CPUtime=0.47 cores=0,2,4,6
/proc/30235/task/30249/stat : 30249 (java) S 30233 30233 25083 0 -1 1077944384 615 0 0 0 19 28 0 0 20 0 15 0 119915503 14320615424 55875 33554432000 4194304 4196468 140725885802384 139755660458288 139756194667138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32612352 140725885809815 140725885809991 140725885809991 140725885812687 0
Current children cumulated CPU time: 2364.34 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224884 KiB
Child status: 0
Real time (s): 2359.29
CPU time (s): 2364.43
CPU user time (s): 2364.06
CPU system time (s): 0.375051
CPU usage (%): 100.218
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 224884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2364.06
system time used= 0.375051
maximum resident set size= 223736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53466
involuntary context switches= 848
# summary of solver processes directly reported to runsolver:
# pid: 30233
# total CPU time (s): 2364.43
# total CPU user time (s): 2364.06
# total CPU system time (s): 0.375051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0407 second user time and 20.5113 second system time
The end