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 (6261 MiB free)
memory of node 1: 16384 MiB (941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403326-1568993878/watcher-4403326-1568993878 -o /var/tmp/evaluation-result-4403326-1568993878/solver-4403326-1568993878 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568990707-4811 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1792176202 HOME/instance-4403326-1568993878.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7708, runsolver pid=7705
[startup+0.100058 s]*
/proc/loadavg: 8.10 8.52 8.32 8/233 7724
/proc/meminfo: memFree=7360136/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
[pid=7710] ppid=7708 vsize=15144776 memory=28580 CPUtime=0.13 cores=0,2,4,6
/proc/7710/stat : 7710 (java) S 7708 7708 4780 0 -1 1077944320 5650 0 0 0 12 1 0 0 20 0 15 0 475326179 15508250624 7145 33554432000 4194304 4196468 140724877420784 140724877403328 140298083725047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
/proc/7710/statm: 3786194 7145 3116 1 0 3748377 0
[pid=7710/tid=7711] ppid=7708 vsize=15144776 memory=7755099187310728027 CPUtime=0.09 cores=0,2,4,6
/proc/7710/task/7711/stat : 7711 (java) R 7708 7708 4780 0 -1 4202560 3574 0 0 0 9 0 0 0 20 0 15 0 475326179 15508250624 7211 33554432000 4194304 4196468 140724877420784 140298087957296 140298067768677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7712] ppid=7708 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7712/stat : 7712 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297995381136 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7713] ppid=7708 vsize=15144776 memory=139681987901056 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7713/stat : 7713 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297994328336 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7714] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7714/stat : 7714 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297673632400 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7715] ppid=7708 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7715/stat : 7715 (java) S 7708 7708 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297672579600 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7716] ppid=7708 vsize=15144776 memory=139681987901056 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7716/stat : 7716 (java) S 7708 7708 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475326181 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297418050160 140298083736194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7717] ppid=7708 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7717/stat : 7717 (java) S 7708 7708 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475326181 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297416996128 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7718] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7718/stat : 7718 (java) S 7708 7708 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475326182 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297415943792 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7719] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7719/stat : 7719 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297414892112 140298083743643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7720] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7720/stat : 7720 (java) R 7708 7708 4780 0 -1 4202560 352 0 0 0 0 0 0 0 20 0 15 0 475326184 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297413830464 140298065268746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7721] ppid=7708 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7721/stat : 7721 (java) R 7708 7708 4780 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475326184 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297412786160 140298083736194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7722] ppid=7708 vsize=15144776 memory=139681987901056 CPUtime=0.02 cores=0,2,4,6
/proc/7710/task/7722/stat : 7722 (java) R 7708 7708 4780 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 475326184 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297411733872 140298083746394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7723] ppid=7708 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7723/stat : 7723 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297410681312 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7724] ppid=7708 vsize=15144776 memory=139681987901056 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326185 15508250624 7211 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30032 KiB
[startup+0.21071 s]*
/proc/loadavg: 8.10 8.52 8.32 7/233 7724
/proc/meminfo: memFree=7347804/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
[pid=7710] ppid=7708 vsize=15144776 memory=40396 CPUtime=0.35 cores=0,2,4,6
/proc/7710/stat : 7710 (java) S 7708 7708 4780 0 -1 1077944320 9278 0 0 0 32 3 0 0 20 0 15 0 475326179 15508250624 10099 33554432000 4194304 4196468 140724877420784 140724877403328 140298083725047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
/proc/7710/statm: 3786194 10099 3306 1 0 3748377 0
[pid=7710/tid=7711] ppid=7708 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/7710/task/7711/stat : 7711 (java) R 7708 7708 4780 0 -1 4202560 6537 0 0 0 18 2 0 0 20 0 15 0 475326179 15508250624 10099 33554432000 4194304 4196468 140724877420784 140298087954272 140298083736982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7712] ppid=7708 vsize=15144776 memory=2128865 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7712/stat : 7712 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297995381136 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7713] ppid=7708 vsize=15144776 memory=139681991504801 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7713/stat : 7713 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297994328336 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7714] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7714/stat : 7714 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297673632400 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7715] ppid=7708 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7715/stat : 7715 (java) S 7708 7708 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475326180 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297672579600 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7716] ppid=7708 vsize=15144776 memory=139681987901056 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7716/stat : 7716 (java) S 7708 7708 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475326181 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297418050160 140298083736194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7717] ppid=7708 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7717/stat : 7717 (java) S 7708 7708 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475326181 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297416996128 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7718] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7718/stat : 7718 (java) S 7708 7708 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475326182 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297415943792 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7719] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7719/stat : 7719 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297414892112 140298083743643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7720] ppid=7708 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7710/task/7720/stat : 7720 (java) S 7708 7708 4780 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 475326184 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297413838960 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7721] ppid=7708 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7710/task/7721/stat : 7721 (java) S 7708 7708 4780 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 15 0 475326184 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297412786160 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7722] ppid=7708 vsize=15144776 memory=139681987901056 CPUtime=0.08 cores=0,2,4,6
/proc/7710/task/7722/stat : 7722 (java) R 7708 7708 4780 0 -1 4202560 811 0 0 0 8 0 0 0 20 0 15 0 475326184 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297411733872 140298063913625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7723] ppid=7708 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7723/stat : 7723 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297410681312 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7724] ppid=7708 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326185 15508250624 10099 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41848 KiB
[startup+0.311796 s]*
/proc/loadavg: 8.10 8.52 8.32 6/233 7724
/proc/meminfo: memFree=7339912/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
[pid=7710] ppid=7708 vsize=15149032 memory=49412 CPUtime=0.53 cores=0,2,4,6
/proc/7710/stat : 7710 (java) S 7708 7708 4780 0 -1 1077944320 10666 0 0 0 50 3 0 0 20 0 15 0 475326179 15512608768 12353 33554432000 4194304 4196468 140724877420784 140724877403328 140298083725047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
/proc/7710/statm: 3787258 12353 3339 1 0 3748377 0
[pid=7710/tid=7711] ppid=7708 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/7710/task/7711/stat : 7711 (java) R 7708 7708 4780 0 -1 4202560 7731 0 0 0 28 2 0 0 20 0 15 0 475326179 15512608768 12353 33554432000 4194304 4196468 140724877420784 140298087956160 140298067805534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7712] ppid=7708 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7712/stat : 7712 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297995381136 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7713] ppid=7708 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7713/stat : 7713 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297994328336 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7714] ppid=7708 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7714/stat : 7714 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297673632400 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7715] ppid=7708 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7715/stat : 7715 (java) S 7708 7708 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475326180 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297672579600 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7716] ppid=7708 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7716/stat : 7716 (java) S 7708 7708 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475326181 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297418050160 140298083736194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7717] ppid=7708 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7717/stat : 7717 (java) S 7708 7708 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475326181 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297416996128 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7718] ppid=7708 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7718/stat : 7718 (java) S 7708 7708 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475326182 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297415943792 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7719] ppid=7708 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7719/stat : 7719 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297414892112 140298083743643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7720] ppid=7708 vsize=15149032 memory=8325818968683490714 CPUtime=0.05 cores=0,2,4,6
/proc/7710/task/7720/stat : 7720 (java) S 7708 7708 4780 0 -1 1077944384 481 0 0 0 5 0 0 0 20 0 15 0 475326184 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297413838960 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7721] ppid=7708 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7710/task/7721/stat : 7721 (java) S 7708 7708 4780 0 -1 1077944384 174 0 0 0 3 0 0 0 20 0 15 0 475326184 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297412786160 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7722] ppid=7708 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/7710/task/7722/stat : 7722 (java) S 7708 7708 4780 0 -1 1077944384 984 0 0 0 13 0 0 0 20 0 15 0 475326184 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297411733872 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7723] ppid=7708 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7723/stat : 7723 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297410681312 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7724] ppid=7708 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326185 15512608768 12353 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50864 KiB
[startup+0.700822 s]
/proc/loadavg: 8.10 8.52 8.32 9/233 7724
/proc/meminfo: memFree=7323724/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
[pid=7710] ppid=7708 vsize=15151156 memory=91184 CPUtime=1.71 cores=0,2,4,6
/proc/7710/stat : 7710 (java) S 7708 7708 4780 0 -1 1077944320 14560 0 0 0 166 5 0 0 20 0 15 0 475326179 15514783744 22796 33554432000 4194304 4196468 140724877420784 140724877403328 140298083725047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
/proc/7710/statm: 3787789 22796 3455 1 0 3748889 0
[pid=7710/tid=7711] ppid=7708 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/7710/task/7711/stat : 7711 (java) R 7708 7708 4780 0 -1 4202560 8842 0 0 0 64 3 0 0 20 0 15 0 475326179 15514783744 22796 33554432000 4194304 4196468 140724877420784 140298087960896 140298083736982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7712] ppid=7708 vsize=15151156 memory=288230608904420306 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7712/stat : 7712 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297995381136 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7713] ppid=7708 vsize=15151156 memory=14690786136597550 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7713/stat : 7713 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297994328336 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7714] ppid=7708 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7714/stat : 7714 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326180 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297673632400 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7715] ppid=7708 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7715/stat : 7715 (java) S 7708 7708 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475326180 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297672579600 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7716] ppid=7708 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7716/stat : 7716 (java) S 7708 7708 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475326181 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297418050160 140298083736194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7717] ppid=7708 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7717/stat : 7717 (java) S 7708 7708 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475326181 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297416996128 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7718] ppid=7708 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7718/stat : 7718 (java) S 7708 7708 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475326182 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297415943792 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7719] ppid=7708 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7719/stat : 7719 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297414892112 140298083743643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7720] ppid=7708 vsize=15151156 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/7710/task/7720/stat : 7720 (java) S 7708 7708 4780 0 -1 1077944384 1278 0 0 0 31 0 0 0 20 0 15 0 475326184 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297413838960 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7721] ppid=7708 vsize=15151156 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/7710/task/7721/stat : 7721 (java) S 7708 7708 4780 0 -1 1077944384 993 0 0 0 28 0 0 0 20 0 15 0 475326184 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297412786160 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7722] ppid=7708 vsize=15151156 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/7710/task/7722/stat : 7722 (java) R 7708 7708 4780 0 -1 4202560 2141 0 0 0 42 0 0 0 20 0 15 0 475326184 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297411733872 140298076821883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7723] ppid=7708 vsize=15151156 memory=7883947424654901348 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7723/stat : 7723 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475326184 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297410681312 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7724] ppid=7708 vsize=15151156 memory=7230637406672873578 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475326185 15514783744 22796 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92636 KiB
[startup+1.50077 s]
/proc/loadavg: 8.10 8.52 8.32 8/233 7724
/proc/meminfo: memFree=7202708/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 454 0 0 0 0 4 0 0 20 0 19 0 475326185 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7725] ppid=7708 vsize=15419460 memory=27720 CPUtime=117.32 cores=0,2,4,6
/proc/7710/task/7725/stat : 7725 (java) R 7708 7708 4780 0 -1 4202560 397 0 0 0 11731 1 0 0 20 0 19 0 475326286 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297400409072 140297680993392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7726] ppid=7708 vsize=15419460 memory=4872558044660077418 CPUtime=117.67 cores=0,2,4,6
/proc/7710/task/7726/stat : 7726 (java) R 7708 7708 4780 0 -1 4202560 7373 0 0 0 11753 14 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297399359656 140297677532324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7727] ppid=7708 vsize=15419460 memory=0 CPUtime=117 cores=0,2,4,6
/proc/7710/task/7727/stat : 7727 (java) R 7708 7708 4780 0 -1 4202560 305 0 0 0 11700 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297398305336 140297680993754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7728] ppid=7708 vsize=15419460 memory=0 CPUtime=117.08 cores=0,2,4,6
/proc/7710/task/7728/stat : 7728 (java) R 7708 7708 4780 0 -1 4202560 1773 0 0 0 11708 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297397251912 140297677532324 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 476.45 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1166672 KiB
[startup+120.801 s]
/proc/loadavg: 8.52 8.49 8.34 9/237 7735
/proc/meminfo: memFree=6219516/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
[pid=7710] ppid=7708 vsize=15419460 memory=1165220 CPUtime=479.6 cores=0,2,4,6
/proc/7710/stat : 7710 (java) S 7708 7708 4780 0 -1 1077944320 52050 0 0 0 47918 42 0 0 20 0 19 0 475326179 15789527040 291305 33554432000 4194304 4196468 140724877420784 140724877403328 140298083725047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
/proc/7710/statm: 3854865 291305 3531 1 0 3815965 0
[pid=7710/tid=7711] ppid=7708 vsize=15419460 memory=612 CPUtime=1.04 cores=0,2,4,6
/proc/7710/task/7711/stat : 7711 (java) S 7708 7708 4780 0 -1 1077944384 9039 0 0 0 99 5 0 0 20 0 19 0 475326179 15789527040 291305 33554432000 4194304 4196468 140724877420784 140298087965824 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7712] ppid=7708 vsize=15419460 memory=8112282956445269571 CPUtime=0.12 cores=0,2,4,6
/proc/7710/task/7712/stat : 7712 (java) S 7708 7708 4780 0 -1 1077944384 771 0 0 0 8 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297995381136 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7713] ppid=7708 vsize=15419460 memory=288230583166042426 CPUtime=0.11 cores=0,2,4,6
/proc/7710/task/7713/stat : 7713 (java) S 7708 7708 4780 0 -1 1077944384 1579 0 0 0 8 3 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297994328336 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7714] ppid=7708 vsize=15419460 memory=15262532197681710 CPUtime=0.12 cores=0,2,4,6
/proc/7710/task/7714/stat : 7714 (java) S 7708 7708 4780 0 -1 1077944384 436 0 0 0 8 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297673632400 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7715] ppid=7708 vsize=15419460 memory=3680 CPUtime=0.13 cores=0,2,4,6
/proc/7710/task/7715/stat : 7715 (java) S 7708 7708 4780 0 -1 1077944384 402 0 0 0 9 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297672579600 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7716] ppid=7708 vsize=15419460 memory=848 CPUtime=0.02 cores=0,2,4,6
/proc/7710/task/7716/stat : 7716 (java) S 7708 7708 4780 0 -1 1077944384 1859 0 0 0 2 0 0 0 20 0 19 0 475326181 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297418050160 140298083736194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7717] ppid=7708 vsize=15419460 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7717/stat : 7717 (java) S 7708 7708 4780 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475326181 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297416996192 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7718] ppid=7708 vsize=15419460 memory=1165220 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7718/stat : 7718 (java) S 7708 7708 4780 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475326182 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297415943808 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7719] ppid=7708 vsize=15419460 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7719/stat : 7719 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297414892112 140298083743643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7720] ppid=7708 vsize=15419460 memory=4872558044660077418 CPUtime=2.4 cores=0,2,4,6
/proc/7710/task/7720/stat : 7720 (java) S 7708 7708 4780 0 -1 1077944384 9071 0 0 0 240 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297413838960 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7721] ppid=7708 vsize=15419460 memory=6656426216303648864 CPUtime=2.46 cores=0,2,4,6
/proc/7710/task/7721/stat : 7721 (java) S 7708 7708 4780 0 -1 1077944384 10076 0 0 0 245 1 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297412786160 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7722] ppid=7708 vsize=15419460 memory=6655300316396806240 CPUtime=0.82 cores=0,2,4,6
/proc/7710/task/7722/stat : 7722 (java) S 7708 7708 4780 0 -1 1077944384 7200 0 0 0 81 1 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297411733872 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7723] ppid=7708 vsize=15419460 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7723/stat : 7723 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297410681312 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7724] ppid=7708 vsize=15419460 memory=-3252517613198930781 CPUtime=0.04 cores=0,2,4,6
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 454 0 0 0 0 4 0 0 20 0 19 0 475326185 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7725] ppid=7708 vsize=15419460 memory=7306052883368667490 CPUtime=118.11 cores=0,2,4,6
/proc/7710/task/7725/stat : 7725 (java) R 7708 7708 4780 0 -1 4202560 397 0 0 0 11810 1 0 0 20 0 19 0 475326286 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297400409072 140297680744946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7726] ppid=7708 vsize=15419460 memory=8112282956445269571 CPUtime=118.46 cores=0,2,4,6
/proc/7710/task/7726/stat : 7726 (java) R 7708 7708 4780 0 -1 4202560 7382 0 0 0 11832 14 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297399359656 140297680713970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7727] ppid=7708 vsize=15419460 memory=3848 CPUtime=117.78 cores=0,2,4,6
/proc/7710/task/7727/stat : 7727 (java) R 7708 7708 4780 0 -1 4202560 305 0 0 0 11778 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297398305336 140297680714934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7728] ppid=7708 vsize=15419460 memory=0 CPUtime=117.87 cores=0,2,4,6
/proc/7710/task/7728/stat : 7728 (java) R 7708 7708 4780 0 -1 4202560 1780 0 0 0 11787 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297397251912 140297682972119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 479.6 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1166672 KiB
[startup+121.201 s]
/proc/loadavg: 8.52 8.49 8.34 9/237 7736
/proc/meminfo: memFree=6219004/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
[pid=7710] ppid=7708 vsize=15419460 memory=1165220 CPUtime=481.19 cores=0,2,4,6
/proc/7710/stat : 7710 (java) S 7708 7708 4780 0 -1 1077944320 52060 0 0 0 48077 42 0 0 20 0 19 0 475326179 15789527040 291305 33554432000 4194304 4196468 140724877420784 140724877403328 140298083725047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
/proc/7710/statm: 3854865 291305 3531 1 0 3815965 0
[pid=7710/tid=7711] ppid=7708 vsize=15419460 memory=1980 CPUtime=1.04 cores=0,2,4,6
/proc/7710/task/7711/stat : 7711 (java) S 7708 7708 4780 0 -1 1077944384 9039 0 0 0 99 5 0 0 20 0 19 0 475326179 15789527040 291305 33554432000 4194304 4196468 140724877420784 140298087965824 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7712] ppid=7708 vsize=15419460 memory=2540 CPUtime=0.12 cores=0,2,4,6
/proc/7710/task/7712/stat : 7712 (java) S 7708 7708 4780 0 -1 1077944384 771 0 0 0 8 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297995381136 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7713] ppid=7708 vsize=15419460 memory=1760 CPUtime=0.11 cores=0,2,4,6
/proc/7710/task/7713/stat : 7713 (java) S 7708 7708 4780 0 -1 1077944384 1579 0 0 0 8 3 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297994328336 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7714] ppid=7708 vsize=15419460 memory=111636 CPUtime=0.12 cores=0,2,4,6
/proc/7710/task/7714/stat : 7714 (java) S 7708 7708 4780 0 -1 1077944384 436 0 0 0 8 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297673632400 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7715] ppid=7708 vsize=15419460 memory=804 CPUtime=0.13 cores=0,2,4,6
/proc/7710/task/7715/stat : 7715 (java) S 7708 7708 4780 0 -1 1077944384 402 0 0 0 9 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297672579600 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7716] ppid=7708 vsize=15419460 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/7710/task/7716/stat : 7716 (java) S 7708 7708 4780 0 -1 1077944384 1859 0 0 0 2 0 0 0 20 0 19 0 475326181 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297418050160 140298083736194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7717] ppid=7708 vsize=15419460 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7717/stat : 7717 (java) S 7708 7708 4780 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475326181 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297416996192 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7718] ppid=7708 vsize=15419460 memory=920 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7718/stat : 7718 (java) S 7708 7708 4780 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475326182 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297415943808 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7719] ppid=7708 vsize=15419460 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7719/stat : 7719 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297414892112 140298083743643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7720] ppid=7708 vsize=15419460 memory=2596 CPUtime=2.4 cores=0,2,4,6
/proc/7710/task/7720/stat : 7720 (java) S 7708 7708 4780 0 -1 1077944384 9071 0 0 0 240 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297413838960 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7721] ppid=7708 vsize=15419460 memory=2652 CPUtime=2.46 cores=0,2,4,6
/proc/7710/task/7721/stat : 7721 (java) S 7708 7708 4780 0 -1 1077944384 10076 0 0 0 245 1 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297412786160 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7722] ppid=7708 vsize=15419460 memory=1412 CPUtime=0.82 cores=0,2,4,6
/proc/7710/task/7722/stat : 7722 (java) S 7708 7708 4780 0 -1 1077944384 7200 0 0 0 81 1 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297411733872 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7723] ppid=7708 vsize=15419460 memory=3416 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7723/stat : 7723 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297410681312 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7724] ppid=7708 vsize=15419460 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 456 0 0 0 0 4 0 0 20 0 19 0 475326185 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7725] ppid=7708 vsize=15419460 memory=3571616 CPUtime=118.51 cores=0,2,4,6
/proc/7710/task/7725/stat : 7725 (java) R 7708 7708 4780 0 -1 4202560 398 0 0 0 11850 1 0 0 20 0 19 0 475326286 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297400409072 140297681136140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7726] ppid=7708 vsize=15419460 memory=1412 CPUtime=118.86 cores=0,2,4,6
/proc/7710/task/7726/stat : 7726 (java) R 7708 7708 4780 0 -1 4202560 7387 0 0 0 11872 14 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297399359656 140297682656189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7727] ppid=7708 vsize=15419460 memory=3200 CPUtime=118.18 cores=0,2,4,6
/proc/7710/task/7727/stat : 7727 (java) R 7708 7708 4780 0 -1 4202560 305 0 0 0 11818 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297398305336 140297680817077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7728] ppid=7708 vsize=15419460 memory=1452 CPUtime=118.25 cores=0,2,4,6
/proc/7710/task/7728/stat : 7728 (java) R 7708 7708 4780 0 -1 4202560 1782 0 0 0 11825 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297397251912 140297680714882 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 481.19 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1166672 KiB
[startup+121.301 s]
/proc/loadavg: 8.52 8.49 8.34 9/237 7736
/proc/meminfo: memFree=6219004/32770624 swapFree=66997188/67108860
[pid=7708] ppid=7705 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (xcsp3-exec) S 7705 7708 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475326178 115843072 363 33554432000 4194304 5098028 140737372222032 140737372220136 140045093638780 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 8241152 140737372230486 140737372230745 140737372230745 140737372233670 0
/proc/7708/statm: 28282 363 304 221 0 87 0
[pid=7710] ppid=7708 vsize=15419460 memory=1165220 CPUtime=481.59 cores=0,2,4,6
/proc/7710/stat : 7710 (java) S 7708 7708 4780 0 -1 1077944320 52064 0 0 0 48117 42 0 0 20 0 19 0 475326179 15789527040 291305 33554432000 4194304 4196468 140724877420784 140724877403328 140298083725047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
/proc/7710/statm: 3854865 291305 3531 1 0 3815965 0
[pid=7710/tid=7711] ppid=7708 vsize=15419460 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/7710/task/7711/stat : 7711 (java) S 7708 7708 4780 0 -1 1077944384 9039 0 0 0 99 5 0 0 20 0 19 0 475326179 15789527040 291305 33554432000 4194304 4196468 140724877420784 140298087965824 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7712] ppid=7708 vsize=15419460 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/7710/task/7712/stat : 7712 (java) S 7708 7708 4780 0 -1 1077944384 771 0 0 0 8 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297995381136 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7713] ppid=7708 vsize=15419460 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/7710/task/7713/stat : 7713 (java) S 7708 7708 4780 0 -1 1077944384 1579 0 0 0 8 3 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297994328336 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7714] ppid=7708 vsize=15419460 memory=1165124 CPUtime=0.12 cores=0,2,4,6
/proc/7710/task/7714/stat : 7714 (java) S 7708 7708 4780 0 -1 1077944384 436 0 0 0 8 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297673632400 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7715] ppid=7708 vsize=15419460 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/7710/task/7715/stat : 7715 (java) S 7708 7708 4780 0 -1 1077944384 402 0 0 0 9 4 0 0 20 0 19 0 475326180 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297672579600 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7716] ppid=7708 vsize=15419460 memory=1165124 CPUtime=0.02 cores=0,2,4,6
/proc/7710/task/7716/stat : 7716 (java) S 7708 7708 4780 0 -1 1077944384 1859 0 0 0 2 0 0 0 20 0 19 0 475326181 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297418050160 140298083736194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7717] ppid=7708 vsize=15419460 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7717/stat : 7717 (java) S 7708 7708 4780 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475326181 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297416996192 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7718] ppid=7708 vsize=15419460 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7718/stat : 7718 (java) S 7708 7708 4780 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475326182 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297415943808 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7719] ppid=7708 vsize=15419460 memory=11279 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7719/stat : 7719 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297414892112 140298083743643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7720] ppid=7708 vsize=15419460 memory=11297 CPUtime=2.4 cores=0,2,4,6
/proc/7710/task/7720/stat : 7720 (java) S 7708 7708 4780 0 -1 1077944384 9071 0 0 0 240 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297413838960 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7721] ppid=7708 vsize=15419460 memory=1165220 CPUtime=2.46 cores=0,2,4,6
/proc/7710/task/7721/stat : 7721 (java) S 7708 7708 4780 0 -1 1077944384 10076 0 0 0 245 1 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297412786160 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7722] ppid=7708 vsize=15419460 memory=3624 CPUtime=0.82 cores=0,2,4,6
/proc/7710/task/7722/stat : 7722 (java) S 7708 7708 4780 0 -1 1077944384 7200 0 0 0 81 1 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297411733872 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7723] ppid=7708 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7710/task/7723/stat : 7723 (java) S 7708 7708 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475326184 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297410681312 140298083735253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7724] ppid=7708 vsize=15419460 memory=279363731852624 CPUtime=0.04 cores=0,2,4,6
/proc/7710/task/7724/stat : 7724 (java) S 7708 7708 4780 0 -1 1077944384 456 0 0 0 0 4 0 0 20 0 19 0 475326185 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297409629104 140298083736194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7725] ppid=7708 vsize=15419460 memory=0 CPUtime=118.61 cores=0,2,4,6
/proc/7710/task/7725/stat : 7725 (java) R 7708 7708 4780 0 -1 4202560 398 0 0 0 11860 1 0 0 20 0 19 0 475326286 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297400409072 140297680990782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7726] ppid=7708 vsize=15419460 memory=0 CPUtime=118.96 cores=0,2,4,6
/proc/7710/task/7726/stat : 7726 (java) R 7708 7708 4780 0 -1 4202560 7391 0 0 0 11882 14 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297399359656 140297680745573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7727] ppid=7708 vsize=15419460 memory=1452 CPUtime=118.28 cores=0,2,4,6
/proc/7710/task/7727/stat : 7727 (java) R 7708 7708 4780 0 -1 4202560 305 0 0 0 11828 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297398305336 140297680745144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
[pid=7710/tid=7728] ppid=7708 vsize=15419460 memory=1452 CPUtime=118.35 cores=0,2,4,6
/proc/7710/task/7728/stat : 7728 (java) R 7708 7708 4780 0 -1 4202560 1782 0 0 0 11835 0 0 0 20 0 19 0 475326287 15789527040 291305 33554432000 4194304 4196468 140724877420784 140297397251912 140297681241872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38047744 140724877423579 140724877423754 140724877423754 140724877426639 0
Current children cumulated CPU time: 481.59 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1166672 KiB
Child status: 0
Real time (s): 121.33
CPU time (s): 481.68
CPU user time (s): 481.238
CPU system time (s): 0.44146
CPU usage (%): 397
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1166672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 481.238
system time used= 0.44146
maximum resident set size= 1167688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53599
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= 5512
involuntary context switches= 8258
# summary of solver processes directly reported to runsolver:
# pid: 7708
# total CPU time (s): 481.68
# total CPU user time (s): 481.238
# total CPU system time (s): 0.44146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.877389 second user time and 1.29913 second system time
The end