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 (13195 MiB free)
memory of node 1: 16384 MiB (15398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399330-1568698285/watcher-4399330-1568698285 -o /tmp/evaluation-result-4399330-1568698285/solver-4399330-1568698285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568698192-7961 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 970073354 HOME/instance-4399330-1568698285.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=8260, runsolver pid=8257
[startup+0.100059 s]*
/proc/loadavg: 5.66 2.55 1.72 7/235 8276
/proc/meminfo: memFree=29263300/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
[pid=8262] ppid=8260 vsize=15144776 memory=29676 CPUtime=0.13 cores=1,3,5,7
/proc/8262/stat : 8262 (java) S 8260 8260 7929 0 -1 1077944320 5831 0 0 0 12 1 0 0 20 0 15 0 446095317 15508250624 7419 33554432000 4194304 4196468 140729607826784 140729607809328 140553396821751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
/proc/8262/statm: 3786194 7419 3146 1 0 3748377 0
[pid=8262/tid=8263] ppid=8260 vsize=15144776 memory=7100839878610879602 CPUtime=0.09 cores=1,3,5,7
/proc/8262/task/8263/stat : 8263 (java) R 8260 8260 7929 0 -1 4202560 3743 0 0 0 8 1 0 0 20 0 15 0 446095318 15508250624 7419 33554432000 4194304 4196468 140729607826784 140553401046160 140553396843677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8264] ppid=8260 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8264/stat : 8264 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 7419 33554432000 4194304 4196468 140729607826784 140553349441936 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8265] ppid=8260 vsize=15144776 memory=140084577904256 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8265/stat : 8265 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 7419 33554432000 4194304 4196468 140729607826784 140553348389136 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8266] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8266/stat : 8266 (java) S 8260 8260 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 7419 33554432000 4194304 4196468 140729607826784 140553347336848 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8267] ppid=8260 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8267/stat : 8267 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 7419 33554432000 4194304 4196468 140729607826784 140553346284048 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8268] ppid=8260 vsize=15144776 memory=140084577904256 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8268/stat : 8268 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095320 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552539384432 140553396832898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8269] ppid=8260 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8269/stat : 8269 (java) S 8260 8260 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446095320 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552538330400 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8270] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8270/stat : 8270 (java) S 8260 8260 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446095321 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552469210736 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8271] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8271/stat : 8271 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446095323 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552468159056 140553396840347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8272] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8272/stat : 8272 (java) R 8260 8260 7929 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 15 0 446095323 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552467097552 140553374654608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8273] ppid=8260 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8273/stat : 8273 (java) R 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446095323 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552466053104 140553396832898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8274] ppid=8260 vsize=15144776 memory=140084577904256 CPUtime=0.02 cores=1,3,5,7
/proc/8262/task/8274/stat : 8274 (java) S 8260 8260 7929 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 446095323 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552465000816 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8275] ppid=8260 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8275/stat : 8275 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446095323 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552463948256 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8276] ppid=8260 vsize=15144776 memory=140084577904256 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446095324 15508250624 7419 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31128 KiB
[startup+0.210868 s]*
/proc/loadavg: 5.66 2.55 1.72 7/235 8276
/proc/meminfo: memFree=29250776/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
[pid=8262] ppid=8260 vsize=15144776 memory=41148 CPUtime=0.34 cores=1,3,5,7
/proc/8262/stat : 8262 (java) S 8260 8260 7929 0 -1 1077944320 9462 0 0 0 32 2 0 0 20 0 15 0 446095317 15508250624 10287 33554432000 4194304 4196468 140729607826784 140729607809328 140553396821751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
/proc/8262/statm: 3786194 10287 3326 1 0 3748377 0
[pid=8262/tid=8263] ppid=8260 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8262/task/8263/stat : 8263 (java) R 8260 8260 7929 0 -1 4202560 6634 0 0 0 18 2 0 0 20 0 15 0 446095318 15508250624 10287 33554432000 4194304 4196468 140729607826784 140553401054480 140553380902238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8264] ppid=8260 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8264/stat : 8264 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 10287 33554432000 4194304 4196468 140729607826784 140553349441936 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8265] ppid=8260 vsize=15144776 memory=140084581191824 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8265/stat : 8265 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 10287 33554432000 4194304 4196468 140729607826784 140553348389136 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8266] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8266/stat : 8266 (java) S 8260 8260 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 10287 33554432000 4194304 4196468 140729607826784 140553347336848 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8267] ppid=8260 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8267/stat : 8267 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15508250624 10287 33554432000 4194304 4196468 140729607826784 140553346284048 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8268] ppid=8260 vsize=15144776 memory=140084577904256 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8268/stat : 8268 (java) S 8260 8260 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446095320 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552539384432 140553396832898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8269] ppid=8260 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8269/stat : 8269 (java) S 8260 8260 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446095320 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552538330400 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8270] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8270/stat : 8270 (java) S 8260 8260 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446095321 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552469210736 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8271] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8271/stat : 8271 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446095323 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552468159056 140553396840347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8272] ppid=8260 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8262/task/8272/stat : 8272 (java) S 8260 8260 7929 0 -1 1077944384 661 0 0 0 3 0 0 0 20 0 15 0 446095323 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552467105904 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8273] ppid=8260 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8262/task/8273/stat : 8273 (java) S 8260 8260 7929 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 446095323 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552466053104 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8274] ppid=8260 vsize=15144776 memory=140084577904256 CPUtime=0.08 cores=1,3,5,7
/proc/8262/task/8274/stat : 8274 (java) S 8260 8260 7929 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 446095323 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552465000816 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8275] ppid=8260 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8275/stat : 8275 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446095323 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552463948256 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8276] ppid=8260 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446095324 15508250624 10287 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42600 KiB
[startup+0.310687 s]*
/proc/loadavg: 5.66 2.55 1.72 7/235 8276
/proc/meminfo: memFree=29243844/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
[pid=8262] ppid=8260 vsize=15149032 memory=49988 CPUtime=0.53 cores=1,3,5,7
/proc/8262/stat : 8262 (java) S 8260 8260 7929 0 -1 1077944320 10874 0 0 0 50 3 0 0 20 0 15 0 446095317 15512608768 12497 33554432000 4194304 4196468 140729607826784 140729607809328 140553396821751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
/proc/8262/statm: 3787258 12497 3361 1 0 3748377 0
[pid=8262/tid=8263] ppid=8260 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/8262/task/8263/stat : 8263 (java) R 8260 8260 7929 0 -1 4202560 7826 0 0 0 27 2 0 0 20 0 15 0 446095318 15512608768 12568 33554432000 4194304 4196468 140729607826784 140553401052864 140553380902238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8264] ppid=8260 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8264/stat : 8264 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15512608768 12568 33554432000 4194304 4196468 140729607826784 140553349441936 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8265] ppid=8260 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8265/stat : 8265 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15512608768 12568 33554432000 4194304 4196468 140729607826784 140553348389136 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8266] ppid=8260 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8266/stat : 8266 (java) S 8260 8260 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446095319 15512608768 12568 33554432000 4194304 4196468 140729607826784 140553347336848 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8267] ppid=8260 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8267/stat : 8267 (java) S 8260 8260 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446095319 15512608768 12568 33554432000 4194304 4196468 140729607826784 140553346284048 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8268] ppid=8260 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8268/stat : 8268 (java) S 8260 8260 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446095320 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552539384432 140553396832898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8269] ppid=8260 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8269/stat : 8269 (java) S 8260 8260 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446095320 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552538330400 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8270] ppid=8260 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8270/stat : 8270 (java) S 8260 8260 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446095321 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552469210736 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8271] ppid=8260 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8271/stat : 8271 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446095323 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552468159056 140553396840347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8272] ppid=8260 vsize=15149032 memory=-8412660965215072671 CPUtime=0.05 cores=1,3,5,7
/proc/8262/task/8272/stat : 8272 (java) R 8260 8260 7929 0 -1 4202560 766 0 0 0 5 0 0 0 20 0 15 0 446095323 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552467105088 140553374083008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8273] ppid=8260 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8262/task/8273/stat : 8273 (java) S 8260 8260 7929 0 -1 1077944384 143 0 0 0 4 0 0 0 20 0 15 0 446095323 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552466053104 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8274] ppid=8260 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8262/task/8274/stat : 8274 (java) S 8260 8260 7929 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 446095323 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552465000816 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8275] ppid=8260 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8275/stat : 8275 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446095323 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552463948256 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8276] ppid=8260 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446095324 15512608768 12568 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51440 KiB
[startup+0.701279 s]
/proc/loadavg: 5.66 2.55 1.72 8/236 8328
/proc/meminfo: memFree=29134628/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
[pid=8262] ppid=8260 vsize=15486032 memory=187652 CPUtime=1.62 cores=1,3,5,7
/proc/8262/stat : 8262 (java) S 8260 8260 7929 0 -1 1077944320 18035 0 0 0 154 8 0 0 20 0 19 0 446095317 15857696768 46913 33554432000 4194304 4196468 140729607826784 140729607809328 140553396821751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
/proc/8262/statm: 3871508 46913 3478 1 0 3832608 0
[pid=8262/tid=8263] ppid=8260 vsize=15486032 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/8262/task/8263/stat : 8263 (java) S 8260 8260 7929 0 -1 1077944384 9053 0 0 0 42 3 0 0 20 0 19 0 446095318 15857696768 46913 33554432000 4194304 4196468 140729607826784 140553401062528 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8264] ppid=8260 vsize=15486032 memory=47216 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8264/stat : 8264 (java) S 8260 8260 7929 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 446095319 15857696768 46913 33554432000 4194304 4196468 140729607826784 140553349441936 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8265] ppid=8260 vsize=15486032 memory=984 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8265/stat : 8265 (java) S 8260 8260 7929 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446095319 15857696768 46913 33554432000 4194304 4196468 140729607826784 140553348389136 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8266] ppid=8260 vsize=15486032 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8266/stat : 8266 (java) S 8260 8260 7929 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 446095319 15857696768 46913 33554432000 4194304 4196468 140729607826784 140553347336848 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8267] ppid=8260 vsize=15486032 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8267/stat : 8267 (java) S 8260 8260 7929 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 446095319 15857696768 46913 33554432000 4194304 4196468 140729607826784 140553346284048 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8268] ppid=8260 vsize=15486032 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8268/stat : 8268 (java) S 8260 8260 7929 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 446095320 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552539384432 140553396832898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8269] ppid=8260 vsize=15486032 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8269/stat : 8269 (java) S 8260 8260 7929 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446095320 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552538330464 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8270] ppid=8260 vsize=15486032 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8270/stat : 8270 (java) S 8260 8260 7929 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446095321 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552469210752 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8271] ppid=8260 vsize=15486032 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8271/stat : 8271 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552468159056 140553396840347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8272] ppid=8260 vsize=15486032 memory=10564 CPUtime=0.27 cores=1,3,5,7
/proc/8262/task/8272/stat : 8272 (java) R 8260 8260 7929 0 -1 4202560 1330 0 0 0 27 0 0 0 20 0 19 0 446095323 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552467106032 140553380348392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8273] ppid=8260 vsize=15486032 memory=716 CPUtime=0.24 cores=1,3,5,7
/proc/8262/task/8273/stat : 8273 (java) R 8260 8260 7929 0 -1 1077944384 829 0 0 0 24 0 0 0 20 0 19 0 446095323 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552466037616 140553396831957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8274] ppid=8260 vsize=15486032 memory=780 CPUtime=0.31 cores=1,3,5,7
/proc/8262/task/8274/stat : 8274 (java) R 8260 8260 7929 0 -1 4202560 1780 0 0 0 31 0 0 0 20 0 19 0 446095323 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552465000816 140553380902238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8275] ppid=8260 vsize=15486032 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8275/stat : 8275 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552463948256 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8276] ppid=8260 vsize=15486032 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446095324 15857696768 46913 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 189104 KiB
[startup+1.50124 s]
/proc/loadavg: 5.66 2.55 1.72 12/239 8528
/proc/meminfo: memFree=29094956/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446095324 15857696768 83244 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8541] ppid=8260 vsize=15486032 memory=6944656575208382560 CPUtime=7.3 cores=1,3,5,7
/proc/8262/task/8541/stat : 8541 (java) R 8260 8260 7929 0 -1 4202560 143 0 0 0 730 0 0 0 20 0 19 0 446095439 15857696768 83244 33554432000 4194304 4196468 140729607826784 140552453916800 140729608989056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8542] ppid=8260 vsize=15486032 memory=6944656592455360604 CPUtime=7.11 cores=1,3,5,7
/proc/8262/task/8542/stat : 8542 (java) R 8260 8260 7929 0 -1 4202560 175 0 0 0 711 0 0 0 20 0 19 0 446095440 15857696768 83244 33554432000 4194304 4196468 140729607826784 140552447599384 140553027281438 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8543] ppid=8260 vsize=15486032 memory=7516623705262219884 CPUtime=7.35 cores=1,3,5,7
/proc/8262/task/8543/stat : 8543 (java) R 8260 8260 7929 0 -1 4202560 318 0 0 0 735 0 0 0 20 0 19 0 446095440 15857696768 83244 33554432000 4194304 4196468 140729607826784 140552451809584 140553026818263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8544] ppid=8260 vsize=15486032 memory=6441370576508249454 CPUtime=7.24 cores=1,3,5,7
/proc/8262/task/8544/stat : 8544 (java) R 8260 8260 7929 0 -1 4202560 339 0 0 0 724 0 0 0 20 0 19 0 446095440 15857696768 83244 33554432000 4194304 4196468 140729607826784 140552448651528 140553026565307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 33.71 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 334428 KiB
[startup+9.20124 s]
/proc/loadavg: 6.17 2.76 1.80 9/239 8545
/proc/meminfo: memFree=28957560/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
[pid=8262] ppid=8260 vsize=15486032 memory=335024 CPUtime=35.3 cores=1,3,5,7
/proc/8262/stat : 8262 (java) S 8260 8260 7929 0 -1 1077944320 27101 0 0 0 3517 13 0 0 20 0 19 0 446095317 15857696768 83756 33554432000 4194304 4196468 140729607826784 140729607809328 140553396821751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
/proc/8262/statm: 3871508 83756 3514 1 0 3832608 0
[pid=8262/tid=8263] ppid=8260 vsize=15486032 memory=6656426216303648864 CPUtime=0.46 cores=1,3,5,7
/proc/8262/task/8263/stat : 8263 (java) S 8260 8260 7929 0 -1 1077944384 9053 0 0 0 43 3 0 0 20 0 19 0 446095318 15857696768 83756 33554432000 4194304 4196468 140729607826784 140553401062528 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8264] ppid=8260 vsize=15486032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8264/stat : 8264 (java) S 8260 8260 7929 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83756 33554432000 4194304 4196468 140729607826784 140553349441936 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8265] ppid=8260 vsize=15486032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8265/stat : 8265 (java) S 8260 8260 7929 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83756 33554432000 4194304 4196468 140729607826784 140553348389136 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8266] ppid=8260 vsize=15486032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8266/stat : 8266 (java) S 8260 8260 7929 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83756 33554432000 4194304 4196468 140729607826784 140553347336848 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8267] ppid=8260 vsize=15486032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8267/stat : 8267 (java) S 8260 8260 7929 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83756 33554432000 4194304 4196468 140729607826784 140553346284048 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8268] ppid=8260 vsize=15486032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8268/stat : 8268 (java) S 8260 8260 7929 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 19 0 446095320 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552539384432 140553396832898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8269] ppid=8260 vsize=15486032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8269/stat : 8269 (java) S 8260 8260 7929 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446095320 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552538330464 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8270] ppid=8260 vsize=15486032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8270/stat : 8270 (java) S 8260 8260 7929 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446095321 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552469210752 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8271] ppid=8260 vsize=15486032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8271/stat : 8271 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552468159056 140553396840347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8272] ppid=8260 vsize=15486032 memory=3620 CPUtime=1.17 cores=1,3,5,7
/proc/8262/task/8272/stat : 8272 (java) S 8260 8260 7929 0 -1 1077944384 3287 0 0 0 117 0 0 0 20 0 19 0 446095323 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552467105904 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8273] ppid=8260 vsize=15486032 memory=47216 CPUtime=1.12 cores=1,3,5,7
/proc/8262/task/8273/stat : 8273 (java) S 8260 8260 7929 0 -1 1077944384 3719 0 0 0 112 0 0 0 20 0 19 0 446095323 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552466053104 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8274] ppid=8260 vsize=15486032 memory=5007931868294 CPUtime=0.46 cores=1,3,5,7
/proc/8262/task/8274/stat : 8274 (java) S 8260 8260 7929 0 -1 1077944384 2953 0 0 0 46 0 0 0 20 0 19 0 446095323 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552465000816 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8275] ppid=8260 vsize=15486032 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8275/stat : 8275 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552463948256 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8276] ppid=8260 vsize=15486032 memory=334520 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446095324 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8541] ppid=8260 vsize=15486032 memory=8836 CPUtime=7.7 cores=1,3,5,7
/proc/8262/task/8541/stat : 8541 (java) R 8260 8260 7929 0 -1 4202560 144 0 0 0 770 0 0 0 20 0 19 0 446095439 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552453914336 140553027449744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8542] ppid=8260 vsize=15486032 memory=11044 CPUtime=7.5 cores=1,3,5,7
/proc/8262/task/8542/stat : 8542 (java) R 8260 8260 7929 0 -1 4202560 175 0 0 0 750 0 0 0 20 0 19 0 446095440 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552447598944 140553026681286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8543] ppid=8260 vsize=15486032 memory=13252 CPUtime=7.75 cores=1,3,5,7
/proc/8262/task/8543/stat : 8543 (java) R 8260 8260 7929 0 -1 4202560 320 0 0 0 775 0 0 0 20 0 19 0 446095440 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552451809832 140553027048008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8544] ppid=8260 vsize=15486032 memory=15460 CPUtime=7.63 cores=1,3,5,7
/proc/8262/task/8544/stat : 8544 (java) R 8260 8260 7929 0 -1 4202560 340 0 0 0 763 0 0 0 20 0 19 0 446095440 15857696768 83756 33554432000 4194304 4196468 140729607826784 140552448652960 140553027855224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 35.3 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 336476 KiB
[startup+9.60124 s]
/proc/loadavg: 6.17 2.76 1.80 9/239 8545
/proc/meminfo: memFree=28957560/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
[pid=8262] ppid=8260 vsize=15486032 memory=334036 CPUtime=36.89 cores=1,3,5,7
/proc/8262/stat : 8262 (java) S 8260 8260 7929 0 -1 1077944320 27601 0 0 0 3676 13 0 0 20 0 19 0 446095317 15857696768 83509 33554432000 4194304 4196468 140729607826784 140729607809328 140553396821751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
/proc/8262/statm: 3871508 83509 3515 1 0 3832608 0
[pid=8262/tid=8263] ppid=8260 vsize=15486032 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/8262/task/8263/stat : 8263 (java) S 8260 8260 7929 0 -1 1077944384 9053 0 0 0 43 3 0 0 20 0 19 0 446095318 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553401062528 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8264] ppid=8260 vsize=15486032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8262/task/8264/stat : 8264 (java) S 8260 8260 7929 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553349441936 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8265] ppid=8260 vsize=15486032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8262/task/8265/stat : 8265 (java) S 8260 8260 7929 0 -1 1077944384 167 0 0 0 1 1 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553348389136 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8266] ppid=8260 vsize=15486032 memory=3620 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8266/stat : 8266 (java) S 8260 8260 7929 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553347336848 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8267] ppid=8260 vsize=15486032 memory=47216 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8267/stat : 8267 (java) S 8260 8260 7929 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553346284048 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8268] ppid=8260 vsize=15486032 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8268/stat : 8268 (java) S 8260 8260 7929 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 19 0 446095320 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552539384432 140553396832898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8269] ppid=8260 vsize=15486032 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8269/stat : 8269 (java) S 8260 8260 7929 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446095320 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552538330464 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8270] ppid=8260 vsize=15486032 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8270/stat : 8270 (java) S 8260 8260 7929 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446095321 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552469210752 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8271] ppid=8260 vsize=15486032 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8271/stat : 8271 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552468159056 140553396840347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8272] ppid=8260 vsize=15486032 memory=140084452141720 CPUtime=1.17 cores=1,3,5,7
/proc/8262/task/8272/stat : 8272 (java) S 8260 8260 7929 0 -1 1077944384 3434 0 0 0 117 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552467105904 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8273] ppid=8260 vsize=15486032 memory=6655300316396806240 CPUtime=1.17 cores=1,3,5,7
/proc/8262/task/8273/stat : 8273 (java) S 8260 8260 7929 0 -1 1077944384 4050 0 0 0 117 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552466053104 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8274] ppid=8260 vsize=15486032 memory=6441370576508249454 CPUtime=0.46 cores=1,3,5,7
/proc/8262/task/8274/stat : 8274 (java) S 8260 8260 7929 0 -1 1077944384 2953 0 0 0 46 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552465000816 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8275] ppid=8260 vsize=15486032 memory=7512114543601282149 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8275/stat : 8275 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552463948256 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8276] ppid=8260 vsize=15486032 memory=5938091239399854508 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446095324 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8541] ppid=8260 vsize=15486032 memory=101 CPUtime=8.09 cores=1,3,5,7
/proc/8262/task/8541/stat : 8541 (java) R 8260 8260 7929 0 -1 4202560 144 0 0 0 809 0 0 0 20 0 19 0 446095439 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552453916968 140553026681258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8542] ppid=8260 vsize=15486032 memory=110 CPUtime=7.89 cores=1,3,5,7
/proc/8262/task/8542/stat : 8542 (java) R 8260 8260 7929 0 -1 4202560 192 0 0 0 789 0 0 0 20 0 19 0 446095440 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552447599144 140553027880288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8543] ppid=8260 vsize=15486032 memory=100 CPUtime=8.14 cores=1,3,5,7
/proc/8262/task/8543/stat : 8543 (java) R 8260 8260 7929 0 -1 4202560 320 0 0 0 814 0 0 0 20 0 19 0 446095440 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552451813488 140553027260348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8544] ppid=8260 vsize=15486032 memory=1452 CPUtime=7.99 cores=1,3,5,7
/proc/8262/task/8544/stat : 8544 (java) R 8260 8260 7929 0 -1 4202560 340 0 0 0 799 0 0 0 20 0 19 0 446095440 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552448651280 140553026958657 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 36.89 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 335488 KiB
[startup+9.70082 s]
/proc/loadavg: 6.17 2.76 1.80 9/239 8545
/proc/meminfo: memFree=28957560/32770624 swapFree=66967456/67108860
[pid=8260] ppid=8257 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8260/stat : 8260 (xcsp3-exec) S 8257 8260 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446095317 115843072 363 33554432000 4194304 5098028 140734523410912 140734523409016 140201856574076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7884800 140734523417467 140734523417709 140734523417709 140734523420618 0
/proc/8260/statm: 28282 363 304 221 0 87 0
[pid=8262] ppid=8260 vsize=15486032 memory=334036 CPUtime=37.29 cores=1,3,5,7
/proc/8262/stat : 8262 (java) S 8260 8260 7929 0 -1 1077944320 27637 0 0 0 3716 13 0 0 20 0 19 0 446095317 15857696768 83509 33554432000 4194304 4196468 140729607826784 140729607809328 140553396821751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
/proc/8262/statm: 3871508 83509 3515 1 0 3832608 0
[pid=8262/tid=8263] ppid=8260 vsize=15486032 memory=200604 CPUtime=0.46 cores=1,3,5,7
/proc/8262/task/8263/stat : 8263 (java) S 8260 8260 7929 0 -1 1077944384 9053 0 0 0 43 3 0 0 20 0 19 0 446095318 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553401062528 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8264] ppid=8260 vsize=15486032 memory=333764 CPUtime=0.02 cores=1,3,5,7
/proc/8262/task/8264/stat : 8264 (java) S 8260 8260 7929 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553349441936 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8265] ppid=8260 vsize=15486032 memory=186276 CPUtime=0.02 cores=1,3,5,7
/proc/8262/task/8265/stat : 8265 (java) S 8260 8260 7929 0 -1 1077944384 167 0 0 0 1 1 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553348389136 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8266] ppid=8260 vsize=15486032 memory=55 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8266/stat : 8266 (java) S 8260 8260 7929 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553347336848 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8267] ppid=8260 vsize=15486032 memory=7447099355966563437 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8267/stat : 8267 (java) S 8260 8260 7929 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 19 0 446095319 15857696768 83509 33554432000 4194304 4196468 140729607826784 140553346284048 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8268] ppid=8260 vsize=15486032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8262/task/8268/stat : 8268 (java) S 8260 8260 7929 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 19 0 446095320 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552539384432 140553396832898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8269] ppid=8260 vsize=15486032 memory=7306615687381228923 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8269/stat : 8269 (java) S 8260 8260 7929 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446095320 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552538330464 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8270] ppid=8260 vsize=15486032 memory=-7739291672887926688 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8270/stat : 8270 (java) S 8260 8260 7929 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446095321 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552469210752 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8271] ppid=8260 vsize=15486032 memory=331124 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8271/stat : 8271 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552468159056 140553396840347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8272] ppid=8260 vsize=15486032 memory=280168904492992 CPUtime=1.17 cores=1,3,5,7
/proc/8262/task/8272/stat : 8272 (java) S 8260 8260 7929 0 -1 1077944384 3434 0 0 0 117 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552467105904 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8273] ppid=8260 vsize=15486032 memory=984 CPUtime=1.17 cores=1,3,5,7
/proc/8262/task/8273/stat : 8273 (java) S 8260 8260 7929 0 -1 1077944384 4050 0 0 0 117 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552466053104 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8274] ppid=8260 vsize=15486032 memory=2004 CPUtime=0.46 cores=1,3,5,7
/proc/8262/task/8274/stat : 8274 (java) R 8260 8260 7929 0 -1 1077944384 2953 0 0 0 46 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552465000816 140553396832898 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8275] ppid=8260 vsize=15486032 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8275/stat : 8275 (java) S 8260 8260 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446095323 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552463948256 140553396831957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8276] ppid=8260 vsize=15486032 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8262/task/8276/stat : 8276 (java) S 8260 8260 7929 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446095324 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552462896048 140553396832898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8541] ppid=8260 vsize=15486032 memory=2983474679701833256 CPUtime=8.19 cores=1,3,5,7
/proc/8262/task/8541/stat : 8541 (java) R 8260 8260 7929 0 -1 4202560 147 0 0 0 819 0 0 0 20 0 19 0 446095439 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552453916968 140553026342693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8542] ppid=8260 vsize=15486032 memory=2983481444275324456 CPUtime=7.99 cores=1,3,5,7
/proc/8262/task/8542/stat : 8542 (java) R 8260 8260 7929 0 -1 4202560 212 0 0 0 799 0 0 0 20 0 19 0 446095440 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552447599144 140553027281438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8543] ppid=8260 vsize=15486032 memory=6055698175606392417 CPUtime=8.24 cores=1,3,5,7
/proc/8262/task/8543/stat : 8543 (java) R 8260 8260 7929 0 -1 4202560 324 0 0 0 824 0 0 0 20 0 19 0 446095440 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552451813488 140553026681360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
[pid=8262/tid=8544] ppid=8260 vsize=15486032 memory=4294968930 CPUtime=8.09 cores=1,3,5,7
/proc/8262/task/8544/stat : 8544 (java) R 8260 8260 7929 0 -1 4202560 349 0 0 0 809 0 0 0 20 0 19 0 446095440 15857696768 83509 33554432000 4194304 4196468 140729607826784 140552448651280 140553027854734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6549504 140729607828463 140729607828634 140729607828634 140729607831503 0
Current children cumulated CPU time: 37.29 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 335488 KiB
Child status: 0
Real time (s): 9.71841
CPU time (s): 37.3449
CPU user time (s): 37.2053
CPU system time (s): 0.139576
CPU usage (%): 384.27
Max. virtual memory (cumulated for all children) (KiB): 15599160
Max. memory (cumulated for all children) (KiB): 336476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2053
system time used= 0.139576
maximum resident set size= 337072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3957
involuntary context switches= 1140
# summary of solver processes directly reported to runsolver:
# pid: 8260
# total CPU time (s): 37.3449
# total CPU user time (s): 37.2053
# total CPU system time (s): 0.139576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074285 second user time and 0.162078 second system time
The end