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 (2434 MiB free)
memory of node 1: 16384 MiB (669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403434-1568988836/watcher-4403434-1568988836 -o /tmp/evaluation-result-4403434-1568988836/solver-4403434-1568988836 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1443727517 HOME/instance-4403434-1568988836.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8934, runsolver pid=8931
[startup+0.100993 s]*
/proc/loadavg: 7.97 7.55 5.17 7/233 8950
/proc/meminfo: memFree=3162256/32770624 swapFree=66986244/67108860
[pid=8934] ppid=8931 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8934/stat : 8934 (xcsp3-exec) S 8931 8934 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475140498 115843072 362 33554432000 4194304 5098028 140737288847040 140737288845144 139807684768380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21934080 140737288848250 140737288848493 140737288848493 140737288851402 0
/proc/8934/statm: 28282 362 304 221 0 87 0
[pid=8936] ppid=8934 vsize=15144776 memory=28996 CPUtime=0.13 cores=0,2,4,6
/proc/8936/stat : 8936 (java) S 8934 8934 7690 0 -1 1077944320 5720 0 0 0 12 1 0 0 20 0 15 0 475140498 15508250624 7249 33554432000 4194304 4196468 140730516220560 140730516203104 140623780994807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
/proc/8936/statm: 3786194 7249 3119 1 0 3748377 0
[pid=8936/tid=8937] ppid=8934 vsize=15144776 memory=-2698087569006908830 CPUtime=0.08 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (java) R 8934 8934 7690 0 -1 4202560 3643 0 0 0 8 0 0 0 20 0 15 0 475140499 15508250624 7249 33554432000 4194304 4196468 140730516220560 140623785227600 140623418006524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8938] ppid=8934 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 7249 33554432000 4194304 4196468 140730516220560 140623372954768 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8939] ppid=8934 vsize=15144776 memory=139637520254592 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 7249 33554432000 4194304 4196468 140730516220560 140623371901968 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8940] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8940/stat : 8940 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 7249 33554432000 4194304 4196468 140730516220560 140623370849168 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8941] ppid=8934 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8941/stat : 8941 (java) S 8934 8934 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 7249 33554432000 4194304 4196468 140730516220560 140623369796368 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8942] ppid=8934 vsize=15144776 memory=139637520254592 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8942/stat : 8942 (java) S 8934 8934 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140501 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622653503856 140623781005954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8943] ppid=8934 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8943/stat : 8943 (java) S 8934 8934 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140501 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622652449824 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8944] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8944/stat : 8944 (java) S 8934 8934 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140501 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622651396976 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8945] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8945/stat : 8945 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622650345296 140623781013403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8946] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8946/stat : 8946 (java) R 8934 8934 7690 0 -1 4202560 311 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622649293680 140623760858751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8947] ppid=8934 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8947/stat : 8947 (java) R 8934 8934 7690 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622648240880 140623781005954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8948] ppid=8934 vsize=15144776 memory=139637520254592 CPUtime=0.02 cores=0,2,4,6
/proc/8936/task/8948/stat : 8948 (java) R 8934 8934 7690 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 475140504 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622647188080 140623766160352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8949] ppid=8934 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8949/stat : 8949 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622646135520 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8950] ppid=8934 vsize=15144776 memory=139637520254592 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8950/stat : 8950 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 7249 33554432000 4194304 4196468 140730516220560 140622645082800 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30444 KiB
[startup+0.210883 s]*
/proc/loadavg: 7.81 7.53 5.17 6/233 8950
/proc/meminfo: memFree=3149880/32770624 swapFree=66986244/67108860
[pid=8934] ppid=8931 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8934/stat : 8934 (xcsp3-exec) S 8931 8934 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475140498 115843072 362 33554432000 4194304 5098028 140737288847040 140737288845144 139807684768380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21934080 140737288848250 140737288848493 140737288848493 140737288851402 0
/proc/8934/statm: 28282 362 304 221 0 87 0
[pid=8936] ppid=8934 vsize=15144776 memory=40108 CPUtime=0.34 cores=0,2,4,6
/proc/8936/stat : 8936 (java) S 8934 8934 7690 0 -1 1077944320 9292 0 0 0 32 2 0 0 20 0 15 0 475140498 15508250624 10027 33554432000 4194304 4196468 140730516220560 140730516203104 140623780994807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
/proc/8936/statm: 3786194 10027 3260 1 0 3748377 0
[pid=8936/tid=8937] ppid=8934 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (java) R 8934 8934 7690 0 -1 4202560 6597 0 0 0 18 2 0 0 20 0 15 0 475140499 15508250624 10027 33554432000 4194304 4196468 140730516220560 140623785232416 140623781006742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8938] ppid=8934 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 10027 33554432000 4194304 4196468 140730516220560 140623372954768 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8939] ppid=8934 vsize=15144776 memory=3385144 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 10027 33554432000 4194304 4196468 140730516220560 140623371901968 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8940] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8940/stat : 8940 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 10027 33554432000 4194304 4196468 140730516220560 140623370849168 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8941] ppid=8934 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8941/stat : 8941 (java) S 8934 8934 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140499 15508250624 10027 33554432000 4194304 4196468 140730516220560 140623369796368 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8942] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8942/stat : 8942 (java) S 8934 8934 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475140501 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622653503856 140623781005954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8943] ppid=8934 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8943/stat : 8943 (java) S 8934 8934 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140501 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622652449824 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8944] ppid=8934 vsize=15144776 memory=139637520254592 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8944/stat : 8944 (java) S 8934 8934 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140501 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622651396976 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8945] ppid=8934 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8945/stat : 8945 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622650345296 140623781013403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8946] ppid=8934 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8936/task/8946/stat : 8946 (java) S 8934 8934 7690 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 15 0 475140504 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622649293680 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8947] ppid=8934 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8936/task/8947/stat : 8947 (java) S 8934 8934 7690 0 -1 1077944384 255 0 0 0 3 0 0 0 20 0 15 0 475140504 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622648240880 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8948] ppid=8934 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8936/task/8948/stat : 8948 (java) R 8934 8934 7690 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 15 0 475140504 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622647188080 140623781016154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8949] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8949/stat : 8949 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622646135520 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8950] ppid=8934 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8950/stat : 8950 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140504 15508250624 10027 33554432000 4194304 4196468 140730516220560 140622645082800 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41556 KiB
[startup+0.312036 s]*
/proc/loadavg: 7.81 7.53 5.17 8/233 8950
/proc/meminfo: memFree=3144296/32770624 swapFree=66986244/67108860
[pid=8934] ppid=8931 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8934/stat : 8934 (xcsp3-exec) S 8931 8934 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475140498 115843072 362 33554432000 4194304 5098028 140737288847040 140737288845144 139807684768380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21934080 140737288848250 140737288848493 140737288848493 140737288851402 0
/proc/8934/statm: 28282 362 304 221 0 87 0
[pid=8936] ppid=8934 vsize=15149032 memory=49884 CPUtime=0.52 cores=0,2,4,6
/proc/8936/stat : 8936 (java) S 8934 8934 7690 0 -1 1077944320 10753 0 0 0 49 3 0 0 20 0 15 0 475140498 15512608768 12471 33554432000 4194304 4196468 140730516220560 140730516203104 140623780994807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
/proc/8936/statm: 3787258 12471 3369 1 0 3748377 0
[pid=8936/tid=8937] ppid=8934 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (java) R 8934 8934 7690 0 -1 4202560 7734 0 0 0 27 3 0 0 20 0 15 0 475140499 15512608768 12471 33554432000 4194304 4196468 140730516220560 140623785225920 140623760817350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8938] ppid=8934 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15512608768 12471 33554432000 4194304 4196468 140730516220560 140623372954768 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8939] ppid=8934 vsize=15149032 memory=15817794263678547 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15512608768 12471 33554432000 4194304 4196468 140730516220560 140623371901968 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8940] ppid=8934 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8940/stat : 8940 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15512608768 12471 33554432000 4194304 4196468 140730516220560 140623370849168 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8941] ppid=8934 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8941/stat : 8941 (java) S 8934 8934 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140499 15512608768 12471 33554432000 4194304 4196468 140730516220560 140623369796368 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8942] ppid=8934 vsize=15149032 memory=139637520254592 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8942/stat : 8942 (java) S 8934 8934 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475140501 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622653503856 140623781005954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8943] ppid=8934 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8943/stat : 8943 (java) S 8934 8934 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140501 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622652449824 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8944] ppid=8934 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8944/stat : 8944 (java) S 8934 8934 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140501 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622651396976 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8945] ppid=8934 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8945/stat : 8945 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622650345296 140623781013403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8946] ppid=8934 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8936/task/8946/stat : 8946 (java) S 8934 8934 7690 0 -1 1077944384 430 0 0 0 3 0 0 0 20 0 15 0 475140504 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622649293680 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8947] ppid=8934 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/8936/task/8947/stat : 8947 (java) R 8934 8934 7690 0 -1 4202560 357 0 0 0 5 0 0 0 20 0 15 0 475140504 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622648231264 140623762538960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8948] ppid=8934 vsize=15149032 memory=139637520254592 CPUtime=0.12 cores=0,2,4,6
/proc/8936/task/8948/stat : 8948 (java) S 8934 8934 7690 0 -1 1077944384 936 0 0 0 12 0 0 0 20 0 15 0 475140504 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622647188080 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8949] ppid=8934 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8949/stat : 8949 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622646135520 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8950] ppid=8934 vsize=15149032 memory=139637520254592 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8950/stat : 8950 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140504 15512608768 12471 33554432000 4194304 4196468 140730516220560 140622645082800 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51332 KiB
[startup+0.705979 s]
/proc/loadavg: 7.81 7.53 5.17 9/233 8950
/proc/meminfo: memFree=3122448/32770624 swapFree=66986244/67108860
[pid=8934] ppid=8931 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8934/stat : 8934 (xcsp3-exec) S 8931 8934 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475140498 115843072 362 33554432000 4194304 5098028 140737288847040 140737288845144 139807684768380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21934080 140737288848250 140737288848493 140737288848493 140737288851402 0
/proc/8934/statm: 28282 362 304 221 0 87 0
[pid=8936] ppid=8934 vsize=15151156 memory=94588 CPUtime=1.77 cores=0,2,4,6
/proc/8936/stat : 8936 (java) S 8934 8934 7690 0 -1 1077944320 15284 0 0 0 171 6 0 0 20 0 15 0 475140498 15514783744 23647 33554432000 4194304 4196468 140730516220560 140730516203104 140623780994807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
/proc/8936/statm: 3787789 23647 3447 1 0 3748889 0
[pid=8936/tid=8937] ppid=8934 vsize=15151156 memory=2120 CPUtime=0.68 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (java) R 8934 8934 7690 0 -1 4202560 9109 0 0 0 64 4 0 0 20 0 15 0 475140499 15514783744 23647 33554432000 4194304 4196468 140730516220560 140623785224624 140623762643835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8938] ppid=8934 vsize=15151156 memory=532 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15514783744 23647 33554432000 4194304 4196468 140730516220560 140623372954768 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8939] ppid=8934 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15514783744 23647 33554432000 4194304 4196468 140730516220560 140623371901968 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8940] ppid=8934 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8940/stat : 8940 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140499 15514783744 23647 33554432000 4194304 4196468 140730516220560 140623370849168 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8941] ppid=8934 vsize=15151156 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8941/stat : 8941 (java) S 8934 8934 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140499 15514783744 23647 33554432000 4194304 4196468 140730516220560 140623369796368 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8942] ppid=8934 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8942/stat : 8942 (java) S 8934 8934 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475140501 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622653503856 140623781005954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8943] ppid=8934 vsize=15151156 memory=912 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8943/stat : 8943 (java) S 8934 8934 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140501 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622652449824 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8944] ppid=8934 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8944/stat : 8944 (java) S 8934 8934 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140501 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622651396976 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8945] ppid=8934 vsize=15151156 memory=7086240636095582563 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8945/stat : 8945 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622650345296 140623781013403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8946] ppid=8934 vsize=15151156 memory=7453282923444726100 CPUtime=0.33 cores=0,2,4,6
/proc/8936/task/8946/stat : 8946 (java) R 8934 8934 7690 0 -1 4202560 1429 0 0 0 33 0 0 0 20 0 15 0 475140504 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622649277168 140623764491306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8947] ppid=8934 vsize=15151156 memory=4639059877604708710 CPUtime=0.36 cores=0,2,4,6
/proc/8936/task/8947/stat : 8947 (java) R 8934 8934 7690 0 -1 4202560 1388 0 0 0 36 0 0 0 20 0 15 0 475140504 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622648226400 140623764381592 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8948] ppid=8934 vsize=15151156 memory=8514726395715219869 CPUtime=0.37 cores=0,2,4,6
/proc/8936/task/8948/stat : 8948 (java) S 8934 8934 7690 0 -1 1077944384 2052 0 0 0 36 1 0 0 20 0 15 0 475140504 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622647188080 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8949] ppid=8934 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8949/stat : 8949 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140504 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622646135520 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8950] ppid=8934 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8950/stat : 8950 (java) S 8934 8934 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140504 15514783744 23647 33554432000 4194304 4196468 140730516220560 140622645082800 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96036 KiB
[startup+1.50088 s]
/proc/loadavg: 7.81 7.53 5.17 6/233 8951
/proc/meminfo: memFree=2953028/32770624 swapFree=66986244/67108860
[pid=8934] ppid=8931 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8934/stat : 8934 (xcsp3-exec) S 8931 8934 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475140498 115843072 362 33554432000 4194304 5098028 140737288847040 140737288845144 139807684768380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21934080 140737288848250 140737288848493 140737288848493 140737288851402 0
/proc/8934/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
[pid=8936/tid=8948] ppid=8934 vsize=15419460 memory=1440 CPUtime=0.91 cores=0,2,4,6
/proc/8936/task/8948/stat : 8948 (java) S 8934 8934 7690 0 -1 1077944384 11526 0 0 0 89 2 0 0 20 0 19 0 475140504 15789527040 2006056 33554432000 4194304 4196468 140730516220560 140622647188080 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8949] ppid=8934 vsize=15419460 memory=912 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8949/stat : 8949 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140504 15789527040 2006056 33554432000 4194304 4196468 140730516220560 140622646135520 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8950] ppid=8934 vsize=15419460 memory=1448 CPUtime=0.28 cores=0,2,4,6
/proc/8936/task/8950/stat : 8950 (java) S 8934 8934 7690 0 -1 1077944384 1268 0 0 0 19 9 0 0 20 0 19 0 475140504 15789527040 2006056 33554432000 4194304 4196468 140730516220560 140622645082800 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8954] ppid=8934 vsize=15419460 memory=1448 CPUtime=540.03 cores=0,2,4,6
/proc/8936/task/8954/stat : 8954 (java) R 8934 8934 7690 0 -1 4202560 603444 0 0 0 53936 67 0 0 20 0 19 0 475143712 15789527040 2006056 33554432000 4194304 4196468 140730516220560 140622634003160 140623426917968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8955] ppid=8934 vsize=15419460 memory=1448 CPUtime=540.26 cores=0,2,4,6
/proc/8936/task/8955/stat : 8955 (java) R 8934 8934 7690 0 -1 4202560 2095494 0 0 0 53870 156 0 0 20 0 19 0 475143712 15789527040 2006056 33554432000 4194304 4196468 140730516220560 140622632951312 140623426917968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8956] ppid=8934 vsize=15419460 memory=8024224 CPUtime=539.03 cores=0,2,4,6
/proc/8936/task/8956/stat : 8956 (java) R 8934 8934 7690 0 -1 4202560 470780 0 0 0 53848 55 0 0 20 0 19 0 475143712 15789527040 2006056 33554432000 4194304 4196468 140730516220560 140622631898824 140623426898340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8957] ppid=8934 vsize=15419460 memory=8112282956445269571 CPUtime=542.13 cores=0,2,4,6
/proc/8936/task/8957/stat : 8957 (java) R 8934 8934 7690 0 -1 4202560 34841 0 0 0 54194 19 0 0 20 0 19 0 475143712 15789527040 2006056 33554432000 4194304 4196468 140730516220560 140622630847000 140623422017945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
Current children cumulated CPU time: 2265.1 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 8025672 KiB
[startup+642.301 s]
/proc/loadavg: 8.57 8.01 6.53 9/238 9367
/proc/meminfo: memFree=390308/32770624 swapFree=66986244/67108860
[pid=8934] ppid=8931 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8934/stat : 8934 (xcsp3-exec) S 8931 8934 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475140498 115843072 362 33554432000 4194304 5098028 140737288847040 140737288845144 139807684768380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21934080 140737288848250 140737288848493 140737288848493 140737288851402 0
/proc/8934/statm: 28282 362 304 221 0 87 0
[pid=8936] ppid=8934 vsize=15419460 memory=8722376 CPUtime=2503.48 cores=0,2,4,6
/proc/8936/stat : 8936 (java) S 8934 8934 7690 0 -1 1077944320 7233001 0 0 0 248340 2008 0 0 20 0 19 0 475140498 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140730516203104 140623780994807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
/proc/8936/statm: 3854865 2180594 3561 1 0 3815965 0
[pid=8936/tid=8937] ppid=8934 vsize=15419460 memory=8722376 CPUtime=18.07 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (java) S 8934 8934 7690 0 -1 1077944384 14937 0 0 0 1796 11 0 0 20 0 19 0 475140499 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140623785235584 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8938] ppid=8934 vsize=15419460 memory=8722376 CPUtime=21.82 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (java) R 8934 8934 7690 0 -1 4202560 822149 0 0 0 1783 399 0 0 20 0 19 0 475140499 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140623372954576 140623773623015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8939] ppid=8934 vsize=15419460 memory=8717124 CPUtime=21.83 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (java) R 8934 8934 7690 0 -1 4202560 1086661 0 0 0 1750 433 0 0 20 0 19 0 475140499 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140623371901856 140623765992763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8940] ppid=8934 vsize=15419460 memory=8453508 CPUtime=21.81 cores=0,2,4,6
/proc/8936/task/8940/stat : 8940 (java) R 8934 8934 7690 0 -1 4202560 901609 0 0 0 1776 405 0 0 20 0 19 0 475140499 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140623370848976 140623773623015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8941] ppid=8934 vsize=15419460 memory=8024224 CPUtime=21.68 cores=0,2,4,6
/proc/8936/task/8941/stat : 8941 (java) R 8934 8934 7690 0 -1 4202560 938361 0 0 0 1742 426 0 0 20 0 19 0 475140499 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140623369796488 140623773623015 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8942] ppid=8934 vsize=15419460 memory=1448 CPUtime=0.94 cores=0,2,4,6
/proc/8936/task/8942/stat : 8942 (java) S 8934 8934 7690 0 -1 1077944384 34019 0 0 0 82 12 0 0 20 0 19 0 475140501 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622653502400 140623781005013 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8943] ppid=8934 vsize=15419460 memory=8719416 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8943/stat : 8943 (java) S 8934 8934 7690 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475140501 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622652449888 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8944] ppid=8934 vsize=15419460 memory=8720040 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8944/stat : 8944 (java) S 8934 8934 7690 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 475140501 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622651396992 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8945] ppid=8934 vsize=15419460 memory=8722376 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8945/stat : 8945 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140504 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622650345296 140623781013403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8946] ppid=8934 vsize=15419460 memory=1448 CPUtime=4.57 cores=0,2,4,6
/proc/8936/task/8946/stat : 8946 (java) S 8934 8934 7690 0 -1 1077944384 29920 0 0 0 454 3 0 0 20 0 19 0 475140504 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622649293440 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8947] ppid=8934 vsize=15419460 memory=8024224 CPUtime=3.84 cores=0,2,4,6
/proc/8936/task/8947/stat : 8947 (java) S 8934 8934 7690 0 -1 1077944384 31227 0 0 0 381 3 0 0 20 0 19 0 475140504 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622648240928 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8948] ppid=8934 vsize=15419460 memory=8024224 CPUtime=0.91 cores=0,2,4,6
/proc/8936/task/8948/stat : 8948 (java) S 8934 8934 7690 0 -1 1077944384 11535 0 0 0 89 2 0 0 20 0 19 0 475140504 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622647188128 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8949] ppid=8934 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8949/stat : 8949 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140504 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622646135520 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8950] ppid=8934 vsize=15419460 memory=1448 CPUtime=0.31 cores=0,2,4,6
/proc/8936/task/8950/stat : 8950 (java) S 8934 8934 7690 0 -1 1077944384 1312 0 0 0 21 10 0 0 20 0 19 0 475140504 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622645082800 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8954] ppid=8934 vsize=15419460 memory=1448 CPUtime=595.8 cores=0,2,4,6
/proc/8936/task/8954/stat : 8954 (java) S 8934 8934 7690 0 -1 1077944384 632647 0 0 0 59513 67 0 0 20 0 19 0 475143712 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622634003024 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8955] ppid=8934 vsize=15419460 memory=3616 CPUtime=597.06 cores=0,2,4,6
/proc/8936/task/8955/stat : 8955 (java) S 8934 8934 7690 0 -1 1077944384 2205340 0 0 0 59544 162 0 0 20 0 19 0 475143712 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622632954352 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8956] ppid=8934 vsize=15419460 memory=55304 CPUtime=595.79 cores=0,2,4,6
/proc/8936/task/8956/stat : 8956 (java) S 8934 8934 7690 0 -1 1077944384 484990 0 0 0 59523 56 0 0 20 0 19 0 475143712 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622631898688 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8957] ppid=8934 vsize=15419460 memory=1448 CPUtime=598.88 cores=0,2,4,6
/proc/8936/task/8957/stat : 8957 (java) S 8934 8934 7690 0 -1 1077944384 36854 0 0 0 59868 20 0 0 20 0 19 0 475143712 15789527040 2180594 33554432000 4194304 4196468 140730516220560 140622630846816 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
Current children cumulated CPU time: 2503.48 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 8723824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+647.001 s]*
/proc/loadavg: 8.61 8.02 6.54 9/238 9367
/proc/meminfo: memFree=372704/32770624 swapFree=66986244/67108860
[pid=8934] ppid=8931 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8934/stat : 8934 (xcsp3-exec) S 8931 8934 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475140498 115843072 362 33554432000 4194304 5098028 140737288847040 140737288845144 139807684768380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21934080 140737288848250 140737288848493 140737288848493 140737288851402 0
/proc/8934/statm: 28282 362 304 221 0 87 0
[pid=8936] ppid=8934 vsize=15419460 memory=8743436 CPUtime=2520.15 cores=0,2,4,6
/proc/8936/stat : 8936 (java) S 8934 8934 7690 0 -1 1077944320 7239597 0 0 0 250004 2011 0 0 20 0 19 0 475140498 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140730516203104 140623780994807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
/proc/8936/statm: 3854865 2185859 3561 1 0 3815965 0
[pid=8936/tid=8937] ppid=8934 vsize=15419460 memory=924 CPUtime=18.07 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (java) S 8934 8934 7690 0 -1 1077944384 14937 0 0 0 1796 11 0 0 20 0 19 0 475140499 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140623785235584 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8938] ppid=8934 vsize=15419460 memory=4126316290023845779 CPUtime=23.72 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (java) S 8934 8934 7690 0 -1 1077944384 822155 0 0 0 1972 400 0 0 20 0 19 0 475140499 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140623372954768 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8939] ppid=8934 vsize=15419460 memory=1412 CPUtime=23.77 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (java) S 8934 8934 7690 0 -1 1077944384 1086757 0 0 0 1943 434 0 0 20 0 19 0 475140499 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140623371901968 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8940] ppid=8934 vsize=15419460 memory=3200 CPUtime=23.7 cores=0,2,4,6
/proc/8936/task/8940/stat : 8940 (java) S 8934 8934 7690 0 -1 1077944384 901614 0 0 0 1964 406 0 0 20 0 19 0 475140499 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140623370849168 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8941] ppid=8934 vsize=15419460 memory=1448 CPUtime=23.53 cores=0,2,4,6
/proc/8936/task/8941/stat : 8941 (java) S 8934 8934 7690 0 -1 1077944384 938369 0 0 0 1927 426 0 0 20 0 19 0 475140499 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140623369796368 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8942] ppid=8934 vsize=15419460 memory=4189480 CPUtime=1.58 cores=0,2,4,6
/proc/8936/task/8942/stat : 8942 (java) S 8934 8934 7690 0 -1 1077944384 40243 0 0 0 145 13 0 0 20 0 19 0 475140501 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622653503856 140623781005954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8943] ppid=8934 vsize=15419460 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8943/stat : 8943 (java) S 8934 8934 7690 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475140501 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622652449888 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8944] ppid=8934 vsize=15419460 memory=692 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8944/stat : 8944 (java) S 8934 8934 7690 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 475140501 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622651396992 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8945] ppid=8934 vsize=15419460 memory=8024224 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8945/stat : 8945 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140504 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622650345296 140623781013403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8946] ppid=8934 vsize=15419460 memory=3616 CPUtime=4.57 cores=0,2,4,6
/proc/8936/task/8946/stat : 8946 (java) S 8934 8934 7690 0 -1 1077944384 29920 0 0 0 454 3 0 0 20 0 19 0 475140504 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622649293680 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8947] ppid=8934 vsize=15419460 memory=1448 CPUtime=3.84 cores=0,2,4,6
/proc/8936/task/8947/stat : 8947 (java) S 8934 8934 7690 0 -1 1077944384 31227 0 0 0 381 3 0 0 20 0 19 0 475140504 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622648240880 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8948] ppid=8934 vsize=15419460 memory=8024224 CPUtime=0.91 cores=0,2,4,6
/proc/8936/task/8948/stat : 8948 (java) S 8934 8934 7690 0 -1 1077944384 11535 0 0 0 89 2 0 0 20 0 19 0 475140504 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622647188080 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8949] ppid=8934 vsize=15419460 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8949/stat : 8949 (java) S 8934 8934 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140504 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622646135520 140623781005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8950] ppid=8934 vsize=15419460 memory=916 CPUtime=0.31 cores=0,2,4,6
/proc/8936/task/8950/stat : 8950 (java) S 8934 8934 7690 0 -1 1077944384 1312 0 0 0 21 10 0 0 20 0 19 0 475140504 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622645082800 140623781005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8954] ppid=8934 vsize=15419460 memory=3848 CPUtime=597.93 cores=0,2,4,6
/proc/8936/task/8954/stat : 8954 (java) R 8934 8934 7690 0 -1 4202560 632650 0 0 0 59726 67 0 0 20 0 19 0 475143712 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622634003224 140623426898605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8955] ppid=8934 vsize=15419460 memory=2600 CPUtime=599.14 cores=0,2,4,6
/proc/8936/task/8955/stat : 8955 (java) R 8934 8934 7690 0 -1 4202560 2205515 0 0 0 59752 162 0 0 20 0 19 0 475143712 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622632951376 140623426917968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8956] ppid=8934 vsize=15419460 memory=2716 CPUtime=597.92 cores=0,2,4,6
/proc/8936/task/8956/stat : 8956 (java) R 8934 8934 7690 0 -1 4202560 484991 0 0 0 59736 56 0 0 20 0 19 0 475143712 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622631899112 140623426899972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
[pid=8936/tid=8957] ppid=8934 vsize=15419460 memory=1412 CPUtime=601 cores=0,2,4,6
/proc/8936/task/8957/stat : 8957 (java) R 8934 8934 7690 0 -1 4202560 36932 0 0 0 60080 20 0 0 20 0 19 0 475143712 15789527040 2185859 33554432000 4194304 4196468 140730516220560 140622630847000 140623422017945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28966912 140730516227055 140730516227226 140730516227226 140730516230095 0
Current children cumulated CPU time: 2520.15 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 8744884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+647.043 s]
# the end of solver process 8934 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00155 s, system=0.000775 s
[startup+647.513 s]
# the end of solver process 8936 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2500.35 s, system=20.5416 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+647.21 s]
/proc/loadavg: 8.61 8.02 6.54 7/220 9369
/proc/meminfo: memFree=1854952/32770624 swapFree=66986244/67108860
Current cumulated CPU time of completed processes: 0.002325 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+647.4 s]
/proc/loadavg: 8.61 8.02 6.54 7/220 9369
/proc/meminfo: memFree=1854952/32770624 swapFree=66986244/67108860
Current cumulated CPU time of completed processes: 0.002325 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+647.5 s]
/proc/loadavg: 8.61 8.02 6.54 7/220 9369
/proc/meminfo: memFree=1854952/32770624 swapFree=66986244/67108860
Current cumulated CPU time of completed processes: 0.002325 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): 647.513
CPU time (s): 2520.89
CPU user time (s): 2500.35
CPU system time (s): 20.5416
CPU usage (%): 389.319
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 8744884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.35
system time used= 20.5416
maximum resident set size= 8743840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7240322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19056
involuntary context switches= 41823
# summary of solver processes directly reported to runsolver:
# pid: 8934,8936
# total CPU time (s): 2520.89
# total CPU user time (s): 2500.35
# total CPU system time (s): 20.5416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.19079 second user time and 7.33219 second system time
The end