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 (4531 MiB free)
memory of node 1: 16384 MiB (6265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403828-1568991613/watcher-4403828-1568991613 -o /var/tmp/evaluation-result-4403828-1568991613/solver-4403828-1568991613 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1247 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 106458303 HOME/instance-4403828-1568991613.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2117, runsolver pid=2111
Current StackSize limit: 8192 KiB
[startup+0.100951 s]*
/proc/loadavg: 8.71 8.15 5.08 4/214 2140
/proc/meminfo: memFree=11040732/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
[pid=2119] ppid=2117 vsize=15144776 memory=28312 CPUtime=0.09 cores=0,2,4,6
/proc/2119/stat : 2119 (java) S 2117 2117 1216 0 -1 1077944320 5503 0 0 0 8 1 0 0 20 0 15 0 475400867 15508250624 7078 33554432000 4194304 4196468 140727850454448 140727850436992 140272512544503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
/proc/2119/statm: 3786194 7078 3054 1 0 3748377 0
[pid=2119/tid=2121] ppid=2117 vsize=15144776 memory=-8412597062012671325 CPUtime=0.08 cores=0,2,4,6
/proc/2119/task/2121/stat : 2121 (java) R 2117 2117 1216 0 -1 4202560 3543 0 0 0 7 1 0 0 20 0 15 0 475400867 15508250624 7078 33554432000 4194304 4196468 140727850454448 140272516780480 140272512566429 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2123] ppid=2117 vsize=15144776 memory=735272052430568040 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2123/stat : 2123 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 7078 33554432000 4194304 4196468 140727850454448 140272105154832 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2124] ppid=2117 vsize=15144776 memory=140096090957440 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2124/stat : 2124 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 7078 33554432000 4194304 4196468 140727850454448 140272104102288 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2125] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2125/stat : 2125 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 7078 33554432000 4194304 4196468 140727850454448 140272103049744 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2126] ppid=2117 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2126/stat : 2126 (java) S 2117 2117 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 7078 33554432000 4194304 4196468 140727850454448 140272101997200 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2128] ppid=2117 vsize=15144776 memory=140096090957440 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2128/stat : 2128 (java) S 2117 2117 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400870 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271386360304 140272512555650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2130] ppid=2117 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2130/stat : 2130 (java) S 2117 2117 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475400870 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271385306528 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2133] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2133/stat : 2133 (java) S 2117 2117 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475400870 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271384253936 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2135] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2135/stat : 2135 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400873 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271383202512 140272512563099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2136] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2136/stat : 2136 (java) S 2117 2117 1216 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 475400875 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271382149104 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2137] ppid=2117 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2137/stat : 2137 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400875 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271381096560 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2138] ppid=2117 vsize=15144776 memory=140096090957440 CPUtime=0.01 cores=0,2,4,6
/proc/2119/task/2138/stat : 2138 (java) R 2117 2117 1216 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 15 0 475400875 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271380044016 140272512565850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2139] ppid=2117 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2139/stat : 2139 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400875 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271378991712 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2140] ppid=2117 vsize=15144776 memory=140096090957440 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2140/stat : 2140 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400875 15508250624 7078 33554432000 4194304 4196468 140727850454448 140271377939248 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29768 KiB
[startup+0.210847 s]*
/proc/loadavg: 8.71 8.15 5.08 4/235 2165
/proc/meminfo: memFree=11012300/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
[pid=2119] ppid=2117 vsize=15144776 memory=40596 CPUtime=0.31 cores=0,2,4,6
/proc/2119/stat : 2119 (java) S 2117 2117 1216 0 -1 1077944320 9342 0 0 0 28 3 0 0 20 0 15 0 475400867 15508250624 10149 33554432000 4194304 4196468 140727850454448 140727850436992 140272512544503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
/proc/2119/statm: 3786194 10149 3298 1 0 3748377 0
[pid=2119/tid=2121] ppid=2117 vsize=15144776 memory=7022364632946311227 CPUtime=0.18 cores=0,2,4,6
/proc/2119/task/2121/stat : 2121 (java) R 2117 2117 1216 0 -1 4202560 6514 0 0 0 16 2 0 0 20 0 15 0 475400867 15508250624 10149 33554432000 4194304 4196468 140727850454448 140272516763840 140272512566429 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2123] ppid=2117 vsize=15144776 memory=4294980885 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2123/stat : 2123 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 10149 33554432000 4194304 4196468 140727850454448 140272105154832 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2124] ppid=2117 vsize=15144776 memory=288370472242669184 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2124/stat : 2124 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 10149 33554432000 4194304 4196468 140727850454448 140272104102288 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2125] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2125/stat : 2125 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 10149 33554432000 4194304 4196468 140727850454448 140272103049744 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2126] ppid=2117 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2126/stat : 2126 (java) S 2117 2117 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400868 15508250624 10149 33554432000 4194304 4196468 140727850454448 140272101997200 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2128] ppid=2117 vsize=15144776 memory=140096090957440 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2128/stat : 2128 (java) S 2117 2117 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400870 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271386360304 140272512555650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2130] ppid=2117 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2130/stat : 2130 (java) S 2117 2117 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475400870 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271385306528 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2133] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2133/stat : 2133 (java) S 2117 2117 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475400870 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271384253936 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2135] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2135/stat : 2135 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400873 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271383202512 140272512563099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2136] ppid=2117 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2136/stat : 2136 (java) S 2117 2117 1216 0 -1 1077944384 672 0 0 0 2 0 0 0 20 0 15 0 475400875 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271382149104 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2137] ppid=2117 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2119/task/2137/stat : 2137 (java) S 2117 2117 1216 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 475400875 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271381096560 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2138] ppid=2117 vsize=15144776 memory=140096090957440 CPUtime=0.06 cores=0,2,4,6
/proc/2119/task/2138/stat : 2138 (java) R 2117 2117 1216 0 -1 4202560 766 0 0 0 6 0 0 0 20 0 15 0 475400875 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271380044016 140272512565850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2139] ppid=2117 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2139/stat : 2139 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400875 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271378991712 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2140] ppid=2117 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2140/stat : 2140 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400875 15508250624 10149 33554432000 4194304 4196468 140727850454448 140271377939248 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42052 KiB
[startup+0.310901 s]*
/proc/loadavg: 8.71 8.15 5.08 5/235 2165
/proc/meminfo: memFree=10992944/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
[pid=2119] ppid=2117 vsize=15149032 memory=47108 CPUtime=0.48 cores=0,2,4,6
/proc/2119/stat : 2119 (java) S 2117 2117 1216 0 -1 1077944320 10561 0 0 0 45 3 0 0 20 0 15 0 475400867 15512608768 11777 33554432000 4194304 4196468 140727850454448 140727850436992 140272512544503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
/proc/2119/statm: 3787258 11777 3352 1 0 3748377 0
[pid=2119/tid=2121] ppid=2117 vsize=15149032 memory=7686721470247706567 CPUtime=0.28 cores=0,2,4,6
/proc/2119/task/2121/stat : 2121 (java) R 2117 2117 1216 0 -1 4202560 7574 0 0 0 26 2 0 0 20 0 15 0 475400867 15512608768 11795 33554432000 4194304 4196468 140727850454448 140272516779248 140272497912380 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2123] ppid=2117 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2123/stat : 2123 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15512608768 11795 33554432000 4194304 4196468 140727850454448 140272105154832 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2124] ppid=2117 vsize=15149032 memory=3539882221917713208 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2124/stat : 2124 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15512608768 11795 33554432000 4194304 4196468 140727850454448 140272104102288 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2125] ppid=2117 vsize=15149032 memory=3762249755689889843 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2125/stat : 2125 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400868 15512608768 11795 33554432000 4194304 4196468 140727850454448 140272103049744 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2126] ppid=2117 vsize=15149032 memory=3907209355794200376 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2126/stat : 2126 (java) S 2117 2117 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475400868 15512608768 11795 33554432000 4194304 4196468 140727850454448 140272101997200 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2128] ppid=2117 vsize=15149032 memory=3467964724004298161 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2128/stat : 2128 (java) S 2117 2117 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475400870 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271386360304 140272512555650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2130] ppid=2117 vsize=15149032 memory=2319389220926796084 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2130/stat : 2130 (java) S 2117 2117 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475400870 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271385306528 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2133] ppid=2117 vsize=15149032 memory=5788930165031592000 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2133/stat : 2133 (java) S 2117 2117 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475400870 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271384253936 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2135] ppid=2117 vsize=15149032 memory=7589811571500147818 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2135/stat : 2135 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400873 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271383202512 140272512563099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2136] ppid=2117 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2119/task/2136/stat : 2136 (java) S 2117 2117 1216 0 -1 1077944384 733 0 0 0 4 0 0 0 20 0 15 0 475400875 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271382149104 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2137] ppid=2117 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2119/task/2137/stat : 2137 (java) S 2117 2117 1216 0 -1 1077944384 106 0 0 0 3 0 0 0 20 0 15 0 475400875 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271381096560 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2138] ppid=2117 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2119/task/2138/stat : 2138 (java) S 2117 2117 1216 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 475400875 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271380044016 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2139] ppid=2117 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2139/stat : 2139 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475400875 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271378991712 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2140] ppid=2117 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2140/stat : 2140 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475400875 15512608768 11795 33554432000 4194304 4196468 140727850454448 140271377939248 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48564 KiB
[startup+0.701688 s]
/proc/loadavg: 8.71 8.15 5.08 9/239 2180
/proc/meminfo: memFree=10940916/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
[pid=2119] ppid=2117 vsize=15617104 memory=187428 CPUtime=1.58 cores=0,2,4,6
/proc/2119/stat : 2119 (java) S 2117 2117 1216 0 -1 1077944320 18148 0 0 0 148 10 0 0 20 0 19 0 475400867 15991914496 46857 33554432000 4194304 4196468 140727850454448 140727850436992 140272512544503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
/proc/2119/statm: 3904276 46857 3481 1 0 3865376 0
[pid=2119/tid=2121] ppid=2117 vsize=15617104 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/2119/task/2121/stat : 2121 (java) S 2117 2117 1216 0 -1 1077944384 9044 0 0 0 43 3 0 0 20 0 19 0 475400867 15991914496 46857 33554432000 4194304 4196468 140727850454448 140272516785280 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2123] ppid=2117 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2123/stat : 2123 (java) S 2117 2117 1216 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475400868 15991914496 46857 33554432000 4194304 4196468 140727850454448 140272105154832 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2124] ppid=2117 vsize=15617104 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2124/stat : 2124 (java) S 2117 2117 1216 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475400868 15991914496 46857 33554432000 4194304 4196468 140727850454448 140272104102288 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2125] ppid=2117 vsize=15617104 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2125/stat : 2125 (java) S 2117 2117 1216 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475400868 15991914496 46857 33554432000 4194304 4196468 140727850454448 140272103049744 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2126] ppid=2117 vsize=15617104 memory=784 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2126/stat : 2126 (java) S 2117 2117 1216 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475400868 15991914496 46857 33554432000 4194304 4196468 140727850454448 140272101997200 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2128] ppid=2117 vsize=15617104 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2128/stat : 2128 (java) S 2117 2117 1216 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271386360304 140272512555650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2130] ppid=2117 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2130/stat : 2130 (java) S 2117 2117 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271385306592 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2133] ppid=2117 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2133/stat : 2133 (java) S 2117 2117 1216 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271384253952 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2135] ppid=2117 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2135/stat : 2135 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400873 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271383202512 140272512563099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2136] ppid=2117 vsize=15617104 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/2119/task/2136/stat : 2136 (java) R 2117 2117 1216 0 -1 4202560 1310 0 0 0 24 0 0 0 20 0 19 0 475400875 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271382127424 140272498585249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2137] ppid=2117 vsize=15617104 memory=218 CPUtime=0.22 cores=0,2,4,6
/proc/2119/task/2137/stat : 2137 (java) R 2117 2117 1216 0 -1 4202560 776 0 0 0 22 0 0 0 20 0 19 0 475400875 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271381083064 140272497439608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2138] ppid=2117 vsize=15617104 memory=1 CPUtime=0.29 cores=0,2,4,6
/proc/2119/task/2138/stat : 2138 (java) R 2117 2117 1216 0 -1 1077944384 1661 0 0 0 29 0 0 0 20 0 19 0 475400875 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271380044016 140272512555650 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2139] ppid=2117 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2139/stat : 2139 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271378991712 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2140] ppid=2117 vsize=15617104 memory=54532 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2140/stat : 2140 (java) S 2117 2117 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 46857 33554432000 4194304 4196468 140727850454448 140271377939248 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 188884 KiB
[startup+1.50169 s]
/proc/loadavg: 8.71 8.15 5.08 14/243 2559
/proc/meminfo: memFree=10705904/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1104632 KiB
[startup+20.5017 s]*
/proc/loadavg: 8.31 8.10 5.13 10/242 3423
/proc/meminfo: memFree=9643520/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
[pid=2119] ppid=2117 vsize=15617104 memory=1103176 CPUtime=80.24 cores=0,2,4,6
/proc/2119/stat : 2119 (java) S 2117 2117 1216 0 -1 1077944320 44259 0 0 0 7991 33 0 0 20 0 19 0 475400867 15991914496 275794 33554432000 4194304 4196468 140727850454448 140727850436992 140272512544503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
/proc/2119/statm: 3904276 275794 3516 1 0 3865376 0
[pid=2119/tid=2121] ppid=2117 vsize=15617104 memory=4774505469681996649 CPUtime=0.46 cores=0,2,4,6
/proc/2119/task/2121/stat : 2121 (java) S 2117 2117 1216 0 -1 1077944384 9045 0 0 0 43 3 0 0 20 0 19 0 475400867 15991914496 275794 33554432000 4194304 4196468 140727850454448 140272516785280 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2123] ppid=2117 vsize=15617104 memory=2796 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2123/stat : 2123 (java) S 2117 2117 1216 0 -1 1077944384 944 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275794 33554432000 4194304 4196468 140727850454448 140272105154832 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2124] ppid=2117 vsize=15617104 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2124/stat : 2124 (java) S 2117 2117 1216 0 -1 1077944384 220 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275794 33554432000 4194304 4196468 140727850454448 140272104102288 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2125] ppid=2117 vsize=15617104 memory=1103512 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2125/stat : 2125 (java) S 2117 2117 1216 0 -1 1077944384 272 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275794 33554432000 4194304 4196468 140727850454448 140272103049744 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2126] ppid=2117 vsize=15617104 memory=4872558044660077418 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2126/stat : 2126 (java) S 2117 2117 1216 0 -1 1077944384 236 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275794 33554432000 4194304 4196468 140727850454448 140272101997200 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2128] ppid=2117 vsize=15617104 memory=140095995410978 CPUtime=0.01 cores=0,2,4,6
/proc/2119/task/2128/stat : 2128 (java) S 2117 2117 1216 0 -1 1077944384 1141 0 0 0 1 0 0 0 20 0 19 0 475400870 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271386360304 140272512555650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2130] ppid=2117 vsize=15617104 memory=15540712917698084 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2130/stat : 2130 (java) S 2117 2117 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271385306592 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2133] ppid=2117 vsize=15617104 memory=6132 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2133/stat : 2133 (java) S 2117 2117 1216 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271384253952 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2135] ppid=2117 vsize=15617104 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2135/stat : 2135 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400873 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271383202512 140272512563099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2136] ppid=2117 vsize=15617104 memory=1540 CPUtime=1.7 cores=0,2,4,6
/proc/2119/task/2136/stat : 2136 (java) S 2117 2117 1216 0 -1 1077944384 6730 0 0 0 170 0 0 0 20 0 19 0 475400875 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271382149104 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2137] ppid=2117 vsize=15617104 memory=728 CPUtime=1.65 cores=0,2,4,6
/proc/2119/task/2137/stat : 2137 (java) S 2117 2117 1216 0 -1 1077944384 10544 0 0 0 164 1 0 0 20 0 19 0 475400875 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271381096560 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2138] ppid=2117 vsize=15617104 memory=3612 CPUtime=0.48 cores=0,2,4,6
/proc/2119/task/2138/stat : 2138 (java) S 2117 2117 1216 0 -1 1077944384 3355 0 0 0 48 0 0 0 20 0 19 0 475400875 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271380044016 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2139] ppid=2117 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2139/stat : 2139 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271378991712 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2140] ppid=2117 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2140/stat : 2140 (java) S 2117 2117 1216 0 -1 1077944384 728 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271377939248 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2648] ppid=2117 vsize=15617104 memory=0 CPUtime=18.3 cores=0,2,4,6
/proc/2119/task/2648/stat : 2648 (java) R 2117 2117 1216 0 -1 4202560 305 0 0 0 1830 0 0 0 20 0 19 0 475401048 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271366852376 140272108797489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2649] ppid=2117 vsize=15617104 memory=0 CPUtime=18 cores=0,2,4,6
/proc/2119/task/2649/stat : 2649 (java) R 2117 2117 1216 0 -1 4202560 993 0 0 0 1797 3 0 0 20 0 19 0 475401048 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271367906296 140272109169748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2650] ppid=2117 vsize=15617104 memory=0 CPUtime=18.33 cores=0,2,4,6
/proc/2119/task/2650/stat : 2650 (java) R 2117 2117 1216 0 -1 4202560 1149 0 0 0 1828 5 0 0 20 0 19 0 475401048 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271362645264 140272497754871 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2651] ppid=2117 vsize=15617104 memory=0 CPUtime=18.24 cores=0,2,4,6
/proc/2119/task/2651/stat : 2651 (java) R 2117 2117 1216 0 -1 4202560 2653 0 0 0 1816 8 0 0 20 0 19 0 475401049 15991914496 275794 33554432000 4194304 4196468 140727850454448 140271363694528 140272109762378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
Current children cumulated CPU time: 80.24 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1104632 KiB
[startup+21.3017 s]
/proc/loadavg: 8.31 8.10 5.13 10/242 3423
/proc/meminfo: memFree=9643520/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
[pid=2119] ppid=2117 vsize=15617104 memory=1100608 CPUtime=83.4 cores=0,2,4,6
/proc/2119/stat : 2119 (java) S 2117 2117 1216 0 -1 1077944320 44389 0 0 0 8307 33 0 0 20 0 19 0 475400867 15991914496 275152 33554432000 4194304 4196468 140727850454448 140727850436992 140272512544503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
/proc/2119/statm: 3904276 275152 3516 1 0 3865376 0
[pid=2119/tid=2121] ppid=2117 vsize=15617104 memory=2 CPUtime=0.46 cores=0,2,4,6
/proc/2119/task/2121/stat : 2121 (java) S 2117 2117 1216 0 -1 1077944384 9045 0 0 0 43 3 0 0 20 0 19 0 475400867 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272516785280 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2123] ppid=2117 vsize=15617104 memory=2 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2123/stat : 2123 (java) S 2117 2117 1216 0 -1 1077944384 949 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272105154832 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2124] ppid=2117 vsize=15617104 memory=1 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2124/stat : 2124 (java) S 2117 2117 1216 0 -1 1077944384 238 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272104102288 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2125] ppid=2117 vsize=15617104 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2125/stat : 2125 (java) S 2117 2117 1216 0 -1 1077944384 295 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272103049744 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2126] ppid=2117 vsize=15617104 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2126/stat : 2126 (java) S 2117 2117 1216 0 -1 1077944384 242 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272101997200 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2128] ppid=2117 vsize=15617104 memory=1103512 CPUtime=0.01 cores=0,2,4,6
/proc/2119/task/2128/stat : 2128 (java) S 2117 2117 1216 0 -1 1077944384 1152 0 0 0 1 0 0 0 20 0 19 0 475400870 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271386360304 140272512555650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2130] ppid=2117 vsize=15617104 memory=1036 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2130/stat : 2130 (java) S 2117 2117 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271385306592 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2133] ppid=2117 vsize=15617104 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2133/stat : 2133 (java) S 2117 2117 1216 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271384253952 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2135] ppid=2117 vsize=15617104 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2135/stat : 2135 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400873 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271383202512 140272512563099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2136] ppid=2117 vsize=15617104 memory=12024 CPUtime=1.7 cores=0,2,4,6
/proc/2119/task/2136/stat : 2136 (java) S 2117 2117 1216 0 -1 1077944384 6757 0 0 0 170 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271382149104 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2137] ppid=2117 vsize=15617104 memory=280191990746272 CPUtime=1.65 cores=0,2,4,6
/proc/2119/task/2137/stat : 2137 (java) S 2117 2117 1216 0 -1 1077944384 10546 0 0 0 164 1 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271381096560 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2138] ppid=2117 vsize=15617104 memory=149185689030803 CPUtime=0.48 cores=0,2,4,6
/proc/2119/task/2138/stat : 2138 (java) S 2117 2117 1216 0 -1 1077944384 3357 0 0 0 48 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271380044016 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2139] ppid=2117 vsize=15617104 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2139/stat : 2139 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271378991712 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2140] ppid=2117 vsize=15617104 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2140/stat : 2140 (java) S 2117 2117 1216 0 -1 1077944384 728 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271377939248 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2648] ppid=2117 vsize=15617104 memory=29264 CPUtime=19.09 cores=0,2,4,6
/proc/2119/task/2648/stat : 2648 (java) R 2117 2117 1216 0 -1 4202560 306 0 0 0 1909 0 0 0 20 0 19 0 475401048 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271366852376 140272108680275 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2649] ppid=2117 vsize=15617104 memory=1456 CPUtime=18.78 cores=0,2,4,6
/proc/2119/task/2649/stat : 2649 (java) R 2117 2117 1216 0 -1 4202560 1018 0 0 0 1875 3 0 0 20 0 19 0 475401048 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271367908304 140272108797421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2650] ppid=2117 vsize=15617104 memory=1103580 CPUtime=19.11 cores=0,2,4,6
/proc/2119/task/2650/stat : 2650 (java) R 2117 2117 1216 0 -1 4202560 1156 0 0 0 1906 5 0 0 20 0 19 0 475401048 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271362642552 140272108797451 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2651] ppid=2117 vsize=15617104 memory=928 CPUtime=19.03 cores=0,2,4,6
/proc/2119/task/2651/stat : 2651 (java) R 2117 2117 1216 0 -1 4202560 2654 0 0 0 1895 8 0 0 20 0 19 0 475401049 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271363694640 140272109762024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
Current children cumulated CPU time: 83.4 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1102064 KiB
[startup+21.5027 s]*
/proc/loadavg: 8.31 8.10 5.13 10/242 3423
/proc/meminfo: memFree=9641420/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
[pid=2119] ppid=2117 vsize=15617104 memory=1100608 CPUtime=84.22 cores=0,2,4,6
/proc/2119/stat : 2119 (java) S 2117 2117 1216 0 -1 1077944320 44389 0 0 0 8389 33 0 0 20 0 19 0 475400867 15991914496 275152 33554432000 4194304 4196468 140727850454448 140727850436992 140272512544503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
/proc/2119/statm: 3904276 275152 3516 1 0 3865376 0
[pid=2119/tid=2121] ppid=2117 vsize=15617104 memory=7883960649037381690 CPUtime=0.46 cores=0,2,4,6
/proc/2119/task/2121/stat : 2121 (java) S 2117 2117 1216 0 -1 1077944384 9045 0 0 0 43 3 0 0 20 0 19 0 475400867 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272516785280 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2123] ppid=2117 vsize=15617104 memory=13589 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2123/stat : 2123 (java) S 2117 2117 1216 0 -1 1077944384 949 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272105154832 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2124] ppid=2117 vsize=15617104 memory=3977724784506070688 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2124/stat : 2124 (java) S 2117 2117 1216 0 -1 1077944384 238 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272104102288 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2125] ppid=2117 vsize=15617104 memory=7100839878612718235 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2125/stat : 2125 (java) S 2117 2117 1216 0 -1 1077944384 295 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272103049744 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2126] ppid=2117 vsize=15617104 memory=3762249755671928840 CPUtime=0.02 cores=0,2,4,6
/proc/2119/task/2126/stat : 2126 (java) S 2117 2117 1216 0 -1 1077944384 242 0 0 0 1 1 0 0 20 0 19 0 475400868 15991914496 275152 33554432000 4194304 4196468 140727850454448 140272101997200 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2128] ppid=2117 vsize=15617104 memory=7878635974603610804 CPUtime=0.01 cores=0,2,4,6
/proc/2119/task/2128/stat : 2128 (java) S 2117 2117 1216 0 -1 1077944384 1152 0 0 0 1 0 0 0 20 0 19 0 475400870 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271386360304 140272512555650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2130] ppid=2117 vsize=15617104 memory=3906084559677104159 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2130/stat : 2130 (java) S 2117 2117 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271385306592 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2133] ppid=2117 vsize=15617104 memory=8768461112549931132 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2133/stat : 2133 (java) S 2117 2117 1216 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475400870 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271384253952 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2135] ppid=2117 vsize=15617104 memory=8940607975817108597 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2135/stat : 2135 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400873 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271383202512 140272512563099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2136] ppid=2117 vsize=15617104 memory=0 CPUtime=1.7 cores=0,2,4,6
/proc/2119/task/2136/stat : 2136 (java) S 2117 2117 1216 0 -1 1077944384 6757 0 0 0 170 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271382149104 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2137] ppid=2117 vsize=15617104 memory=3760559801972962608 CPUtime=1.65 cores=0,2,4,6
/proc/2119/task/2137/stat : 2137 (java) S 2117 2117 1216 0 -1 1077944384 10546 0 0 0 164 1 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271381096560 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2138] ppid=2117 vsize=15617104 memory=4201250092081115330 CPUtime=0.48 cores=0,2,4,6
/proc/2119/task/2138/stat : 2138 (java) S 2117 2117 1216 0 -1 1077944384 3357 0 0 0 48 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271380044016 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2139] ppid=2117 vsize=15617104 memory=140095995481679 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2139/stat : 2139 (java) S 2117 2117 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271378991712 140272512554709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2140] ppid=2117 vsize=15617104 memory=7518590701213671769 CPUtime=0 cores=0,2,4,6
/proc/2119/task/2140/stat : 2140 (java) S 2117 2117 1216 0 -1 1077944384 728 0 0 0 0 0 0 0 20 0 19 0 475400875 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271377939248 140272512555650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2648] ppid=2117 vsize=15617104 memory=6153431502485413986 CPUtime=19.3 cores=0,2,4,6
/proc/2119/task/2648/stat : 2648 (java) R 2117 2117 1216 0 -1 4202560 306 0 0 0 1930 0 0 0 20 0 19 0 475401048 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271366852376 140272106315792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2649] ppid=2117 vsize=15617104 memory=5793152289649546085 CPUtime=18.99 cores=0,2,4,6
/proc/2119/task/2649/stat : 2649 (java) R 2117 2117 1216 0 -1 4202560 1018 0 0 0 1896 3 0 0 20 0 19 0 475401048 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271367908304 140272109875028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2650] ppid=2117 vsize=15617104 memory=7446531998990093653 CPUtime=19.31 cores=0,2,4,6
/proc/2119/task/2650/stat : 2650 (java) R 2117 2117 1216 0 -1 4202560 1156 0 0 0 1926 5 0 0 20 0 19 0 475401048 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271362642552 140272109169893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
[pid=2119/tid=2651] ppid=2117 vsize=15617104 memory=6297269579186787428 CPUtime=19.24 cores=0,2,4,6
/proc/2119/task/2651/stat : 2651 (java) R 2117 2117 1216 0 -1 4202560 2654 0 0 0 1916 8 0 0 20 0 19 0 475401049 15991914496 275152 33554432000 4194304 4196468 140727850454448 140271363694640 140272109763614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7008256 140727850460123 140727850460298 140727850460298 140727850463183 0
Current children cumulated CPU time: 84.22 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1102064 KiB
[startup+21.6108 s]
/proc/loadavg: 8.31 8.10 5.13 10/242 3423
/proc/meminfo: memFree=9641420/32770624 swapFree=67001884/67108860
[pid=2117] ppid=2111 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/2117/stat : 2117 (xcsp3-exec) S 2111 2117 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475400867 115843072 364 33554432000 4194304 5098028 140732206094496 140732206092600 139807037637244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28438528 140732206101335 140732206101593 140732206101593 140732206104518 0
/proc/2117/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 0
Real time (s): 21.6632
CPU time (s): 84.3216
CPU user time (s): 83.9727
CPU system time (s): 0.348914
CPU usage (%): 389.239
Max. virtual memory (cumulated for all children) (KiB): 15732268
Max. memory (cumulated for all children) (KiB): 1112072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.9727
system time used= 0.348914
maximum resident set size= 1112312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45682
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4385
involuntary context switches= 2110
# summary of solver processes directly reported to runsolver:
# pid: 2117
# total CPU time (s): 84.3216
# total CPU user time (s): 83.9727
# total CPU system time (s): 0.348914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.175478 second user time and 0.266224 second system time
The end