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 (4894 MiB free)
memory of node 1: 16384 MiB (4852 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404116-1568991369/watcher-4404116-1568991369 -o /tmp/evaluation-result-4404116-1568991369/solver-4404116-1568991369 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568991261-14402 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1472475230 HOME/instance-4404116-1568991369.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14785, runsolver pid=14782
[startup+0.100135 s]*
/proc/loadavg: 4.58 1.81 1.42 7/233 14801
/proc/meminfo: memFree=9964300/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15144776 memory=28928 CPUtime=0.11 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14371 0 -1 1077944320 5643 0 0 0 10 1 0 0 20 0 15 0 475389972 15508250624 7232 33554432000 4194304 4196468 140720493081312 140720493063856 140549504462583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
/proc/14787/statm: 3786194 7232 3149 1 0 3748377 0
[pid=14787/tid=14788] ppid=14785 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14371 0 -1 4202560 3571 0 0 0 8 0 0 0 20 0 15 0 475389972 15508250624 7232 33554432000 4194304 4196468 140720493081312 140549508695856 140549130912706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14789] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 7232 33554432000 4194304 4196468 140720493081312 140549457083152 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14790] ppid=14785 vsize=15144776 memory=3616588419337033376 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 7232 33554432000 4194304 4196468 140720493081312 140549456030608 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14791] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 7232 33554432000 4194304 4196468 140720493081312 140549454978064 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14792] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 7232 33554432000 4194304 4196468 140720493081312 140549453925520 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14793] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389974 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548973098992 140549504473730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14794] ppid=14785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475389975 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548972045216 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14795] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475389975 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548970992624 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14796] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389977 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548969941200 140549504481179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14797] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14371 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 475389978 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548968888816 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14798] ppid=14785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389978 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548967836272 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14799] ppid=14785 vsize=15144776 memory=140519793235584 CPUtime=0.01 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) R 14785 14785 14371 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 475389978 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548966783728 140549483585837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14800] ppid=14785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389978 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548965731424 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14801] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389978 15508250624 7232 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30376 KiB
[startup+0.210792 s]*
/proc/loadavg: 4.58 1.81 1.42 7/233 14801
/proc/meminfo: memFree=9951444/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15144776 memory=40676 CPUtime=0.33 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14371 0 -1 1077944320 9430 0 0 0 30 3 0 0 20 0 15 0 475389972 15508250624 10169 33554432000 4194304 4196468 140720493081312 140720493063856 140549504462583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
/proc/14787/statm: 3786194 10169 3273 1 0 3748377 0
[pid=14787/tid=14788] ppid=14785 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14371 0 -1 4202560 6597 0 0 0 17 2 0 0 20 0 15 0 475389972 15508250624 10169 33554432000 4194304 4196468 140720493081312 140549508692304 140549488543070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14789] ppid=14785 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 10169 33554432000 4194304 4196468 140720493081312 140549457083152 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14790] ppid=14785 vsize=15144776 memory=140519797034631 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 10169 33554432000 4194304 4196468 140720493081312 140549456030608 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14791] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 10169 33554432000 4194304 4196468 140720493081312 140549454978064 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14792] ppid=14785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389973 15508250624 10169 33554432000 4194304 4196468 140720493081312 140549453925520 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14793] ppid=14785 vsize=15144776 memory=140519793235584 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14371 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475389974 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548973098992 140549504473730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14794] ppid=14785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475389975 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548972045216 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14795] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475389975 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548970992624 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14796] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389977 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548969941200 140549504481179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14797] ppid=14785 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14371 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 475389978 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548968888816 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14798] ppid=14785 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14371 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 475389978 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548967836272 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14799] ppid=14785 vsize=15144776 memory=140519793235584 CPUtime=0.07 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) S 14785 14785 14371 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 15 0 475389978 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548966783728 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14800] ppid=14785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389978 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548965731424 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14801] ppid=14785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389978 15508250624 10169 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42124 KiB
[startup+0.310744 s]*
/proc/loadavg: 4.58 1.81 1.42 8/233 14801
/proc/meminfo: memFree=9916580/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15149032 memory=49232 CPUtime=0.5 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14371 0 -1 1077944320 10624 0 0 0 47 3 0 0 20 0 15 0 475389972 15512608768 12308 33554432000 4194304 4196468 140720493081312 140720493063856 140549504462583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
/proc/14787/statm: 3787258 12308 3352 1 0 3748377 0
[pid=14787/tid=14788] ppid=14785 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14371 0 -1 4202560 7659 0 0 0 27 3 0 0 20 0 15 0 475389972 15512608768 12308 33554432000 4194304 4196468 140720493081312 140549508693696 140549497140597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14789] ppid=14785 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15512608768 12308 33554432000 4194304 4196468 140720493081312 140549457083152 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14790] ppid=14785 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15512608768 12308 33554432000 4194304 4196468 140720493081312 140549456030608 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14791] ppid=14785 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15512608768 12308 33554432000 4194304 4196468 140720493081312 140549454978064 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14792] ppid=14785 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389973 15512608768 12308 33554432000 4194304 4196468 140720493081312 140549453925520 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14793] ppid=14785 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14371 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475389974 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548973098992 140549504473730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14794] ppid=14785 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475389975 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548972045216 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14795] ppid=14785 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475389975 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548970992624 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14796] ppid=14785 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389977 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548969941200 140549504481179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14797] ppid=14785 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) R 14785 14785 14371 0 -1 1077944384 476 0 0 0 3 0 0 0 20 0 15 0 475389978 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548968888816 140549504473730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14798] ppid=14785 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) R 14785 14785 14371 0 -1 4202560 303 0 0 0 4 0 0 0 20 0 15 0 475389978 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548967836368 140549504483930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14799] ppid=14785 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) R 14785 14785 14371 0 -1 4202560 880 0 0 0 12 0 0 0 20 0 15 0 475389978 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548966783728 140549488543070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14800] ppid=14785 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389978 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548965731424 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14801] ppid=14785 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389978 15512608768 12308 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50680 KiB
[startup+0.721628 s]
/proc/loadavg: 4.58 1.81 1.42 8/233 14801
/proc/meminfo: memFree=9871436/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15151156 memory=109608 CPUtime=1.74 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14371 0 -1 1077944320 14977 0 0 0 168 6 0 0 20 0 15 0 475389972 15514783744 27402 33554432000 4194304 4196468 140720493081312 140720493063856 140549504462583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
/proc/14787/statm: 3787789 27402 3444 1 0 3748889 0
[pid=14787/tid=14788] ppid=14785 vsize=15151156 memory=3977863964368568352 CPUtime=0.69 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14371 0 -1 1077944384 9137 0 0 0 64 5 0 0 20 0 15 0 475389972 15514783744 27402 33554432000 4194304 4196468 140720493081312 140549508697696 140549504472789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14789] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15514783744 27402 33554432000 4194304 4196468 140720493081312 140549457083152 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14790] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15514783744 27402 33554432000 4194304 4196468 140720493081312 140549456030608 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14791] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389973 15514783744 27402 33554432000 4194304 4196468 140720493081312 140549454978064 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14792] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389973 15514783744 27402 33554432000 4194304 4196468 140720493081312 140549453925520 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14793] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14371 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475389974 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548973098992 140549504473730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14794] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475389975 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548972045216 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14795] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475389975 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548970992624 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14796] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389977 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548969941200 140549504481179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14797] ppid=14785 vsize=15151156 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) R 14785 14785 14371 0 -1 4202560 1436 0 0 0 34 0 0 0 20 0 15 0 475389978 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548968878736 140549485638472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14798] ppid=14785 vsize=15151156 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) R 14785 14785 14371 0 -1 4202560 1432 0 0 0 36 0 0 0 20 0 15 0 475389978 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548967822816 140549483719240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14799] ppid=14785 vsize=15151156 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) R 14785 14785 14371 0 -1 4202560 1667 0 0 0 32 0 0 0 20 0 15 0 475389978 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548966779456 140549488543070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14800] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389978 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548965731424 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14801] ppid=14785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389978 15514783744 27402 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111056 KiB
[startup+1.50115 s]
/proc/loadavg: 4.61 1.86 1.44 10/233 14801
/proc/meminfo: memFree=9789088/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 777 0 0 0 0 1 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14975] ppid=14785 vsize=15486024 memory=1448 CPUtime=23.73 cores=0,2,4,6
/proc/14787/task/14975/stat : 14975 (java) R 14785 14785 14371 0 -1 4202560 411 0 0 0 2373 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548952310632 140549136861231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14976] ppid=14785 vsize=15486024 memory=55888 CPUtime=23.65 cores=0,2,4,6
/proc/14787/task/14976/stat : 14976 (java) R 14785 14785 14371 0 -1 4202560 1645 0 0 0 2365 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548950204232 140549136861214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14977] ppid=14785 vsize=15486024 memory=3028 CPUtime=23.32 cores=0,2,4,6
/proc/14787/task/14977/stat : 14977 (java) R 14785 14785 14371 0 -1 4202560 375 0 0 0 2332 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548949151440 140549136861214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14978] ppid=14785 vsize=15486024 memory=2012 CPUtime=23.72 cores=0,2,4,6
/proc/14787/task/14978/stat : 14978 (java) R 14785 14785 14371 0 -1 4202560 1240 0 0 0 2372 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548951259720 140549136860537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 160.65 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 333184 KiB
[startup+41.3011 s]
/proc/loadavg: 6.46 2.68 1.73 9/237 15035
/proc/meminfo: memFree=9496924/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15486024 memory=331736 CPUtime=162.23 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14371 0 -1 1077944320 56039 0 0 0 16201 22 0 0 20 0 19 0 475389972 15857688576 82934 33554432000 4194304 4196468 140720493081312 140720493063856 140549504462583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
/proc/14787/statm: 3871506 82934 3524 1 0 3832606 0
[pid=14787/tid=14788] ppid=14785 vsize=15486024 memory=3472468815880560432 CPUtime=1.36 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) S 14785 14785 14371 0 -1 1077944384 11565 0 0 0 130 6 0 0 20 0 19 0 475389972 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549508703360 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14789] ppid=14785 vsize=15486024 memory=3472468815880822668 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14371 0 -1 1077944384 300 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549457083152 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14790] ppid=14785 vsize=15486024 memory=6944652177228980320 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14371 0 -1 1077944384 95 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549456030608 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14791] ppid=14785 vsize=15486024 memory=3184238439729111120 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14371 0 -1 1077944384 148 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549454978064 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14792] ppid=14785 vsize=15486024 memory=3472468815813714096 CPUtime=0.03 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14371 0 -1 1077944384 382 0 0 0 2 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549453925520 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14793] ppid=14785 vsize=15486024 memory=3472464417834311952 CPUtime=0.01 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14371 0 -1 1077944384 636 0 0 0 1 0 0 0 20 0 19 0 475389974 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548973098992 140549504473730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14794] ppid=14785 vsize=15486024 memory=7957840813629585338 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14371 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475389975 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548972045280 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14795] ppid=14785 vsize=15486024 memory=7944898676446228187 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14371 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475389975 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548970992640 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14796] ppid=14785 vsize=15486024 memory=8319223660354030852 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389977 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548969941200 140549504481179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14797] ppid=14785 vsize=15486024 memory=4716380550636804176 CPUtime=2.48 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14371 0 -1 1077944384 11476 0 0 0 247 1 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548968888816 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14798] ppid=14785 vsize=15486024 memory=4716380550636804272 CPUtime=2.66 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14371 0 -1 1077944384 12297 0 0 0 265 1 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548967836272 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14799] ppid=14785 vsize=15486024 memory=4210565740626288962 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) S 14785 14785 14371 0 -1 1077944384 9734 0 0 0 84 2 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548966783728 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14800] ppid=14785 vsize=15486024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548965731424 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14801] ppid=14785 vsize=15486024 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 777 0 0 0 0 1 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14975] ppid=14785 vsize=15486024 memory=6944656592455359580 CPUtime=24.13 cores=0,2,4,6
/proc/14787/task/14975/stat : 14975 (java) R 14785 14785 14371 0 -1 4202560 411 0 0 0 2413 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548952310632 140549136860996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14976] ppid=14785 vsize=15486024 memory=0 CPUtime=24.05 cores=0,2,4,6
/proc/14787/task/14976/stat : 14976 (java) R 14785 14785 14371 0 -1 4202560 1645 0 0 0 2405 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548950204232 140549136861200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14977] ppid=14785 vsize=15486024 memory=0 CPUtime=23.71 cores=0,2,4,6
/proc/14787/task/14977/stat : 14977 (java) R 14785 14785 14371 0 -1 4202560 375 0 0 0 2371 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548949151440 140549136860967 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14978] ppid=14785 vsize=15486024 memory=24305 CPUtime=24.12 cores=0,2,4,6
/proc/14787/task/14978/stat : 14978 (java) R 14785 14785 14371 0 -1 4202560 1240 0 0 0 2412 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548951259720 140549137641283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 333184 KiB
[startup+41.7011 s]
/proc/loadavg: 6.46 2.68 1.73 9/237 15035
/proc/meminfo: memFree=9496924/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15486024 memory=331736 CPUtime=163.83 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14371 0 -1 1077944320 56039 0 0 0 16361 22 0 0 20 0 19 0 475389972 15857688576 82934 33554432000 4194304 4196468 140720493081312 140720493063856 140549504462583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
/proc/14787/statm: 3871506 82934 3524 1 0 3832606 0
[pid=14787/tid=14788] ppid=14785 vsize=15486024 memory=676 CPUtime=1.36 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) S 14785 14785 14371 0 -1 1077944384 11565 0 0 0 130 6 0 0 20 0 19 0 475389972 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549508703360 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14789] ppid=14785 vsize=15486024 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14371 0 -1 1077944384 300 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549457083152 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14790] ppid=14785 vsize=15486024 memory=796 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14371 0 -1 1077944384 95 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549456030608 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14791] ppid=14785 vsize=15486024 memory=1764 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14371 0 -1 1077944384 148 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549454978064 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14792] ppid=14785 vsize=15486024 memory=111628 CPUtime=0.03 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14371 0 -1 1077944384 382 0 0 0 2 1 0 0 20 0 19 0 475389973 15857688576 82934 33554432000 4194304 4196468 140720493081312 140549453925520 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14793] ppid=14785 vsize=15486024 memory=796 CPUtime=0.01 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14371 0 -1 1077944384 636 0 0 0 1 0 0 0 20 0 19 0 475389974 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548973098992 140549504473730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14794] ppid=14785 vsize=15486024 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14371 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475389975 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548972045280 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14795] ppid=14785 vsize=15486024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14371 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475389975 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548970992640 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14796] ppid=14785 vsize=15486024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389977 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548969941200 140549504481179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14797] ppid=14785 vsize=15486024 memory=6944656575208382560 CPUtime=2.48 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14371 0 -1 1077944384 11476 0 0 0 247 1 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548968888816 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14798] ppid=14785 vsize=15486024 memory=6655300316396806240 CPUtime=2.66 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14371 0 -1 1077944384 12297 0 0 0 265 1 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548967836272 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14799] ppid=14785 vsize=15486024 memory=127113852122010 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) S 14785 14785 14371 0 -1 1077944384 9734 0 0 0 84 2 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548966783728 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14800] ppid=14785 vsize=15486024 memory=7517779089988103573 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548965731424 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14801] ppid=14785 vsize=15486024 memory=281039307016448 CPUtime=0.01 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 777 0 0 0 0 1 0 0 20 0 19 0 475389978 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14975] ppid=14785 vsize=15486024 memory=288230600312357163 CPUtime=24.53 cores=0,2,4,6
/proc/14787/task/14975/stat : 14975 (java) R 14785 14785 14371 0 -1 4202560 411 0 0 0 2453 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548952310632 140549136861166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14976] ppid=14785 vsize=15486024 memory=14126745259345851 CPUtime=24.45 cores=0,2,4,6
/proc/14787/task/14976/stat : 14976 (java) R 14785 14785 14371 0 -1 4202560 1645 0 0 0 2445 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548950204232 140549136861231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14977] ppid=14785 vsize=15486024 memory=0 CPUtime=24.11 cores=0,2,4,6
/proc/14787/task/14977/stat : 14977 (java) R 14785 14785 14371 0 -1 4202560 375 0 0 0 2411 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548949151440 140549136860753 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14978] ppid=14785 vsize=15486024 memory=0 CPUtime=24.52 cores=0,2,4,6
/proc/14787/task/14978/stat : 14978 (java) R 14785 14785 14371 0 -1 4202560 1240 0 0 0 2452 0 0 0 20 0 19 0 475391676 15857688576 82934 33554432000 4194304 4196468 140720493081312 140548951259720 140549136860917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 163.83 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 333184 KiB
[startup+41.8011 s]
/proc/loadavg: 6.46 2.68 1.73 9/237 15035
/proc/meminfo: memFree=9496924/32770624 swapFree=66999216/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475389971 115843072 362 33554432000 4194304 5098028 140732830331936 140732830330040 139662966628988 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8290304 140732830339962 140732830340205 140732830340205 140732830343114 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15486024 memory=333784 CPUtime=164.23 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14371 0 -1 1077944320 56041 0 0 0 16401 22 0 0 20 0 19 0 475389972 15857688576 83446 33554432000 4194304 4196468 140720493081312 140720493063856 140549504462583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
/proc/14787/statm: 3871506 83446 3524 1 0 3832606 0
[pid=14787/tid=14788] ppid=14785 vsize=15486024 memory=1448 CPUtime=1.36 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) S 14785 14785 14371 0 -1 1077944384 11565 0 0 0 130 6 0 0 20 0 19 0 475389972 15857688576 83446 33554432000 4194304 4196468 140720493081312 140549508703360 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14789] ppid=14785 vsize=15486024 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14371 0 -1 1077944384 300 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 83446 33554432000 4194304 4196468 140720493081312 140549457083152 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14790] ppid=14785 vsize=15486024 memory=329688 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14371 0 -1 1077944384 95 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 83446 33554432000 4194304 4196468 140720493081312 140549456030608 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14791] ppid=14785 vsize=15486024 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14371 0 -1 1077944384 148 0 0 0 1 1 0 0 20 0 19 0 475389973 15857688576 83446 33554432000 4194304 4196468 140720493081312 140549454978064 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14792] ppid=14785 vsize=15486024 memory=325564 CPUtime=0.03 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14371 0 -1 1077944384 382 0 0 0 2 1 0 0 20 0 19 0 475389973 15857688576 83446 33554432000 4194304 4196468 140720493081312 140549453925520 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14793] ppid=14785 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14371 0 -1 1077944384 636 0 0 0 1 0 0 0 20 0 19 0 475389974 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548973098992 140549504473730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14794] ppid=14785 vsize=15486024 memory=2320532708842319387 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14371 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475389975 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548972045280 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14795] ppid=14785 vsize=15486024 memory=261296 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14371 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475389975 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548970992640 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14796] ppid=14785 vsize=15486024 memory=261028 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389977 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548969941200 140549504481179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14797] ppid=14785 vsize=15486024 memory=1448 CPUtime=2.48 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14371 0 -1 1077944384 11476 0 0 0 247 1 0 0 20 0 19 0 475389978 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548968888816 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14798] ppid=14785 vsize=15486024 memory=1448 CPUtime=2.66 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14371 0 -1 1077944384 12297 0 0 0 265 1 0 0 20 0 19 0 475389978 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548967836272 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14799] ppid=14785 vsize=15486024 memory=3504 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) S 14785 14785 14371 0 -1 1077944384 9734 0 0 0 84 2 0 0 20 0 19 0 475389978 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548966783728 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14800] ppid=14785 vsize=15486024 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389978 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548965731424 140549504472789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14801] ppid=14785 vsize=15486024 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14371 0 -1 1077944384 777 0 0 0 0 1 0 0 20 0 19 0 475389978 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548964677936 140549504473730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14975] ppid=14785 vsize=15486024 memory=1448 CPUtime=24.63 cores=0,2,4,6
/proc/14787/task/14975/stat : 14975 (java) R 14785 14785 14371 0 -1 4202560 411 0 0 0 2463 0 0 0 20 0 19 0 475391676 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548952310632 140549136860899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14976] ppid=14785 vsize=15486024 memory=329688 CPUtime=24.55 cores=0,2,4,6
/proc/14787/task/14976/stat : 14976 (java) R 14785 14785 14371 0 -1 4202560 1647 0 0 0 2455 0 0 0 20 0 19 0 475391676 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548950204232 140549136860981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14977] ppid=14785 vsize=15486024 memory=204019536524170 CPUtime=24.2 cores=0,2,4,6
/proc/14787/task/14977/stat : 14977 (java) R 14785 14785 14371 0 -1 4202560 375 0 0 0 2420 0 0 0 20 0 19 0 475391676 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548949151440 140549136861035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
[pid=14787/tid=14978] ppid=14785 vsize=15486024 memory=1448 CPUtime=24.62 cores=0,2,4,6
/proc/14787/task/14978/stat : 14978 (java) R 14785 14785 14371 0 -1 4202560 1240 0 0 0 2462 0 0 0 20 0 19 0 475391676 15857688576 83446 33554432000 4194304 4196468 140720493081312 140548951259720 140549136861085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14348288 140720493089775 140720493089946 140720493089946 140720493092815 0
Current children cumulated CPU time: 164.23 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 335232 KiB
Child status: 0
Real time (s): 41.847
CPU time (s): 164.394
CPU user time (s): 164.162
CPU system time (s): 0.231828
CPU usage (%): 392.846
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 335232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.162
system time used= 0.231828
maximum resident set size= 336284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57448
page faults= 0
swaps= 0
block input operations= 8
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4287
involuntary context switches= 3526
# summary of solver processes directly reported to runsolver:
# pid: 14785
# total CPU time (s): 164.394
# total CPU user time (s): 164.162
# total CPU system time (s): 0.231828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.325501 second user time and 0.471194 second system time
The end