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 (15201 MiB free)
memory of node 1: 16384 MiB (12265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399124-1568699274/watcher-4399124-1568699274 -o /tmp/evaluation-result-4399124-1568699274/solver-4399124-1568699274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24719 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1840096521 HOME/instance-4399124-1568699274.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25760, runsolver pid=25757
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 7.88 7.37 4.73 8/233 25776
/proc/meminfo: memFree=28110080/32770624 swapFree=66938236/67108860
[pid=25760] ppid=25757 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25760/stat : 25760 (xcsp3-exec) S 25757 25760 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446198844 115843072 363 33554432000 4194304 5098028 140724028098064 140724028096168 140719556833916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28626944 140724028105594 140724028105837 140724028105837 140724028108746 0
/proc/25760/statm: 28282 363 304 221 0 87 0
[pid=25762] ppid=25760 vsize=15144776 memory=28912 CPUtime=0.13 cores=0,2,4,6
/proc/25762/stat : 25762 (java) S 25760 25760 24688 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 446198844 15508250624 7228 33554432000 4194304 4196468 140735304235456 140735304218000 140383072153335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
/proc/25762/statm: 3786194 7228 3148 1 0 3748377 0
[pid=25762/tid=25763] ppid=25760 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/25762/task/25763/stat : 25763 (java) R 25760 25760 24688 0 -1 4202560 3570 0 0 0 9 0 0 0 20 0 15 0 446198845 15508250624 7228 33554432000 4194304 4196468 140735304235456 140383076375392 140383064390462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25764] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25764/stat : 25764 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 7228 33554432000 4194304 4196468 140735304235456 140383024774032 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25765] ppid=25760 vsize=15144776 memory=140513335584384 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25765/stat : 25765 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 7228 33554432000 4194304 4196468 140735304235456 140383023721232 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25766] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25766/stat : 25766 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 7228 33554432000 4194304 4196468 140735304235456 140383022668944 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25767] ppid=25760 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25767/stat : 25767 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 7228 33554432000 4194304 4196468 140735304235456 140383021616144 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25768] ppid=25760 vsize=15144776 memory=140513335584384 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25768/stat : 25768 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198847 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382540875888 140383072164482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25769] ppid=25760 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25769/stat : 25769 (java) S 25760 25760 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446198847 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382539821856 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25770] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25770/stat : 25770 (java) S 25760 25760 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446198847 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382538769520 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25771] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25771/stat : 25771 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382537717840 140383072171931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25772] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25772/stat : 25772 (java) S 25760 25760 24688 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382536665712 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25773] ppid=25760 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25773/stat : 25773 (java) S 25760 25760 24688 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382535612912 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25774] ppid=25760 vsize=15144776 memory=140513335584384 CPUtime=0.02 cores=0,2,4,6
/proc/25762/task/25774/stat : 25774 (java) R 25760 25760 24688 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 446198850 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382534560624 140383051084773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25775] ppid=25760 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25775/stat : 25775 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382533508064 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25776] ppid=25760 vsize=15144776 memory=140513335584384 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25776/stat : 25776 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 7228 33554432000 4194304 4196468 140735304235456 140382532454832 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30364 KiB
[startup+0.21083 s]*
/proc/loadavg: 7.88 7.37 4.73 8/233 25776
/proc/meminfo: memFree=28097100/32770624 swapFree=66938236/67108860
[pid=25760] ppid=25757 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25760/stat : 25760 (xcsp3-exec) S 25757 25760 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446198844 115843072 363 33554432000 4194304 5098028 140724028098064 140724028096168 140719556833916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28626944 140724028105594 140724028105837 140724028105837 140724028108746 0
/proc/25760/statm: 28282 363 304 221 0 87 0
[pid=25762] ppid=25760 vsize=15144776 memory=41108 CPUtime=0.34 cores=0,2,4,6
/proc/25762/stat : 25762 (java) S 25760 25760 24688 0 -1 1077944320 9484 0 0 0 31 3 0 0 20 0 15 0 446198844 15508250624 10277 33554432000 4194304 4196468 140735304235456 140735304218000 140383072153335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
/proc/25762/statm: 3786194 10277 3289 1 0 3748377 0
[pid=25762/tid=25763] ppid=25760 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/25762/task/25763/stat : 25763 (java) R 25760 25760 24688 0 -1 4202560 6594 0 0 0 18 2 0 0 20 0 15 0 446198845 15508250624 10277 33554432000 4194304 4196468 140735304235456 140383076387280 140383056233822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25764] ppid=25760 vsize=15144776 memory=2964504 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25764/stat : 25764 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 10277 33554432000 4194304 4196468 140735304235456 140383024774032 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25765] ppid=25760 vsize=15144776 memory=140513335608847 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25765/stat : 25765 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 10277 33554432000 4194304 4196468 140735304235456 140383023721232 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25766] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25766/stat : 25766 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 10277 33554432000 4194304 4196468 140735304235456 140383022668944 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25767] ppid=25760 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25767/stat : 25767 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15508250624 10277 33554432000 4194304 4196468 140735304235456 140383021616144 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25768] ppid=25760 vsize=15144776 memory=140513335584384 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25768/stat : 25768 (java) S 25760 25760 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446198847 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382540875888 140383072164482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25769] ppid=25760 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25769/stat : 25769 (java) S 25760 25760 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446198847 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382539821856 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25770] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25770/stat : 25770 (java) S 25760 25760 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446198847 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382538769520 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25771] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25771/stat : 25771 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382537717840 140383072171931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25772] ppid=25760 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25762/task/25772/stat : 25772 (java) S 25760 25760 24688 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 446198850 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382536665712 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25773] ppid=25760 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25762/task/25773/stat : 25773 (java) S 25760 25760 24688 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 446198850 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382535612912 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25774] ppid=25760 vsize=15144776 memory=140513335584384 CPUtime=0.08 cores=0,2,4,6
/proc/25762/task/25774/stat : 25774 (java) S 25760 25760 24688 0 -1 1077944384 801 0 0 0 8 0 0 0 20 0 15 0 446198850 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382534560624 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25775] ppid=25760 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25775/stat : 25775 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382533508064 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25776] ppid=25760 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25776/stat : 25776 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198850 15508250624 10277 33554432000 4194304 4196468 140735304235456 140382532454832 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42560 KiB
[startup+0.319054 s]*
/proc/loadavg: 7.88 7.37 4.73 7/233 25776
/proc/meminfo: memFree=28089112/32770624 swapFree=66938236/67108860
[pid=25760] ppid=25757 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25760/stat : 25760 (xcsp3-exec) S 25757 25760 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446198844 115843072 363 33554432000 4194304 5098028 140724028098064 140724028096168 140719556833916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28626944 140724028105594 140724028105837 140724028105837 140724028108746 0
/proc/25760/statm: 28282 363 304 221 0 87 0
[pid=25762] ppid=25760 vsize=15149032 memory=50412 CPUtime=0.53 cores=0,2,4,6
/proc/25762/stat : 25762 (java) S 25760 25760 24688 0 -1 1077944320 10906 0 0 0 49 4 0 0 20 0 15 0 446198844 15512608768 12603 33554432000 4194304 4196468 140735304235456 140735304218000 140383072153335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
/proc/25762/statm: 3787258 12603 3349 1 0 3748377 0
[pid=25762/tid=25763] ppid=25760 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/25762/task/25763/stat : 25763 (java) R 25760 25760 24688 0 -1 4202560 7789 0 0 0 27 2 0 0 20 0 15 0 446198845 15512608768 12603 33554432000 4194304 4196468 140735304235456 140383076388272 140383056233822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25764] ppid=25760 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25764/stat : 25764 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15512608768 12603 33554432000 4194304 4196468 140735304235456 140383024774032 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25765] ppid=25760 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25765/stat : 25765 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15512608768 12603 33554432000 4194304 4196468 140735304235456 140383023721232 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25766] ppid=25760 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25766/stat : 25766 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15512608768 12603 33554432000 4194304 4196468 140735304235456 140383022668944 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25767] ppid=25760 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25767/stat : 25767 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15512608768 12603 33554432000 4194304 4196468 140735304235456 140383021616144 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25768] ppid=25760 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25768/stat : 25768 (java) S 25760 25760 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446198847 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382540875888 140383072164482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25769] ppid=25760 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25769/stat : 25769 (java) S 25760 25760 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446198847 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382539821856 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25770] ppid=25760 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25770/stat : 25770 (java) S 25760 25760 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446198847 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382538769520 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25771] ppid=25760 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25771/stat : 25771 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382537717840 140383072171931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25772] ppid=25760 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/25762/task/25772/stat : 25772 (java) S 25760 25760 24688 0 -1 1077944384 542 0 0 0 5 0 0 0 20 0 15 0 446198850 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382536665712 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25773] ppid=25760 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25762/task/25773/stat : 25773 (java) S 25760 25760 24688 0 -1 1077944384 359 0 0 0 3 0 0 0 20 0 15 0 446198850 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382535612912 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25774] ppid=25760 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25762/task/25774/stat : 25774 (java) S 25760 25760 24688 0 -1 1077944384 911 0 0 0 12 0 0 0 20 0 15 0 446198850 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382534560624 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25775] ppid=25760 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25775/stat : 25775 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382533508064 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25776] ppid=25760 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25776/stat : 25776 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198850 15512608768 12603 33554432000 4194304 4196468 140735304235456 140382532454832 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51864 KiB
[startup+0.709048 s]
/proc/loadavg: 7.88 7.37 4.73 9/233 25776
/proc/meminfo: memFree=28075528/32770624 swapFree=66938236/67108860
[pid=25760] ppid=25757 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25760/stat : 25760 (xcsp3-exec) S 25757 25760 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446198844 115843072 363 33554432000 4194304 5098028 140724028098064 140724028096168 140719556833916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28626944 140724028105594 140724028105837 140724028105837 140724028108746 0
/proc/25760/statm: 28282 363 304 221 0 87 0
[pid=25762] ppid=25760 vsize=15151156 memory=138852 CPUtime=1.71 cores=0,2,4,6
/proc/25762/stat : 25762 (java) S 25760 25760 24688 0 -1 1077944320 15119 0 0 0 164 7 0 0 20 0 15 0 446198844 15514783744 34713 33554432000 4194304 4196468 140735304235456 140735304218000 140383072153335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
/proc/25762/statm: 3787789 34713 3458 1 0 3748889 0
[pid=25762/tid=25763] ppid=25760 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/25762/task/25763/stat : 25763 (java) R 25760 25760 24688 0 -1 4202560 9167 0 0 0 63 4 0 0 20 0 15 0 446198845 15514783744 34713 33554432000 4194304 4196468 140735304235456 140383076391088 140382700719536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25764] ppid=25760 vsize=15151156 memory=288230377044124670 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25764/stat : 25764 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15514783744 34713 33554432000 4194304 4196468 140735304235456 140383024774032 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25765] ppid=25760 vsize=15151156 memory=288291077884034143 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25765/stat : 25765 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198845 15514783744 34713 33554432000 4194304 4196468 140735304235456 140383023721232 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25766] ppid=25760 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25766/stat : 25766 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15514783744 34713 33554432000 4194304 4196468 140735304235456 140383022668944 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25767] ppid=25760 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25767/stat : 25767 (java) S 25760 25760 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446198845 15514783744 34713 33554432000 4194304 4196468 140735304235456 140383021616144 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25768] ppid=25760 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25768/stat : 25768 (java) S 25760 25760 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446198847 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382540875888 140383072164482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25769] ppid=25760 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25769/stat : 25769 (java) S 25760 25760 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446198847 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382539821856 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25770] ppid=25760 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25770/stat : 25770 (java) S 25760 25760 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446198847 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382538769520 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25771] ppid=25760 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25771/stat : 25771 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382537717840 140383072171931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25772] ppid=25760 vsize=15151156 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/25762/task/25772/stat : 25772 (java) R 25760 25760 24688 0 -1 4202560 1371 0 0 0 30 1 0 0 20 0 15 0 446198850 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382536652848 140383057075117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25773] ppid=25760 vsize=15151156 memory=4639074098508484692 CPUtime=0.28 cores=0,2,4,6
/proc/25762/task/25773/stat : 25773 (java) R 25760 25760 24688 0 -1 4202560 1099 0 0 0 28 0 0 0 20 0 15 0 446198850 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382535602512 140383055564207 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25774] ppid=25760 vsize=15151156 memory=7019535477613228389 CPUtime=0.42 cores=0,2,4,6
/proc/25762/task/25774/stat : 25774 (java) R 25760 25760 24688 0 -1 4202560 2175 0 0 0 41 1 0 0 20 0 15 0 446198850 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382534560624 140383056233822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25775] ppid=25760 vsize=15151156 memory=7523639645888864342 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25775/stat : 25775 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446198850 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382533508064 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25776] ppid=25760 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25776/stat : 25776 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446198850 15514783744 34713 33554432000 4194304 4196468 140735304235456 140382532454832 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 140304 KiB
[startup+1.50078 s]
/proc/loadavg: 7.88 7.37 4.73 11/237 25832
/proc/meminfo: memFree=27870804/32770624 swapFree=66938236/67108860
[pid=25760] ppid=25757 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25760/stat : 25760 (xcsp3-exec) S 25757 25760 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446198844 115843072 363 33554432000 4194304 5098028 140724028098064 140724028096168 140719556833916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28626944 140724028105594 140724028105837 140724028105837 140724028108746 0
/proc/25760/statm: 28282 363 304 221 0 87 0
[pid=25762] ppid=25760 vsize=15485004 memory=273128 CPUtime=4.73 cores=0,2,4,6
/proc/25762/stat : 25762 (java) S 25760 25760 24688 0 -1 1077944320 18738 0 0 0 455 18 0 0 20 0 19 0 446198844 15856644096 68282 33554432000 4194304 4196468 140735304235456 140735304218000 140383072153335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
/proc/25762/statm: 3871251 68282 3505 1 0 3832351 0
[pid=25762/tid=25763] ppid=25760 vsize=15485004 memory=33 CPUtime=0.74 cores=0,2,4,6
/proc/25762/task/25763/stat : 25763 (java) S 25760 25760 24688 0 -1 1077944384 9248 0 0 0 69 5 0 0 20 0 19 0 446198845 15856644096 68282 33554432000 4194304 4196468 140735304235456 140383076394112 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25764] ppid=25760 vsize=15485004 memory=288230583166042426 CPUtime=0.06 cores=0,2,4,6
/proc/25762/task/25764/stat : 25764 (java) S 25760 25760 24688 0 -1 1077944384 49 0 0 0 4 2 0 0 20 0 19 0 446198845 15856644096 68282 33554432000 4194304 4196468 140735304235456 140383024774032 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25765] ppid=25760 vsize=15485004 memory=15816716106074690 CPUtime=0.05 cores=0,2,4,6
/proc/25762/task/25765/stat : 25765 (java) S 25760 25760 24688 0 -1 1077944384 42 0 0 0 3 2 0 0 20 0 19 0 446198845 15856644096 68282 33554432000 4194304 4196468 140735304235456 140383023721232 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25766] ppid=25760 vsize=15485004 memory=2124 CPUtime=0.03 cores=0,2,4,6
/proc/25762/task/25766/stat : 25766 (java) S 25760 25760 24688 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 19 0 446198845 15856644096 68282 33554432000 4194304 4196468 140735304235456 140383022668944 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25767] ppid=25760 vsize=15485004 memory=12024 CPUtime=0.06 cores=0,2,4,6
/proc/25762/task/25767/stat : 25767 (java) S 25760 25760 24688 0 -1 1077944384 57 0 0 0 4 2 0 0 20 0 19 0 446198845 15856644096 68282 33554432000 4194304 4196468 140735304235456 140383021616144 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25768] ppid=25760 vsize=15485004 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25768/stat : 25768 (java) S 25760 25760 24688 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382540875888 140383072164482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25769] ppid=25760 vsize=15485004 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25769/stat : 25769 (java) S 25760 25760 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382539821856 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25770] ppid=25760 vsize=15485004 memory=2465 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25770/stat : 25770 (java) S 25760 25760 24688 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382538769520 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25771] ppid=25760 vsize=15485004 memory=288230587494564173 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25771/stat : 25771 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382537717840 140383072171931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25772] ppid=25760 vsize=15485004 memory=3905518293989208322 CPUtime=0.9 cores=0,2,4,6
/proc/25762/task/25772/stat : 25772 (java) R 25760 25760 24688 0 -1 4202560 1708 0 0 0 89 1 0 0 20 0 19 0 446198850 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382536655632 140383057075117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25773] ppid=25760 vsize=15485004 memory=6791534058613427641 CPUtime=0.93 cores=0,2,4,6
/proc/25762/task/25773/stat : 25773 (java) R 25760 25760 24688 0 -1 4202560 1591 0 0 0 93 0 0 0 20 0 19 0 446198850 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382535599416 140383056898342 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25774] ppid=25760 vsize=15485004 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/25762/task/25774/stat : 25774 (java) S 25760 25760 24688 0 -1 1077944384 2894 0 0 0 59 1 0 0 20 0 19 0 446198850 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382534560624 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25775] ppid=25760 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25775/stat : 25775 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382533508064 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25776] ppid=25760 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25776/stat : 25776 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68282 33554432000 4194304 4196468 140735304235456 140382532454832 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 274580 KiB
[startup+1.87124 s]
# the end of solver process 25760 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.93371 s, system=0.190653 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60105 s]
/proc/loadavg: 7.88 7.37 4.73 11/237 25832
/proc/meminfo: memFree=27870804/32770624 swapFree=66938236/67108860
[pid=25760] ppid=25757 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25760/stat : 25760 (xcsp3-exec) S 25757 25760 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446198844 115843072 363 33554432000 4194304 5098028 140724028098064 140724028096168 140719556833916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28626944 140724028105594 140724028105837 140724028105837 140724028108746 0
/proc/25760/statm: 28282 363 304 221 0 87 0
[pid=25762] ppid=25760 vsize=15485004 memory=273220 CPUtime=5.12 cores=0,2,4,6
/proc/25762/stat : 25762 (java) S 25760 25760 24688 0 -1 1077944320 19145 0 0 0 494 18 0 0 20 0 19 0 446198844 15856644096 68305 33554432000 4194304 4196468 140735304235456 140735304218000 140383072153335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
/proc/25762/statm: 3871251 68305 3506 1 0 3832351 0
[pid=25762/tid=25763] ppid=25760 vsize=15485004 memory=6943526294502006880 CPUtime=0.74 cores=0,2,4,6
/proc/25762/task/25763/stat : 25763 (java) S 25760 25760 24688 0 -1 1077944384 9248 0 0 0 69 5 0 0 20 0 19 0 446198845 15856644096 68305 33554432000 4194304 4196468 140735304235456 140383076394112 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25764] ppid=25760 vsize=15485004 memory=5793436045473441381 CPUtime=0.06 cores=0,2,4,6
/proc/25762/task/25764/stat : 25764 (java) S 25760 25760 24688 0 -1 1077944384 49 0 0 0 4 2 0 0 20 0 19 0 446198845 15856644096 68305 33554432000 4194304 4196468 140735304235456 140383024774032 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25765] ppid=25760 vsize=15485004 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25762/task/25765/stat : 25765 (java) S 25760 25760 24688 0 -1 1077944384 42 0 0 0 3 2 0 0 20 0 19 0 446198845 15856644096 68305 33554432000 4194304 4196468 140735304235456 140383023721232 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25766] ppid=25760 vsize=15485004 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25762/task/25766/stat : 25766 (java) S 25760 25760 24688 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 19 0 446198845 15856644096 68305 33554432000 4194304 4196468 140735304235456 140383022668944 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25767] ppid=25760 vsize=15485004 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25762/task/25767/stat : 25767 (java) S 25760 25760 24688 0 -1 1077944384 57 0 0 0 4 2 0 0 20 0 19 0 446198845 15856644096 68305 33554432000 4194304 4196468 140735304235456 140383021616144 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25768] ppid=25760 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25768/stat : 25768 (java) S 25760 25760 24688 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382540875888 140383072164482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25769] ppid=25760 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25769/stat : 25769 (java) S 25760 25760 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382539821856 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25770] ppid=25760 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25770/stat : 25770 (java) S 25760 25760 24688 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382538769520 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25771] ppid=25760 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25771/stat : 25771 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382537717840 140383072171931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25772] ppid=25760 vsize=15485004 memory=0 CPUtime=1 cores=0,2,4,6
/proc/25762/task/25772/stat : 25772 (java) R 25760 25760 24688 0 -1 4202560 1733 0 0 0 99 1 0 0 20 0 19 0 446198850 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382536657168 140383053674478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25773] ppid=25760 vsize=15485004 memory=0 CPUtime=1 cores=0,2,4,6
/proc/25762/task/25773/stat : 25773 (java) R 25760 25760 24688 0 -1 4202560 1600 0 0 0 100 0 0 0 20 0 19 0 446198850 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382535599456 140383055650105 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25774] ppid=25760 vsize=15485004 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/25762/task/25774/stat : 25774 (java) R 25760 25760 24688 0 -1 1077944384 2903 0 0 0 60 1 0 0 20 0 19 0 446198850 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382534560624 140383072164482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25775] ppid=25760 vsize=15485004 memory=12 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25775/stat : 25775 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382533508064 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25776] ppid=25760 vsize=15485004 memory=17 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25776/stat : 25776 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68305 33554432000 4194304 4196468 140735304235456 140382532454832 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 274672 KiB
[startup+1.81005 s]
/proc/loadavg: 7.88 7.37 4.73 11/237 25832
/proc/meminfo: memFree=27870804/32770624 swapFree=66938236/67108860
[pid=25760] ppid=25757 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25760/stat : 25760 (xcsp3-exec) S 25757 25760 24688 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446198844 115843072 363 33554432000 4194304 5098028 140724028098064 140724028096168 140719556833916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28626944 140724028105594 140724028105837 140724028105837 140724028108746 0
/proc/25760/statm: 28282 363 304 221 0 87 0
[pid=25762] ppid=25760 vsize=15485004 memory=273436 CPUtime=5.93 cores=0,2,4,6
/proc/25762/stat : 25762 (java) S 25760 25760 24688 0 -1 1077944320 19590 0 0 0 575 18 0 0 20 0 19 0 446198844 15856644096 68359 33554432000 4194304 4196468 140735304235456 140735304218000 140383072153335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
/proc/25762/statm: 3871251 68359 3506 1 0 3832351 0
[pid=25762/tid=25763] ppid=25760 vsize=15485004 memory=492 CPUtime=0.75 cores=0,2,4,6
/proc/25762/task/25763/stat : 25763 (java) S 25760 25760 24688 0 -1 1077944384 9249 0 0 0 70 5 0 0 20 0 19 0 446198845 15856644096 68359 33554432000 4194304 4196468 140735304235456 140383076394112 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25764] ppid=25760 vsize=15485004 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25762/task/25764/stat : 25764 (java) S 25760 25760 24688 0 -1 1077944384 49 0 0 0 4 2 0 0 20 0 19 0 446198845 15856644096 68359 33554432000 4194304 4196468 140735304235456 140383024774032 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25765] ppid=25760 vsize=15485004 memory=104133 CPUtime=0.05 cores=0,2,4,6
/proc/25762/task/25765/stat : 25765 (java) S 25760 25760 24688 0 -1 1077944384 42 0 0 0 3 2 0 0 20 0 19 0 446198845 15856644096 68359 33554432000 4194304 4196468 140735304235456 140383023721232 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25766] ppid=25760 vsize=15485004 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25762/task/25766/stat : 25766 (java) S 25760 25760 24688 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 19 0 446198845 15856644096 68359 33554432000 4194304 4196468 140735304235456 140383022668944 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25767] ppid=25760 vsize=15485004 memory=6 CPUtime=0.06 cores=0,2,4,6
/proc/25762/task/25767/stat : 25767 (java) S 25760 25760 24688 0 -1 1077944384 57 0 0 0 4 2 0 0 20 0 19 0 446198845 15856644096 68359 33554432000 4194304 4196468 140735304235456 140383021616144 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25768] ppid=25760 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25768/stat : 25768 (java) S 25760 25760 24688 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382540875888 140383072164482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25769] ppid=25760 vsize=15485004 memory=281 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25769/stat : 25769 (java) S 25760 25760 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382539821856 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25770] ppid=25760 vsize=15485004 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25770/stat : 25770 (java) S 25760 25760 24688 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446198847 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382538769520 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25771] ppid=25760 vsize=15485004 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25771/stat : 25771 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382537717840 140383072171931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25772] ppid=25760 vsize=15485004 memory=12024 CPUtime=1.21 cores=0,2,4,6
/proc/25762/task/25772/stat : 25772 (java) R 25760 25760 24688 0 -1 4202560 1757 0 0 0 120 1 0 0 20 0 19 0 446198850 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382536656544 140383053697714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25773] ppid=25760 vsize=15485004 memory=504 CPUtime=1.18 cores=0,2,4,6
/proc/25762/task/25773/stat : 25773 (java) R 25760 25760 24688 0 -1 4202560 1628 0 0 0 118 0 0 0 20 0 19 0 446198850 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382535606104 140383057262933 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25774] ppid=25760 vsize=15485004 memory=1564 CPUtime=0.62 cores=0,2,4,6
/proc/25762/task/25774/stat : 25774 (java) R 25760 25760 24688 0 -1 1077944384 2923 0 0 0 61 1 0 0 20 0 19 0 446198850 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382534560624 140383072164482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25775] ppid=25760 vsize=15485004 memory=924 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25775/stat : 25775 (java) S 25760 25760 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382533508064 140383072163541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
[pid=25762/tid=25776] ppid=25760 vsize=15485004 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/25762/task/25776/stat : 25776 (java) S 25760 25760 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446198850 15856644096 68359 33554432000 4194304 4196468 140735304235456 140382532454832 140383072164482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15835136 140735304238063 140735304238234 140735304238234 140735304241103 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 274888 KiB
Child status: 0
Real time (s): 1.8713
CPU time (s): 6.12436
CPU user time (s): 5.93371
CPU system time (s): 0.190653
CPU usage (%): 327.279
Max. virtual memory (cumulated for all children) (KiB): 15598132
Max. memory (cumulated for all children) (KiB): 274888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.93371
system time used= 0.190653
maximum resident set size= 274836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2562
involuntary context switches= 197
# summary of solver processes directly reported to runsolver:
# pid: 25760
# total CPU time (s): 6.12436
# total CPU user time (s): 5.93371
# total CPU system time (s): 0.190653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038895 second user time and 0.056182 second system time
The end