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 (13690 MiB free)
memory of node 1: 16384 MiB (11179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406571-1569405416/watcher-4406571-1569405416 -o /tmp/evaluation-result-4406571-1569405416/solver-4406571-1569405416 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569396629-28466 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 954226294 HOME/instance-4406571-1569405416.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30705, runsolver pid=30702
Current StackSize limit: 8192 KiB
[startup+0.102355 s]*
/proc/loadavg: 1.99 2.00 1.97 3/229 30721
/proc/meminfo: memFree=25448396/32770624 swapFree=66956584/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15144776 memory=30044 CPUtime=0.13 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 28434 0 -1 1077944320 5957 0 0 0 12 1 0 0 20 0 15 0 516812895 15508250624 7511 33554432000 4194304 4196468 140727691506576 140727691489120 140475158867703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
/proc/30707/statm: 3786194 7511 3184 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15144776 memory=8514701219881124772 CPUtime=0.1 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 28434 0 -1 4202560 3829 0 0 0 9 1 0 0 20 0 15 0 516812895 15508250624 7511 33554432000 4194304 4196468 140727691506576 140475163098080 140475158889050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30709] ppid=30705 vsize=15144776 memory=3472468236054066384 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 7511 33554432000 4194304 4196468 140727691506576 140475095104272 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30710] ppid=30705 vsize=15144776 memory=140107158914688 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 7511 33554432000 4194304 4196468 140727691506576 140475094051728 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30711] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474749344784 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30712] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474748292240 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30713] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812897 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474694694896 140475158878850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30714] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516812897 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474693641120 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30715] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516812898 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474692588528 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) R 30705 30705 28434 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 15 0 516812900 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474622929488 140475138728377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) R 30705 30705 28434 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 516812900 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474621876848 140475158878850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15144776 memory=140107158914688 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) R 30705 30705 28434 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 516812900 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474620824304 140475158879638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15144776 memory=140107158914688 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) R 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812901 15508250624 7511 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31492 KiB
[startup+0.210713 s]*
/proc/loadavg: 1.99 2.00 1.97 4/229 30721
/proc/meminfo: memFree=25435508/32770624 swapFree=66956584/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15144776 memory=40892 CPUtime=0.34 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 28434 0 -1 1077944320 9467 0 0 0 31 3 0 0 20 0 15 0 516812895 15508250624 10223 33554432000 4194304 4196468 140727691506576 140727691489120 140475158867703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
/proc/30707/statm: 3786194 10223 3265 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15144776 memory=5855087016065728930 CPUtime=0.2 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 28434 0 -1 4202560 6666 0 0 0 18 2 0 0 20 0 15 0 516812895 15508250624 10223 33554432000 4194304 4196468 140727691506576 140475163102688 140475142948190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30709] ppid=30705 vsize=15144776 memory=3472468236054066384 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 10223 33554432000 4194304 4196468 140727691506576 140475095104272 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30710] ppid=30705 vsize=15144776 memory=140107158914688 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 10223 33554432000 4194304 4196468 140727691506576 140475094051728 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30711] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474749344784 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30712] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812896 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474748292240 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30713] ppid=30705 vsize=15144776 memory=140107158914688 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 28434 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516812897 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474694694896 140475158878850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30714] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516812897 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474693641120 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30715] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516812898 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474692588528 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 28434 0 -1 1077944384 492 0 0 0 2 0 0 0 20 0 15 0 516812900 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474622929392 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) R 30705 30705 28434 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 516812900 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474621876848 140475158878850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15144776 memory=140107158914688 CPUtime=0.08 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 28434 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 516812900 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474620824304 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15144776 memory=140107158914688 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812901 15508250624 10223 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42340 KiB
[startup+0.31057 s]*
/proc/loadavg: 1.99 2.00 1.97 4/229 30721
/proc/meminfo: memFree=25428732/32770624 swapFree=66956584/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15149032 memory=50468 CPUtime=0.53 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 28434 0 -1 1077944320 10936 0 0 0 49 4 0 0 20 0 15 0 516812895 15512608768 12617 33554432000 4194304 4196468 140727691506576 140727691489120 140475158867703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
/proc/30707/statm: 3787258 12617 3370 1 0 3748377 0
[pid=30707/tid=30708] ppid=30705 vsize=15149032 memory=8514701219880861597 CPUtime=0.3 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 28434 0 -1 4202560 7881 0 0 0 27 3 0 0 20 0 15 0 516812895 15512608768 12617 33554432000 4194304 4196468 140727691506576 140475163098816 140475142948190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30709] ppid=30705 vsize=15149032 memory=3472468236054066384 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15512608768 12617 33554432000 4194304 4196468 140727691506576 140475095104272 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30710] ppid=30705 vsize=15149032 memory=140107158914688 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15512608768 12617 33554432000 4194304 4196468 140727691506576 140475094051728 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30711] ppid=30705 vsize=15149032 memory=5 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474749344784 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30712] ppid=30705 vsize=15149032 memory=140107000719391 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812896 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474748292240 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30713] ppid=30705 vsize=15149032 memory=280214001399552 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 28434 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516812897 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474694694896 140475158878850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30714] ppid=30705 vsize=15149032 memory=140107000696335 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516812897 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474693641120 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30715] ppid=30705 vsize=15149032 memory=280214159620192 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516812898 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474692588528 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15149032 memory=140107000700943 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 28434 0 -1 1077944384 610 0 0 0 5 0 0 0 20 0 15 0 516812900 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474622929392 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 28434 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 15 0 516812900 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474621876848 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 28434 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 516812900 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474620824304 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15149032 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812901 15512608768 12617 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51916 KiB
[startup+0.701633 s]
/proc/loadavg: 1.99 2.00 1.97 6/229 30721
/proc/meminfo: memFree=25410980/32770624 swapFree=66956584/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=79020 CPUtime=1.58 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 28434 0 -1 1077944320 13962 0 0 0 152 6 0 0 20 0 15 0 516812895 15514783744 19755 33554432000 4194304 4196468 140727691506576 140727691489120 140475158867703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
/proc/30707/statm: 3787789 19755 3450 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=7236547281622689387 CPUtime=0.66 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 28434 0 -1 4202560 9077 0 0 0 63 3 0 0 20 0 15 0 516812895 15514783744 19755 33554432000 4194304 4196468 140727691506576 140475163103208 140474778363408 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15514783744 19755 33554432000 4194304 4196468 140727691506576 140475095104272 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=6298373484264312913 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15514783744 19755 33554432000 4194304 4196468 140727691506576 140475094051728 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516812896 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474749344784 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812896 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474748292240 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 28434 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516812897 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474694694896 140475158878850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516812897 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474693641120 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516812898 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474692588528 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=53724 CPUtime=0.27 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) R 30705 30705 28434 0 -1 4202560 1243 0 0 0 27 0 0 0 20 0 15 0 516812900 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474622910408 140475140412664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=984 CPUtime=0.23 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) R 30705 30705 28434 0 -1 4202560 668 0 0 0 23 0 0 0 20 0 15 0 516812900 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474621876976 140475143748959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=2032 CPUtime=0.37 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 28434 0 -1 1077944384 1666 0 0 0 37 0 0 0 20 0 15 0 516812900 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474620824304 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=7090143983960547920 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=7013346425477294192 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516812901 15514783744 19755 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 80468 KiB
[startup+1.50076 s]
/proc/loadavg: 1.99 2.00 1.97 3/229 30721
/proc/meminfo: memFree=25398952/32770624 swapFree=66956584/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 516812898 15514783744 1688918 33554432000 4194304 4196468 140727691506576 140474692588544 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688918 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=1328 CPUtime=1.67 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 28434 0 -1 1077944384 8859 0 0 0 166 1 0 0 20 0 15 0 516812900 15514783744 1688918 33554432000 4194304 4196468 140727691506576 140474622929392 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=1560 CPUtime=1.58 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 28434 0 -1 1077944384 7201 0 0 0 156 2 0 0 20 0 15 0 516812900 15514783744 1688918 33554432000 4194304 4196468 140727691506576 140474621876848 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=1448 CPUtime=0.54 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 28434 0 -1 1077944384 6237 0 0 0 53 1 0 0 20 0 15 0 516812900 15514783744 1688918 33554432000 4194304 4196468 140727691506576 140474620824304 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=6754136 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688918 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=984 CPUtime=0.78 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 28434 0 -1 1077944384 1247 0 0 0 35 43 0 0 20 0 15 0 516812901 15514783744 1688918 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 2283.36 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6757120 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.96 1.90 3/230 31042
/proc/meminfo: memFree=18293896/32770624 swapFree=66956600/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=6754644 CPUtime=2343.42 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 28434 0 -1 1077944320 287945 0 0 0 232963 1379 0 0 20 0 15 0 516812895 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140727691489120 140475158867703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
/proc/30707/statm: 3787789 1688661 3521 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=6754644 CPUtime=2314.81 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 28434 0 -1 4202560 200913 0 0 0 230234 1247 0 0 20 0 15 0 516812895 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140475163107168 140474779342221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=6754644 CPUtime=5.57 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 28434 0 -1 1077944384 16045 0 0 0 543 14 0 0 20 0 15 0 516812896 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140475095104272 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=6754644 CPUtime=5.6 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 28434 0 -1 1077944384 12723 0 0 0 547 13 0 0 20 0 15 0 516812896 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140475094051728 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=1448 CPUtime=5.6 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 28434 0 -1 1077944384 13581 0 0 0 546 14 0 0 20 0 15 0 516812896 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474749344784 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=4096 CPUtime=5.6 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 28434 0 -1 1077944384 11576 0 0 0 547 13 0 0 20 0 15 0 516812896 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474748292240 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=1448 CPUtime=1.56 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 28434 0 -1 1077944384 8085 0 0 0 117 39 0 0 20 0 15 0 516812897 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474694694896 140475158878850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=6755672 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 28434 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516812897 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474693641184 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 516812898 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474692588544 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=6754644 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=1560 CPUtime=1.67 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 28434 0 -1 1077944384 8861 0 0 0 166 1 0 0 20 0 15 0 516812900 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474622929392 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=976 CPUtime=1.58 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 28434 0 -1 1077944384 7203 0 0 0 156 2 0 0 20 0 15 0 516812900 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474621876848 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=6754644 CPUtime=0.54 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 28434 0 -1 1077944384 6240 0 0 0 53 1 0 0 20 0 15 0 516812900 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474620824304 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=6754644 CPUtime=0.79 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 28434 0 -1 1077944384 1268 0 0 0 35 44 0 0 20 0 15 0 516812901 15514783744 1688661 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 2343.42 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6756092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2378.9 s]
/proc/loadavg: 1.95 1.95 1.90 3/229 31046
/proc/meminfo: memFree=18294788/32770624 swapFree=66956600/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=6754132 CPUtime=2400.09 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 28434 0 -1 1077944320 295982 0 0 0 238629 1380 0 0 20 0 15 0 516812895 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140727691489120 140475158867703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
/proc/30707/statm: 3787789 1688533 3521 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=6754132 CPUtime=2371.39 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 28434 0 -1 4202560 202701 0 0 0 235892 1247 0 0 20 0 15 0 516812895 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140475163107456 140474778834271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=6754132 CPUtime=5.59 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 28434 0 -1 1077944384 16822 0 0 0 545 14 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140475095104272 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=6754132 CPUtime=5.62 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 28434 0 -1 1077944384 13660 0 0 0 549 13 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140475094051728 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=1448 CPUtime=5.62 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 28434 0 -1 1077944384 15361 0 0 0 548 14 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474749344784 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=6754132 CPUtime=5.62 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 28434 0 -1 1077944384 14178 0 0 0 549 13 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474748292240 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=6754132 CPUtime=1.56 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 28434 0 -1 1077944384 8210 0 0 0 117 39 0 0 20 0 15 0 516812897 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474694694896 140475158878850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 28434 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516812897 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474693641184 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 516812898 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474692588544 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=6754132 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=288230583166042426 CPUtime=1.67 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 28434 0 -1 1077944384 8863 0 0 0 166 1 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474622929392 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=288230574492221466 CPUtime=1.58 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 28434 0 -1 1077944384 7205 0 0 0 156 2 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474621876848 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=288230583166042426 CPUtime=0.54 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 28434 0 -1 1077944384 6243 0 0 0 53 1 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474620824304 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 28434 0 -1 1077944384 1289 0 0 0 35 45 0 0 20 0 15 0 516812901 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6755580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2378.93 s]
# the end of solver process 30705 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001156 s, system=0.001156 s
[startup+2378.94 s]
# the end of solver process 30707 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2386.3 s, system=13.8298 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+2378.9 s]
/proc/loadavg: 1.95 1.95 1.90 3/229 31046
/proc/meminfo: memFree=18294788/32770624 swapFree=66956600/67108860
[pid=30705] ppid=30702 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30705/stat : 30705 (xcsp3-exec) S 30702 30705 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516812894 115843072 362 33554432000 4194304 5098028 140720674590608 140720674588712 140671370699388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34934784 140720674599803 140720674600045 140720674600045 140720674602954 0
/proc/30705/statm: 28282 362 304 221 0 87 0
[pid=30707] ppid=30705 vsize=15151156 memory=6754132 CPUtime=2400.09 cores=1,3,5,7
/proc/30707/stat : 30707 (java) S 30705 30705 28434 0 -1 1077944320 295982 0 0 0 238629 1380 0 0 20 0 15 0 516812895 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140727691489120 140475158867703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
/proc/30707/statm: 3787789 1688533 3521 1 0 3748889 0
[pid=30707/tid=30708] ppid=30705 vsize=15151156 memory=6754132 CPUtime=2371.39 cores=1,3,5,7
/proc/30707/task/30708/stat : 30708 (java) R 30705 30705 28434 0 -1 4202560 202701 0 0 0 235892 1247 0 0 20 0 15 0 516812895 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140475163107456 140474778834271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30709] ppid=30705 vsize=15151156 memory=6754132 CPUtime=5.59 cores=1,3,5,7
/proc/30707/task/30709/stat : 30709 (java) S 30705 30705 28434 0 -1 1077944384 16822 0 0 0 545 14 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140475095104272 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30710] ppid=30705 vsize=15151156 memory=6754132 CPUtime=5.62 cores=1,3,5,7
/proc/30707/task/30710/stat : 30710 (java) S 30705 30705 28434 0 -1 1077944384 13660 0 0 0 549 13 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140475094051728 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30711] ppid=30705 vsize=15151156 memory=1448 CPUtime=5.62 cores=1,3,5,7
/proc/30707/task/30711/stat : 30711 (java) S 30705 30705 28434 0 -1 1077944384 15361 0 0 0 548 14 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474749344784 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30712] ppid=30705 vsize=15151156 memory=6754132 CPUtime=5.62 cores=1,3,5,7
/proc/30707/task/30712/stat : 30712 (java) S 30705 30705 28434 0 -1 1077944384 14178 0 0 0 549 13 0 0 20 0 15 0 516812896 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474748292240 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30713] ppid=30705 vsize=15151156 memory=6754132 CPUtime=1.56 cores=1,3,5,7
/proc/30707/task/30713/stat : 30713 (java) S 30705 30705 28434 0 -1 1077944384 8210 0 0 0 117 39 0 0 20 0 15 0 516812897 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474694694896 140475158878850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30714] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30714/stat : 30714 (java) S 30705 30705 28434 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516812897 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474693641184 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30715] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30715/stat : 30715 (java) S 30705 30705 28434 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 516812898 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474692588544 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30716] ppid=30705 vsize=15151156 memory=6754132 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30716/stat : 30716 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474691537104 140475158886299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30717] ppid=30705 vsize=15151156 memory=288230583166042426 CPUtime=1.67 cores=1,3,5,7
/proc/30707/task/30717/stat : 30717 (java) S 30705 30705 28434 0 -1 1077944384 8863 0 0 0 166 1 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474622929392 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30718] ppid=30705 vsize=15151156 memory=288230574492221466 CPUtime=1.58 cores=1,3,5,7
/proc/30707/task/30718/stat : 30718 (java) S 30705 30705 28434 0 -1 1077944384 7205 0 0 0 156 2 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474621876848 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30719] ppid=30705 vsize=15151156 memory=288230583166042426 CPUtime=0.54 cores=1,3,5,7
/proc/30707/task/30719/stat : 30719 (java) S 30705 30705 28434 0 -1 1077944384 6243 0 0 0 53 1 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474620824304 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30720] ppid=30705 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30707/task/30720/stat : 30720 (java) S 30705 30705 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516812900 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474619772000 140475158877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
[pid=30707/tid=30721] ppid=30705 vsize=15151156 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/30707/task/30721/stat : 30721 (java) S 30705 30705 28434 0 -1 1077944384 1289 0 0 0 35 45 0 0 20 0 15 0 516812901 15514783744 1688533 33554432000 4194304 4196468 140727691506576 140474618718512 140475158878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 32980992 140727691514863 140727691515034 140727691515034 140727691517903 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6755580 KiB
Child status: 143
Real time (s): 2378.94
CPU time (s): 2400.13
CPU user time (s): 2386.3
CPU system time (s): 13.8298
CPU usage (%): 100.891
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 9147480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.3
system time used= 13.8298
maximum resident set size= 9146032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68634
involuntary context switches= 2376
# summary of solver processes directly reported to runsolver:
# pid: 30705,30707
# total CPU time (s): 2400.13
# total CPU user time (s): 2386.3
# total CPU system time (s): 13.8298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3851 second user time and 22.6152 second system time
The end