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 (15258 MiB free)
memory of node 1: 16384 MiB (15097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272340-1502814888/watcher-4272340-1502814888 -o /tmp/evaluation-result-4272340-1502814888/solver-4272340-1502814888 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30226 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 551291674 HOME/instance-4272340-1502814888.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=4695, runsolver pid=4692
[startup+0.100201 s]*
/proc/loadavg: 1.96 1.85 1.84 3/218 4711
/proc/meminfo: memFree=31071516/32770624 swapFree=67108860/67108860
[pid=4695] ppid=4692 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (xcsp3-exec) S 4692 4695 30195 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114577063 9740288 346 33554432000 4194304 5098028 140721799560736 140721799558840 140029494022780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10895360 140721799566447 140721799566651 140721799566651 140721799569387 0
/proc/4695/statm: 2378 346 289 221 0 87 0
[pid=4697] ppid=4695 vsize=13978596 memory=25636 CPUtime=0.08 cores=0,2,4,6
/proc/4697/stat : 4697 (java) S 4695 4695 30195 0 -1 1077944320 5231 0 0 0 7 1 0 0 20 0 15 0 114577063 14314082304 6409 33554432000 4194304 4196468 140736667291760 140736667274304 140030176083703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
/proc/4697/statm: 3494649 6409 2749 1 0 3482966 0
[pid=4697/tid=4698] ppid=4695 vsize=13978596 memory=7031125463459224206 CPUtime=0.06 cores=0,2,4,6
/proc/4697/task/4698/stat : 4698 (java) R 4695 4695 30195 0 -1 4202560 3418 0 0 0 6 0 0 0 20 0 15 0 114577063 14314082304 6948 33554432000 4194304 4196468 140736667291760 140030180315264 140030157647263 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4699] ppid=4695 vsize=13978596 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4699/stat : 4699 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 6948 33554432000 4194304 4196468 140736667291760 140030106172432 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4700] ppid=4695 vsize=13978596 memory=140480143718016 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4700/stat : 4700 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 6948 33554432000 4194304 4196468 140736667291760 140030105119888 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4701] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4701/stat : 4701 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 6948 33554432000 4194304 4196468 140736667291760 140030104066832 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4702] ppid=4695 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4702/stat : 4702 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 6948 33554432000 4194304 4196468 140736667291760 140030103014288 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4703] ppid=4695 vsize=13978596 memory=140480143718016 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4703/stat : 4703 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577065 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029177579760 140030176094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4704] ppid=4695 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4704/stat : 4704 (java) S 4695 4695 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114577066 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029176525984 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4705] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4705/stat : 4705 (java) S 4695 4695 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114577066 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029175472880 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4706] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4706/stat : 4706 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029174421456 140030176102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4707] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4707/stat : 4707 (java) S 4695 4695 30195 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 114577068 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029173369584 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4708] ppid=4695 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4708/stat : 4708 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029172317040 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4709] ppid=4695 vsize=13978596 memory=140480143718016 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4709/stat : 4709 (java) S 4695 4695 30195 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 114577069 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029171263984 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4710] ppid=4695 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4710/stat : 4710 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577069 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029170211680 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4711] ppid=4695 vsize=13978596 memory=140480143718016 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4711/stat : 4711 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577072 14314082304 6948 33554432000 4194304 4196468 140736667291760 140029169158704 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 27020 KiB
[startup+0.210554 s]*
/proc/loadavg: 1.96 1.85 1.84 4/218 4711
/proc/meminfo: memFree=31059792/32770624 swapFree=67108860/67108860
[pid=4695] ppid=4692 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (xcsp3-exec) S 4692 4695 30195 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114577063 9740288 346 33554432000 4194304 5098028 140721799560736 140721799558840 140029494022780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10895360 140721799566447 140721799566651 140721799566651 140721799569387 0
/proc/4695/statm: 2378 346 289 221 0 87 0
[pid=4697] ppid=4695 vsize=13978596 memory=40012 CPUtime=0.3 cores=0,2,4,6
/proc/4697/stat : 4697 (java) S 4695 4695 30195 0 -1 1077944320 8006 0 0 0 27 3 0 0 20 0 15 0 114577063 14314082304 10003 33554432000 4194304 4196468 140736667291760 140736667274304 140030176083703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
/proc/4697/statm: 3494649 10003 3049 1 0 3482966 0
[pid=4697/tid=4698] ppid=4695 vsize=13978596 memory=7022364632946311227 CPUtime=0.17 cores=0,2,4,6
/proc/4697/task/4698/stat : 4698 (java) R 4695 4695 30195 0 -1 4202560 5151 0 0 0 16 1 0 0 20 0 15 0 114577063 14314082304 10003 33554432000 4194304 4196468 140736667291760 140030180317824 140030176095638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4699] ppid=4695 vsize=13978596 memory=4294976255 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4699/stat : 4699 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 10003 33554432000 4194304 4196468 140736667291760 140030106172432 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4700] ppid=4695 vsize=13978596 memory=140480143900798 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4700/stat : 4700 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 10003 33554432000 4194304 4196468 140736667291760 140030105119888 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4701] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4701/stat : 4701 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 10003 33554432000 4194304 4196468 140736667291760 140030104066832 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4702] ppid=4695 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4702/stat : 4702 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577064 14314082304 10003 33554432000 4194304 4196468 140736667291760 140030103014288 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4703] ppid=4695 vsize=13978596 memory=140480143718016 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4703/stat : 4703 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577065 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029177579760 140030176094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4704] ppid=4695 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4704/stat : 4704 (java) S 4695 4695 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114577066 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029176525984 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4705] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4705/stat : 4705 (java) S 4695 4695 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114577066 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029175472880 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4706] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4706/stat : 4706 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029174421456 140030176102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4707] ppid=4695 vsize=13978596 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4697/task/4707/stat : 4707 (java) R 4695 4695 30195 0 -1 1077944384 592 0 0 0 2 0 0 0 20 0 15 0 114577068 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029173369584 140030176094850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4708] ppid=4695 vsize=13978596 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4697/task/4708/stat : 4708 (java) S 4695 4695 30195 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 114577068 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029172317040 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4709] ppid=4695 vsize=13978596 memory=140480143718016 CPUtime=0.06 cores=0,2,4,6
/proc/4697/task/4709/stat : 4709 (java) R 4695 4695 30195 0 -1 4202560 694 0 0 0 6 0 0 0 20 0 15 0 114577069 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029171261776 140030168320830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4710] ppid=4695 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4710/stat : 4710 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577069 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029170211680 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4711] ppid=4695 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4711/stat : 4711 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577072 14314082304 10003 33554432000 4194304 4196468 140736667291760 140029169158704 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 41396 KiB
[startup+0.310754 s]*
/proc/loadavg: 1.96 1.85 1.84 3/218 4711
/proc/meminfo: memFree=31053092/32770624 swapFree=67108860/67108860
[pid=4695] ppid=4692 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (xcsp3-exec) S 4692 4695 30195 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114577063 9740288 346 33554432000 4194304 5098028 140721799560736 140721799558840 140029494022780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10895360 140721799566447 140721799566651 140721799566651 140721799569387 0
/proc/4695/statm: 2378 346 289 221 0 87 0
[pid=4697] ppid=4695 vsize=13982852 memory=46548 CPUtime=0.46 cores=0,2,4,6
/proc/4697/stat : 4697 (java) S 4695 4695 30195 0 -1 1077944320 8818 0 0 0 43 3 0 0 20 0 15 0 114577063 14318440448 11637 33554432000 4194304 4196468 140736667291760 140736667274304 140030176083703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
/proc/4697/statm: 3495713 11637 3102 1 0 3482966 0
[pid=4697/tid=4698] ppid=4695 vsize=13982852 memory=7310027617963868211 CPUtime=0.26 cores=0,2,4,6
/proc/4697/task/4698/stat : 4698 (java) R 4695 4695 30195 0 -1 4202560 5867 0 0 0 25 1 0 0 20 0 15 0 114577063 14318440448 11701 33554432000 4194304 4196468 140736667291760 140030180314800 140030160164190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4699] ppid=4695 vsize=13982852 memory=288230608969409282 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4699/stat : 4699 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14318440448 11701 33554432000 4194304 4196468 140736667291760 140030106172432 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4700] ppid=4695 vsize=13982852 memory=14413722140020194 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4700/stat : 4700 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14318440448 11701 33554432000 4194304 4196468 140736667291760 140030105119888 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4701] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4701/stat : 4701 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14318440448 11701 33554432000 4194304 4196468 140736667291760 140030104066832 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4702] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4702/stat : 4702 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577064 14318440448 11701 33554432000 4194304 4196468 140736667291760 140030103014288 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4703] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4703/stat : 4703 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577065 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029177579760 140030176094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4704] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4704/stat : 4704 (java) S 4695 4695 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114577066 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029176525984 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4705] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4705/stat : 4705 (java) S 4695 4695 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114577066 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029175472880 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4706] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4706/stat : 4706 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029174421456 140030176102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4707] ppid=4695 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4697/task/4707/stat : 4707 (java) S 4695 4695 30195 0 -1 1077944384 599 0 0 0 3 0 0 0 20 0 15 0 114577068 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029173369584 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4708] ppid=4695 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4697/task/4708/stat : 4708 (java) S 4695 4695 30195 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 15 0 114577068 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029172317040 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4709] ppid=4695 vsize=13982852 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4697/task/4709/stat : 4709 (java) D 4695 4695 30195 0 -1 4202560 768 0 0 0 11 0 0 0 20 0 15 0 114577069 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029171263984 140030168800855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4710] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4710/stat : 4710 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577069 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029170211680 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4711] ppid=4695 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4711/stat : 4711 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577072 14318440448 11701 33554432000 4194304 4196468 140736667291760 140029169158704 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47932 KiB
[startup+0.701669 s]
/proc/loadavg: 1.96 1.85 1.84 5/218 4711
/proc/meminfo: memFree=31035412/32770624 swapFree=67108860/67108860
[pid=4695] ppid=4692 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (xcsp3-exec) S 4692 4695 30195 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114577063 9740288 346 33554432000 4194304 5098028 140721799560736 140721799558840 140029494022780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10895360 140721799566447 140721799566651 140721799566651 140721799569387 0
/proc/4695/statm: 2378 346 289 221 0 87 0
[pid=4697] ppid=4695 vsize=13984976 memory=75316 CPUtime=1.59 cores=0,2,4,6
/proc/4697/stat : 4697 (java) S 4695 4695 30195 0 -1 1077944320 13075 0 0 0 154 5 0 0 20 0 15 0 114577063 14320615424 18829 33554432000 4194304 4196468 140736667291760 140736667274304 140030176083703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
/proc/4697/statm: 3496244 18829 3206 1 0 3483478 0
[pid=4697/tid=4698] ppid=4695 vsize=13984976 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/4697/task/4698/stat : 4698 (java) R 4695 4695 30195 0 -1 4202560 6612 0 0 0 61 2 0 0 20 0 15 0 114577063 14320615424 18829 33554432000 4194304 4196468 140736667291760 140030180322464 140030176095638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4699] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4699/stat : 4699 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 18829 33554432000 4194304 4196468 140736667291760 140030106172432 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4700] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4700/stat : 4700 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 18829 33554432000 4194304 4196468 140736667291760 140030105119888 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4701] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4701/stat : 4701 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 18829 33554432000 4194304 4196468 140736667291760 140030104066832 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4702] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4702/stat : 4702 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 18829 33554432000 4194304 4196468 140736667291760 140030103014288 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4703] ppid=4695 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4703/stat : 4703 (java) S 4695 4695 30195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114577065 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029177579760 140030176094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4704] ppid=4695 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4704/stat : 4704 (java) S 4695 4695 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029176525984 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4705] ppid=4695 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4705/stat : 4705 (java) S 4695 4695 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029175472880 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4706] ppid=4695 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4706/stat : 4706 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029174421456 140030176102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4707] ppid=4695 vsize=13984976 memory=4316 CPUtime=0.27 cores=0,2,4,6
/proc/4697/task/4707/stat : 4707 (java) R 4695 4695 30195 0 -1 4202560 1700 0 0 0 27 0 0 0 20 0 15 0 114577068 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029173355464 140030157608604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4708] ppid=4695 vsize=13984976 memory=2196 CPUtime=0.25 cores=0,2,4,6
/proc/4697/task/4708/stat : 4708 (java) R 4695 4695 30195 0 -1 4202560 1393 0 0 0 25 0 0 0 20 0 15 0 114577068 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029172302920 140030168038550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4709] ppid=4695 vsize=13984976 memory=6760 CPUtime=0.4 cores=0,2,4,6
/proc/4697/task/4709/stat : 4709 (java) R 4695 4695 30195 0 -1 1077944384 2063 0 0 0 39 1 0 0 20 0 15 0 114577069 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029171263984 140030176094850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4710] ppid=4695 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4710/stat : 4710 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577069 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029170211680 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4711] ppid=4695 vsize=13984976 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4711/stat : 4711 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577072 14320615424 18829 33554432000 4194304 4196468 140736667291760 140029169158704 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76700 KiB
[startup+1.50082 s]
/proc/loadavg: 1.96 1.85 1.84 5/218 4711
/proc/meminfo: memFree=31011532/32770624 swapFree=67108860/67108860
[pid=4695] ppid=4692 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (xcsp3-exec) S 4692 4695 30195 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114577063 9740288 346 33554432000 4194304 5098028 140721799560736 140721799558840 140029494022780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10895360 140721799566447 140721799566651 140721799566651 140721799569387 0
/proc/4695/statm: 2378 346 289 221 0 87 0
[pid=4697] ppid=4695 vsize=13984976 memory=100056 CPUtime=4.09 cores=0,2,4,6
/proc/4697/stat : 4697 (java) S 4695 4695 30195 0 -1 1077944320 18984 0 0 0 403 6 0 0 20 0 15 0 114577063 14320615424 25014 33554432000 4194304 4196468 140736667291760 140736667274304 140030176083703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
/proc/4697/statm: 3496244 25014 3227 1 0 3483478 0
[pid=4697/tid=4698] ppid=4695 vsize=13984976 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/4697/task/4698/stat : 4698 (java) R 4695 4695 30195 0 -1 4202560 6993 0 0 0 140 3 0 0 20 0 15 0 114577063 14320615424 25014 33554432000 4194304 4196468 140736667291760 140030180319776 140029780669707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4699] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4699/stat : 4699 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25014 33554432000 4194304 4196468 140736667291760 140030106172432 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4700] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4700/stat : 4700 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25014 33554432000 4194304 4196468 140736667291760 140030105119888 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4701] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4701/stat : 4701 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25014 33554432000 4194304 4196468 140736667291760 140030104066832 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4702] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4702/stat : 4702 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25014 33554432000 4194304 4196468 140736667291760 140030103014288 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4703] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4703/stat : 4703 (java) S 4695 4695 30195 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 114577065 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029177579760 140030176094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4704] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4704/stat : 4704 (java) S 4695 4695 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029176525984 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4705] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4705/stat : 4705 (java) S 4695 4695 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029175472880 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4706] ppid=4695 vsize=13984976 memory=2320824087963319399 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4706/stat : 4706 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029174421456 140030176102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4707] ppid=4695 vsize=13984976 memory=7367994820087800141 CPUtime=1.06 cores=0,2,4,6
/proc/4697/task/4707/stat : 4707 (java) R 4695 4695 30195 0 -1 4202560 3768 0 0 0 106 0 0 0 20 0 15 0 114577068 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029173355680 140030153682000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4708] ppid=4695 vsize=13984976 memory=7518318039812368741 CPUtime=1.05 cores=0,2,4,6
/proc/4697/task/4708/stat : 4708 (java) R 4695 4695 30195 0 -1 4202560 4483 0 0 0 105 0 0 0 20 0 15 0 114577068 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029172306832 140030155330880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4709] ppid=4695 vsize=13984976 memory=14428659372 CPUtime=0.5 cores=0,2,4,6
/proc/4697/task/4709/stat : 4709 (java) S 4695 4695 30195 0 -1 1077944384 2419 0 0 0 49 1 0 0 20 0 15 0 114577069 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029171263984 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4710] ppid=4695 vsize=13984976 memory=280959983599344 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4710/stat : 4710 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577069 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029170211680 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4711] ppid=4695 vsize=13984976 memory=280959983455768 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4711/stat : 4711 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577072 14320615424 25014 33554432000 4194304 4196468 140736667291760 140029169158704 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 101440 KiB
[startup+1.82594 s]
# the end of solver process 4695 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.89804 s, system=0.069801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60096 s]
/proc/loadavg: 1.96 1.85 1.84 5/218 4711
/proc/meminfo: memFree=31011532/32770624 swapFree=67108860/67108860
[pid=4695] ppid=4692 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (xcsp3-exec) S 4692 4695 30195 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114577063 9740288 346 33554432000 4194304 5098028 140721799560736 140721799558840 140029494022780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10895360 140721799566447 140721799566651 140721799566651 140721799569387 0
/proc/4695/statm: 2378 346 289 221 0 87 0
[pid=4697] ppid=4695 vsize=13984976 memory=102204 CPUtime=4.38 cores=0,2,4,6
/proc/4697/stat : 4697 (java) S 4695 4695 30195 0 -1 1077944320 19078 0 0 0 432 6 0 0 20 0 15 0 114577063 14320615424 25551 33554432000 4194304 4196468 140736667291760 140736667274304 140030176083703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
/proc/4697/statm: 3496244 25551 3227 1 0 3483478 0
[pid=4697/tid=4698] ppid=4695 vsize=13984976 memory=9179 CPUtime=1.54 cores=0,2,4,6
/proc/4697/task/4698/stat : 4698 (java) R 4695 4695 30195 0 -1 4202560 6994 0 0 0 151 3 0 0 20 0 15 0 114577063 14320615424 25551 33554432000 4194304 4196468 140736667291760 140030180320592 140029779824225 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4699] ppid=4695 vsize=13984976 memory=27497 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4699/stat : 4699 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25551 33554432000 4194304 4196468 140736667291760 140030106172432 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4700] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4700/stat : 4700 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25551 33554432000 4194304 4196468 140736667291760 140030105119888 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4701] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4701/stat : 4701 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25551 33554432000 4194304 4196468 140736667291760 140030104066832 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4702] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4702/stat : 4702 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 25551 33554432000 4194304 4196468 140736667291760 140030103014288 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4703] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4703/stat : 4703 (java) S 4695 4695 30195 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 114577065 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029177579760 140030176094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4704] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4704/stat : 4704 (java) S 4695 4695 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029176525984 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4705] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4705/stat : 4705 (java) S 4695 4695 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029175472880 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4706] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4706/stat : 4706 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029174421456 140030176102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4707] ppid=4695 vsize=13984976 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/4697/task/4707/stat : 4707 (java) R 4695 4695 30195 0 -1 4202560 3794 0 0 0 115 0 0 0 20 0 15 0 114577068 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029173369584 140030160979630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4708] ppid=4695 vsize=13984976 memory=288230377091498274 CPUtime=1.14 cores=0,2,4,6
/proc/4697/task/4708/stat : 4708 (java) R 4695 4695 30195 0 -1 4202560 4512 0 0 0 114 0 0 0 20 0 15 0 114577068 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029172304512 140030155935798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4709] ppid=4695 vsize=13984976 memory=288292194572567895 CPUtime=0.52 cores=0,2,4,6
/proc/4697/task/4709/stat : 4709 (java) S 4695 4695 30195 0 -1 1077944384 2457 0 0 0 51 1 0 0 20 0 15 0 114577069 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029171263984 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4710] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4710/stat : 4710 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577069 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029170211680 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4711] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4711/stat : 4711 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577072 14320615424 25551 33554432000 4194304 4196468 140736667291760 140029169158704 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 103588 KiB
[startup+1.80075 s]
/proc/loadavg: 1.96 1.85 1.84 5/218 4711
/proc/meminfo: memFree=31011532/32770624 swapFree=67108860/67108860
[pid=4695] ppid=4692 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (xcsp3-exec) S 4692 4695 30195 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114577063 9740288 346 33554432000 4194304 5098028 140721799560736 140721799558840 140029494022780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10895360 140721799566447 140721799566651 140721799566651 140721799569387 0
/proc/4695/statm: 2378 346 289 221 0 87 0
[pid=4697] ppid=4695 vsize=13984976 memory=108720 CPUtime=4.92 cores=0,2,4,6
/proc/4697/stat : 4697 (java) S 4695 4695 30195 0 -1 1077944320 19403 0 0 0 486 6 0 0 20 0 15 0 114577063 14320615424 27180 33554432000 4194304 4196468 140736667291760 140736667274304 140030176083703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
/proc/4697/statm: 3496244 27180 3231 1 0 3483478 0
[pid=4697/tid=4698] ppid=4695 vsize=13984976 memory=0 CPUtime=1.73 cores=0,2,4,6
/proc/4697/task/4698/stat : 4698 (java) R 4695 4695 30195 0 -1 4202560 7001 0 0 0 170 3 0 0 20 0 15 0 114577063 14320615424 27180 33554432000 4194304 4196468 140736667291760 140030180319232 140029780754191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4699] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4699/stat : 4699 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 27180 33554432000 4194304 4196468 140736667291760 140030106172432 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4700] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4700/stat : 4700 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 27180 33554432000 4194304 4196468 140736667291760 140030105119888 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4701] ppid=4695 vsize=13984976 memory=576460756337256238 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4701/stat : 4701 (java) S 4695 4695 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 27180 33554432000 4194304 4196468 140736667291760 140030104066832 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4702] ppid=4695 vsize=13984976 memory=280959983288560 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4702/stat : 4702 (java) S 4695 4695 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114577064 14320615424 27180 33554432000 4194304 4196468 140736667291760 140030103014288 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4703] ppid=4695 vsize=13984976 memory=3905239009479360544 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4703/stat : 4703 (java) S 4695 4695 30195 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 114577065 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029177579760 140030176094850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4704] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4704/stat : 4704 (java) S 4695 4695 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029176525984 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4705] ppid=4695 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4705/stat : 4705 (java) S 4695 4695 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114577066 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029175472880 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4706] ppid=4695 vsize=13984976 memory=6226622770355725928 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4706/stat : 4706 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577068 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029174421456 140030176102299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4707] ppid=4695 vsize=13984976 memory=7595438872044398678 CPUtime=1.31 cores=0,2,4,6
/proc/4697/task/4707/stat : 4707 (java) R 4695 4695 30195 0 -1 4202560 3841 0 0 0 131 0 0 0 20 0 15 0 114577068 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029173356144 140030159615360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4708] ppid=4695 vsize=13984976 memory=4639948313719891052 CPUtime=1.3 cores=0,2,4,6
/proc/4697/task/4708/stat : 4708 (java) R 4695 4695 30195 0 -1 4202560 4774 0 0 0 130 0 0 0 20 0 15 0 114577068 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029172317040 140030160480511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4709] ppid=4695 vsize=13984976 memory=6441370576508249454 CPUtime=0.53 cores=0,2,4,6
/proc/4697/task/4709/stat : 4709 (java) S 4695 4695 30195 0 -1 1077944384 2466 0 0 0 52 1 0 0 20 0 15 0 114577069 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029171263984 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4710] ppid=4695 vsize=13984976 memory=6009305383836477289 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4710/stat : 4710 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577069 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029170211680 140030176093909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
[pid=4697/tid=4711] ppid=4695 vsize=13984976 memory=6009305383836477289 CPUtime=0 cores=0,2,4,6
/proc/4697/task/4711/stat : 4711 (java) S 4695 4695 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114577072 14320615424 27180 33554432000 4194304 4196468 140736667291760 140029169158704 140030176094850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14295040 140736667292823 140736667292999 140736667292999 140736667295695 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 110104 KiB
Child status: 0
Real time (s): 1.826
CPU time (s): 4.96784
CPU user time (s): 4.89804
CPU system time (s): 0.069801
CPU usage (%): 272.062
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 110104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.89804
system time used= 0.069801
maximum resident set size= 111220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2031
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 4695
# total CPU time (s): 4.96784
# total CPU user time (s): 4.89804
# total CPU system time (s): 0.069801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025047 second user time and 0.068398 second system time
The end