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 (13460 MiB free)
memory of node 1: 16384 MiB (11529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405759-1569399193/watcher-4405759-1569399193 -o /var/tmp/evaluation-result-4405759-1569399193/solver-4405759-1569399193 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18883 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4405759-1569399193.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19654, runsolver pid=19651
[startup+0.100058 s]*
/proc/loadavg: 2.38 2.10 1.87 4/228 19670
/proc/meminfo: memFree=25573688/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15144776 memory=30044 CPUtime=0.12 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 5433 0 0 0 11 1 0 0 20 0 15 0 516177081 15508250624 7511 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3786194 7511 3179 1 0 3748377 0
[pid=19656/tid=19657] ppid=19654 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 3363 0 0 0 8 1 0 0 20 0 15 0 516177082 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826867120800 139826855131966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15144776 memory=139888337835648 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15144776 memory=139888337835648 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177084 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516177084 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) R 19654 19654 18852 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826327124848 139826862905986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) R 19654 19654 18852 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826326071120 139826840727696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15144776 memory=139888337835648 CPUtime=0.02 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) R 19654 19654 18852 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 516177087 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826325019248 139826841523967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15144776 memory=139888337835648 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 7577 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31496 KiB
[startup+0.210651 s]*
/proc/loadavg: 2.38 2.10 1.87 4/228 19670
/proc/meminfo: memFree=25561796/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15144776 memory=40584 CPUtime=0.35 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 8869 0 0 0 32 3 0 0 20 0 15 0 516177081 15508250624 10146 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3786194 10146 3292 1 0 3748377 0
[pid=19656/tid=19657] ppid=19654 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 6129 0 0 0 18 2 0 0 20 0 15 0 516177082 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826867129536 139826862916765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15144776 memory=288370264489547392 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15144776 memory=139888337835648 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516177084 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516177084 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 18852 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 516177087 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826327124848 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 18852 0 -1 1077944384 303 0 0 0 2 0 0 0 20 0 15 0 516177087 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826326072048 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15144776 memory=139888337835648 CPUtime=0.08 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 18852 0 -1 1077944384 780 0 0 0 8 0 0 0 20 0 15 0 516177087 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826325019248 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177087 15508250624 10146 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42036 KiB
[startup+0.310792 s]*
/proc/loadavg: 2.38 2.10 1.87 5/228 19670
/proc/meminfo: memFree=25554152/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15149032 memory=50112 CPUtime=0.54 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 10322 0 0 0 50 4 0 0 20 0 15 0 516177081 15512608768 12528 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3787258 12528 3365 1 0 3748377 0
[pid=19656/tid=19657] ppid=19654 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 7275 0 0 0 27 2 0 0 20 0 15 0 516177082 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826867128624 139826862916765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516177084 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516177084 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 18852 0 -1 1077944384 354 0 0 0 4 0 0 0 20 0 15 0 516177087 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826327124848 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) R 19654 19654 18852 0 -1 4202560 465 0 0 0 5 0 0 0 20 0 15 0 516177087 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826326062432 139826840156096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 18852 0 -1 1077944384 932 0 0 0 13 0 0 0 20 0 15 0 516177087 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826325019248 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177087 15512608768 12596 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51564 KiB
[startup+0.700837 s]
/proc/loadavg: 2.38 2.10 1.87 5/228 19670
/proc/meminfo: memFree=25515224/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15151156 memory=174936 CPUtime=1.6 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 13387 0 0 0 154 6 0 0 20 0 15 0 516177081 15514783744 43734 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3787789 43734 3441 1 0 3748889 0
[pid=19656/tid=19657] ppid=19654 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 7750 0 0 0 63 5 0 0 20 0 15 0 516177082 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826867129120 139826503257927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15151156 memory=55140 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177082 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516177082 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15151156 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15151156 memory=2832 CPUtime=0.33 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) R 19654 19654 18852 0 -1 4202560 1202 0 0 0 33 0 0 0 20 0 15 0 516177087 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826327112400 139826842142536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15151156 memory=1620 CPUtime=0.33 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) R 19654 19654 18852 0 -1 4202560 1421 0 0 0 33 0 0 0 20 0 15 0 516177087 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826326062432 139826842141820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15151156 memory=1136 CPUtime=0.24 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 18852 0 -1 1077944384 1705 0 0 0 24 0 0 0 20 0 15 0 516177087 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826325019248 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15151156 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15151156 memory=6196 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 43734 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 176388 KiB
[startup+1.5008 s]
/proc/loadavg: 2.38 2.10 1.87 3/228 19670
/proc/meminfo: memFree=25372680/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15151156 memory=474720 CPUtime=21.04 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 26840 0 0 0 2078 26 0 0 20 0 15 0 516177081 15514783744 118680 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3787789 118680 3493 1 0 3748889 0
[pid=19656/tid=19657] ppid=19654 vsize=15151156 memory=6791534058613427641 CPUtime=17.49 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 9875 0 0 0 1741 8 0 0 20 0 15 0 516177082 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826867131568 139826504613367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15151156 memory=472672 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 210 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15151156 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 215 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15151156 memory=500940 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15151156 memory=1408 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 248 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15151156 memory=2544 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15151156 memory=472664 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15151156 memory=474720 CPUtime=1.4 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 18852 0 -1 1077944384 5275 0 0 0 139 1 0 0 20 0 15 0 516177087 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826327124848 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15151156 memory=928 CPUtime=1.34 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 18852 0 -1 1077944384 5267 0 0 0 133 1 0 0 20 0 15 0 516177087 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826326072048 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15151156 memory=1772 CPUtime=0.47 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 18852 0 -1 1077944384 3729 0 0 0 47 0 0 0 20 0 15 0 516177087 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826325019248 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15151156 memory=900 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15151156 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 118680 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 21.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 476172 KiB
[startup+18.0008 s]*
/proc/loadavg: 2.28 2.09 1.87 3/228 19670
/proc/meminfo: memFree=25126200/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15151156 memory=476768 CPUtime=21.45 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 26842 0 0 0 2119 26 0 0 20 0 15 0 516177081 15514783744 119192 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3787789 119192 3493 1 0 3748889 0
[pid=19656/tid=19657] ppid=19654 vsize=15151156 memory=7883960649037381690 CPUtime=17.9 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 9877 0 0 0 1782 8 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826867131568 139826504717159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15151156 memory=1899191 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 210 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15151156 memory=301934046896686720 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 215 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15151156 memory=6944656575208382560 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15151156 memory=734417898574607474 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 248 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15151156 memory=3832757280137316535 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15151156 memory=3473455227027601718 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15151156 memory=7954593215362655595 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15151156 memory=7524512692651257697 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15151156 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 18852 0 -1 1077944384 5275 0 0 0 139 1 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826327124848 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15151156 memory=2319977463925715762 CPUtime=1.34 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 18852 0 -1 1077944384 5267 0 0 0 133 1 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826326072048 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15151156 memory=3473875563845093298 CPUtime=0.47 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 18852 0 -1 1077944384 3729 0 0 0 47 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826325019248 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15151156 memory=3760822563877826611 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 21.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 478220 KiB
[startup+18.4007 s]
/proc/loadavg: 2.28 2.09 1.87 3/228 19670
/proc/meminfo: memFree=25126200/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15151156 memory=476768 CPUtime=21.84 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 26873 0 0 0 2158 26 0 0 20 0 15 0 516177081 15514783744 119192 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3787789 119192 3493 1 0 3748889 0
[pid=19656/tid=19657] ppid=19654 vsize=15151156 memory=8317482817917895235 CPUtime=18.29 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 9908 0 0 0 1821 8 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826867131568 139826504716740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15151156 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 210 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15151156 memory=288230621803970871 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 215 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15151156 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15151156 memory=474720 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 248 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15151156 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15151156 memory=900 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15151156 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15151156 memory=1976 CPUtime=1.4 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 18852 0 -1 1077944384 5275 0 0 0 139 1 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826327124848 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15151156 memory=2580 CPUtime=1.34 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 18852 0 -1 1077944384 5267 0 0 0 133 1 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826326072048 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15151156 memory=1760 CPUtime=0.47 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 18852 0 -1 1077944384 3729 0 0 0 47 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826325019248 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15151156 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 21.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 478220 KiB
[startup+18.5008 s]
/proc/loadavg: 2.28 2.09 1.87 3/228 19670
/proc/meminfo: memFree=25126200/32770624 swapFree=66956944/67108860
[pid=19654] ppid=19651 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516177081 115843072 363 33554432000 4194304 5098028 140733535821952 140733535820056 140565493084796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25145344 140733535826775 140733535827033 140733535827033 140733535829958 0
/proc/19654/statm: 28282 363 304 221 0 87 0
[pid=19656] ppid=19654 vsize=15151156 memory=476768 CPUtime=21.94 cores=0,2,4,6
/proc/19656/stat : 19656 (java) S 19654 19654 18852 0 -1 1077944320 26873 0 0 0 2168 26 0 0 20 0 15 0 516177081 15514783744 119192 33554432000 4194304 4196468 140721661041184 140721661023728 139826862894839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
/proc/19656/statm: 3787789 119192 3493 1 0 3748889 0
[pid=19656/tid=19657] ppid=19654 vsize=15151156 memory=476768 CPUtime=18.39 cores=0,2,4,6
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 18852 0 -1 4202560 9908 0 0 0 1831 8 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826867131568 139826504716826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19658] ppid=19654 vsize=15151156 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 18852 0 -1 1077944384 210 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826455194768 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19659] ppid=19654 vsize=15151156 memory=474720 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 18852 0 -1 1077944384 215 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826454141968 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19660] ppid=19654 vsize=15151156 memory=474720 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 18852 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826453089168 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19661] ppid=19654 vsize=15151156 memory=6 CPUtime=0.06 cores=0,2,4,6
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 18852 0 -1 1077944384 248 0 0 0 3 3 0 0 20 0 15 0 516177082 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826452036368 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19662] ppid=19654 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 18852 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826331335024 139826862905986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19663] ppid=19654 vsize=15151156 memory=68 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826330280992 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19664] ppid=19654 vsize=15151156 memory=7957689449132282197 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 18852 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516177084 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826329228144 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19665] ppid=19654 vsize=15151156 memory=472672 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826328176464 139826862913435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19666] ppid=19654 vsize=15151156 memory=6944656592455359580 CPUtime=1.4 cores=0,2,4,6
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 18852 0 -1 1077944384 5275 0 0 0 139 1 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826327124848 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19667] ppid=19654 vsize=15151156 memory=1976 CPUtime=1.34 cores=0,2,4,6
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 18852 0 -1 1077944384 5267 0 0 0 133 1 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826326072048 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19668] ppid=19654 vsize=15151156 memory=2580 CPUtime=0.47 cores=0,2,4,6
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 18852 0 -1 1077944384 3729 0 0 0 47 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826325019248 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19669] ppid=19654 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826323966688 139826862905045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
[pid=19656/tid=19670] ppid=19654 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 18852 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 516177087 15514783744 119192 33554432000 4194304 4196468 140721661041184 139826322913968 139826862905986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140721661047771 140721661047946 140721661047946 140721661050831 0
Current children cumulated CPU time: 21.94 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 478220 KiB
Child status: 0
Real time (s): 18.5123
CPU time (s): 21.9625
CPU user time (s): 21.6934
CPU system time (s): 0.269164
CPU usage (%): 118.638
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 478220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6934
system time used= 0.269164
maximum resident set size= 479420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2867
involuntary context switches= 58
# summary of solver processes directly reported to runsolver:
# pid: 19654
# total CPU time (s): 21.9625
# total CPU user time (s): 21.6934
# total CPU system time (s): 0.269164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124806 second user time and 0.227165 second system time
The end