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 (7419 MiB free)
memory of node 1: 16384 MiB (6295 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403511-1568993260/watcher-4403511-1568993260 -o /var/tmp/evaluation-result-4403511-1568993260/solver-4403511-1568993260 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568993217-15629 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 947486610 HOME/instance-4403511-1568993260.xml
running on 4 cores: 1,3,5,7
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=15654, runsolver pid=15650
Current StackSize limit: 8192 KiB
[startup+0.101186 s]*
/proc/loadavg: 3.87 5.85 6.96 4/229 15689
/proc/meminfo: memFree=14012244/32770624 swapFree=66972280/67108860
[pid=15654] ppid=15650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15654/stat : 15654 (xcsp3-exec) S 15650 15654 15597 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475267842 115843072 364 33554432000 4194304 5098028 140726288946896 140726288945000 140443950121596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9904128 140726288950103 140726288950361 140726288950361 140726288953286 0
/proc/15654/statm: 28282 364 305 221 0 87 0
[pid=15660] ppid=15654 vsize=15144776 memory=29660 CPUtime=0.13 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15654 15654 15597 0 -1 1077944320 5820 0 0 0 12 1 0 0 20 0 15 0 475267843 15508250624 7415 33554432000 4194304 4196468 140730251273216 140730251255760 140273917198071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
/proc/15660/statm: 3786194 7415 3206 1 0 3748377 0
[pid=15660/tid=15662] ppid=15654 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15654 15654 15597 0 -1 4202560 3717 0 0 0 9 0 0 0 20 0 15 0 475267843 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273921419344 140273917210006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15664] ppid=15654 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273845238416 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15665] ppid=15654 vsize=15144776 memory=140062333830784 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273844185616 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15666] ppid=15654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273843132816 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15667] ppid=15654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273842080016 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15672] ppid=15654 vsize=15144776 memory=140062333830784 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267845 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273385741168 140273917209218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15674] ppid=15654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15654 15654 15597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475267846 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273384687136 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15676] ppid=15654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15654 15654 15597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475267846 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273383634288 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15678] ppid=15654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273382582608 140273917216667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15679] ppid=15654 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15654 15654 15597 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 15 0 475267848 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273381529968 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15680] ppid=15654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15680/stat : 15680 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273380477168 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15681] ppid=15654 vsize=15144776 memory=140062333830784 CPUtime=0.02 cores=1,3,5,7
/proc/15660/task/15681/stat : 15681 (java) R 15654 15654 15597 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 475267848 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273379424368 140273917209218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15686] ppid=15654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15686/stat : 15686 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273378371808 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15688] ppid=15654 vsize=15144776 memory=140062333830784 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15688/stat : 15688 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267849 15508250624 7415 33554432000 4194304 4196468 140730251273216 140273377320112 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31116 KiB
[startup+0.210852 s]*
/proc/loadavg: 3.87 5.85 6.96 5/229 15689
/proc/meminfo: memFree=13986312/32770624 swapFree=66972280/67108860
[pid=15654] ppid=15650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15654/stat : 15654 (xcsp3-exec) S 15650 15654 15597 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475267842 115843072 364 33554432000 4194304 5098028 140726288946896 140726288945000 140443950121596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9904128 140726288950103 140726288950361 140726288950361 140726288953286 0
/proc/15654/statm: 28282 364 305 221 0 87 0
[pid=15660] ppid=15654 vsize=15144776 memory=41236 CPUtime=0.35 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15654 15654 15597 0 -1 1077944320 9471 0 0 0 33 2 0 0 20 0 15 0 475267843 15508250624 10309 33554432000 4194304 4196468 140730251273216 140730251255760 140273917198071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
/proc/15660/statm: 3786194 10309 3320 1 0 3748377 0
[pid=15660/tid=15662] ppid=15654 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15654 15654 15597 0 -1 4202560 6635 0 0 0 18 1 0 0 20 0 15 0 475267843 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273921432768 140273901278558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15664] ppid=15654 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273845238416 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15665] ppid=15654 vsize=15144776 memory=140062333846692 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273844185616 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15666] ppid=15654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273843132816 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15667] ppid=15654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273842080016 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15672] ppid=15654 vsize=15144776 memory=140062333830784 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15654 15654 15597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475267845 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273385741168 140273917209218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15674] ppid=15654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15654 15654 15597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475267846 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273384687136 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15676] ppid=15654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15654 15654 15597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475267846 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273383634288 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15678] ppid=15654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273382582608 140273917216667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15679] ppid=15654 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15654 15654 15597 0 -1 1077944384 671 0 0 0 3 0 0 0 20 0 15 0 475267848 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273381529968 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15680] ppid=15654 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15660/task/15680/stat : 15680 (java) S 15654 15654 15597 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 15 0 475267848 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273380477168 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15681] ppid=15654 vsize=15144776 memory=140062333830784 CPUtime=0.08 cores=1,3,5,7
/proc/15660/task/15681/stat : 15681 (java) R 15654 15654 15597 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 475267848 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273379424368 140273901278558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15686] ppid=15654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15686/stat : 15686 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273378371808 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15688] ppid=15654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15688/stat : 15688 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267849 15508250624 10309 33554432000 4194304 4196468 140730251273216 140273377320112 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42692 KiB
[startup+0.310664 s]*
/proc/loadavg: 3.87 5.85 6.96 5/229 15689
/proc/meminfo: memFree=13971976/32770624 swapFree=66972280/67108860
[pid=15654] ppid=15650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15654/stat : 15654 (xcsp3-exec) S 15650 15654 15597 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475267842 115843072 364 33554432000 4194304 5098028 140726288946896 140726288945000 140443950121596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9904128 140726288950103 140726288950361 140726288950361 140726288953286 0
/proc/15654/statm: 28282 364 305 221 0 87 0
[pid=15660] ppid=15654 vsize=15149032 memory=49720 CPUtime=0.52 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15654 15654 15597 0 -1 1077944320 10721 0 0 0 49 3 0 0 20 0 15 0 475267843 15512608768 12430 33554432000 4194304 4196468 140730251273216 140730251255760 140273917198071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
/proc/15660/statm: 3787258 12430 3352 1 0 3748377 0
[pid=15660/tid=15662] ppid=15654 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15654 15654 15597 0 -1 4202560 7807 0 0 0 27 2 0 0 20 0 15 0 475267843 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273921429184 140273901278588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15664] ppid=15654 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273845238416 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15665] ppid=15654 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273844185616 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15666] ppid=15654 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273843132816 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15667] ppid=15654 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273842080016 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15672] ppid=15654 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15654 15654 15597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475267845 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273385741168 140273917209218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15674] ppid=15654 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15654 15654 15597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475267846 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273384687136 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15676] ppid=15654 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15654 15654 15597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475267846 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273383634288 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15678] ppid=15654 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273382582608 140273917216667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15679] ppid=15654 vsize=15149032 memory=7893295687695687954 CPUtime=0.04 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15654 15654 15597 0 -1 1077944384 681 0 0 0 4 0 0 0 20 0 15 0 475267848 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273381529968 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15680] ppid=15654 vsize=15149032 memory=-8813974798734826869 CPUtime=0.03 cores=1,3,5,7
/proc/15660/task/15680/stat : 15680 (java) S 15654 15654 15597 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 15 0 475267848 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273380477168 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15681] ppid=15654 vsize=15149032 memory=7827413994055111515 CPUtime=0.13 cores=1,3,5,7
/proc/15660/task/15681/stat : 15681 (java) S 15654 15654 15597 0 -1 1077944384 807 0 0 0 13 0 0 0 20 0 15 0 475267848 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273379424368 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15686] ppid=15654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15686/stat : 15686 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273378371808 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15688] ppid=15654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15688/stat : 15688 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267849 15512608768 12430 33554432000 4194304 4196468 140730251273216 140273377320112 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51176 KiB
[startup+0.701484 s]
/proc/loadavg: 3.87 5.85 6.96 10/229 15689
/proc/meminfo: memFree=13916420/32770624 swapFree=66972280/67108860
[pid=15654] ppid=15650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15654/stat : 15654 (xcsp3-exec) S 15650 15654 15597 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475267842 115843072 364 33554432000 4194304 5098028 140726288946896 140726288945000 140443950121596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9904128 140726288950103 140726288950361 140726288950361 140726288953286 0
/proc/15654/statm: 28282 364 305 221 0 87 0
[pid=15660] ppid=15654 vsize=15151156 memory=109796 CPUtime=1.76 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15654 15654 15597 0 -1 1077944320 14011 0 0 0 171 5 0 0 20 0 15 0 475267843 15514783744 27449 33554432000 4194304 4196468 140730251273216 140730251255760 140273917198071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
/proc/15660/statm: 3787789 27449 3439 1 0 3748889 0
[pid=15660/tid=15662] ppid=15654 vsize=15151156 memory=-7816663703405220396 CPUtime=0.66 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) R 15654 15654 15597 0 -1 4202560 8321 0 0 0 63 3 0 0 20 0 15 0 475267843 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273921432488 140273517906922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15664] ppid=15654 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273845238416 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15665] ppid=15654 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273844185616 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15666] ppid=15654 vsize=15151156 memory=54 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267844 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273843132816 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15667] ppid=15654 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15654 15654 15597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475267844 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273842080016 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15672] ppid=15654 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15654 15654 15597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475267845 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273385741168 140273917209218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15674] ppid=15654 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15654 15654 15597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475267846 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273384687136 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15676] ppid=15654 vsize=15151156 memory=43144 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15654 15654 15597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475267846 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273383634288 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15678] ppid=15654 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273382582608 140273917216667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15679] ppid=15654 vsize=15151156 memory=2044 CPUtime=0.37 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) R 15654 15654 15597 0 -1 4202560 1636 0 0 0 37 0 0 0 20 0 15 0 475267848 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273381517648 140273898742622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15680] ppid=15654 vsize=15151156 memory=1432 CPUtime=0.37 cores=1,3,5,7
/proc/15660/task/15680/stat : 15680 (java) R 15654 15654 15597 0 -1 4202560 1024 0 0 0 37 0 0 0 20 0 15 0 475267848 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273380462320 140273900694859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15681] ppid=15654 vsize=15151156 memory=11624 CPUtime=0.31 cores=1,3,5,7
/proc/15660/task/15681/stat : 15681 (java) S 15654 15654 15597 0 -1 1077944384 1720 0 0 0 31 0 0 0 20 0 15 0 475267848 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273379424368 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15686] ppid=15654 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15686/stat : 15686 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475267848 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273378371808 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15688] ppid=15654 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15688/stat : 15688 (java) S 15654 15654 15597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475267849 15514783744 27449 33554432000 4194304 4196468 140730251273216 140273377320112 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111252 KiB
[startup+1.50083 s]
/proc/loadavg: 3.87 5.85 6.96 10/229 15689
/proc/meminfo: memFree=13672820/32770624 swapFree=66972280/67108860
[pid=15654] ppid=15650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15654/stat : 15654 (xcsp3-exec) S 15650 15654 15597 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475267842 115843072 364 33554432000 4194304 5098028 140726288946896 140726288945000 140443950121596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9904128 140726288950103 140726288950361 140726288950361 140726288953286 0
/proc/15654/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
[pid=15660/tid=15666] ppid=15654 vsize=15419460 memory=1984 CPUtime=19.48 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15654 15654 15597 0 -1 1077944384 36150 0 0 0 1836 112 0 0 20 0 19 0 475267844 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273843132816 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15667] ppid=15654 vsize=15419460 memory=5912348 CPUtime=19.41 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15654 15654 15597 0 -1 1077944384 49497 0 0 0 1825 116 0 0 20 0 19 0 475267844 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273842080016 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15672] ppid=15654 vsize=15419460 memory=2832 CPUtime=4.38 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15654 15654 15597 0 -1 1077944384 19502 0 0 0 436 2 0 0 20 0 19 0 475267845 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273385741168 140273917209218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15674] ppid=15654 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15654 15654 15597 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475267846 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273384687200 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15676] ppid=15654 vsize=15419460 memory=280124344087656 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15654 15654 15597 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475267846 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273383634304 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15678] ppid=15654 vsize=15419460 memory=5912348 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475267848 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273382582608 140273917216667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15679] ppid=15654 vsize=15419460 memory=780 CPUtime=7.02 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15654 15654 15597 0 -1 1077944384 24805 0 0 0 700 2 0 0 20 0 19 0 475267848 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273381529968 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15680] ppid=15654 vsize=15419460 memory=46479 CPUtime=7 cores=1,3,5,7
/proc/15660/task/15680/stat : 15680 (java) S 15654 15654 15597 0 -1 1077944384 26227 0 0 0 698 2 0 0 20 0 19 0 475267848 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273380477168 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15681] ppid=15654 vsize=15419460 memory=46344 CPUtime=1.33 cores=1,3,5,7
/proc/15660/task/15681/stat : 15681 (java) S 15654 15654 15597 0 -1 1077944384 13019 0 0 0 131 2 0 0 20 0 19 0 475267848 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273379424368 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15686] ppid=15654 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15686/stat : 15686 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475267848 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273378371808 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15688] ppid=15654 vsize=15419460 memory=740 CPUtime=0.24 cores=1,3,5,7
/proc/15660/task/15688/stat : 15688 (java) S 15654 15654 15597 0 -1 1077944384 2168 0 0 0 8 16 0 0 20 0 19 0 475267849 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273377320112 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15696] ppid=15654 vsize=15419460 memory=1456 CPUtime=488.5 cores=1,3,5,7
/proc/15660/task/15696/stat : 15696 (java) R 15654 15654 15597 0 -1 4202560 17607 0 0 0 48847 3 0 0 20 0 19 0 475268521 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273366005904 140273520884810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15697] ppid=15654 vsize=15419460 memory=5912348 CPUtime=489.49 cores=1,3,5,7
/proc/15660/task/15697/stat : 15697 (java) R 15654 15654 15597 0 -1 4202560 36414 0 0 0 48939 10 0 0 20 0 19 0 475268521 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140273364951328 140273516787664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15698] ppid=15654 vsize=15419460 memory=1941 CPUtime=490.19 cores=1,3,5,7
/proc/15660/task/15698/stat : 15698 (java) R 15654 15654 15597 0 -1 4202560 12359 0 0 0 49016 3 0 0 20 0 19 0 475268521 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140272970616952 140273522326252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15699] ppid=15654 vsize=15419460 memory=438 CPUtime=488.85 cores=1,3,5,7
/proc/15660/task/15699/stat : 15699 (java) R 15654 15654 15597 0 -1 4202560 29737 0 0 0 48881 4 0 0 20 0 19 0 475268521 15789527040 1478087 33554432000 4194304 4196468 140730251273216 140272969564040 140273519400293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
Current children cumulated CPU time: 2059.36 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 5913804 KiB
[startup+582.301 s]
/proc/loadavg: 9.34 8.36 7.73 9/238 15752
/proc/meminfo: memFree=3711936/32770624 swapFree=66972280/67108860
[pid=15654] ppid=15650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15654/stat : 15654 (xcsp3-exec) S 15650 15654 15597 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475267842 115843072 364 33554432000 4194304 5098028 140726288946896 140726288945000 140443950121596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9904128 140726288950103 140726288950361 140726288950361 140726288953286 0
/proc/15654/statm: 28282 364 305 221 0 87 0
[pid=15660] ppid=15654 vsize=15419460 memory=5914488 CPUtime=2298.16 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15654 15654 15597 0 -1 1077944320 387580 0 0 0 229310 506 0 0 20 0 19 0 475267843 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140730251255760 140273917198071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
/proc/15660/statm: 3854865 1478622 3557 1 0 3815965 0
[pid=15660/tid=15662] ppid=15654 vsize=15419460 memory=1456 CPUtime=4.68 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) S 15654 15654 15597 0 -1 1077944384 12290 0 0 0 456 12 0 0 20 0 19 0 475267843 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273921438848 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15664] ppid=15654 vsize=15419460 memory=5914488 CPUtime=19.44 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15654 15654 15597 0 -1 1077944384 43070 0 0 0 1828 116 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273845238416 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15665] ppid=15654 vsize=15419460 memory=5914488 CPUtime=19.36 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15654 15654 15597 0 -1 1077944384 44969 0 0 0 1824 112 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273844185616 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15666] ppid=15654 vsize=15419460 memory=5914488 CPUtime=19.57 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15654 15654 15597 0 -1 1077944384 39166 0 0 0 1845 112 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273843132816 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15667] ppid=15654 vsize=15419460 memory=1456 CPUtime=19.49 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15654 15654 15597 0 -1 1077944384 52673 0 0 0 1833 116 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273842080016 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15672] ppid=15654 vsize=15419460 memory=5914488 CPUtime=4.38 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15654 15654 15597 0 -1 1077944384 19750 0 0 0 436 2 0 0 20 0 19 0 475267845 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273385741168 140273917209218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15674] ppid=15654 vsize=15419460 memory=5914488 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15654 15654 15597 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475267846 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273384687200 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15676] ppid=15654 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15654 15654 15597 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 475267846 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273383634304 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15678] ppid=15654 vsize=15419460 memory=5914488 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273382582608 140273917216667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15679] ppid=15654 vsize=15419460 memory=1456 CPUtime=7.18 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15654 15654 15597 0 -1 1077944384 27555 0 0 0 715 3 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273381529968 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15680] ppid=15654 vsize=15419460 memory=5914488 CPUtime=7.17 cores=1,3,5,7
/proc/15660/task/15680/stat : 15680 (java) S 15654 15654 15597 0 -1 1077944384 29681 0 0 0 715 2 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273380477168 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15681] ppid=15654 vsize=15419460 memory=1456 CPUtime=1.36 cores=1,3,5,7
/proc/15660/task/15681/stat : 15681 (java) S 15654 15654 15597 0 -1 1077944384 14358 0 0 0 134 2 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273379424368 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15686] ppid=15654 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15686/stat : 15686 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273378371808 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15688] ppid=15654 vsize=15419460 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/15660/task/15688/stat : 15688 (java) S 15654 15654 15597 0 -1 1077944384 2220 0 0 0 9 18 0 0 20 0 19 0 475267849 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273377320112 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15696] ppid=15654 vsize=15419460 memory=25 CPUtime=548.37 cores=1,3,5,7
/proc/15660/task/15696/stat : 15696 (java) R 15654 15654 15597 0 -1 4202560 18194 0 0 0 54834 3 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273366003256 140273517019357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15697] ppid=15654 vsize=15419460 memory=5914488 CPUtime=549.08 cores=1,3,5,7
/proc/15660/task/15697/stat : 15697 (java) R 15654 15654 15597 0 -1 4202560 38516 0 0 0 54897 11 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273364951136 140273516705247 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15698] ppid=15654 vsize=15419460 memory=1456 CPUtime=549.4 cores=1,3,5,7
/proc/15660/task/15698/stat : 15698 (java) R 15654 15654 15597 0 -1 4202560 12981 0 0 0 54937 3 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140272970617656 140273519669723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15699] ppid=15654 vsize=15419460 memory=1456 CPUtime=548.25 cores=1,3,5,7
/proc/15660/task/15699/stat : 15699 (java) R 15654 15654 15597 0 -1 4202560 30741 0 0 0 54821 4 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140272969564040 140273519368220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
Current children cumulated CPU time: 2298.16 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 5915944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+638.111 s]
/proc/loadavg: 9.40 8.54 7.83 9/238 15758
/proc/meminfo: memFree=3333964/32770624 swapFree=66972280/67108860
[pid=15654] ppid=15650 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15654/stat : 15654 (xcsp3-exec) S 15650 15654 15597 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475267842 115843072 364 33554432000 4194304 5098028 140726288946896 140726288945000 140443950121596 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9904128 140726288950103 140726288950361 140726288950361 140726288953286 0
/proc/15654/statm: 28282 364 305 221 0 87 0
[pid=15660] ppid=15654 vsize=15419460 memory=5914488 CPUtime=2520.32 cores=1,3,5,7
/proc/15660/stat : 15660 (java) S 15654 15654 15597 0 -1 1077944320 395244 0 0 0 251525 507 0 0 20 0 19 0 475267843 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140730251255760 140273917198071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
/proc/15660/statm: 3854865 1478622 3557 1 0 3815965 0
[pid=15660/tid=15662] ppid=15654 vsize=15419460 memory=5914488 CPUtime=4.68 cores=1,3,5,7
/proc/15660/task/15662/stat : 15662 (java) S 15654 15654 15597 0 -1 1077944384 12290 0 0 0 456 12 0 0 20 0 19 0 475267843 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273921438848 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15664] ppid=15654 vsize=15419460 memory=5914488 CPUtime=19.44 cores=1,3,5,7
/proc/15660/task/15664/stat : 15664 (java) S 15654 15654 15597 0 -1 1077944384 43070 0 0 0 1828 116 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273845238416 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15665] ppid=15654 vsize=15419460 memory=5914488 CPUtime=19.36 cores=1,3,5,7
/proc/15660/task/15665/stat : 15665 (java) S 15654 15654 15597 0 -1 1077944384 44969 0 0 0 1824 112 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273844185616 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15666] ppid=15654 vsize=15419460 memory=1456 CPUtime=19.57 cores=1,3,5,7
/proc/15660/task/15666/stat : 15666 (java) S 15654 15654 15597 0 -1 1077944384 39166 0 0 0 1845 112 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273843132816 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15667] ppid=15654 vsize=15419460 memory=13252 CPUtime=19.49 cores=1,3,5,7
/proc/15660/task/15667/stat : 15667 (java) S 15654 15654 15597 0 -1 1077944384 52673 0 0 0 1833 116 0 0 20 0 19 0 475267844 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273842080016 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15672] ppid=15654 vsize=15419460 memory=5914488 CPUtime=4.39 cores=1,3,5,7
/proc/15660/task/15672/stat : 15672 (java) S 15654 15654 15597 0 -1 1077944384 19789 0 0 0 437 2 0 0 20 0 19 0 475267845 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273385741168 140273917209218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15674] ppid=15654 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15674/stat : 15674 (java) S 15654 15654 15597 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475267846 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273384687200 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15676] ppid=15654 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15676/stat : 15676 (java) S 15654 15654 15597 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 19 0 475267846 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273383634304 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15678] ppid=15654 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15678/stat : 15678 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273382582608 140273917216667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15679] ppid=15654 vsize=15419460 memory=1456 CPUtime=7.2 cores=1,3,5,7
/proc/15660/task/15679/stat : 15679 (java) S 15654 15654 15597 0 -1 1077944384 29162 0 0 0 717 3 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273381529968 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15680] ppid=15654 vsize=15419460 memory=1456 CPUtime=7.17 cores=1,3,5,7
/proc/15660/task/15680/stat : 15680 (java) S 15654 15654 15597 0 -1 1077944384 29701 0 0 0 715 2 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273380477168 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15681] ppid=15654 vsize=15419460 memory=2832 CPUtime=1.36 cores=1,3,5,7
/proc/15660/task/15681/stat : 15681 (java) S 15654 15654 15597 0 -1 1077944384 14495 0 0 0 134 2 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273379424368 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15686] ppid=15654 vsize=15419460 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/15660/task/15686/stat : 15686 (java) S 15654 15654 15597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475267848 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273378371808 140273917208277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15688] ppid=15654 vsize=15419460 memory=1200 CPUtime=0.3 cores=1,3,5,7
/proc/15660/task/15688/stat : 15688 (java) S 15654 15654 15597 0 -1 1077944384 2325 0 0 0 10 20 0 0 20 0 19 0 475267849 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273377320112 140273917209218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15696] ppid=15654 vsize=15419460 memory=1456 CPUtime=604.16 cores=1,3,5,7
/proc/15660/task/15696/stat : 15696 (java) R 15654 15654 15597 0 -1 4202560 19124 0 0 0 60412 4 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273366003032 140273522717026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15697] ppid=15654 vsize=15419460 memory=5914488 CPUtime=604.83 cores=1,3,5,7
/proc/15660/task/15697/stat : 15697 (java) R 15654 15654 15597 0 -1 4202560 40805 0 0 0 60472 11 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140273364953560 140273523629141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15698] ppid=15654 vsize=15419460 memory=43148 CPUtime=604.68 cores=1,3,5,7
/proc/15660/task/15698/stat : 15698 (java) R 15654 15654 15597 0 -1 4202560 13975 0 0 0 60465 3 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140272970617096 140273520617126 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
[pid=15660/tid=15699] ppid=15654 vsize=15419460 memory=992 CPUtime=603.55 cores=1,3,5,7
/proc/15660/task/15699/stat : 15699 (java) R 15654 15654 15597 0 -1 4202560 32284 0 0 0 60350 5 0 0 20 0 19 0 475268521 15789527040 1478622 33554432000 4194304 4196468 140730251273216 140272969564440 140273518620565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28426240 140730251281371 140730251281546 140730251281546 140730251284431 0
Current children cumulated CPU time: 2520.32 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 5915944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+638.135 s]
# the end of solver process 15654 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001169 s, system=0.001169 s
[startup+638.238 s]
# the end of solver process 15660 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.61 s, system=5.11337 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+638.223 s]*
/proc/loadavg: 9.40 8.54 7.83 3/199 15762
/proc/meminfo: memFree=11668592/32770624 swapFree=66972280/67108860
Current cumulated CPU time of completed processes: 0.002338 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 638.238
CPU time (s): 2520.72
CPU user time (s): 2515.61
CPU system time (s): 5.11337
CPU usage (%): 394.951
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 5915944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.61
system time used= 5.11337
maximum resident set size= 5914980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19548
involuntary context switches= 46860
# summary of solver processes directly reported to runsolver:
# pid: 15654,15660
# total CPU time (s): 2520.72
# total CPU user time (s): 2515.61
# total CPU system time (s): 5.11337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24706 second user time and 7.5033 second system time
The end