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 (15254 MiB free)
memory of node 1: 16384 MiB (13394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400362-1568679235/watcher-4400362-1568679235 -o /tmp/evaluation-result-4400362-1568679235/solver-4400362-1568679235 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 261950086 HOME/instance-4400362-1568679235.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8871, runsolver pid=8868
Current StackSize limit: 8192 KiB
[startup+0.100179 s]*
/proc/loadavg: 9.02 8.58 8.50 7/234 8887
/proc/meminfo: memFree=29320348/32770624 swapFree=66997372/67108860
[pid=8871] ppid=8868 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8871/stat : 8871 (xcsp3-exec) S 8868 8871 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176611 115843072 363 33554432000 4194304 5098028 140731146200672 140731146198776 140444267201148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15896576 140731146208123 140731146208365 140731146208365 140731146211274 0
/proc/8871/statm: 28282 363 304 221 0 87 0
[pid=8873] ppid=8871 vsize=15144776 memory=28928 CPUtime=0.12 cores=0,2,4,6
/proc/8873/stat : 8873 (java) S 8871 8871 32513 0 -1 1077944320 5683 0 0 0 11 1 0 0 20 0 15 0 444176611 15508250624 7232 33554432000 4194304 4196468 140731114400144 140731114382688 139629044059895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
/proc/8873/statm: 3786194 7232 3159 1 0 3748377 0
[pid=8873/tid=8874] ppid=8871 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/8873/task/8874/stat : 8874 (java) R 8871 8871 32513 0 -1 4202560 3570 0 0 0 8 0 0 0 20 0 15 0 444176612 15508250624 7232 33554432000 4194304 4196468 140731114400144 139629048288144 139629044071830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8875] ppid=8871 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8875/stat : 8875 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628996680720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8876] ppid=8871 vsize=15144776 memory=140100492670592 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8876/stat : 8876 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628995628176 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8877] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8877/stat : 8877 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628994575120 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8878] ppid=8871 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8878/stat : 8878 (java) S 8871 8871 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628993522576 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8879] ppid=8871 vsize=15144776 memory=140100492670592 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8879/stat : 8879 (java) S 8871 8871 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176614 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628512266480 139629044071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8880] ppid=8871 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8880/stat : 8880 (java) S 8871 8871 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444176614 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628511212704 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8881] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8881/stat : 8881 (java) S 8871 8871 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444176614 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628510159600 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8882] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8882/stat : 8882 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628509108176 139629044078491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8883] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8883/stat : 8883 (java) S 8871 8871 32513 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628508056304 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8884] ppid=8871 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8884/stat : 8884 (java) S 8871 8871 32513 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628507003760 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8885] ppid=8871 vsize=15144776 memory=140100492670592 CPUtime=0.02 cores=0,2,4,6
/proc/8873/task/8885/stat : 8885 (java) R 8871 8871 32513 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 444176617 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628505950704 139629028140382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8886] ppid=8871 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8886/stat : 8886 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628504898400 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8887] ppid=8871 vsize=15144776 memory=140100492670592 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8887/stat : 8887 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 7232 33554432000 4194304 4196468 140731114400144 139628503845424 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB
[startup+0.212236 s]*
/proc/loadavg: 9.02 8.58 8.50 6/234 8887
/proc/meminfo: memFree=29308628/32770624 swapFree=66997372/67108860
[pid=8871] ppid=8868 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8871/stat : 8871 (xcsp3-exec) S 8868 8871 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176611 115843072 363 33554432000 4194304 5098028 140731146200672 140731146198776 140444267201148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15896576 140731146208123 140731146208365 140731146208365 140731146211274 0
/proc/8871/statm: 28282 363 304 221 0 87 0
[pid=8873] ppid=8871 vsize=15144776 memory=40144 CPUtime=0.35 cores=0,2,4,6
/proc/8873/stat : 8873 (java) S 8871 8871 32513 0 -1 1077944320 9304 0 0 0 32 3 0 0 20 0 15 0 444176611 15508250624 10036 33554432000 4194304 4196468 140731114400144 140731114382688 139629044059895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
/proc/8873/statm: 3786194 10036 3268 1 0 3748377 0
[pid=8873/tid=8874] ppid=8871 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/8873/task/8874/stat : 8874 (java) R 8871 8871 32513 0 -1 4202560 6567 0 0 0 18 2 0 0 20 0 15 0 444176612 15508250624 10036 33554432000 4194304 4196468 140731114400144 139629048294880 139629044071830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8875] ppid=8871 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8875/stat : 8875 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628996680720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8876] ppid=8871 vsize=15144776 memory=140100492696880 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8876/stat : 8876 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628995628176 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8877] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8877/stat : 8877 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628994575120 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8878] ppid=8871 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8878/stat : 8878 (java) S 8871 8871 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176612 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628993522576 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8879] ppid=8871 vsize=15144776 memory=140100492670592 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8879/stat : 8879 (java) S 8871 8871 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444176614 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628512266480 139629044071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8880] ppid=8871 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8880/stat : 8880 (java) S 8871 8871 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444176614 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628511212704 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8881] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8881/stat : 8881 (java) S 8871 8871 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444176614 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628510159600 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8882] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8882/stat : 8882 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628509108176 139629044078491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8883] ppid=8871 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8873/task/8883/stat : 8883 (java) S 8871 8871 32513 0 -1 1077944384 513 0 0 0 3 0 0 0 20 0 15 0 444176617 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628508056304 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8884] ppid=8871 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8873/task/8884/stat : 8884 (java) S 8871 8871 32513 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 444176617 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628507003760 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8885] ppid=8871 vsize=15144776 memory=140100492670592 CPUtime=0.08 cores=0,2,4,6
/proc/8873/task/8885/stat : 8885 (java) R 8871 8871 32513 0 -1 4202560 830 0 0 0 8 0 0 0 20 0 15 0 444176617 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628505950704 139629036297022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8886] ppid=8871 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8886/stat : 8886 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628504898400 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8887] ppid=8871 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8887/stat : 8887 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176617 15508250624 10036 33554432000 4194304 4196468 140731114400144 139628503845424 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41596 KiB
[startup+0.318802 s]*
/proc/loadavg: 9.02 8.58 8.50 7/234 8887
/proc/meminfo: memFree=29300340/32770624 swapFree=66997372/67108860
[pid=8871] ppid=8868 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8871/stat : 8871 (xcsp3-exec) S 8868 8871 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176611 115843072 363 33554432000 4194304 5098028 140731146200672 140731146198776 140444267201148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15896576 140731146208123 140731146208365 140731146208365 140731146211274 0
/proc/8871/statm: 28282 363 304 221 0 87 0
[pid=8873] ppid=8871 vsize=15149032 memory=50360 CPUtime=0.54 cores=0,2,4,6
/proc/8873/stat : 8873 (java) S 8871 8871 32513 0 -1 1077944320 10898 0 0 0 51 3 0 0 20 0 15 0 444176611 15512608768 12590 33554432000 4194304 4196468 140731114400144 140731114382688 139629044059895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
/proc/8873/statm: 3787258 12590 3370 1 0 3748377 0
[pid=8873/tid=8874] ppid=8871 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/8873/task/8874/stat : 8874 (java) R 8871 8871 32513 0 -1 4202560 7819 0 0 0 28 2 0 0 20 0 15 0 444176612 15512608768 12599 33554432000 4194304 4196468 140731114400144 139629048287104 139629028140382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8875] ppid=8871 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8875/stat : 8875 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628996680720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8876] ppid=8871 vsize=15149032 memory=14131147721789782 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8876/stat : 8876 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628995628176 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8877] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8877/stat : 8877 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176612 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628994575120 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8878] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8878/stat : 8878 (java) S 8871 8871 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176612 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628993522576 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8879] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8879/stat : 8879 (java) S 8871 8871 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444176614 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628512266480 139629044071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8880] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8880/stat : 8880 (java) S 8871 8871 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444176614 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628511212704 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8881] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8881/stat : 8881 (java) S 8871 8871 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444176614 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628510159600 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8882] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8882/stat : 8882 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176617 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628509108176 139629044078491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8883] ppid=8871 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8873/task/8883/stat : 8883 (java) S 8871 8871 32513 0 -1 1077944384 557 0 0 0 4 0 0 0 20 0 15 0 444176617 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628508056304 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8884] ppid=8871 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8873/task/8884/stat : 8884 (java) S 8871 8871 32513 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 15 0 444176617 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628507003760 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8885] ppid=8871 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8873/task/8885/stat : 8885 (java) S 8871 8871 32513 0 -1 1077944384 995 0 0 0 13 0 0 0 20 0 15 0 444176617 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628505950704 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8886] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8886/stat : 8886 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176617 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628504898400 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8887] ppid=8871 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8887/stat : 8887 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176617 15512608768 12599 33554432000 4194304 4196468 140731114400144 139628503845424 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51812 KiB
[startup+0.705102 s]
/proc/loadavg: 9.02 8.58 8.50 9/234 8887
/proc/meminfo: memFree=29286292/32770624 swapFree=66997372/67108860
[pid=8871] ppid=8868 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8871/stat : 8871 (xcsp3-exec) S 8868 8871 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176611 115843072 363 33554432000 4194304 5098028 140731146200672 140731146198776 140444267201148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15896576 140731146208123 140731146208365 140731146208365 140731146211274 0
/proc/8871/statm: 28282 363 304 221 0 87 0
[pid=8873] ppid=8871 vsize=15417412 memory=98188 CPUtime=1.71 cores=0,2,4,6
/proc/8873/stat : 8873 (java) S 8871 8871 32513 0 -1 1077944320 14321 0 0 0 166 5 0 0 20 0 19 0 444176611 15787429888 24547 33554432000 4194304 4196468 140731114400144 140731114382688 139629044059895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
/proc/8873/statm: 3854353 24547 3461 1 0 3815453 0
[pid=8873/tid=8874] ppid=8871 vsize=15417412 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/8873/task/8874/stat : 8874 (java) S 8871 8871 32513 0 -1 1077944384 9181 0 0 0 60 4 0 0 20 0 19 0 444176612 15787429888 24547 33554432000 4194304 4196468 140731114400144 139629048300672 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8875] ppid=8871 vsize=15417412 memory=143 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8875/stat : 8875 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628996680720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8876] ppid=8871 vsize=15417412 memory=2 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8876/stat : 8876 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628995628176 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8877] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8877/stat : 8877 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628994575120 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8878] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8878/stat : 8878 (java) S 8871 8871 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628993522576 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8879] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8879/stat : 8879 (java) S 8871 8871 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628512266480 139629044071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8880] ppid=8871 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8880/stat : 8880 (java) S 8871 8871 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628511212704 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8881] ppid=8871 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8881/stat : 8881 (java) S 8871 8871 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628510159600 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8882] ppid=8871 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8882/stat : 8882 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628509108176 139629044078491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8883] ppid=8871 vsize=15417412 memory=1764 CPUtime=0.28 cores=0,2,4,6
/proc/8873/task/8883/stat : 8883 (java) R 8871 8871 32513 0 -1 4202560 1014 0 0 0 28 0 0 0 20 0 19 0 444176617 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628508042872 139629025604050 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8884] ppid=8871 vsize=15417412 memory=111628 CPUtime=0.29 cores=0,2,4,6
/proc/8873/task/8884/stat : 8884 (java) R 8871 8871 32513 0 -1 4202560 867 0 0 0 29 0 0 0 20 0 19 0 444176617 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628506990384 139629022463578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8885] ppid=8871 vsize=15417412 memory=796 CPUtime=0.38 cores=0,2,4,6
/proc/8873/task/8885/stat : 8885 (java) R 8871 8871 32513 0 -1 1077944384 1798 0 0 0 38 0 0 0 20 0 19 0 444176617 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628505948496 139629044070101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8886] ppid=8871 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8886/stat : 8886 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628504898400 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8887] ppid=8871 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8887/stat : 8887 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 24547 33554432000 4194304 4196468 140731114400144 139628503845424 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 99640 KiB
[startup+1.50071 s]
/proc/loadavg: 9.02 8.58 8.50 11/238 8903
/proc/meminfo: memFree=29200724/32770624 swapFree=66997372/67108860
[pid=8871] ppid=8868 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8871/stat : 8871 (xcsp3-exec) S 8868 8871 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176611 115843072 363 33554432000 4194304 5098028 140731146200672 140731146198776 140444267201148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15896576 140731146208123 140731146208365 140731146208365 140731146211274 0
/proc/8871/statm: 28282 363 304 221 0 87 0
[pid=8873] ppid=8871 vsize=15417412 memory=198084 CPUtime=4.84 cores=0,2,4,6
/proc/8873/stat : 8873 (java) S 8871 8871 32513 0 -1 1077944320 16165 0 0 0 473 11 0 0 20 0 19 0 444176611 15787429888 49521 33554432000 4194304 4196468 140731114400144 140731114382688 139629044059895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
/proc/8873/statm: 3854353 49521 3505 1 0 3815453 0
[pid=8873/tid=8874] ppid=8871 vsize=15417412 memory=28708 CPUtime=0.64 cores=0,2,4,6
/proc/8873/task/8874/stat : 8874 (java) S 8871 8871 32513 0 -1 1077944384 9182 0 0 0 60 4 0 0 20 0 19 0 444176612 15787429888 49521 33554432000 4194304 4196468 140731114400144 139629048300672 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8875] ppid=8871 vsize=15417412 memory=30916 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8875/stat : 8875 (java) S 8871 8871 32513 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628996680720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8876] ppid=8871 vsize=15417412 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8876/stat : 8876 (java) S 8871 8871 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628995628176 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8877] ppid=8871 vsize=15417412 memory=280200713865440 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8877/stat : 8877 (java) S 8871 8871 32513 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628994575120 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8878] ppid=8871 vsize=15417412 memory=590024333722744109 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8878/stat : 8878 (java) S 8871 8871 32513 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628993522576 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8879] ppid=8871 vsize=15417412 memory=18357 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8879/stat : 8879 (java) S 8871 8871 32513 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628512266480 139629044071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8880] ppid=8871 vsize=15417412 memory=288230376155228707 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8880/stat : 8880 (java) S 8871 8871 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628511212704 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8881] ppid=8871 vsize=15417412 memory=24625 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8881/stat : 8881 (java) S 8871 8871 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628510159600 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8882] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8882/stat : 8882 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628509108176 139629044078491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8883] ppid=8871 vsize=15417412 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/8873/task/8883/stat : 8883 (java) R 8871 8871 32513 0 -1 4202560 1642 0 0 0 74 0 0 0 20 0 19 0 444176617 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628508042384 139629025604095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8884] ppid=8871 vsize=15417412 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/8873/task/8884/stat : 8884 (java) R 8871 8871 32513 0 -1 4202560 1105 0 0 0 73 0 0 0 20 0 19 0 444176617 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628506996952 139629027446460 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8885] ppid=8871 vsize=15417412 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/8873/task/8885/stat : 8885 (java) S 8871 8871 32513 0 -1 1077944384 2221 0 0 0 52 0 0 0 20 0 19 0 444176617 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628505950704 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8886] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8886/stat : 8886 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628504898400 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8887] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8887/stat : 8887 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 49521 33554432000 4194304 4196468 140731114400144 139628503845424 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 199536 KiB
[startup+2.11884 s]
# the end of solver process 8871 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.09092 s, system=0.14142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.70071 s]
/proc/loadavg: 9.02 8.58 8.50 11/238 8903
/proc/meminfo: memFree=29200724/32770624 swapFree=66997372/67108860
[pid=8871] ppid=8868 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8871/stat : 8871 (xcsp3-exec) S 8868 8871 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176611 115843072 363 33554432000 4194304 5098028 140731146200672 140731146198776 140444267201148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15896576 140731146208123 140731146208365 140731146208365 140731146211274 0
/proc/8871/statm: 28282 363 304 221 0 87 0
[pid=8873] ppid=8871 vsize=15417412 memory=202504 CPUtime=5.63 cores=0,2,4,6
/proc/8873/stat : 8873 (java) S 8871 8871 32513 0 -1 1077944320 16235 0 0 0 552 11 0 0 20 0 19 0 444176611 15787429888 50626 33554432000 4194304 4196468 140731114400144 140731114382688 139629044059895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
/proc/8873/statm: 3854353 50626 3506 1 0 3815453 0
[pid=8873/tid=8874] ppid=8871 vsize=15417412 memory=8112282956445269571 CPUtime=0.64 cores=0,2,4,6
/proc/8873/task/8874/stat : 8874 (java) S 8871 8871 32513 0 -1 1077944384 9182 0 0 0 60 4 0 0 20 0 19 0 444176612 15787429888 50626 33554432000 4194304 4196468 140731114400144 139629048300672 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8875] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8875/stat : 8875 (java) S 8871 8871 32513 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628996680720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8876] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8876/stat : 8876 (java) S 8871 8871 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628995628176 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8877] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8877/stat : 8877 (java) S 8871 8871 32513 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628994575120 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8878] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8878/stat : 8878 (java) S 8871 8871 32513 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 444176612 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628993522576 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8879] ppid=8871 vsize=15417412 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8879/stat : 8879 (java) S 8871 8871 32513 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628512266480 139629044071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8880] ppid=8871 vsize=15417412 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8880/stat : 8880 (java) S 8871 8871 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628511212704 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8881] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8881/stat : 8881 (java) S 8871 8871 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444176614 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628510159600 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8882] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8882/stat : 8882 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628509108176 139629044078491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8883] ppid=8871 vsize=15417412 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/8873/task/8883/stat : 8883 (java) R 8871 8871 32513 0 -1 4202560 1663 0 0 0 83 0 0 0 20 0 19 0 444176617 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628508042872 139629023469664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8884] ppid=8871 vsize=15417412 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/8873/task/8884/stat : 8884 (java) R 8871 8871 32513 0 -1 1077944384 1125 0 0 0 83 0 0 0 20 0 19 0 444176617 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628507003760 139629044071042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8885] ppid=8871 vsize=15417412 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/8873/task/8885/stat : 8885 (java) S 8871 8871 32513 0 -1 1077944384 2248 0 0 0 53 0 0 0 20 0 19 0 444176617 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628505950704 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8886] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8886/stat : 8886 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628504898400 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8887] ppid=8871 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8887/stat : 8887 (java) S 8871 8871 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176617 15787429888 50626 33554432000 4194304 4196468 140731114400144 139628503845424 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 203956 KiB
[startup+2.10072 s]*
/proc/loadavg: 9.02 8.58 8.50 6/238 8907
/proc/meminfo: memFree=29128004/32770624 swapFree=66997372/67108860
[pid=8871] ppid=8868 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8871/stat : 8871 (xcsp3-exec) S 8868 8871 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176611 115843072 363 33554432000 4194304 5098028 140731146200672 140731146198776 140444267201148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15896576 140731146208123 140731146208365 140731146208365 140731146211274 0
/proc/8871/statm: 28282 363 304 221 0 87 0
[pid=8873] ppid=8871 vsize=15483976 memory=219388 CPUtime=7.21 cores=0,2,4,6
/proc/8873/stat : 8873 (java) S 8871 8871 32513 0 -1 1077944320 16411 0 0 0 708 13 0 0 20 0 14 0 444176611 15855591424 54847 33554432000 4194304 4196468 140731114400144 140731114382688 139629044059895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
/proc/8873/statm: 3870994 54847 3511 1 0 3832094 0
[pid=8873/tid=8874] ppid=8871 vsize=15483976 memory=7031125463459224206 CPUtime=0.64 cores=0,2,4,6
/proc/8873/task/8874/stat : 8874 (java) S 8871 8871 32513 0 -1 1077944384 9187 0 0 0 60 4 0 0 20 0 14 0 444176612 15855591424 54847 33554432000 4194304 4196468 140731114400144 139629048302736 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8875] ppid=8871 vsize=15483976 memory=3472328299869006699 CPUtime=0.02 cores=0,2,4,6
/proc/8873/task/8875/stat : 8875 (java) S 8871 8871 32513 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 14 0 444176612 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628996680720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8876] ppid=8871 vsize=15483976 memory=3612088798542456754 CPUtime=0.02 cores=0,2,4,6
/proc/8873/task/8876/stat : 8876 (java) S 8871 8871 32513 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 14 0 444176612 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628995628176 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8877] ppid=8871 vsize=15483976 memory=3470692292451393600 CPUtime=0.02 cores=0,2,4,6
/proc/8873/task/8877/stat : 8877 (java) S 8871 8871 32513 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 14 0 444176612 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628994575120 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8878] ppid=8871 vsize=15483976 memory=3544668477756290096 CPUtime=0.02 cores=0,2,4,6
/proc/8873/task/8878/stat : 8878 (java) S 8871 8871 32513 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 14 0 444176612 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628993522576 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8879] ppid=8871 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8879/stat : 8879 (java) S 8871 8871 32513 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 14 0 444176614 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628512266688 139629044071042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8880] ppid=8871 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8880/stat : 8880 (java) S 8871 8871 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 444176614 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628511212704 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8881] ppid=8871 vsize=15483976 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8881/stat : 8881 (java) S 8871 8871 32513 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 14 0 444176614 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628510159600 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8883] ppid=8871 vsize=15483976 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/8873/task/8883/stat : 8883 (java) S 8871 8871 32513 0 -1 1077944384 1679 0 0 0 95 1 0 0 20 0 14 0 444176617 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628508040816 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8884] ppid=8871 vsize=15483976 memory=227020 CPUtime=0.89 cores=0,2,4,6
/proc/8873/task/8884/stat : 8884 (java) S 8871 8871 32513 0 -1 1077944384 1140 0 0 0 89 0 0 0 20 0 14 0 444176617 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628507003520 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8885] ppid=8871 vsize=15483976 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/8873/task/8885/stat : 8885 (java) S 8871 8871 32513 0 -1 1077944384 2258 0 0 0 54 0 0 0 20 0 14 0 444176617 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628505950704 139629044071042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8886] ppid=8871 vsize=15483976 memory=6 CPUtime=0 cores=0,2,4,6
/proc/8873/task/8886/stat : 8886 (java) S 8871 8871 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 444176617 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628504898400 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
[pid=8873/tid=8905] ppid=8871 vsize=15483976 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/8873/task/8905/stat : 8905 (java) S 8871 8871 32513 0 -1 1077944384 22 0 0 0 61 0 0 0 20 0 14 0 444176733 15855591424 54847 33554432000 4194304 4196468 140731114400144 139628494868720 139629044070101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140731114402799 140731114402970 140731114402970 140731114405839 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 220840 KiB
Child status: 0
Real time (s): 2.11888
CPU time (s): 7.23234
CPU user time (s): 7.09092
CPU system time (s): 0.14142
CPU usage (%): 341.329
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 220840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.09092
system time used= 0.14142
maximum resident set size= 220452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2056
involuntary context switches= 300
# summary of solver processes directly reported to runsolver:
# pid: 8871
# total CPU time (s): 7.23234
# total CPU user time (s): 7.09092
# total CPU system time (s): 0.14142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03747 second user time and 0.067655 second system time
The end