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 (15204 MiB free)
memory of node 1: 16384 MiB (15498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283689-1503187239/watcher-4283689-1503187239 -o /tmp/evaluation-result-4283689-1503187239/solver-4283689-1503187239 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 462843153 HOME/instance-4283689-1503187239.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4815, runsolver pid=4812
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.54 1.60 1.57 3/197 4817
/proc/meminfo: memFree=31439384/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13356504 memory=10656 CPUtime=0 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 2419 0 0 0 0 0 0 0 20 0 6 0 17130954 13677060096 2664 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3339126 2664 1203 1 0 3329096 0
[pid=4817/tid=4818] ppid=4815 vsize=13356504 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 1234 0 0 0 0 0 0 0 20 0 6 0 17130954 13677060096 2730 18446744073709551615 4194304 4196468 140730680971776 140634816820536 140634798454656 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13356504 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17130955 13677060096 2730 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13356504 memory=140421444908672 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 17130955 13677060096 2730 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 17130955 13677060096 2730 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17130955 13677060096 2730 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB
[startup+0.210036 s]*
/proc/loadavg: 1.54 1.60 1.57 3/211 4831
/proc/meminfo: memFree=31422508/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13974352 memory=27980 CPUtime=0.1 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 4890 0 0 0 9 1 0 0 20 0 15 0 17130954 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3493588 6995 2747 1 0 3482964 0
[pid=4817/tid=4818] ppid=4815 vsize=13974352 memory=-8023549066454273880 CPUtime=0.07 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 3038 0 0 0 7 0 0 0 20 0 15 0 17130954 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634816802544 140634812601501 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13974352 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13974352 memory=140421444908672 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4823] ppid=4815 vsize=13974352 memory=140421444908672 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4823/stat : 4823 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130956 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634358286576 140634812590722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4824] ppid=4815 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4824/stat : 4824 (java) S 4815 4815 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17130957 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634357232800 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4825] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4825/stat : 4825 (java) S 4815 4815 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17130957 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634356179696 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4826] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4826/stat : 4826 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634355128272 140634812598171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4827] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4827/stat : 4827 (java) S 4815 4815 18108 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 17130959 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634354076400 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4828] ppid=4815 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4828/stat : 4828 (java) R 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634353023856 140634812590722 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4829] ppid=4815 vsize=13974352 memory=140421444908672 CPUtime=0.01 cores=1,3,5,7
/proc/4817/task/4829/stat : 4829 (java) S 4815 4815 18108 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 17130959 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634351970800 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4830] ppid=4815 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4830/stat : 4830 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634350918496 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4831] ppid=4815 vsize=13974352 memory=140421444908672 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4831/stat : 4831 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130963 14309736448 6995 18446744073709551615 4194304 4196468 140730680971776 140634349865520 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29360 KiB
[startup+0.315026 s]*
/proc/loadavg: 1.54 1.60 1.57 4/211 4831
/proc/meminfo: memFree=31412768/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13974352 memory=39324 CPUtime=0.3 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 8534 0 0 0 28 2 0 0 20 0 15 0 17130954 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3493588 9831 3006 1 0 3482964 0
[pid=4817/tid=4818] ppid=4815 vsize=13974352 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 5778 0 0 0 16 1 0 0 20 0 15 0 17130954 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634816813552 140634812591510 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13974352 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13974352 memory=140421444915665 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4823] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4823/stat : 4823 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130956 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634358286576 140634812590722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4824] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4824/stat : 4824 (java) S 4815 4815 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17130957 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634357232800 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4825] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4825/stat : 4825 (java) S 4815 4815 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17130957 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634356179696 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4826] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4826/stat : 4826 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634355128272 140634812598171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4827] ppid=4815 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4817/task/4827/stat : 4827 (java) S 4815 4815 18108 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 15 0 17130959 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634354076400 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4828] ppid=4815 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4817/task/4828/stat : 4828 (java) S 4815 4815 18108 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 15 0 17130959 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634353023856 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4829] ppid=4815 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4817/task/4829/stat : 4829 (java) R 4815 4815 18108 0 -1 4202560 684 0 0 0 6 0 0 0 20 0 15 0 17130959 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634351970800 140634804816702 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4830] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4830/stat : 4830 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634350918496 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4831] ppid=4815 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4831/stat : 4831 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130963 14309736448 9831 18446744073709551615 4194304 4196468 140730680971776 140634349865520 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40704 KiB
[startup+0.701907 s]
/proc/loadavg: 1.54 1.60 1.57 4/211 4831
/proc/meminfo: memFree=31401916/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13980668 memory=72192 CPUtime=1.23 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 12619 0 0 0 119 4 0 0 20 0 15 0 17130954 14316204032 18048 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3495183 18048 3177 1 0 3483476 0
[pid=4817/tid=4818] ppid=4815 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 7917 0 0 0 53 2 0 0 20 0 15 0 17130954 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634816815856 140634426029007 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13980732 memory=8320808402719881013 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13980732 memory=6368748898559742033 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4823] ppid=4815 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4823/stat : 4823 (java) S 4815 4815 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17130956 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634358286576 140634812590722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4824] ppid=4815 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4824/stat : 4824 (java) S 4815 4815 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634357232800 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4825] ppid=4815 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4825/stat : 4825 (java) S 4815 4815 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634356179696 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4826] ppid=4815 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4826/stat : 4826 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634355128272 140634812598171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4827] ppid=4815 vsize=13980732 memory=30305 CPUtime=0.15 cores=1,3,5,7
/proc/4817/task/4827/stat : 4827 (java) R 4815 4815 18108 0 -1 1077944384 919 0 0 0 15 0 0 0 20 0 15 0 17130959 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634354063184 140634812589781 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4828] ppid=4815 vsize=13980732 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/4817/task/4828/stat : 4828 (java) R 4815 4815 18108 0 -1 4202560 981 0 0 0 18 0 0 0 20 0 15 0 17130959 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634353022256 140634790746056 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4829] ppid=4815 vsize=13980732 memory=-3967418655009478193 CPUtime=0.32 cores=1,3,5,7
/proc/4817/task/4829/stat : 4829 (java) S 4815 4815 18108 0 -1 1077944384 1496 0 0 0 32 0 0 0 20 0 15 0 17130959 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634351970800 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4830] ppid=4815 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4830/stat : 4830 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634350918496 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4831] ppid=4815 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4831/stat : 4831 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130963 14316269568 18048 18446744073709551615 4194304 4196468 140730680971776 140634349865520 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990180 KiB
Current children cumulated memory: 73572 KiB
[startup+1.50083 s]
/proc/loadavg: 1.54 1.60 1.57 4/211 4831
/proc/meminfo: memFree=31361652/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13980732 memory=140220 CPUtime=3.58 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 22741 0 0 0 352 6 0 0 20 0 15 0 17130954 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3495183 35055 3197 1 0 3483476 0
[pid=4817/tid=4818] ppid=4815 vsize=13980732 memory=4128 CPUtime=1.34 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 9461 0 0 0 131 3 0 0 20 0 15 0 17130954 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140634816818176 140634431975974 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13980732 memory=140421338742912 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17130955 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4823] ppid=4815 vsize=13980732 memory=276 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4823/stat : 4823 (java) S 4815 4815 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 17130956 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140634358286576 140634812590722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4824] ppid=4815 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4824/stat : 4824 (java) S 4815 4815 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 35055 18446744073709551615 4194304 4196468 140730680971776 140634357232800 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4825] ppid=4815 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/4817/task/4825/stat : 4825 (java) S 4815 4815 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 130286 18446744073709551615 4194304 4196468 140730680971776 140634356179696 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4826] ppid=4815 vsize=13980732 memory=521144 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4826/stat : 4826 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 130286 18446744073709551615 4194304 4196468 140730680971776 140634355128272 140634812598171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4827] ppid=4815 vsize=13980732 memory=521144 CPUtime=4.01 cores=1,3,5,7
/proc/4817/task/4827/stat : 4827 (java) S 4815 4815 18108 0 -1 1077944384 33745 0 0 0 399 2 0 0 20 0 15 0 17130959 14316269568 130286 18446744073709551615 4194304 4196468 140730680971776 140634354076400 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4828] ppid=4815 vsize=13980732 memory=401 CPUtime=4.24 cores=1,3,5,7
/proc/4817/task/4828/stat : 4828 (java) S 4815 4815 18108 0 -1 1077944384 31539 0 0 0 422 2 0 0 20 0 15 0 17130959 14316269568 130286 18446744073709551615 4194304 4196468 140730680971776 140634353023856 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4829] ppid=4815 vsize=13980732 memory=521144 CPUtime=0.89 cores=1,3,5,7
/proc/4817/task/4829/stat : 4829 (java) S 4815 4815 18108 0 -1 1077944384 14298 0 0 0 88 1 0 0 20 0 15 0 17130959 14316269568 130286 18446744073709551615 4194304 4196468 140730680971776 140634351970800 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4830] ppid=4815 vsize=13980732 memory=521144 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4830/stat : 4830 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 130286 18446744073709551615 4194304 4196468 140730680971776 140634350918496 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4831] ppid=4815 vsize=13980732 memory=12972 CPUtime=0.75 cores=1,3,5,7
/proc/4817/task/4831/stat : 4831 (java) S 4815 4815 18108 0 -1 1077944384 2520 0 0 0 34 41 0 0 20 0 15 0 17130963 14316269568 130286 18446744073709551615 4194304 4196468 140730680971776 140634349865520 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 2415.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 522524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.68 1.58 3/193 5117
/proc/meminfo: memFree=31118700/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13980732 memory=520632 CPUtime=2475.98 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 230360 0 0 0 247339 259 0 0 20 0 15 0 17130954 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3495183 130158 3251 1 0 3483476 0
[pid=4817/tid=4818] ppid=4815 vsize=13980732 memory=1380 CPUtime=2428.35 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 58502 0 0 0 242806 29 0 0 20 0 15 0 17130954 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634816818784 140634435750988 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13980732 memory=520460 CPUtime=8.53 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 17103 0 0 0 807 46 0 0 20 0 15 0 17130955 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13980732 memory=520632 CPUtime=8.59 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 16083 0 0 0 817 42 0 0 20 0 15 0 17130955 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13980732 memory=520632 CPUtime=8.57 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 17718 0 0 0 813 44 0 0 20 0 15 0 17130955 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13980732 memory=520632 CPUtime=8.54 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 14656 0 0 0 812 42 0 0 20 0 15 0 17130955 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4823] ppid=4815 vsize=13980732 memory=1380 CPUtime=3.39 cores=1,3,5,7
/proc/4817/task/4823/stat : 4823 (java) S 4815 4815 18108 0 -1 1077944384 22830 0 0 0 304 35 0 0 20 0 15 0 17130956 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634358286576 140634812590722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4824] ppid=4815 vsize=13980732 memory=12972 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4824/stat : 4824 (java) S 4815 4815 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634357232864 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4825] ppid=4815 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4825/stat : 4825 (java) S 4815 4815 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634356179696 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4826] ppid=4815 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4826/stat : 4826 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634355128272 140634812598171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4827] ppid=4815 vsize=13980732 memory=4128 CPUtime=4.01 cores=1,3,5,7
/proc/4817/task/4827/stat : 4827 (java) S 4815 4815 18108 0 -1 1077944384 33746 0 0 0 399 2 0 0 20 0 15 0 17130959 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634354076400 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4828] ppid=4815 vsize=13980732 memory=1380 CPUtime=4.24 cores=1,3,5,7
/proc/4817/task/4828/stat : 4828 (java) S 4815 4815 18108 0 -1 1077944384 31539 0 0 0 422 2 0 0 20 0 15 0 17130959 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634353023856 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4829] ppid=4815 vsize=13980732 memory=520632 CPUtime=0.89 cores=1,3,5,7
/proc/4817/task/4829/stat : 4829 (java) S 4815 4815 18108 0 -1 1077944384 14298 0 0 0 88 1 0 0 20 0 15 0 17130959 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634351970800 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4830] ppid=4815 vsize=13980732 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4830/stat : 4830 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634350918496 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4831] ppid=4815 vsize=13980732 memory=1380 CPUtime=0.78 cores=1,3,5,7
/proc/4817/task/4831/stat : 4831 (java) S 4815 4815 18108 0 -1 1077944384 2536 0 0 0 35 43 0 0 20 0 15 0 17130963 14316269568 130158 18446744073709551615 4194304 4196468 140730680971776 140634349865520 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 2475.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 522012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2485.9 s]
/proc/loadavg: 1.75 1.69 1.59 4/211 5157
/proc/meminfo: memFree=30510968/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13980732 memory=532016 CPUtime=2520.06 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 234274 0 0 0 251742 264 0 0 20 0 15 0 17130954 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3495183 133004 3251 1 0 3483476 0
[pid=4817/tid=4818] ppid=4815 vsize=13980732 memory=1380 CPUtime=2471.68 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 59352 0 0 0 247139 29 0 0 20 0 15 0 17130954 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634816818672 140634432580650 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13980732 memory=533900 CPUtime=8.7 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 17569 0 0 0 823 47 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13980732 memory=1732 CPUtime=8.76 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 16849 0 0 0 833 43 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13980732 memory=2004 CPUtime=8.73 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 18256 0 0 0 829 44 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13980732 memory=1796 CPUtime=8.71 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 15733 0 0 0 828 43 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4823] ppid=4815 vsize=13980732 memory=302022848351043610 CPUtime=3.46 cores=1,3,5,7
/proc/4817/task/4823/stat : 4823 (java) S 4815 4815 18108 0 -1 1077944384 23022 0 0 0 310 36 0 0 20 0 15 0 17130956 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634358286576 140634812590722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4824] ppid=4815 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4824/stat : 4824 (java) S 4815 4815 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634357232864 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4825] ppid=4815 vsize=13980732 memory=530580 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4825/stat : 4825 (java) S 4815 4815 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634356179696 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4826] ppid=4815 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4826/stat : 4826 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634355128272 140634812598171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4827] ppid=4815 vsize=13980732 memory=12976 CPUtime=4.01 cores=1,3,5,7
/proc/4817/task/4827/stat : 4827 (java) S 4815 4815 18108 0 -1 1077944384 33748 0 0 0 399 2 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634354076400 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4828] ppid=4815 vsize=13980732 memory=1380 CPUtime=4.24 cores=1,3,5,7
/proc/4817/task/4828/stat : 4828 (java) S 4815 4815 18108 0 -1 1077944384 31541 0 0 0 422 2 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634353023856 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4829] ppid=4815 vsize=13980732 memory=532332 CPUtime=0.89 cores=1,3,5,7
/proc/4817/task/4829/stat : 4829 (java) S 4815 4815 18108 0 -1 1077944384 14301 0 0 0 88 1 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634351970800 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4830] ppid=4815 vsize=13980732 memory=525616 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4830/stat : 4830 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634350918496 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4831] ppid=4815 vsize=13980732 memory=1380 CPUtime=0.79 cores=1,3,5,7
/proc/4817/task/4831/stat : 4831 (java) S 4815 4815 18108 0 -1 1077944384 2554 0 0 0 35 44 0 0 20 0 15 0 17130963 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634349865520 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 533396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2485.91 s]
# the end of solver process 4815 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001869 s, system=0 s
[startup+2485.91 s]
# the end of solver process 4817 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.43 s, system=2.65161 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2485.9 s]
/proc/loadavg: 1.75 1.69 1.59 4/211 5157
/proc/meminfo: memFree=30510968/32770624 swapFree=67108860/67108860
[pid=4815] ppid=4812 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (xcsp3-exec) S 4812 4815 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17130944 9740288 345 18446744073709551615 4194304 5098028 140728644732320 140728644730424 139911873151612 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 33964032 140728644739450 140728644739654 140728644739654 140728644743147 0
/proc/4815/statm: 2378 345 289 221 0 87 0
[pid=4817] ppid=4815 vsize=13980732 memory=532016 CPUtime=2520.06 cores=1,3,5,7
/proc/4817/stat : 4817 (java) S 4815 4815 18108 0 -1 1077944320 234274 0 0 0 251742 264 0 0 20 0 15 0 17130954 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140730680954320 140634812579575 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
/proc/4817/statm: 3495183 133004 3251 1 0 3483476 0
[pid=4817/tid=4818] ppid=4815 vsize=13980732 memory=1380 CPUtime=2471.68 cores=1,3,5,7
/proc/4817/task/4818/stat : 4818 (java) R 4815 4815 18108 0 -1 4202560 59352 0 0 0 247139 29 0 0 20 0 15 0 17130954 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634816818672 140634432580650 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4819] ppid=4815 vsize=13980732 memory=533900 CPUtime=8.7 cores=1,3,5,7
/proc/4817/task/4819/stat : 4819 (java) S 4815 4815 18108 0 -1 1077944384 17569 0 0 0 823 47 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634747014160 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4820] ppid=4815 vsize=13980732 memory=1732 CPUtime=8.76 cores=1,3,5,7
/proc/4817/task/4820/stat : 4820 (java) S 4815 4815 18108 0 -1 1077944384 16849 0 0 0 833 43 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634745961616 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4821] ppid=4815 vsize=13980732 memory=2004 CPUtime=8.73 cores=1,3,5,7
/proc/4817/task/4821/stat : 4821 (java) S 4815 4815 18108 0 -1 1077944384 18256 0 0 0 829 44 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634410892048 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4822] ppid=4815 vsize=13980732 memory=1796 CPUtime=8.71 cores=1,3,5,7
/proc/4817/task/4822/stat : 4822 (java) S 4815 4815 18108 0 -1 1077944384 15733 0 0 0 828 43 0 0 20 0 15 0 17130955 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634409839504 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4823] ppid=4815 vsize=13980732 memory=302022848351043610 CPUtime=3.46 cores=1,3,5,7
/proc/4817/task/4823/stat : 4823 (java) S 4815 4815 18108 0 -1 1077944384 23022 0 0 0 310 36 0 0 20 0 15 0 17130956 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634358286576 140634812590722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4824] ppid=4815 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4824/stat : 4824 (java) S 4815 4815 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634357232864 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4825] ppid=4815 vsize=13980732 memory=530580 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4825/stat : 4825 (java) S 4815 4815 18108 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17130957 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634356179696 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4826] ppid=4815 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4826/stat : 4826 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634355128272 140634812598171 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4827] ppid=4815 vsize=13980732 memory=12976 CPUtime=4.01 cores=1,3,5,7
/proc/4817/task/4827/stat : 4827 (java) S 4815 4815 18108 0 -1 1077944384 33748 0 0 0 399 2 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634354076400 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4828] ppid=4815 vsize=13980732 memory=1380 CPUtime=4.24 cores=1,3,5,7
/proc/4817/task/4828/stat : 4828 (java) S 4815 4815 18108 0 -1 1077944384 31541 0 0 0 422 2 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634353023856 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4829] ppid=4815 vsize=13980732 memory=532332 CPUtime=0.89 cores=1,3,5,7
/proc/4817/task/4829/stat : 4829 (java) S 4815 4815 18108 0 -1 1077944384 14301 0 0 0 88 1 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634351970800 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4830] ppid=4815 vsize=13980732 memory=525616 CPUtime=0 cores=1,3,5,7
/proc/4817/task/4830/stat : 4830 (java) S 4815 4815 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17130959 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634350918496 140634812589781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
[pid=4817/tid=4831] ppid=4815 vsize=13980732 memory=1380 CPUtime=0.79 cores=1,3,5,7
/proc/4817/task/4831/stat : 4831 (java) S 4815 4815 18108 0 -1 1077944384 2554 0 0 0 35 44 0 0 20 0 15 0 17130963 14316269568 133004 18446744073709551615 4194304 4196468 140730680971776 140634349865520 140634812590722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 6426624 140730680975794 140730680975970 140730680975970 140730680979407 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 533396 KiB
Child status: 143
Real time (s): 2485.91
CPU time (s): 2520.08
CPU user time (s): 2517.43
CPU system time (s): 2.65161
CPU usage (%): 101.375
Max. virtual memory (cumulated for all children) (KiB): 13992164
Max. memory (cumulated for all children) (KiB): 1397236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.43
system time used= 2.65161
maximum resident set size= 1399952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141364
involuntary context switches= 4487
# summary of solver processes directly reported to runsolver:
# pid: 4815,4817
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.43
# total CPU system time (s): 2.65161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8526 second user time and 25.2203 second system time
The end