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 (13091 MiB free)
memory of node 1: 16384 MiB (11393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406008-1569414039/watcher-4406008-1569414039 -o /var/tmp/evaluation-result-4406008-1569414039/solver-4406008-1569414039 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1569408063-17769 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 921006580 HOME/instance-4406008-1569414039.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18934, runsolver pid=18931
[startup+0.100109 s]*
/proc/loadavg: 1.74 1.84 1.72 4/229 18950
/proc/meminfo: memFree=25054720/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
[pid=18936] ppid=18934 vsize=15144776 memory=30416 CPUtime=0.13 cores=1,3,5,7
/proc/18936/stat : 18936 (java) S 18934 18934 17737 0 -1 1077944320 5466 0 0 0 12 1 0 0 20 0 15 0 517317852 15508250624 7604 33554432000 4194304 4196468 140722831447360 140722831429904 140703089327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
/proc/18936/statm: 3786194 7604 3196 1 0 3748377 0
[pid=18936/tid=18937] ppid=18934 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=1,3,5,7
/proc/18936/task/18937/stat : 18937 (java) R 18934 18934 17737 0 -1 4202560 3337 0 0 0 8 1 0 0 20 0 15 0 517317853 15508250624 7604 33554432000 4194304 4196468 140722831447360 140703093558384 140703089339798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18938] ppid=18934 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18938/stat : 18938 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317853 15508250624 7604 33554432000 4194304 4196468 140722831447360 140703000984720 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18939] ppid=18934 vsize=15144776 memory=139892918326912 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18939/stat : 18939 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702999931920 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18940] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18940/stat : 18940 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702998879120 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18941] ppid=18934 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18941/stat : 18941 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317854 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702997826320 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18942] ppid=18934 vsize=15144776 memory=139892918326912 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18942/stat : 18942 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317855 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702557690224 140703089339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18943] ppid=18934 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18943/stat : 18943 (java) S 18934 18934 17737 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517317855 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702556636192 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18944] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517317855 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702555583344 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) R 18934 18934 17737 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702553480048 140703089339010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) R 18934 18934 17737 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702552426432 140703089349210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15144776 memory=139892918326912 CPUtime=0.02 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) R 18934 18934 17737 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 517317858 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702551374448 140703081564990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15144776 memory=139892918326912 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) R 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 7604 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31868 KiB
[startup+0.210661 s]*
/proc/loadavg: 1.74 1.84 1.72 3/229 18950
/proc/meminfo: memFree=25042224/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
[pid=18936] ppid=18934 vsize=15144776 memory=41336 CPUtime=0.35 cores=1,3,5,7
/proc/18936/stat : 18936 (java) S 18934 18934 17737 0 -1 1077944320 9023 0 0 0 32 3 0 0 20 0 15 0 517317852 15508250624 10334 33554432000 4194304 4196468 140722831447360 140722831429904 140703089327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
/proc/18936/statm: 3786194 10334 3312 1 0 3748377 0
[pid=18936/tid=18937] ppid=18934 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18936/task/18937/stat : 18937 (java) R 18934 18934 17737 0 -1 4202560 6163 0 0 0 18 2 0 0 20 0 15 0 517317853 15508250624 10334 33554432000 4194304 4196468 140722831447360 140703093562848 140703075021329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18938] ppid=18934 vsize=15144776 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18938/stat : 18938 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317853 15508250624 10334 33554432000 4194304 4196468 140722831447360 140703000984720 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18939] ppid=18934 vsize=15144776 memory=4122683112007669408 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18939/stat : 18939 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702999931920 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18940] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18940/stat : 18940 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702998879120 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18941] ppid=18934 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18941/stat : 18941 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317854 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702997826320 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18942] ppid=18934 vsize=15144776 memory=139892918326912 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18942/stat : 18942 (java) S 18934 18934 17737 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517317855 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702557690224 140703089339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18943] ppid=18934 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18943/stat : 18943 (java) S 18934 18934 17737 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517317855 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702556636192 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18944] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517317855 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702555583344 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) S 18934 18934 17737 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 517317858 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702553480048 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) S 18934 18934 17737 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 517317858 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702552427248 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15144776 memory=139892918326912 CPUtime=0.08 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) S 18934 18934 17737 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 517317858 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702551374448 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317858 15508250624 10334 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42788 KiB
[startup+0.310676 s]*
/proc/loadavg: 1.74 1.84 1.72 3/229 18950
/proc/meminfo: memFree=25035212/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
[pid=18936] ppid=18934 vsize=15149032 memory=49948 CPUtime=0.52 cores=1,3,5,7
/proc/18936/stat : 18936 (java) S 18934 18934 17737 0 -1 1077944320 10330 0 0 0 48 4 0 0 20 0 15 0 517317852 15512608768 12487 33554432000 4194304 4196468 140722831447360 140722831429904 140703089327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
/proc/18936/statm: 3787258 12487 3346 1 0 3748377 0
[pid=18936/tid=18937] ppid=18934 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/18936/task/18937/stat : 18937 (java) R 18934 18934 17737 0 -1 4202560 7354 0 0 0 27 3 0 0 20 0 15 0 517317853 15512608768 12487 33554432000 4194304 4196468 140722831447360 140703093561648 140703075021344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18938] ppid=18934 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18938/stat : 18938 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317853 15512608768 12487 33554432000 4194304 4196468 140722831447360 140703000984720 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18939] ppid=18934 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18939/stat : 18939 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702999931920 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18940] ppid=18934 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18940/stat : 18940 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702998879120 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18941] ppid=18934 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18941/stat : 18941 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317854 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702997826320 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18942] ppid=18934 vsize=15149032 memory=-7377628835514728607 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18942/stat : 18942 (java) S 18934 18934 17737 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517317855 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702557690224 140703089339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18943] ppid=18934 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18943/stat : 18943 (java) S 18934 18934 17737 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517317855 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702556636192 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18944] ppid=18934 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517317855 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702555583344 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) S 18934 18934 17737 0 -1 1077944384 360 0 0 0 4 0 0 0 20 0 15 0 517317858 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702553480048 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) S 18934 18934 17737 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 517317858 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702552427248 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) S 18934 18934 17737 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 517317858 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702551374448 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317858 15512608768 12487 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51400 KiB
[startup+0.70176 s]
/proc/loadavg: 1.74 1.84 1.72 6/229 18950
/proc/meminfo: memFree=25008348/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
[pid=18936] ppid=18934 vsize=15151156 memory=128568 CPUtime=1.7 cores=1,3,5,7
/proc/18936/stat : 18936 (java) S 18934 18934 17737 0 -1 1077944320 13064 0 0 0 164 6 0 0 20 0 15 0 517317852 15514783744 32142 33554432000 4194304 4196468 140722831447360 140722831429904 140703089327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
/proc/18936/statm: 3787789 32142 3451 1 0 3748889 0
[pid=18936/tid=18937] ppid=18934 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/18936/task/18937/stat : 18937 (java) R 18934 18934 17737 0 -1 4202560 7965 0 0 0 63 4 0 0 20 0 15 0 517317853 15514783744 32142 33554432000 4194304 4196468 140722831447360 140703093562384 140702675782640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18938] ppid=18934 vsize=15151156 memory=65060 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18938/stat : 18938 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317853 15514783744 32142 33554432000 4194304 4196468 140722831447360 140703000984720 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18939] ppid=18934 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18939/stat : 18939 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702999931920 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18940] ppid=18934 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18940/stat : 18940 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317854 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702998879120 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18941] ppid=18934 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18941/stat : 18941 (java) S 18934 18934 17737 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517317854 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702997826320 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18942] ppid=18934 vsize=15151156 memory=580 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18942/stat : 18942 (java) S 18934 18934 17737 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702557690224 140703089339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18943] ppid=18934 vsize=15151156 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18943/stat : 18943 (java) S 18934 18934 17737 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702556636192 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18944] ppid=18934 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702555583344 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15151156 memory=2832 CPUtime=0.34 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) R 18934 18934 17737 0 -1 4202560 941 0 0 0 34 0 0 0 20 0 15 0 517317858 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702553468848 140703089349210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15151156 memory=1224 CPUtime=0.33 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) R 18934 18934 17737 0 -1 4202560 1285 0 0 0 33 0 0 0 20 0 15 0 517317858 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702552418576 140703089349210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15151156 memory=6172 CPUtime=0.32 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) R 18934 18934 17737 0 -1 1077944384 1564 0 0 0 32 0 0 0 20 0 15 0 517317858 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702551370272 140703089338069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) S 18934 18934 17737 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 32142 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 130020 KiB
[startup+1.50092 s]
/proc/loadavg: 1.92 1.88 1.73 5/229 18950
/proc/meminfo: memFree=24936364/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 680181 33554432000 4194304 4196468 140722831447360 140702555583360 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15151156 memory=2691940 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 680181 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15151156 memory=1452 CPUtime=1.25 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) S 18934 18934 17737 0 -1 1077944384 7465 0 0 0 124 1 0 0 20 0 15 0 517317858 15514783744 680181 33554432000 4194304 4196468 140722831447360 140702553480048 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15151156 memory=1962040 CPUtime=1.55 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) S 18934 18934 17737 0 -1 1077944384 12431 0 0 0 154 1 0 0 20 0 15 0 517317858 15514783744 680181 33554432000 4194304 4196468 140722831447360 140702552427248 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15151156 memory=1452 CPUtime=0.51 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) S 18934 18934 17737 0 -1 1077944384 7145 0 0 0 50 1 0 0 20 0 15 0 517317858 15514783744 680181 33554432000 4194304 4196468 140722831447360 140702551374448 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 680181 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15151156 memory=1452 CPUtime=0.68 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) S 18934 18934 17737 0 -1 1077944384 1341 0 0 0 32 36 0 0 20 0 15 0 517317858 15514783744 680181 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 2452.13 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2722176 KiB
[startup+2502.3 s]
/proc/loadavg: 0.77 1.29 1.63 2/208 19260
/proc/meminfo: memFree=25355144/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
[pid=18936] ppid=18934 vsize=15151156 memory=950360 CPUtime=2512.84 cores=1,3,5,7
/proc/18936/stat : 18936 (java) S 18934 18934 17737 0 -1 1077944320 119889 0 0 0 250939 345 0 0 20 0 15 0 517317852 15514783744 237590 33554432000 4194304 4196468 140722831447360 140722831429904 140703089327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
/proc/18936/statm: 3787789 237590 3524 1 0 3748889 0
[pid=18936/tid=18937] ppid=18934 vsize=15151156 memory=533460 CPUtime=2499.27 cores=1,3,5,7
/proc/18936/task/18937/stat : 18937 (java) R 18934 18934 17737 0 -1 4202560 52105 0 0 0 249671 256 0 0 20 0 15 0 517317853 15514783744 237590 33554432000 4194304 4196468 140722831447360 140703093567312 140702681343370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18938] ppid=18934 vsize=15151156 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/18936/task/18938/stat : 18938 (java) S 18934 18934 17737 0 -1 1077944384 3572 0 0 0 202 11 0 0 20 0 15 0 517317853 15514783744 237590 33554432000 4194304 4196468 140722831447360 140703000984720 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18939] ppid=18934 vsize=15151156 memory=593084 CPUtime=2.15 cores=1,3,5,7
/proc/18936/task/18939/stat : 18939 (java) S 18934 18934 17737 0 -1 1077944384 6102 0 0 0 203 12 0 0 20 0 15 0 517317854 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702999931920 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18940] ppid=18934 vsize=15151156 memory=1452 CPUtime=2.14 cores=1,3,5,7
/proc/18936/task/18940/stat : 18940 (java) S 18934 18934 17737 0 -1 1077944384 5360 0 0 0 203 11 0 0 20 0 15 0 517317854 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702998879120 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18941] ppid=18934 vsize=15151156 memory=890736 CPUtime=2.12 cores=1,3,5,7
/proc/18936/task/18941/stat : 18941 (java) S 18934 18934 17737 0 -1 1077944384 4569 0 0 0 203 9 0 0 20 0 15 0 517317854 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702997826320 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18942] ppid=18934 vsize=15151156 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/18936/task/18942/stat : 18942 (java) S 18934 18934 17737 0 -1 1077944384 18352 0 0 0 78 15 0 0 20 0 15 0 517317855 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702557690224 140703089339010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18943] ppid=18934 vsize=15151156 memory=919524 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18943/stat : 18943 (java) S 18934 18934 17737 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702556636256 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18944] ppid=18934 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702555583360 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15151156 memory=740652 CPUtime=1.25 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) S 18934 18934 17737 0 -1 1077944384 7467 0 0 0 124 1 0 0 20 0 15 0 517317858 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702553480048 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15151156 memory=1452 CPUtime=1.55 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) S 18934 18934 17737 0 -1 1077944384 12434 0 0 0 154 1 0 0 20 0 15 0 517317858 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702552427248 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15151156 memory=65136 CPUtime=0.51 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) S 18934 18934 17737 0 -1 1077944384 7147 0 0 0 50 1 0 0 20 0 15 0 517317858 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702551374448 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15151156 memory=2012 CPUtime=0.7 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) S 18934 18934 17737 0 -1 1077944384 1361 0 0 0 32 38 0 0 20 0 15 0 517317858 15514783744 237590 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 2512.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 951812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.5 s]
/proc/loadavg: 0.79 1.28 1.62 2/208 19260
/proc/meminfo: memFree=25023300/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
[pid=18936] ppid=18934 vsize=15151156 memory=1250008 CPUtime=2520.07 cores=1,3,5,7
/proc/18936/stat : 18936 (java) S 18934 18934 17737 0 -1 1077944320 120666 0 0 0 251657 350 0 0 20 0 15 0 517317852 15514783744 312502 33554432000 4194304 4196468 140722831447360 140722831429904 140703089327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
/proc/18936/statm: 3787789 312502 3524 1 0 3748889 0
[pid=18936/tid=18937] ppid=18934 vsize=15151156 memory=0 CPUtime=2506.45 cores=1,3,5,7
/proc/18936/task/18937/stat : 18937 (java) R 18934 18934 17737 0 -1 4202560 52577 0 0 0 250385 260 0 0 20 0 15 0 517317853 15514783744 312502 33554432000 4194304 4196468 140722831447360 140703093567616 140702680662272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18938] ppid=18934 vsize=15151156 memory=593084 CPUtime=2.14 cores=1,3,5,7
/proc/18936/task/18938/stat : 18938 (java) S 18934 18934 17737 0 -1 1077944384 3572 0 0 0 203 11 0 0 20 0 15 0 517317853 15514783744 312502 33554432000 4194304 4196468 140722831447360 140703000984720 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18939] ppid=18934 vsize=15151156 memory=1452 CPUtime=2.16 cores=1,3,5,7
/proc/18936/task/18939/stat : 18939 (java) S 18934 18934 17737 0 -1 1077944384 6102 0 0 0 204 12 0 0 20 0 15 0 517317854 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702999931920 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18940] ppid=18934 vsize=15151156 memory=1452 CPUtime=2.15 cores=1,3,5,7
/proc/18936/task/18940/stat : 18940 (java) S 18934 18934 17737 0 -1 1077944384 5360 0 0 0 204 11 0 0 20 0 15 0 517317854 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702998879120 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18941] ppid=18934 vsize=15151156 memory=1452 CPUtime=2.13 cores=1,3,5,7
/proc/18936/task/18941/stat : 18941 (java) S 18934 18934 17737 0 -1 1077944384 4573 0 0 0 204 9 0 0 20 0 15 0 517317854 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702997826320 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18942] ppid=18934 vsize=15151156 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/18936/task/18942/stat : 18942 (java) S 18934 18934 17737 0 -1 1077944384 18352 0 0 0 78 15 0 0 20 0 15 0 517317855 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702557690224 140703089339010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18943] ppid=18934 vsize=15151156 memory=1250008 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18943/stat : 18943 (java) S 18934 18934 17737 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702556636256 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18944] ppid=18934 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702555583360 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15151156 memory=279785578250976 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15151156 memory=139892789584304 CPUtime=1.25 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) S 18934 18934 17737 0 -1 1077944384 7467 0 0 0 124 1 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702553480048 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15151156 memory=164 CPUtime=1.56 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) S 18934 18934 17737 0 -1 1077944384 12735 0 0 0 155 1 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702552427248 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15151156 memory=162753490752516 CPUtime=0.51 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) S 18934 18934 17737 0 -1 1077944384 7147 0 0 0 50 1 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702551374448 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15151156 memory=65136 CPUtime=0.7 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) S 18934 18934 17737 0 -1 1077944384 1361 0 0 0 32 38 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1251460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.51 s]
# the end of solver process 18934 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001047 s, system=0.001529 s
[startup+2509.52 s]
# the end of solver process 18936 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.59 s, system=3.5123 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.5 s]
/proc/loadavg: 0.79 1.28 1.62 2/208 19260
/proc/meminfo: memFree=25023300/32770624 swapFree=67002044/67108860
[pid=18934] ppid=18931 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (xcsp3-exec) S 18931 18934 17737 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517317852 115843072 363 33554432000 4194304 5098028 140729648132144 140729648130248 139694749848188 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8699904 140729648141143 140729648141401 140729648141401 140729648144326 0
/proc/18934/statm: 28282 363 304 221 0 87 0
[pid=18936] ppid=18934 vsize=15151156 memory=1250008 CPUtime=2520.07 cores=1,3,5,7
/proc/18936/stat : 18936 (java) S 18934 18934 17737 0 -1 1077944320 120666 0 0 0 251657 350 0 0 20 0 15 0 517317852 15514783744 312502 33554432000 4194304 4196468 140722831447360 140722831429904 140703089327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
/proc/18936/statm: 3787789 312502 3524 1 0 3748889 0
[pid=18936/tid=18937] ppid=18934 vsize=15151156 memory=0 CPUtime=2506.45 cores=1,3,5,7
/proc/18936/task/18937/stat : 18937 (java) R 18934 18934 17737 0 -1 4202560 52577 0 0 0 250385 260 0 0 20 0 15 0 517317853 15514783744 312502 33554432000 4194304 4196468 140722831447360 140703093567616 140702680662272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18938] ppid=18934 vsize=15151156 memory=593084 CPUtime=2.14 cores=1,3,5,7
/proc/18936/task/18938/stat : 18938 (java) S 18934 18934 17737 0 -1 1077944384 3572 0 0 0 203 11 0 0 20 0 15 0 517317853 15514783744 312502 33554432000 4194304 4196468 140722831447360 140703000984720 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18939] ppid=18934 vsize=15151156 memory=1452 CPUtime=2.16 cores=1,3,5,7
/proc/18936/task/18939/stat : 18939 (java) S 18934 18934 17737 0 -1 1077944384 6102 0 0 0 204 12 0 0 20 0 15 0 517317854 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702999931920 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18940] ppid=18934 vsize=15151156 memory=1452 CPUtime=2.15 cores=1,3,5,7
/proc/18936/task/18940/stat : 18940 (java) S 18934 18934 17737 0 -1 1077944384 5360 0 0 0 204 11 0 0 20 0 15 0 517317854 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702998879120 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18941] ppid=18934 vsize=15151156 memory=1452 CPUtime=2.13 cores=1,3,5,7
/proc/18936/task/18941/stat : 18941 (java) S 18934 18934 17737 0 -1 1077944384 4573 0 0 0 204 9 0 0 20 0 15 0 517317854 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702997826320 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18942] ppid=18934 vsize=15151156 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/18936/task/18942/stat : 18942 (java) S 18934 18934 17737 0 -1 1077944384 18352 0 0 0 78 15 0 0 20 0 15 0 517317855 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702557690224 140703089339010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18943] ppid=18934 vsize=15151156 memory=1250008 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18943/stat : 18943 (java) S 18934 18934 17737 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702556636256 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18944] ppid=18934 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (java) S 18934 18934 17737 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 517317855 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702555583360 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18945] ppid=18934 vsize=15151156 memory=279785578250976 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18945/stat : 18945 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702554531664 140703089346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18946] ppid=18934 vsize=15151156 memory=139892789584304 CPUtime=1.25 cores=1,3,5,7
/proc/18936/task/18946/stat : 18946 (java) S 18934 18934 17737 0 -1 1077944384 7467 0 0 0 124 1 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702553480048 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18947] ppid=18934 vsize=15151156 memory=164 CPUtime=1.56 cores=1,3,5,7
/proc/18936/task/18947/stat : 18947 (java) S 18934 18934 17737 0 -1 1077944384 12735 0 0 0 155 1 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702552427248 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18948] ppid=18934 vsize=15151156 memory=162753490752516 CPUtime=0.51 cores=1,3,5,7
/proc/18936/task/18948/stat : 18948 (java) S 18934 18934 17737 0 -1 1077944384 7147 0 0 0 50 1 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702551374448 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18949] ppid=18934 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18949/stat : 18949 (java) S 18934 18934 17737 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702550321888 140703089338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
[pid=18936/tid=18950] ppid=18934 vsize=15151156 memory=65136 CPUtime=0.7 cores=1,3,5,7
/proc/18936/task/18950/stat : 18950 (java) S 18934 18934 17737 0 -1 1077944384 1361 0 0 0 32 38 0 0 20 0 15 0 517317858 15514783744 312502 33554432000 4194304 4196468 140722831447360 140702549269168 140703089339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140722831455195 140722831455370 140722831455370 140722831458255 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1251460 KiB
Child status: 143
Real time (s): 2509.52
CPU time (s): 2520.1
CPU user time (s): 2516.59
CPU system time (s): 3.5123
CPU usage (%): 100.422
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 3830812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.59
system time used= 3.5123
maximum resident set size= 3839656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73893
involuntary context switches= 2557
# summary of solver processes directly reported to runsolver:
# pid: 18934,18936
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.59
# total CPU system time (s): 3.5123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.553 second user time and 23.7053 second system time
The end