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 (2024 MiB free)
memory of node 1: 16384 MiB (3020 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404097-1568991460/watcher-4404097-1568991460 -o /var/tmp/evaluation-result-4404097-1568991460/solver-4404097-1568991460 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7233 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1694615536 HOME/instance-4404097-1568991460.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11075, runsolver pid=11072
Current StackSize limit: 8192 KiB
[startup+0.101065 s]*
/proc/loadavg: 8.50 7.74 5.23 6/233 11091
/proc/meminfo: memFree=5150164/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
[pid=11077] ppid=11075 vsize=15144776 memory=29652 CPUtime=0.13 cores=1,3,5,7
/proc/11077/stat : 11077 (java) S 11075 11075 7201 0 -1 1077944320 5831 0 0 0 12 1 0 0 20 0 15 0 475418537 15508250624 7413 33554432000 4194304 4196468 140737289424496 140737289407040 139749795700471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
/proc/11077/statm: 3786194 7413 3186 1 0 3748377 0
[pid=11077/tid=11078] ppid=11075 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/11077/task/11078/stat : 11078 (java) R 11075 11075 7201 0 -1 4202560 3716 0 0 0 8 1 0 0 20 0 15 0 475418537 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749799930064 139749781393057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11079] ppid=11075 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11079/stat : 11079 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749723740688 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11080] ppid=11075 vsize=15144776 memory=139719336150656 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11080/stat : 11080 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749722688144 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11081] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11081/stat : 11081 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749721635088 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11082] ppid=11075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11082/stat : 11082 (java) S 11075 11075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749720582544 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11083] ppid=11075 vsize=15144776 memory=139719336150656 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11083/stat : 11083 (java) S 11075 11075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418539 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749264325360 139749795711618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11084] ppid=11075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11084/stat : 11084 (java) S 11075 11075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475418539 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749263271584 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11085] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11085/stat : 11085 (java) S 11075 11075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475418540 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749262218480 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11086] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11086/stat : 11086 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418542 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749261167056 139749795719067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11087] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11087/stat : 11087 (java) R 11075 11075 7201 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 475418542 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749260114256 139749795710677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11088] ppid=11075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11088/stat : 11088 (java) R 11075 11075 7201 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 15 0 475418542 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749259060800 139749779186418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11089] ppid=11075 vsize=15144776 memory=139719336150656 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11089/stat : 11089 (java) S 11075 11075 7201 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 15 0 475418542 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749258008560 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11090] ppid=11075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11090/stat : 11090 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418542 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749256956256 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11091] ppid=11075 vsize=15144776 memory=139719336150656 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11091/stat : 11091 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418543 15508250624 7413 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31104 KiB
[startup+0.210952 s]*
/proc/loadavg: 8.50 7.74 5.23 7/233 11091
/proc/meminfo: memFree=5137060/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
[pid=11077] ppid=11075 vsize=15144776 memory=40924 CPUtime=0.34 cores=1,3,5,7
/proc/11077/stat : 11077 (java) S 11075 11075 7201 0 -1 1077944320 9444 0 0 0 31 3 0 0 20 0 15 0 475418537 15508250624 10231 33554432000 4194304 4196468 140737289424496 140737289407040 139749795700471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
/proc/11077/statm: 3786194 10231 3294 1 0 3748377 0
[pid=11077/tid=11078] ppid=11075 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/11077/task/11078/stat : 11078 (java) R 11075 11075 7201 0 -1 4202560 6628 0 0 0 17 2 0 0 20 0 15 0 475418537 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749799935456 139749795722301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11079] ppid=11075 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11079/stat : 11079 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749723740688 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11080] ppid=11075 vsize=15144776 memory=139719336161988 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11080/stat : 11080 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749722688144 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11081] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11081/stat : 11081 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749721635088 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11082] ppid=11075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11082/stat : 11082 (java) S 11075 11075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418538 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749720582544 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11083] ppid=11075 vsize=15144776 memory=139719336150656 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11083/stat : 11083 (java) S 11075 11075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475418539 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749264325360 139749795711618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11084] ppid=11075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11084/stat : 11084 (java) S 11075 11075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475418539 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749263271584 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11085] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11085/stat : 11085 (java) S 11075 11075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475418540 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749262218480 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11086] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11086/stat : 11086 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418542 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749261167056 139749795719067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11087] ppid=11075 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11077/task/11087/stat : 11087 (java) S 11075 11075 7201 0 -1 1077944384 685 0 0 0 3 0 0 0 20 0 15 0 475418542 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749260114160 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11088] ppid=11075 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11077/task/11088/stat : 11088 (java) S 11075 11075 7201 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 15 0 475418542 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749259061616 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11089] ppid=11075 vsize=15144776 memory=139719336150656 CPUtime=0.08 cores=1,3,5,7
/proc/11077/task/11089/stat : 11089 (java) R 11075 11075 7201 0 -1 4202560 738 0 0 0 8 0 0 0 20 0 15 0 475418542 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749258008560 139749774505155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11090] ppid=11075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11090/stat : 11090 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418542 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749256956256 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11091] ppid=11075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11091/stat : 11091 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418543 15508250624 10231 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42376 KiB
[startup+0.310798 s]*
/proc/loadavg: 8.30 7.71 5.23 7/233 11091
/proc/meminfo: memFree=5129652/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
[pid=11077] ppid=11075 vsize=15149032 memory=50216 CPUtime=0.53 cores=1,3,5,7
/proc/11077/stat : 11077 (java) S 11075 11075 7201 0 -1 1077944320 10876 0 0 0 49 4 0 0 20 0 15 0 475418537 15512608768 12554 33554432000 4194304 4196468 140737289424496 140737289407040 139749795700471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
/proc/11077/statm: 3787258 12554 3350 1 0 3748377 0
[pid=11077/tid=11078] ppid=11075 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/11077/task/11078/stat : 11078 (java) R 11075 11075 7201 0 -1 4202560 7845 0 0 0 27 3 0 0 20 0 15 0 475418537 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749799937488 139749795722397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11079] ppid=11075 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11079/stat : 11079 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749723740688 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11080] ppid=11075 vsize=15149032 memory=3373065 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11080/stat : 11080 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749722688144 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11081] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11081/stat : 11081 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418538 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749721635088 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11082] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11082/stat : 11082 (java) S 11075 11075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475418538 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749720582544 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11083] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11083/stat : 11083 (java) S 11075 11075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475418539 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749264325360 139749795711618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11084] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11084/stat : 11084 (java) S 11075 11075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475418539 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749263271584 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11085] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11085/stat : 11085 (java) S 11075 11075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475418540 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749262218480 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11086] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11086/stat : 11086 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418542 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749261167056 139749795719067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11087] ppid=11075 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11077/task/11087/stat : 11087 (java) S 11075 11075 7201 0 -1 1077944384 703 0 0 0 4 0 0 0 20 0 15 0 475418542 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749260114160 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11088] ppid=11075 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11077/task/11088/stat : 11088 (java) S 11075 11075 7201 0 -1 1077944384 210 0 0 0 4 0 0 0 20 0 15 0 475418542 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749259061616 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11089] ppid=11075 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11077/task/11089/stat : 11089 (java) S 11075 11075 7201 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 15 0 475418542 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749258008560 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11090] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11090/stat : 11090 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475418542 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749256956256 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11091] ppid=11075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11091/stat : 11091 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475418543 15512608768 12554 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51668 KiB
[startup+0.700747 s]
/proc/loadavg: 8.30 7.71 5.23 7/233 11091
/proc/meminfo: memFree=5112796/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
[pid=11077] ppid=11075 vsize=15417412 memory=91268 CPUtime=1.59 cores=1,3,5,7
/proc/11077/stat : 11077 (java) S 11075 11075 7201 0 -1 1077944320 15562 0 0 0 153 6 0 0 20 0 19 0 475418537 15787429888 22817 33554432000 4194304 4196468 140737289424496 140737289407040 139749795700471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
/proc/11077/statm: 3854353 22817 3454 1 0 3815453 0
[pid=11077/tid=11078] ppid=11075 vsize=15417412 memory=12328 CPUtime=0.62 cores=1,3,5,7
/proc/11077/task/11078/stat : 11078 (java) S 11075 11075 7201 0 -1 1077944384 9360 0 0 0 58 4 0 0 20 0 19 0 475418537 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749799941248 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11079] ppid=11075 vsize=15417412 memory=500 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11079/stat : 11079 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475418538 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749723740688 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11080] ppid=11075 vsize=15417412 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11080/stat : 11080 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475418538 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749722688144 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11081] ppid=11075 vsize=15417412 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11081/stat : 11081 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475418538 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749721635088 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11082] ppid=11075 vsize=15417412 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11082/stat : 11082 (java) S 11075 11075 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475418538 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749720582544 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11083] ppid=11075 vsize=15417412 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11083/stat : 11083 (java) S 11075 11075 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475418539 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749264325360 139749795711618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11084] ppid=11075 vsize=15417412 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11084/stat : 11084 (java) S 11075 11075 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475418539 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749263271584 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11085] ppid=11075 vsize=15417412 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11085/stat : 11085 (java) S 11075 11075 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475418540 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749262218480 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11086] ppid=11075 vsize=15417412 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11086/stat : 11086 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749261167056 139749795719067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11087] ppid=11075 vsize=15417412 memory=836 CPUtime=0.21 cores=1,3,5,7
/proc/11077/task/11087/stat : 11087 (java) R 11075 11075 7201 0 -1 4202560 1268 0 0 0 21 0 0 0 20 0 19 0 475418542 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749260100704 139749788010708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11088] ppid=11075 vsize=15417412 memory=1760 CPUtime=0.19 cores=1,3,5,7
/proc/11077/task/11088/stat : 11088 (java) R 11075 11075 7201 0 -1 4202560 1018 0 0 0 19 0 0 0 20 0 19 0 475418542 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749259053432 139749781724287 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11089] ppid=11075 vsize=15417412 memory=111632 CPUtime=0.39 cores=1,3,5,7
/proc/11077/task/11089/stat : 11089 (java) R 11075 11075 7201 0 -1 4202560 1935 0 0 0 39 0 0 0 20 0 19 0 475418542 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749258006960 139749795721818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11090] ppid=11075 vsize=15417412 memory=804 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11090/stat : 11090 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749256956256 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11091] ppid=11075 vsize=15417412 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11091/stat : 11091 (java) S 11075 11075 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475418543 15787429888 22817 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92720 KiB
[startup+1.50713 s]
/proc/loadavg: 8.30 7.71 5.23 9/237 11115
/proc/meminfo: memFree=5028876/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11077/task/11091/stat : 11091 (java) R 11075 11075 7201 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 19 0 475418543 15925850112 56991 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11163] ppid=11075 vsize=15552588 memory=1532 CPUtime=16.31 cores=1,3,5,7
/proc/11077/task/11163/stat : 11163 (java) R 11075 11075 7201 0 -1 4202560 287 0 0 0 1631 0 0 0 20 0 19 0 475421540 15925850112 56991 33554432000 4194304 4196468 140737289424496 139749176101176 139749400171119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11164] ppid=11075 vsize=15552588 memory=836 CPUtime=16.11 cores=1,3,5,7
/proc/11077/task/11164/stat : 11164 (java) R 11075 11075 7201 0 -1 4202560 844 0 0 0 1611 0 0 0 20 0 19 0 475421540 15925850112 56991 33554432000 4194304 4196468 140737289424496 139749246684712 139749399819337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11165] ppid=11075 vsize=15552588 memory=1760 CPUtime=16.17 cores=1,3,5,7
/proc/11077/task/11165/stat : 11165 (java) R 11075 11075 7201 0 -1 4202560 984 0 0 0 1617 0 0 0 20 0 19 0 475421540 15925850112 56991 33554432000 4194304 4196468 140737289424496 139749245632192 139749398699311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11166] ppid=11075 vsize=15552588 memory=111632 CPUtime=16.3 cores=1,3,5,7
/proc/11077/task/11166/stat : 11166 (java) R 11075 11075 7201 0 -1 4202560 422 0 0 0 1630 0 0 0 20 0 19 0 475421540 15925850112 56991 33554432000 4194304 4196468 140737289424496 139749171901176 139749400594753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 183.14 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 229416 KiB
[startup+48.0011 s]*
/proc/loadavg: 8.71 7.90 5.41 10/237 11166
/proc/meminfo: memFree=4950740/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
[pid=11077] ppid=11075 vsize=15552588 memory=227980 CPUtime=189.54 cores=1,3,5,7
/proc/11077/stat : 11077 (java) S 11075 11075 7201 0 -1 1077944320 75205 0 0 0 18938 16 0 0 20 0 19 0 475418537 15925850112 56995 33554432000 4194304 4196468 140737289424496 140737289407040 139749795700471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
/proc/11077/statm: 3888147 56995 3520 1 0 3849247 0
[pid=11077/tid=11078] ppid=11075 vsize=15552588 memory=12328 CPUtime=0.63 cores=1,3,5,7
/proc/11077/task/11078/stat : 11078 (java) S 11075 11075 7201 0 -1 1077944384 10118 0 0 0 59 4 0 0 20 0 19 0 475418537 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749799941248 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11079] ppid=11075 vsize=15552588 memory=4126316290023845779 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11079/stat : 11079 (java) S 11075 11075 7201 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749723740688 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11080] ppid=11075 vsize=15552588 memory=227980 CPUtime=0.01 cores=1,3,5,7
/proc/11077/task/11080/stat : 11080 (java) S 11075 11075 7201 0 -1 1077944384 1929 0 0 0 1 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749722688144 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11081] ppid=11075 vsize=15552588 memory=2084 CPUtime=0.01 cores=1,3,5,7
/proc/11077/task/11081/stat : 11081 (java) S 11075 11075 7201 0 -1 1077944384 645 0 0 0 1 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749721635088 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11082] ppid=11075 vsize=15552588 memory=1480 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11082/stat : 11082 (java) S 11075 11075 7201 0 -1 1077944384 1022 0 0 0 2 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749720582544 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11083] ppid=11075 vsize=15552588 memory=3880 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11083/stat : 11083 (java) S 11075 11075 7201 0 -1 1077944384 1350 0 0 0 1 1 0 0 20 0 19 0 475418539 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749264325360 139749795711618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11084] ppid=11075 vsize=15552588 memory=7712 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11084/stat : 11084 (java) S 11075 11075 7201 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475418539 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749263271648 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11085] ppid=11075 vsize=15552588 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11085/stat : 11085 (java) S 11075 11075 7201 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 475418540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749262218496 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11086] ppid=11075 vsize=15552588 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11086/stat : 11086 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749261167056 139749795719067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11087] ppid=11075 vsize=15552588 memory=6316 CPUtime=3.63 cores=1,3,5,7
/proc/11077/task/11087/stat : 11087 (java) S 11075 11075 7201 0 -1 1077944384 18883 0 0 0 361 2 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749260114160 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11088] ppid=11075 vsize=15552588 memory=828 CPUtime=3.65 cores=1,3,5,7
/proc/11077/task/11088/stat : 11088 (java) S 11075 11075 7201 0 -1 1077944384 20561 0 0 0 362 3 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749259061616 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11089] ppid=11075 vsize=15552588 memory=736 CPUtime=0.77 cores=1,3,5,7
/proc/11077/task/11089/stat : 11089 (java) S 11075 11075 7201 0 -1 1077944384 8402 0 0 0 76 1 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749258008560 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11090] ppid=11075 vsize=15552588 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11090/stat : 11090 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749256956256 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11091] ppid=11075 vsize=15552588 memory=-2025810976467231676 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11091/stat : 11091 (java) S 11075 11075 7201 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 19 0 475418543 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11163] ppid=11075 vsize=15552588 memory=-5587106306044206369 CPUtime=17.92 cores=1,3,5,7
/proc/11077/task/11163/stat : 11163 (java) R 11075 11075 7201 0 -1 4202560 294 0 0 0 1792 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749176101344 139749400172537 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11164] ppid=11075 vsize=15552588 memory=7681407974647166620 CPUtime=17.68 cores=1,3,5,7
/proc/11077/task/11164/stat : 11164 (java) R 11075 11075 7201 0 -1 4202560 865 0 0 0 1768 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749246684984 139749400594753 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11165] ppid=11075 vsize=15552588 memory=7681421203011431829 CPUtime=17.74 cores=1,3,5,7
/proc/11077/task/11165/stat : 11165 (java) R 11075 11075 7201 0 -1 4202560 1015 0 0 0 1774 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749245632128 139749400978624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11166] ppid=11075 vsize=15552588 memory=-2025810976467231676 CPUtime=17.91 cores=1,3,5,7
/proc/11077/task/11166/stat : 11166 (java) R 11075 11075 7201 0 -1 4202560 428 0 0 0 1791 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749171900360 139749400978776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 189.54 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 229432 KiB
[startup+48.4011 s]
/proc/loadavg: 8.71 7.90 5.41 10/237 11166
/proc/meminfo: memFree=4950740/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
[pid=11077] ppid=11075 vsize=15552588 memory=227980 CPUtime=191.1 cores=1,3,5,7
/proc/11077/stat : 11077 (java) S 11075 11075 7201 0 -1 1077944320 75235 0 0 0 19094 16 0 0 20 0 19 0 475418537 15925850112 56995 33554432000 4194304 4196468 140737289424496 140737289407040 139749795700471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
/proc/11077/statm: 3888147 56995 3520 1 0 3849247 0
[pid=11077/tid=11078] ppid=11075 vsize=15552588 memory=227980 CPUtime=0.63 cores=1,3,5,7
/proc/11077/task/11078/stat : 11078 (java) S 11075 11075 7201 0 -1 1077944384 10118 0 0 0 59 4 0 0 20 0 19 0 475418537 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749799941248 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11079] ppid=11075 vsize=15552588 memory=2508 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11079/stat : 11079 (java) S 11075 11075 7201 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749723740688 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11080] ppid=11075 vsize=15552588 memory=1532 CPUtime=0.01 cores=1,3,5,7
/proc/11077/task/11080/stat : 11080 (java) S 11075 11075 7201 0 -1 1077944384 1929 0 0 0 1 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749722688144 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11081] ppid=11075 vsize=15552588 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/11077/task/11081/stat : 11081 (java) S 11075 11075 7201 0 -1 1077944384 645 0 0 0 1 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749721635088 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11082] ppid=11075 vsize=15552588 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11082/stat : 11082 (java) S 11075 11075 7201 0 -1 1077944384 1022 0 0 0 2 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749720582544 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11083] ppid=11075 vsize=15552588 memory=1172 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11083/stat : 11083 (java) S 11075 11075 7201 0 -1 1077944384 1350 0 0 0 1 1 0 0 20 0 19 0 475418539 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749264325360 139749795711618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11084] ppid=11075 vsize=15552588 memory=6316 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11084/stat : 11084 (java) S 11075 11075 7201 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475418539 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749263271648 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11085] ppid=11075 vsize=15552588 memory=828 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11085/stat : 11085 (java) S 11075 11075 7201 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 475418540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749262218496 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11086] ppid=11075 vsize=15552588 memory=736 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11086/stat : 11086 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749261167056 139749795719067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11087] ppid=11075 vsize=15552588 memory=1608 CPUtime=3.63 cores=1,3,5,7
/proc/11077/task/11087/stat : 11087 (java) S 11075 11075 7201 0 -1 1077944384 18883 0 0 0 361 2 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749260114160 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11088] ppid=11075 vsize=15552588 memory=1076 CPUtime=3.65 cores=1,3,5,7
/proc/11077/task/11088/stat : 11088 (java) S 11075 11075 7201 0 -1 1077944384 20561 0 0 0 362 3 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749259061616 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11089] ppid=11075 vsize=15552588 memory=3124 CPUtime=0.77 cores=1,3,5,7
/proc/11077/task/11089/stat : 11089 (java) S 11075 11075 7201 0 -1 1077944384 8402 0 0 0 76 1 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749258008560 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11090] ppid=11075 vsize=15552588 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11090/stat : 11090 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749256956256 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11091] ppid=11075 vsize=15552588 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11091/stat : 11091 (java) S 11075 11075 7201 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 19 0 475418543 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11163] ppid=11075 vsize=15552588 memory=1532 CPUtime=18.31 cores=1,3,5,7
/proc/11077/task/11163/stat : 11163 (java) R 11075 11075 7201 0 -1 4202560 294 0 0 0 1831 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749176101480 139749402612213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11164] ppid=11075 vsize=15552588 memory=836 CPUtime=18.07 cores=1,3,5,7
/proc/11077/task/11164/stat : 11164 (java) R 11075 11075 7201 0 -1 4202560 865 0 0 0 1807 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749246684984 139749400680882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11165] ppid=11075 vsize=15552588 memory=1760 CPUtime=18.13 cores=1,3,5,7
/proc/11077/task/11165/stat : 11165 (java) R 11075 11075 7201 0 -1 4202560 1017 0 0 0 1813 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749245632128 139749780911585 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11166] ppid=11075 vsize=15552588 memory=111632 CPUtime=18.3 cores=1,3,5,7
/proc/11077/task/11166/stat : 11166 (java) R 11075 11075 7201 0 -1 4202560 456 0 0 0 1830 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749171900360 139749398170572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 191.1 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 229432 KiB
[startup+48.8011 s]
/proc/loadavg: 8.71 7.90 5.41 10/237 11166
/proc/meminfo: memFree=4950740/32770624 swapFree=67021824/67108860
[pid=11075] ppid=11072 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11075/stat : 11075 (xcsp3-exec) S 11072 11075 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475418536 115843072 363 33554432000 4194304 5098028 140727796371504 140727796369608 140203807130236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8183808 140727796380502 140727796380761 140727796380761 140727796383686 0
/proc/11075/statm: 28282 363 304 221 0 87 0
[pid=11077] ppid=11075 vsize=15552588 memory=227980 CPUtime=192.7 cores=1,3,5,7
/proc/11077/stat : 11077 (java) S 11075 11075 7201 0 -1 1077944320 75248 0 0 0 19254 16 0 0 20 0 19 0 475418537 15925850112 56995 33554432000 4194304 4196468 140737289424496 140737289407040 139749795700471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
/proc/11077/statm: 3888147 56995 3520 1 0 3849247 0
[pid=11077/tid=11078] ppid=11075 vsize=15552588 memory=1040 CPUtime=0.63 cores=1,3,5,7
/proc/11077/task/11078/stat : 11078 (java) S 11075 11075 7201 0 -1 1077944384 10118 0 0 0 59 4 0 0 20 0 19 0 475418537 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749799941248 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11079] ppid=11075 vsize=15552588 memory=2084 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11079/stat : 11079 (java) S 11075 11075 7201 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749723740688 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11080] ppid=11075 vsize=15552588 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/11077/task/11080/stat : 11080 (java) S 11075 11075 7201 0 -1 1077944384 1929 0 0 0 1 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749722688144 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11081] ppid=11075 vsize=15552588 memory=1584 CPUtime=0.01 cores=1,3,5,7
/proc/11077/task/11081/stat : 11081 (java) S 11075 11075 7201 0 -1 1077944384 645 0 0 0 1 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749721635088 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11082] ppid=11075 vsize=15552588 memory=1744 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11082/stat : 11082 (java) S 11075 11075 7201 0 -1 1077944384 1022 0 0 0 2 0 0 0 20 0 19 0 475418538 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749720582544 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11083] ppid=11075 vsize=15552588 memory=924 CPUtime=0.02 cores=1,3,5,7
/proc/11077/task/11083/stat : 11083 (java) S 11075 11075 7201 0 -1 1077944384 1350 0 0 0 1 1 0 0 20 0 19 0 475418539 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749264325360 139749795711618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11084] ppid=11075 vsize=15552588 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11084/stat : 11084 (java) S 11075 11075 7201 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 475418539 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749263271648 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11085] ppid=11075 vsize=15552588 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11085/stat : 11085 (java) S 11075 11075 7201 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 475418540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749262218496 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11086] ppid=11075 vsize=15552588 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11086/stat : 11086 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749261167056 139749795719067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11087] ppid=11075 vsize=15552588 memory=15816698942982814 CPUtime=3.63 cores=1,3,5,7
/proc/11077/task/11087/stat : 11087 (java) S 11075 11075 7201 0 -1 1077944384 18883 0 0 0 361 2 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749260114160 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11088] ppid=11075 vsize=15552588 memory=0 CPUtime=3.65 cores=1,3,5,7
/proc/11077/task/11088/stat : 11088 (java) S 11075 11075 7201 0 -1 1077944384 20561 0 0 0 362 3 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749259061616 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11089] ppid=11075 vsize=15552588 memory=500 CPUtime=0.77 cores=1,3,5,7
/proc/11077/task/11089/stat : 11089 (java) S 11075 11075 7201 0 -1 1077944384 8402 0 0 0 76 1 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749258008560 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11090] ppid=11075 vsize=15552588 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11090/stat : 11090 (java) S 11075 11075 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475418542 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749256956256 139749795710677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11091] ppid=11075 vsize=15552588 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11077/task/11091/stat : 11091 (java) S 11075 11075 7201 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 19 0 475418543 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749255904304 139749795711618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11163] ppid=11075 vsize=15552588 memory=3124 CPUtime=18.71 cores=1,3,5,7
/proc/11077/task/11163/stat : 11163 (java) R 11075 11075 7201 0 -1 4202560 294 0 0 0 1871 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749176101480 139749400682292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11164] ppid=11075 vsize=15552588 memory=1244 CPUtime=18.47 cores=1,3,5,7
/proc/11077/task/11164/stat : 11164 (java) R 11075 11075 7201 0 -1 4202560 878 0 0 0 1847 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749246684984 139749400591284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11165] ppid=11075 vsize=15552588 memory=14064 CPUtime=18.53 cores=1,3,5,7
/proc/11077/task/11165/stat : 11165 (java) R 11075 11075 7201 0 -1 4202560 1017 0 0 0 1853 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749245632128 139749401081936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
[pid=11077/tid=11166] ppid=11075 vsize=15552588 memory=17720 CPUtime=18.7 cores=1,3,5,7
/proc/11077/task/11166/stat : 11166 (java) R 11075 11075 7201 0 -1 4202560 456 0 0 0 1870 0 0 0 20 0 19 0 475421540 15925850112 56995 33554432000 4194304 4196468 140737289424496 139749171900360 139749401357699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140737289429979 140737289430154 140737289430154 140737289433039 0
Current children cumulated CPU time: 192.7 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 229432 KiB
Child status: 0
Real time (s): 48.8717
CPU time (s): 192.953
CPU user time (s): 192.782
CPU system time (s): 0.17075
CPU usage (%): 394.816
Max. virtual memory (cumulated for all children) (KiB): 15667656
Max. memory (cumulated for all children) (KiB): 234544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.782
system time used= 0.17075
maximum resident set size= 233112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76665
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= 5362
involuntary context switches= 4775
# summary of solver processes directly reported to runsolver:
# pid: 11075
# total CPU time (s): 192.953
# total CPU user time (s): 192.782
# total CPU system time (s): 0.17075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.352667 second user time and 0.536601 second system time
The end