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 (655 MiB free)
memory of node 1: 16384 MiB (1826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403958-1568991504/watcher-4403958-1568991504 -o /var/tmp/evaluation-result-4403958-1568991504/solver-4403958-1568991504 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 737956316 HOME/instance-4403958-1568991504.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5944, runsolver pid=5941
[startup+0.106081 s]*
/proc/loadavg: 7.91 8.26 8.12 8/233 5960
/proc/meminfo: memFree=2524648/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
[pid=5946] ppid=5944 vsize=15144776 memory=30124 CPUtime=0.14 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5944 5944 31580 0 -1 1077944320 5498 0 0 0 13 1 0 0 20 0 15 0 475090464 15508250624 7531 33554432000 4194304 4196468 140734007202992 140734007185536 140579550707447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
/proc/5946/statm: 3786194 7531 3137 1 0 3748377 0
[pid=5946/tid=5947] ppid=5944 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/5946/task/5947/stat : 5947 (java) R 5944 5944 31580 0 -1 4202560 3395 0 0 0 9 0 0 0 20 0 15 0 475090464 15508250624 7531 33554432000 4194304 4196468 140734007202992 140579554936256 140579534751077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5948] ppid=5944 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 7531 33554432000 4194304 4196468 140734007202992 140579515988880 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5949] ppid=5944 vsize=15144776 memory=140326440343168 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 7531 33554432000 4194304 4196468 140734007202992 140579141692176 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5950] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 7531 33554432000 4194304 4196468 140734007202992 140579140639888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5951] ppid=5944 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5944 5944 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 7531 33554432000 4194304 4196468 140734007202992 140579139587088 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5952] ppid=5944 vsize=15144776 memory=140326440343168 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5944 5944 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475090466 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578885040240 140579550718594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5953] ppid=5944 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5944 5944 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475090467 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578883986208 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5954] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5944 5944 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475090467 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578882933872 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5955] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475090469 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578881882192 140579550726043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5956] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) R 5944 5944 31580 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 475090469 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578880830064 140579550718594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5957] ppid=5944 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5944 5944 31580 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475090469 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578879777264 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5958] ppid=5944 vsize=15144776 memory=140326440343168 CPUtime=0.02 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) R 5944 5944 31580 0 -1 4202560 325 0 0 0 2 0 0 0 20 0 15 0 475090469 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578878724976 140579550728794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5959] ppid=5944 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475090470 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578877672416 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5960] ppid=5944 vsize=15144776 memory=140326440343168 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090470 15508250624 7531 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31576 KiB
[startup+0.210765 s]*
/proc/loadavg: 7.91 8.26 8.12 9/233 5960
/proc/meminfo: memFree=2511408/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
[pid=5946] ppid=5944 vsize=15144776 memory=41404 CPUtime=0.34 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5944 5944 31580 0 -1 1077944320 9044 0 0 0 32 2 0 0 20 0 15 0 475090464 15508250624 10351 33554432000 4194304 4196468 140734007202992 140734007185536 140579550707447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
/proc/5946/statm: 3786194 10351 3299 1 0 3748377 0
[pid=5946/tid=5947] ppid=5944 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5946/task/5947/stat : 5947 (java) R 5944 5944 31580 0 -1 4202560 6195 0 0 0 18 2 0 0 20 0 15 0 475090464 15508250624 10351 33554432000 4194304 4196468 140734007202992 140579554944144 140579543385461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5948] ppid=5944 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 10351 33554432000 4194304 4196468 140734007202992 140579515988880 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5949] ppid=5944 vsize=15144776 memory=140326440372771 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 10351 33554432000 4194304 4196468 140734007202992 140579141692176 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5950] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 10351 33554432000 4194304 4196468 140734007202992 140579140639888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5951] ppid=5944 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5944 5944 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475090465 15508250624 10351 33554432000 4194304 4196468 140734007202992 140579139587088 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5952] ppid=5944 vsize=15144776 memory=140326440343168 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5944 5944 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475090466 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578885040240 140579550718594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5953] ppid=5944 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5944 5944 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475090467 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578883986208 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5954] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5944 5944 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475090467 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578882933872 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5955] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475090469 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578881882192 140579550726043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5956] ppid=5944 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5944 5944 31580 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 475090469 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578880830064 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5957] ppid=5944 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5944 5944 31580 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 475090469 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578879777264 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5958] ppid=5944 vsize=15144776 memory=140326440343168 CPUtime=0.08 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) R 5944 5944 31580 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 15 0 475090469 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578878724976 140579529827096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5959] ppid=5944 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475090470 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578877672416 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5960] ppid=5944 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090470 15508250624 10351 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42856 KiB
[startup+0.317947 s]*
/proc/loadavg: 7.91 8.26 8.12 7/233 5960
/proc/meminfo: memFree=2504896/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
[pid=5946] ppid=5944 vsize=15149032 memory=50404 CPUtime=0.54 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5944 5944 31580 0 -1 1077944320 10407 0 0 0 51 3 0 0 20 0 15 0 475090464 15512608768 12601 33554432000 4194304 4196468 140734007202992 140734007185536 140579550707447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
/proc/5946/statm: 3787258 12601 3368 1 0 3748377 0
[pid=5946/tid=5947] ppid=5944 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/5946/task/5947/stat : 5947 (java) R 5944 5944 31580 0 -1 4202560 7406 0 0 0 28 2 0 0 20 0 15 0 475090464 15512608768 12666 33554432000 4194304 4196468 140734007202992 140579554941232 140579550729373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5948] ppid=5944 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15512608768 12666 33554432000 4194304 4196468 140734007202992 140579515988880 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5949] ppid=5944 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15512608768 12666 33554432000 4194304 4196468 140734007202992 140579141692176 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5950] ppid=5944 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090465 15512608768 12666 33554432000 4194304 4196468 140734007202992 140579140639888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5951] ppid=5944 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5944 5944 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475090465 15512608768 12666 33554432000 4194304 4196468 140734007202992 140579139587088 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5952] ppid=5944 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5944 5944 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475090466 15512608768 12666 33554432000 4194304 4196468 140734007202992 140578885040240 140579550718594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5953] ppid=5944 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5944 5944 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475090467 15512608768 12666 33554432000 4194304 4196468 140734007202992 140578883986208 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5954] ppid=5944 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5944 5944 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475090467 15512608768 12674 33554432000 4194304 4196468 140734007202992 140578882933872 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5955] ppid=5944 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475090469 15512608768 12674 33554432000 4194304 4196468 140734007202992 140578881882192 140579550726043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5956] ppid=5944 vsize=15149032 memory=7307178800369004696 CPUtime=0.06 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5944 5944 31580 0 -1 1077944384 664 0 0 0 6 0 0 0 20 0 15 0 475090469 15512608768 12674 33554432000 4194304 4196468 140734007202992 140578880830064 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5957] ppid=5944 vsize=15149032 memory=6944656425123485561 CPUtime=0.03 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5944 5944 31580 0 -1 1077944384 220 0 0 0 3 0 0 0 20 0 15 0 475090469 15512608768 12674 33554432000 4194304 4196468 140734007202992 140578879777264 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5958] ppid=5944 vsize=15149032 memory=-7739291672887926688 CPUtime=0.13 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5944 5944 31580 0 -1 1077944384 821 0 0 0 13 0 0 0 20 0 15 0 475090469 15512608768 12674 33554432000 4194304 4196468 140734007202992 140578878724976 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5959] ppid=5944 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475090470 15512608768 12674 33554432000 4194304 4196468 140734007202992 140578877672416 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5960] ppid=5944 vsize=15149032 memory=4627849528958935443 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475090470 15512608768 12674 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51856 KiB
[startup+0.700952 s]
/proc/loadavg: 7.67 8.21 8.10 6/237 6004
/proc/meminfo: memFree=2395552/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
[pid=5946] ppid=5944 vsize=15618132 memory=187460 CPUtime=1.64 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5944 5944 31580 0 -1 1077944320 17451 0 0 0 154 10 0 0 20 0 23 0 475090464 15992967168 46865 33554432000 4194304 4196468 140734007202992 140734007185536 140579550707447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
/proc/5946/statm: 3904533 46865 3484 1 0 3865633 0
[pid=5946/tid=5947] ppid=5944 vsize=15618132 memory=-9110635228796802480 CPUtime=0.45 cores=1,3,5,7
/proc/5946/task/5947/stat : 5947 (java) S 5944 5944 31580 0 -1 1077944384 8558 0 0 0 42 3 0 0 20 0 23 0 475090464 15992967168 46865 33554432000 4194304 4196468 140734007202992 140579554948224 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5948] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) S 5944 5944 31580 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 23 0 475090465 15992967168 46865 33554432000 4194304 4196468 140734007202992 140579515988880 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5949] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5944 5944 31580 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 23 0 475090465 15992967168 46865 33554432000 4194304 4196468 140734007202992 140579141692176 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5950] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5944 5944 31580 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 23 0 475090465 15992967168 46865 33554432000 4194304 4196468 140734007202992 140579140639888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5951] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5944 5944 31580 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 23 0 475090465 15992967168 46865 33554432000 4194304 4196468 140734007202992 140579139587088 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5952] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5944 5944 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 23 0 475090466 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578885040240 140579550718594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5953] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5944 5944 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 23 0 475090467 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578883986272 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5954] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5944 5944 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 23 0 475090467 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578882933888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5955] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 475090469 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578881882192 140579550726043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5956] ppid=5944 vsize=15618132 memory=56 CPUtime=0.28 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) R 5944 5944 31580 0 -1 4202560 1278 0 0 0 28 0 0 0 20 0 23 0 475090469 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578880818656 140579534996449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5957] ppid=5944 vsize=15618132 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) R 5944 5944 31580 0 -1 4202560 996 0 0 0 27 0 0 0 20 0 23 0 475090469 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578879763808 140579535585528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5958] ppid=5944 vsize=15618132 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) R 5944 5944 31580 0 -1 1077944384 1562 0 0 0 29 0 0 0 20 0 23 0 475090469 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578878724976 140579550718594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5959] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 475090470 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578877672416 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5960] ppid=5944 vsize=15618132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 475090470 15992967168 46865 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 188912 KiB
[startup+1.50513 s]
/proc/loadavg: 7.67 8.21 8.10 14/239 6202
/proc/meminfo: memFree=2357536/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 19 0 475090470 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6255] ppid=5944 vsize=15618132 memory=1716 CPUtime=27.35 cores=1,3,5,7
/proc/5946/task/6255/stat : 6255 (java) R 5944 5944 31580 0 -1 4202560 429 0 0 0 2735 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578862136880 140579187638086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6256] ppid=5944 vsize=15618132 memory=10604 CPUtime=27.2 cores=1,3,5,7
/proc/5946/task/6256/stat : 6256 (java) R 5944 5944 31580 0 -1 4202560 781 0 0 0 2720 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578863193296 140579191252843 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6257] ppid=5944 vsize=15618132 memory=3636 CPUtime=27.34 cores=1,3,5,7
/proc/5946/task/6257/stat : 6257 (java) R 5944 5944 31580 0 -1 4202560 1105 0 0 0 2734 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578861084752 140579535918062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6258] ppid=5944 vsize=15618132 memory=776 CPUtime=27.28 cores=1,3,5,7
/proc/5946/task/6258/stat : 6258 (java) R 5944 5944 31580 0 -1 4202560 496 0 0 0 2727 1 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578865294496 140579191254055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 118.76 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 227944 KiB
[startup+31.202 s]
/proc/loadavg: 7.91 8.22 8.11 9/237 6260
/proc/meminfo: memFree=2327444/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
[pid=5946] ppid=5944 vsize=15618132 memory=226492 CPUtime=121.91 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5944 5944 31580 0 -1 1077944320 37942 0 0 0 12165 26 0 0 20 0 19 0 475090464 15992967168 56623 33554432000 4194304 4196468 140734007202992 140734007185536 140579550707447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
/proc/5946/statm: 3904533 56623 3516 1 0 3865633 0
[pid=5946/tid=5947] ppid=5944 vsize=15618132 memory=1436 CPUtime=0.46 cores=1,3,5,7
/proc/5946/task/5947/stat : 5947 (java) S 5944 5944 31580 0 -1 1077944384 8559 0 0 0 43 3 0 0 20 0 19 0 475090464 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579554948224 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5948] ppid=5944 vsize=15618132 memory=580 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) S 5944 5944 31580 0 -1 1077944384 722 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579515988880 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5949] ppid=5944 vsize=15618132 memory=1716 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5944 5944 31580 0 -1 1077944384 886 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579141692176 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5950] ppid=5944 vsize=15618132 memory=10604 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5944 5944 31580 0 -1 1077944384 604 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579140639888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5951] ppid=5944 vsize=15618132 memory=1564 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5944 5944 31580 0 -1 1077944384 623 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579139587088 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5952] ppid=5944 vsize=15618132 memory=6088 CPUtime=0.11 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5944 5944 31580 0 -1 1077944384 953 0 0 0 10 1 0 0 20 0 19 0 475090466 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578885040240 140579550718594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5953] ppid=5944 vsize=15618132 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5944 5944 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475090467 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578883986272 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5954] ppid=5944 vsize=15618132 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5944 5944 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475090467 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578882933888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5955] ppid=5944 vsize=15618132 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578881882192 140579550726043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5956] ppid=5944 vsize=15618132 memory=984 CPUtime=1.21 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5944 5944 31580 0 -1 1077944384 5396 0 0 0 121 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578880830064 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5957] ppid=5944 vsize=15618132 memory=14004 CPUtime=1.19 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5944 5944 31580 0 -1 1077944384 8154 0 0 0 119 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578879777264 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5958] ppid=5944 vsize=15618132 memory=30024 CPUtime=0.46 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5944 5944 31580 0 -1 1077944384 2578 0 0 0 45 1 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578878724976 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5959] ppid=5944 vsize=15618132 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475090470 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578877672416 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5960] ppid=5944 vsize=15618132 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 475090470 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6255] ppid=5944 vsize=15618132 memory=3636 CPUtime=28.13 cores=1,3,5,7
/proc/5946/task/6255/stat : 6255 (java) R 5944 5944 31580 0 -1 4202560 431 0 0 0 2813 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578862137016 140579190271168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6256] ppid=5944 vsize=15618132 memory=776 CPUtime=27.98 cores=1,3,5,7
/proc/5946/task/6256/stat : 6256 (java) R 5944 5944 31580 0 -1 4202560 784 0 0 0 2798 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578863191064 140579190655818 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6257] ppid=5944 vsize=15618132 memory=1564 CPUtime=28.12 cores=1,3,5,7
/proc/5946/task/6257/stat : 6257 (java) R 5944 5944 31580 0 -1 4202560 1106 0 0 0 2812 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578861087936 140579189983579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6258] ppid=5944 vsize=15618132 memory=6088 CPUtime=28.07 cores=1,3,5,7
/proc/5946/task/6258/stat : 6258 (java) R 5944 5944 31580 0 -1 4202560 497 0 0 0 2806 1 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578865294384 140579191253890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 121.91 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 227944 KiB
[startup+31.6059 s]
/proc/loadavg: 7.91 8.22 8.11 9/237 6260
/proc/meminfo: memFree=2327444/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
[pid=5946] ppid=5944 vsize=15618132 memory=226492 CPUtime=123.51 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5944 5944 31580 0 -1 1077944320 37952 0 0 0 12325 26 0 0 20 0 19 0 475090464 15992967168 56623 33554432000 4194304 4196468 140734007202992 140734007185536 140579550707447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
/proc/5946/statm: 3904533 56623 3516 1 0 3865633 0
[pid=5946/tid=5947] ppid=5944 vsize=15618132 memory=2664 CPUtime=0.46 cores=1,3,5,7
/proc/5946/task/5947/stat : 5947 (java) S 5944 5944 31580 0 -1 1077944384 8559 0 0 0 43 3 0 0 20 0 19 0 475090464 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579554948224 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5948] ppid=5944 vsize=15618132 memory=2712 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) S 5944 5944 31580 0 -1 1077944384 723 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579515988880 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5949] ppid=5944 vsize=15618132 memory=6935054825532540783 CPUtime=0.13 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5944 5944 31580 0 -1 1077944384 887 0 0 0 10 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579141692176 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5950] ppid=5944 vsize=15618132 memory=4126316290023845779 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5944 5944 31580 0 -1 1077944384 605 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579140639888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5951] ppid=5944 vsize=15618132 memory=22148 CPUtime=0.13 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5944 5944 31580 0 -1 1077944384 623 0 0 0 9 4 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579139587088 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5952] ppid=5944 vsize=15618132 memory=3620 CPUtime=0.11 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5944 5944 31580 0 -1 1077944384 956 0 0 0 10 1 0 0 20 0 19 0 475090466 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578885040240 140579550718594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5953] ppid=5944 vsize=15618132 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5944 5944 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475090467 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578883986272 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5954] ppid=5944 vsize=15618132 memory=55856 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5944 5944 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475090467 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578882933888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5955] ppid=5944 vsize=15618132 memory=988 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578881882192 140579550726043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5956] ppid=5944 vsize=15618132 memory=1216 CPUtime=1.21 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5944 5944 31580 0 -1 1077944384 5396 0 0 0 121 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578880830064 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5957] ppid=5944 vsize=15618132 memory=984 CPUtime=1.19 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5944 5944 31580 0 -1 1077944384 8154 0 0 0 119 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578879777264 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5958] ppid=5944 vsize=15618132 memory=14004 CPUtime=0.46 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5944 5944 31580 0 -1 1077944384 2578 0 0 0 45 1 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578878724976 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5959] ppid=5944 vsize=15618132 memory=30024 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475090470 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578877672416 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5960] ppid=5944 vsize=15618132 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 19 0 475090470 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6255] ppid=5944 vsize=15618132 memory=2124 CPUtime=28.53 cores=1,3,5,7
/proc/5946/task/6255/stat : 6255 (java) R 5944 5944 31580 0 -1 4202560 432 0 0 0 2853 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578862139312 140579190711502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6256] ppid=5944 vsize=15618132 memory=500 CPUtime=28.38 cores=1,3,5,7
/proc/5946/task/6256/stat : 6256 (java) R 5944 5944 31580 0 -1 4202560 784 0 0 0 2838 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578863190680 140579191252843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6257] ppid=5944 vsize=15618132 memory=1556 CPUtime=28.52 cores=1,3,5,7
/proc/5946/task/6257/stat : 6257 (java) R 5944 5944 31580 0 -1 4202560 1108 0 0 0 2852 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578861085800 140579190293522 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6258] ppid=5944 vsize=15618132 memory=928 CPUtime=28.47 cores=1,3,5,7
/proc/5946/task/6258/stat : 6258 (java) R 5944 5944 31580 0 -1 4202560 497 0 0 0 2846 1 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578865294496 140579190293515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 123.51 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 227944 KiB
[startup+31.7069 s]
/proc/loadavg: 7.91 8.22 8.11 9/237 6260
/proc/meminfo: memFree=2327444/32770624 swapFree=66976740/67108860
[pid=5944] ppid=5941 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (xcsp3-exec) S 5941 5944 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475090464 115843072 363 33554432000 4194304 5098028 140732928622016 140732928620120 139980056113788 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16744448 140732928623447 140732928623705 140732928623705 140732928626630 0
/proc/5944/statm: 28282 363 305 221 0 87 0
[pid=5946] ppid=5944 vsize=15618132 memory=226492 CPUtime=123.92 cores=1,3,5,7
/proc/5946/stat : 5946 (java) S 5944 5944 31580 0 -1 1077944320 37952 0 0 0 12366 26 0 0 20 0 19 0 475090464 15992967168 56623 33554432000 4194304 4196468 140734007202992 140734007185536 140579550707447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
/proc/5946/statm: 3904533 56623 3516 1 0 3865633 0
[pid=5946/tid=5947] ppid=5944 vsize=15618132 memory=226492 CPUtime=0.46 cores=1,3,5,7
/proc/5946/task/5947/stat : 5947 (java) S 5944 5944 31580 0 -1 1077944384 8559 0 0 0 43 3 0 0 20 0 19 0 475090464 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579554948224 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5948] ppid=5944 vsize=15618132 memory=226492 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5948/stat : 5948 (java) S 5944 5944 31580 0 -1 1077944384 723 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579515988880 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5949] ppid=5944 vsize=15618132 memory=226492 CPUtime=0.13 cores=1,3,5,7
/proc/5946/task/5949/stat : 5949 (java) S 5944 5944 31580 0 -1 1077944384 887 0 0 0 10 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579141692176 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5950] ppid=5944 vsize=15618132 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/5946/task/5950/stat : 5950 (java) S 5944 5944 31580 0 -1 1077944384 605 0 0 0 9 3 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579140639888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5951] ppid=5944 vsize=15618132 memory=10 CPUtime=0.13 cores=1,3,5,7
/proc/5946/task/5951/stat : 5951 (java) S 5944 5944 31580 0 -1 1077944384 623 0 0 0 9 4 0 0 20 0 19 0 475090465 15992967168 56623 33554432000 4194304 4196468 140734007202992 140579139587088 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5952] ppid=5944 vsize=15618132 memory=10 CPUtime=0.11 cores=1,3,5,7
/proc/5946/task/5952/stat : 5952 (java) S 5944 5944 31580 0 -1 1077944384 956 0 0 0 10 1 0 0 20 0 19 0 475090466 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578885040240 140579550718594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5953] ppid=5944 vsize=15618132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5953/stat : 5953 (java) S 5944 5944 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475090467 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578883986272 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5954] ppid=5944 vsize=15618132 memory=226492 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5954/stat : 5954 (java) S 5944 5944 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475090467 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578882933888 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5955] ppid=5944 vsize=15618132 memory=55 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5955/stat : 5955 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578881882192 140579550726043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5956] ppid=5944 vsize=15618132 memory=7088773812221943410 CPUtime=1.21 cores=1,3,5,7
/proc/5946/task/5956/stat : 5956 (java) S 5944 5944 31580 0 -1 1077944384 5396 0 0 0 121 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578880830064 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5957] ppid=5944 vsize=15618132 memory=924 CPUtime=1.19 cores=1,3,5,7
/proc/5946/task/5957/stat : 5957 (java) S 5944 5944 31580 0 -1 1077944384 8154 0 0 0 119 0 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578879777264 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5958] ppid=5944 vsize=15618132 memory=280652626154000 CPUtime=0.46 cores=1,3,5,7
/proc/5946/task/5958/stat : 5958 (java) S 5944 5944 31580 0 -1 1077944384 2578 0 0 0 45 1 0 0 20 0 19 0 475090469 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578878724976 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5959] ppid=5944 vsize=15618132 memory=280652625010112 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5959/stat : 5959 (java) S 5944 5944 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475090470 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578877672416 140579550717653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=5960] ppid=5944 vsize=15618132 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5946/task/5960/stat : 5960 (java) S 5944 5944 31580 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 19 0 475090470 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578876619184 140579550718594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6255] ppid=5944 vsize=15618132 memory=3620 CPUtime=28.63 cores=1,3,5,7
/proc/5946/task/6255/stat : 6255 (java) R 5944 5944 31580 0 -1 4202560 432 0 0 0 2863 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578862139312 140579189919246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6256] ppid=5944 vsize=15618132 memory=3620 CPUtime=28.48 cores=1,3,5,7
/proc/5946/task/6256/stat : 6256 (java) R 5944 5944 31580 0 -1 4202560 784 0 0 0 2848 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578863190680 140579191252826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6257] ppid=5944 vsize=15618132 memory=1660 CPUtime=28.62 cores=1,3,5,7
/proc/5946/task/6257/stat : 6257 (java) R 5944 5944 31580 0 -1 4202560 1108 0 0 0 2862 0 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578861085800 140579190293527 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
[pid=5946/tid=6258] ppid=5944 vsize=15618132 memory=3620 CPUtime=28.57 cores=1,3,5,7
/proc/5946/task/6258/stat : 6258 (java) R 5944 5944 31580 0 -1 4202560 497 0 0 0 2856 1 0 0 20 0 19 0 475090700 15992967168 56623 33554432000 4194304 4196468 140734007202992 140578865294496 140579191252322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8404992 140734007206875 140734007207050 140734007207050 140734007209935 0
Current children cumulated CPU time: 123.92 s
Current children cumulated vsize: 15731260 KiB
Current children cumulated memory: 227944 KiB
Child status: 0
Real time (s): 31.7527
CPU time (s): 124.054
CPU user time (s): 123.779
CPU system time (s): 0.274755
CPU usage (%): 390.688
Max. virtual memory (cumulated for all children) (KiB): 15731260
Max. memory (cumulated for all children) (KiB): 227944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.779
system time used= 0.274755
maximum resident set size= 226784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9003
involuntary context switches= 3449
# summary of solver processes directly reported to runsolver:
# pid: 5944
# total CPU time (s): 124.054
# total CPU user time (s): 123.779
# total CPU system time (s): 0.274755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.225748 second user time and 0.405856 second system time
The end