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 (4893 MiB free)
memory of node 1: 16384 MiB (4692 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404092-1568991432/watcher-4404092-1568991432 -o /tmp/evaluation-result-4404092-1568991432/solver-4404092-1568991432 -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 1435028028 HOME/instance-4404092-1568991432.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=15228, runsolver pid=15225
[startup+0.100323 s]*
/proc/loadavg: 7.02 3.06 1.88 5/216 15244
/proc/meminfo: memFree=9800644/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
[pid=15230] ppid=15228 vsize=15144776 memory=28992 CPUtime=0.13 cores=0,2,4,6
/proc/15230/stat : 15230 (java) S 15228 15228 14371 0 -1 1077944320 5659 0 0 0 12 1 0 0 20 0 15 0 475396228 15508250624 7248 33554432000 4194304 4196468 140724725627328 140724725609872 140243240586999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
/proc/15230/statm: 3786194 7248 3151 1 0 3748377 0
[pid=15230/tid=15231] ppid=15228 vsize=15144776 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (java) R 15228 15228 14371 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 15 0 475396228 15508250624 7248 33554432000 4194304 4196468 140724725627328 140243244821136 140242845832452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15232] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 7248 33554432000 4194304 4196468 140724725627328 140243168627088 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15233] ppid=15228 vsize=15144776 memory=3979408706357601952 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 7248 33554432000 4194304 4196468 140724725627328 140243167574288 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15234] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15234/stat : 15234 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 7248 33554432000 4194304 4196468 140724725627328 140243166522000 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15235] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15235/stat : 15235 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242829306384 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15236] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15236/stat : 15236 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396231 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242776402544 140243240598146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15237] ppid=15228 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15237/stat : 15237 (java) S 15228 15228 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475396231 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242775348512 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15238] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15238/stat : 15238 (java) S 15228 15228 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475396231 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242774296176 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15239] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15239/stat : 15239 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242773244496 140243240605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15240] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15240/stat : 15240 (java) R 15228 15228 14371 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242772191344 140243240598146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15241] ppid=15228 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15241/stat : 15241 (java) R 15228 15228 14371 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242771138544 140243218448576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15242] ppid=15228 vsize=15144776 memory=140661345396352 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15242/stat : 15242 (java) R 15228 15228 14371 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 475396234 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242770086256 140243240598934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15243] ppid=15228 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15243/stat : 15243 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242769033696 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15244] ppid=15228 vsize=15144776 memory=140661345396352 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15244/stat : 15244 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 7248 33554432000 4194304 4196468 140724725627328 140242767981488 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30444 KiB
[startup+0.213519 s]*
/proc/loadavg: 7.02 3.06 1.88 4/209 15252
/proc/meminfo: memFree=10153312/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
[pid=15230] ppid=15228 vsize=15144776 memory=40872 CPUtime=0.35 cores=0,2,4,6
/proc/15230/stat : 15230 (java) S 15228 15228 14371 0 -1 1077944320 9475 0 0 0 32 3 0 0 20 0 15 0 475396228 15508250624 10218 33554432000 4194304 4196468 140724725627328 140724725609872 140243240586999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
/proc/15230/statm: 3786194 10218 3285 1 0 3748377 0
[pid=15230/tid=15231] ppid=15228 vsize=15144776 memory=7311146985107750967 CPUtime=0.2 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (java) R 15228 15228 14371 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 475396228 15508250624 10218 33554432000 4194304 4196468 140724725627328 140243244823760 140243224667486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15232] ppid=15228 vsize=15144776 memory=9093 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 10218 33554432000 4194304 4196468 140724725627328 140243168627088 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15233] ppid=15228 vsize=15144776 memory=140661349195397 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 10218 33554432000 4194304 4196468 140724725627328 140243167574288 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15234] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15234/stat : 15234 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 10218 33554432000 4194304 4196468 140724725627328 140243166522000 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15235] ppid=15228 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15235/stat : 15235 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242829306384 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15236] ppid=15228 vsize=15144776 memory=140661345396352 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15236/stat : 15236 (java) R 15228 15228 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475396231 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242776402544 140243240598146 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15237] ppid=15228 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15237/stat : 15237 (java) S 15228 15228 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475396231 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242775348512 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15238] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15238/stat : 15238 (java) S 15228 15228 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475396231 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242774296176 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15239] ppid=15228 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15239/stat : 15239 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242773244496 140243240605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15240] ppid=15228 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15230/task/15240/stat : 15240 (java) S 15228 15228 14371 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 475396234 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242772191344 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15241] ppid=15228 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15241/stat : 15241 (java) S 15228 15228 14371 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 15 0 475396234 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242771138544 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15242] ppid=15228 vsize=15144776 memory=140661345396352 CPUtime=0.08 cores=0,2,4,6
/proc/15230/task/15242/stat : 15242 (java) S 15228 15228 14371 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 475396234 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242770086256 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15243] ppid=15228 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15243/stat : 15243 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242769033696 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15244] ppid=15228 vsize=15144776 memory=140661345396352 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15244/stat : 15244 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396234 15508250624 10218 33554432000 4194304 4196468 140724725627328 140242767981488 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42324 KiB
[startup+0.311312 s]*
/proc/loadavg: 7.02 3.06 1.88 4/227 15273
/proc/meminfo: memFree=10133648/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
[pid=15230] ppid=15228 vsize=15149032 memory=50036 CPUtime=0.53 cores=0,2,4,6
/proc/15230/stat : 15230 (java) S 15228 15228 14371 0 -1 1077944320 10869 0 0 0 49 4 0 0 20 0 15 0 475396228 15512608768 12509 33554432000 4194304 4196468 140724725627328 140724725609872 140243240586999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
/proc/15230/statm: 3787258 12509 3357 1 0 3748377 0
[pid=15230/tid=15231] ppid=15228 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (java) R 15228 15228 14371 0 -1 4202560 7789 0 0 0 27 3 0 0 20 0 15 0 475396228 15512608768 12574 33554432000 4194304 4196468 140724725627328 140243244820784 140243240608346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15232] ppid=15228 vsize=15149032 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15512608768 12574 33554432000 4194304 4196468 140724725627328 140243168627088 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15233] ppid=15228 vsize=15149032 memory=140661349195399 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15512608768 12574 33554432000 4194304 4196468 140724725627328 140243167574288 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15234] ppid=15228 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15234/stat : 15234 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15512608768 12574 33554432000 4194304 4196468 140724725627328 140243166522000 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15235] ppid=15228 vsize=15149032 memory=8751164178631584878 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15235/stat : 15235 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15512608768 12574 33554432000 4194304 4196468 140724725627328 140242829306384 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15236] ppid=15228 vsize=15149032 memory=140661345396352 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15236/stat : 15236 (java) S 15228 15228 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475396231 15512608768 12574 33554432000 4194304 4196468 140724725627328 140242776402544 140243240598146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15237] ppid=15228 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15237/stat : 15237 (java) S 15228 15228 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475396231 15512608768 12574 33554432000 4194304 4196468 140724725627328 140242775348512 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15238] ppid=15228 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15238/stat : 15238 (java) S 15228 15228 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475396231 15512608768 12581 33554432000 4194304 4196468 140724725627328 140242774296176 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15239] ppid=15228 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15239/stat : 15239 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15512608768 12581 33554432000 4194304 4196468 140724725627328 140242773244496 140243240605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15240] ppid=15228 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15240/stat : 15240 (java) S 15228 15228 14371 0 -1 1077944384 516 0 0 0 3 0 0 0 20 0 15 0 475396234 15512608768 12581 33554432000 4194304 4196468 140724725627328 140242772191344 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15241] ppid=15228 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/15230/task/15241/stat : 15241 (java) R 15228 15228 14371 0 -1 4202560 409 0 0 0 5 0 0 0 20 0 15 0 475396234 15512608768 12581 33554432000 4194304 4196468 140724725627328 140242771128928 140243240608346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15242] ppid=15228 vsize=15149032 memory=140661345396352 CPUtime=0.12 cores=0,2,4,6
/proc/15230/task/15242/stat : 15242 (java) S 15228 15228 14371 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 475396234 15512608768 12581 33554432000 4194304 4196468 140724725627328 140242770086256 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15243] ppid=15228 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15243/stat : 15243 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15512608768 12581 33554432000 4194304 4196468 140724725627328 140242769033696 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15244] ppid=15228 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15244/stat : 15244 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396234 15512608768 12581 33554432000 4194304 4196468 140724725627328 140242767981488 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51488 KiB
[startup+0.703261 s]
/proc/loadavg: 7.02 3.06 1.88 6/227 15273
/proc/meminfo: memFree=10095608/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
[pid=15230] ppid=15228 vsize=15151156 memory=85300 CPUtime=1.59 cores=0,2,4,6
/proc/15230/stat : 15230 (java) S 15228 15228 14371 0 -1 1077944320 15012 0 0 0 152 7 0 0 20 0 15 0 475396228 15514783744 21325 33554432000 4194304 4196468 140724725627328 140724725609872 140243240586999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
/proc/15230/statm: 3787789 21325 3451 1 0 3748889 0
[pid=15230/tid=15231] ppid=15228 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (java) R 15228 15228 14371 0 -1 4202560 9274 0 0 0 63 4 0 0 20 0 15 0 475396228 15514783744 21325 33554432000 4194304 4196468 140724725627328 140243244822144 140243224667516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15232] ppid=15228 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15514783744 21325 33554432000 4194304 4196468 140724725627328 140243168627088 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15233] ppid=15228 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15514783744 21325 33554432000 4194304 4196468 140724725627328 140243167574288 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15234] ppid=15228 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15234/stat : 15234 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396229 15514783744 21325 33554432000 4194304 4196468 140724725627328 140243166522000 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15235] ppid=15228 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15235/stat : 15235 (java) S 15228 15228 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475396229 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242829306384 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15236] ppid=15228 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15236/stat : 15236 (java) S 15228 15228 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475396231 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242776402544 140243240598146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15237] ppid=15228 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15237/stat : 15237 (java) S 15228 15228 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475396231 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242775348512 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15238] ppid=15228 vsize=15151156 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15238/stat : 15238 (java) S 15228 15228 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475396231 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242774296176 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15239] ppid=15228 vsize=15151156 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15239/stat : 15239 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242773244496 140243240605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15240] ppid=15228 vsize=15151156 memory=1112 CPUtime=0.22 cores=0,2,4,6
/proc/15230/task/15240/stat : 15240 (java) R 15228 15228 14371 0 -1 4202560 1129 0 0 0 22 0 0 0 20 0 15 0 475396234 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242772172784 140243224975856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15241] ppid=15228 vsize=15151156 memory=1004 CPUtime=0.25 cores=0,2,4,6
/proc/15230/task/15241/stat : 15241 (java) S 15228 15228 14371 0 -1 1077944384 1125 0 0 0 25 0 0 0 20 0 15 0 475396234 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242771138544 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15242] ppid=15228 vsize=15151156 memory=6064 CPUtime=0.42 cores=0,2,4,6
/proc/15230/task/15242/stat : 15242 (java) R 15228 15228 14371 0 -1 1077944384 2177 0 0 0 41 1 0 0 20 0 15 0 475396234 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242770081984 140243240597205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15243] ppid=15228 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15243/stat : 15243 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475396234 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242769033696 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15244] ppid=15228 vsize=15151156 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15244/stat : 15244 (java) S 15228 15228 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475396234 15514783744 21325 33554432000 4194304 4196468 140724725627328 140242767981488 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 86752 KiB
[startup+1.50076 s]
/proc/loadavg: 7.02 3.06 1.88 7/213 15324
/proc/meminfo: memFree=10010436/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/15230/task/15584/stat : 15584 (java) R 15228 15228 14371 0 -1 4202560 1055 0 0 0 6733 1 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242680933760 140242850641740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 405.78 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 202040 KiB
[startup+103.11 s]
# the end of solver process 15228 was just reported to runsolver
# cumulated CPU time of all completed processes: user=408.729 s, system=0.249322 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 8.07 4.62 2.56 10/231 15811
/proc/meminfo: memFree=9938740/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
[pid=15230] ppid=15228 vsize=15621208 memory=200588 CPUtime=406.18 cores=0,2,4,6
/proc/15230/stat : 15230 (java) S 15228 15228 14371 0 -1 1077944320 84881 0 0 0 40594 24 0 0 20 0 19 0 475396228 15996116992 50147 33554432000 4194304 4196468 140724725627328 140724725609872 140243240586999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
/proc/15230/statm: 3905302 50147 3530 1 0 3866402 0
[pid=15230/tid=15231] ppid=15228 vsize=15621208 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (java) S 15228 15228 14371 0 -1 1077944384 10165 0 0 0 65 4 0 0 20 0 19 0 475396228 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243244827776 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15232] ppid=15228 vsize=15621208 memory=57 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (java) S 15228 15228 14371 0 -1 1077944384 2697 0 0 0 3 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243168627088 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15233] ppid=15228 vsize=15621208 memory=6944656592455097440 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (java) S 15228 15228 14371 0 -1 1077944384 2751 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243167574288 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15234] ppid=15228 vsize=15621208 memory=6944656592387989600 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15234/stat : 15234 (java) S 15228 15228 14371 0 -1 1077944384 2401 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243166522000 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15235] ppid=15228 vsize=15621208 memory=33 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15235/stat : 15235 (java) S 15228 15228 14371 0 -1 1077944384 1440 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242829306384 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15236] ppid=15228 vsize=15621208 memory=281322371591776 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15236/stat : 15236 (java) S 15228 15228 14371 0 -1 1077944384 2595 0 0 0 2 1 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242776402544 140243240598146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15237] ppid=15228 vsize=15621208 memory=576461256482450691 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15237/stat : 15237 (java) S 15228 15228 14371 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242775348576 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15238] ppid=15228 vsize=15621208 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15238/stat : 15238 (java) S 15228 15228 14371 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242774296192 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15239] ppid=15228 vsize=15621208 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15239/stat : 15239 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242773244496 140243240605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15240] ppid=15228 vsize=15621208 memory=1452 CPUtime=3.13 cores=0,2,4,6
/proc/15230/task/15240/stat : 15240 (java) S 15228 15228 14371 0 -1 1077944384 17758 0 0 0 310 3 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242772191344 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15241] ppid=15228 vsize=15621208 memory=215976 CPUtime=3.03 cores=0,2,4,6
/proc/15230/task/15241/stat : 15241 (java) S 15228 15228 14371 0 -1 1077944384 20312 0 0 0 302 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242771138544 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15242] ppid=15228 vsize=15621208 memory=1548 CPUtime=0.8 cores=0,2,4,6
/proc/15230/task/15242/stat : 15242 (java) S 15228 15228 14371 0 -1 1077944384 8644 0 0 0 79 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242770086256 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15243] ppid=15228 vsize=15621208 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15243/stat : 15243 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242769033696 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15244] ppid=15228 vsize=15621208 memory=1712 CPUtime=0.01 cores=0,2,4,6
/proc/15230/task/15244/stat : 15244 (java) S 15228 15228 14371 0 -1 1077944384 721 0 0 0 0 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242767981488 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15581] ppid=15228 vsize=15621208 memory=1112 CPUtime=67.59 cores=0,2,4,6
/proc/15230/task/15581/stat : 15581 (java) R 15228 15228 14371 0 -1 4202560 744 0 0 0 6759 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242683038328 140242852619678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15582] ppid=15228 vsize=15621208 memory=1004 CPUtime=67.42 cores=0,2,4,6
/proc/15230/task/15582/stat : 15582 (java) R 15228 15228 14371 0 -1 4202560 1453 0 0 0 6742 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242684092008 140242851549445 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15583] ppid=15228 vsize=15621208 memory=1548 CPUtime=67.64 cores=0,2,4,6
/proc/15230/task/15583/stat : 15583 (java) R 15228 15228 14371 0 -1 4202560 1366 0 0 0 6764 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242690402400 140242855268831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15584] ppid=15228 vsize=15621208 memory=8560 CPUtime=67.44 cores=0,2,4,6
/proc/15230/task/15584/stat : 15584 (java) R 15228 15228 14371 0 -1 4202560 1055 0 0 0 6743 1 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242680933760 140242852763067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 406.18 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 202040 KiB
[startup+102.801 s]
/proc/loadavg: 8.07 4.62 2.56 10/231 15811
/proc/meminfo: memFree=9938740/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
[pid=15230] ppid=15228 vsize=15621208 memory=200588 CPUtime=407.78 cores=0,2,4,6
/proc/15230/stat : 15230 (java) S 15228 15228 14371 0 -1 1077944320 84932 0 0 0 40754 24 0 0 20 0 19 0 475396228 15996116992 50147 33554432000 4194304 4196468 140724725627328 140724725609872 140243240586999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
/proc/15230/statm: 3905302 50147 3530 1 0 3866402 0
[pid=15230/tid=15231] ppid=15228 vsize=15621208 memory=1436 CPUtime=0.69 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (java) S 15228 15228 14371 0 -1 1077944384 10165 0 0 0 65 4 0 0 20 0 19 0 475396228 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243244827776 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15232] ppid=15228 vsize=15621208 memory=796 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (java) S 15228 15228 14371 0 -1 1077944384 2697 0 0 0 3 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243168627088 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15233] ppid=15228 vsize=15621208 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (java) S 15228 15228 14371 0 -1 1077944384 2751 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243167574288 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15234] ppid=15228 vsize=15621208 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15234/stat : 15234 (java) S 15228 15228 14371 0 -1 1077944384 2401 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243166522000 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15235] ppid=15228 vsize=15621208 memory=55888 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15235/stat : 15235 (java) S 15228 15228 14371 0 -1 1077944384 1440 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242829306384 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15236] ppid=15228 vsize=15621208 memory=3028 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15236/stat : 15236 (java) S 15228 15228 14371 0 -1 1077944384 2595 0 0 0 2 1 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242776402544 140243240598146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15237] ppid=15228 vsize=15621208 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15237/stat : 15237 (java) S 15228 15228 14371 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242775348576 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15238] ppid=15228 vsize=15621208 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15238/stat : 15238 (java) S 15228 15228 14371 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242774296192 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15239] ppid=15228 vsize=15621208 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15239/stat : 15239 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242773244496 140243240605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15240] ppid=15228 vsize=15621208 memory=205716 CPUtime=3.13 cores=0,2,4,6
/proc/15230/task/15240/stat : 15240 (java) S 15228 15228 14371 0 -1 1077944384 17758 0 0 0 310 3 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242772191344 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15241] ppid=15228 vsize=15621208 memory=2012 CPUtime=3.03 cores=0,2,4,6
/proc/15230/task/15241/stat : 15241 (java) S 15228 15228 14371 0 -1 1077944384 20312 0 0 0 302 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242771138544 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15242] ppid=15228 vsize=15621208 memory=1384 CPUtime=0.8 cores=0,2,4,6
/proc/15230/task/15242/stat : 15242 (java) S 15228 15228 14371 0 -1 1077944384 8644 0 0 0 79 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242770086256 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15243] ppid=15228 vsize=15621208 memory=776 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15243/stat : 15243 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242769033696 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15244] ppid=15228 vsize=15621208 memory=12024 CPUtime=0.01 cores=0,2,4,6
/proc/15230/task/15244/stat : 15244 (java) S 15228 15228 14371 0 -1 1077944384 721 0 0 0 0 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242767981488 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15581] ppid=15228 vsize=15621208 memory=500 CPUtime=67.99 cores=0,2,4,6
/proc/15230/task/15581/stat : 15581 (java) R 15228 15228 14371 0 -1 4202560 748 0 0 0 6799 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242683038328 140242852804123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15582] ppid=15228 vsize=15621208 memory=1560 CPUtime=67.82 cores=0,2,4,6
/proc/15230/task/15582/stat : 15582 (java) R 15228 15228 14371 0 -1 4202560 1456 0 0 0 6782 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242684092008 140242852283861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15583] ppid=15228 vsize=15621208 memory=932 CPUtime=68.04 cores=0,2,4,6
/proc/15230/task/15583/stat : 15583 (java) R 15228 15228 14371 0 -1 4202560 1366 0 0 0 6804 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242690402400 140242852131914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15584] ppid=15228 vsize=15621208 memory=3768 CPUtime=67.84 cores=0,2,4,6
/proc/15230/task/15584/stat : 15584 (java) R 15228 15228 14371 0 -1 4202560 1099 0 0 0 6783 1 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242680933760 140242851873901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 407.78 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 202040 KiB
[startup+103.001 s]*
/proc/loadavg: 8.07 4.62 2.56 9/233 15858
/proc/meminfo: memFree=9898452/32770624 swapFree=66999216/67108860
[pid=15228] ppid=15225 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15228/stat : 15228 (xcsp3-exec) S 15225 15228 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475396228 115843072 363 33554432000 4194304 5098028 140722236205520 140722236203624 140154581160572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8364032 140722236212090 140722236212333 140722236212333 140722236215242 0
/proc/15228/statm: 28282 363 304 221 0 87 0
[pid=15230] ppid=15228 vsize=15621208 memory=200588 CPUtime=408.6 cores=0,2,4,6
/proc/15230/stat : 15230 (java) S 15228 15228 14371 0 -1 1077944320 84951 0 0 0 40836 24 0 0 20 0 19 0 475396228 15996116992 50147 33554432000 4194304 4196468 140724725627328 140724725609872 140243240586999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
/proc/15230/statm: 3905302 50147 3530 1 0 3866402 0
[pid=15230/tid=15231] ppid=15228 vsize=15621208 memory=3768 CPUtime=0.69 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (java) S 15228 15228 14371 0 -1 1077944384 10165 0 0 0 65 4 0 0 20 0 19 0 475396228 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243244827776 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15232] ppid=15228 vsize=15621208 memory=1980 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (java) S 15228 15228 14371 0 -1 1077944384 2697 0 0 0 3 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243168627088 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15233] ppid=15228 vsize=15621208 memory=8317482817917895235 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (java) S 15228 15228 14371 0 -1 1077944384 2751 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243167574288 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15234] ppid=15228 vsize=15621208 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15234/stat : 15234 (java) S 15228 15228 14371 0 -1 1077944384 2401 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140243166522000 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15235] ppid=15228 vsize=15621208 memory=231624 CPUtime=0.02 cores=0,2,4,6
/proc/15230/task/15235/stat : 15235 (java) S 15228 15228 14371 0 -1 1077944384 1440 0 0 0 2 0 0 0 20 0 19 0 475396229 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242829306384 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15236] ppid=15228 vsize=15621208 memory=1712 CPUtime=0.03 cores=0,2,4,6
/proc/15230/task/15236/stat : 15236 (java) S 15228 15228 14371 0 -1 1077944384 2595 0 0 0 2 1 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242776402544 140243240598146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15237] ppid=15228 vsize=15621208 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15237/stat : 15237 (java) S 15228 15228 14371 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242775348576 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15238] ppid=15228 vsize=15621208 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15238/stat : 15238 (java) S 15228 15228 14371 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475396231 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242774296192 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15239] ppid=15228 vsize=15621208 memory=30480 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15239/stat : 15239 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242773244496 140243240605595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15240] ppid=15228 vsize=15621208 memory=0 CPUtime=3.13 cores=0,2,4,6
/proc/15230/task/15240/stat : 15240 (java) S 15228 15228 14371 0 -1 1077944384 17761 0 0 0 310 3 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242772191344 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15241] ppid=15228 vsize=15621208 memory=4641047807512697188 CPUtime=3.03 cores=0,2,4,6
/proc/15230/task/15241/stat : 15241 (java) S 15228 15228 14371 0 -1 1077944384 20315 0 0 0 302 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242771138544 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15242] ppid=15228 vsize=15621208 memory=6081660932537214822 CPUtime=0.8 cores=0,2,4,6
/proc/15230/task/15242/stat : 15242 (java) S 15228 15228 14371 0 -1 1077944384 8653 0 0 0 79 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242770086256 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15243] ppid=15228 vsize=15621208 memory=281322371942660 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15243/stat : 15243 (java) S 15228 15228 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242769033696 140243240597205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15244] ppid=15228 vsize=15621208 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15230/task/15244/stat : 15244 (java) S 15228 15228 14371 0 -1 1077944384 721 0 0 0 0 1 0 0 20 0 19 0 475396234 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242767981488 140243240598146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15581] ppid=15228 vsize=15621208 memory=0 CPUtime=68.2 cores=0,2,4,6
/proc/15230/task/15581/stat : 15581 (java) R 15228 15228 14371 0 -1 4202560 752 0 0 0 6820 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242683038328 140242852620209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15582] ppid=15228 vsize=15621208 memory=0 CPUtime=68.02 cores=0,2,4,6
/proc/15230/task/15582/stat : 15582 (java) R 15228 15228 14371 0 -1 4202560 1456 0 0 0 6802 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242684092008 140242852132215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15583] ppid=15228 vsize=15621208 memory=0 CPUtime=68.25 cores=0,2,4,6
/proc/15230/task/15583/stat : 15583 (java) R 15228 15228 14371 0 -1 4202560 1366 0 0 0 6825 0 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242690402400 140242852758580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
[pid=15230/tid=15584] ppid=15228 vsize=15621208 memory=0 CPUtime=68.05 cores=0,2,4,6
/proc/15230/task/15584/stat : 15584 (java) R 15228 15228 14371 0 -1 4202560 1099 0 0 0 6804 1 0 0 20 0 19 0 475399677 15996116992 50147 33554432000 4194304 4196468 140724725627328 140242680933760 140242852132351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23330816 140724725634031 140724725634202 140724725634202 140724725637071 0
Current children cumulated CPU time: 408.6 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 202040 KiB
Child status: 0
Real time (s): 103.11
CPU time (s): 408.978
CPU user time (s): 408.729
CPU system time (s): 0.249322
CPU usage (%): 396.644
Max. virtual memory (cumulated for all children) (KiB): 15736560
Max. memory (cumulated for all children) (KiB): 237396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 408.729
system time used= 0.249322
maximum resident set size= 236396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6725
involuntary context switches= 7882
# summary of solver processes directly reported to runsolver:
# pid: 15228
# total CPU time (s): 408.978
# total CPU user time (s): 408.729
# total CPU system time (s): 0.249322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.612181 second user time and 1.12805 second system time
The end