2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT	198.079	32.7548
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 (14933 MiB free)
  memory of node 1: 16384 MiB (15606 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393601-1568431513/watcher-4393601-1568431513 -o /tmp/evaluation-result-4393601-1568431513/solver-4393601-1568431513 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1400481843 HOME/instance-4393601-1568431513.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8248, runsolver pid=8245

[startup+0.10014 s]*
/proc/loadavg: 6.98 7.52 7.71 3/212 8269
/proc/meminfo: memFree=31256356/32770624 swapFree=67000536/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 6587 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419065345 115843072 363 33554432000 4194304 5098028 140726439633696 140726439631800 140207370478204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21102592 140726439641973 140726439642217 140726439642217 140726439645130 0
/proc/8248/statm: 28282 363 304 221 0 87 0
[pid=8250] ppid=8248 vsize=28227388 memory=29136 CPUtime=0.12 cores=0-7
/proc/8250/stat : 8250 (java) S 8248 8248 6587 0 -1 1077944320 5699 0 0 0 10 2 0 0 20 0 20 0 419065345 28904845312 7284 33554432000 4194304 4196468 140728813631584 140728813614128 139978153361143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
/proc/8250/statm: 7056847 7284 3125 1 0 7019032 0
[pid=8250/tid=8251] ppid=8248 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 6587 0 -1 4202560 3706 0 0 0 8 1 0 0 20 0 20 0 419065346 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978157592832 139978153373078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8252] ppid=8248 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065346 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978105981840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8253] ppid=8248 vsize=28227388 memory=140236018599552 CPUtime=0 cores=0-7
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065346 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978104929040 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8254] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978103876752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8255] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978102823952 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8256] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978101770640 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8257] ppid=8248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978100717840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8258] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978099665552 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8259] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 7349 33554432000 4194304 4196468 140728813631584 139978098612752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8260] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065348 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976348879472 139978153372290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8261] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 6587 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419065348 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976347825440 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8262] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419065349 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976346773104 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8263] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065351 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976345721424 139978153379739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8264] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8264/stat : 8264 (java) R 8248 8248 6587 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 419065351 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976344668272 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8265] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8265/stat : 8265 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065351 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976343615472 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8266] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8266/stat : 8266 (java) R 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065351 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976342563184 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8267] ppid=8248 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/8250/task/8267/stat : 8267 (java) R 8248 8248 6587 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 20 0 419065351 28904845312 7349 33554432000 4194304 4196468 140728813631584 139976341510384 139978145598270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8268] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8268/stat : 8268 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065351 28904845312 7349 33554432000 4194304 4196468 140728813631584 139975897996128 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8269] ppid=8248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8250/task/8269/stat : 8269 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065352 28904845312 7349 33554432000 4194304 4196468 140728813631584 139975896943408 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30588 KiB

[startup+0.209974 s]*
/proc/loadavg: 6.98 7.52 7.71 2/212 8269
/proc/meminfo: memFree=31242884/32770624 swapFree=67000536/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 6587 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419065345 115843072 363 33554432000 4194304 5098028 140726439633696 140726439631800 140207370478204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21102592 140726439641973 140726439642217 140726439642217 140726439645130 0
/proc/8248/statm: 28282 363 304 221 0 87 0
[pid=8250] ppid=8248 vsize=28227388 memory=41016 CPUtime=0.34 cores=0-7
/proc/8250/stat : 8250 (java) S 8248 8248 6587 0 -1 1077944320 9504 0 0 0 30 4 0 0 20 0 20 0 419065345 28904845312 10254 33554432000 4194304 4196468 140728813631584 140728813614128 139978153361143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
/proc/8250/statm: 7056847 10254 3294 1 0 7019032 0
[pid=8250/tid=8251] ppid=8248 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 6587 0 -1 4202560 6605 0 0 0 17 3 0 0 20 0 20 0 419065346 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978157593056 139978153373078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8252] ppid=8248 vsize=28227388 memory=339 CPUtime=0 cores=0-7
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065346 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978105981840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8253] ppid=8248 vsize=28227388 memory=140236018609511 CPUtime=0 cores=0-7
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065346 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978104929040 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8254] ppid=8248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978103876752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8255] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978102823952 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8256] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978101770640 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8257] ppid=8248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978100717840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8258] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978099665552 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8259] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28904845312 10254 33554432000 4194304 4196468 140728813631584 139978098612752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8260] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 6587 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419065348 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976348879472 139978153372290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8261] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 6587 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419065348 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976347825440 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8262] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419065349 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976346773104 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8263] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065351 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976345721424 139978153379739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8264] ppid=8248 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 6587 0 -1 1077944384 690 0 0 0 1 0 0 0 20 0 20 0 419065351 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976344668272 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8265] ppid=8248 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/8250/task/8265/stat : 8265 (java) S 8248 8248 6587 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 419065351 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976343615472 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8266] ppid=8248 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/8250/task/8266/stat : 8266 (java) S 8248 8248 6587 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 419065351 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976342563184 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8267] ppid=8248 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/8250/task/8267/stat : 8267 (java) R 8248 8248 6587 0 -1 4202560 687 0 0 0 7 0 0 0 20 0 20 0 419065351 28904845312 10254 33554432000 4194304 4196468 140728813631584 139976341510384 139978153373078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8268] ppid=8248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8268/stat : 8268 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065351 28904845312 10254 33554432000 4194304 4196468 140728813631584 139975897996128 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8269] ppid=8248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8250/task/8269/stat : 8269 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065352 28904845312 10254 33554432000 4194304 4196468 140728813631584 139975896943408 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42468 KiB

[startup+0.309709 s]*
/proc/loadavg: 6.98 7.52 7.71 5/212 8269
/proc/meminfo: memFree=31238200/32770624 swapFree=67000536/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 6587 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419065345 115843072 363 33554432000 4194304 5098028 140726439633696 140726439631800 140207370478204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21102592 140726439641973 140726439642217 140726439642217 140726439645130 0
/proc/8248/statm: 28282 363 304 221 0 87 0
[pid=8250] ppid=8248 vsize=28231644 memory=49848 CPUtime=0.52 cores=0-7
/proc/8250/stat : 8250 (java) S 8248 8248 6587 0 -1 1077944320 10815 0 0 0 47 5 0 0 20 0 20 0 419065345 28909203456 12462 33554432000 4194304 4196468 140728813631584 140728813614128 139978153361143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
/proc/8250/statm: 7057911 12462 3367 1 0 7019032 0
[pid=8250/tid=8251] ppid=8248 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 6587 0 -1 4202560 7715 0 0 0 26 4 0 0 20 0 20 0 419065346 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978157592256 139978137441630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8252] ppid=8248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065346 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978105981840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8253] ppid=8248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065346 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978104929040 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8254] ppid=8248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978103876752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8255] ppid=8248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065347 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978102823952 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8256] ppid=8248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978101770640 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8257] ppid=8248 vsize=28231644 memory=140235916798639 CPUtime=0 cores=0-7
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065347 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978100717840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8258] ppid=8248 vsize=28231644 memory=140235916800944 CPUtime=0 cores=0-7
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065347 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978099665552 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8259] ppid=8248 vsize=28231644 memory=140235916803248 CPUtime=0 cores=0-7
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28909203456 12501 33554432000 4194304 4196468 140728813631584 139978098612752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8260] ppid=8248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 6587 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419065348 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976348879472 139978153372290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8261] ppid=8248 vsize=28231644 memory=280471833620368 CPUtime=0 cores=0-7
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 6587 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419065348 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976347825440 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8262] ppid=8248 vsize=28231644 memory=280471833618064 CPUtime=0 cores=0-7
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419065349 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976346773104 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8263] ppid=8248 vsize=28231644 memory=280471833624976 CPUtime=0 cores=0-7
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065351 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976345721424 139978153379739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8264] ppid=8248 vsize=28231644 memory=280471833566256 CPUtime=0.03 cores=0-7
/proc/8250/task/8264/stat : 8264 (java) R 8248 8248 6587 0 -1 4202560 779 0 0 0 3 0 0 0 20 0 20 0 419065351 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976344649288 139978133209191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8265] ppid=8248 vsize=28231644 memory=280471833638800 CPUtime=0.03 cores=0-7
/proc/8250/task/8265/stat : 8265 (java) S 8248 8248 6587 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 20 0 419065351 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976343615472 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8266] ppid=8248 vsize=28231644 memory=280471833645712 CPUtime=0.02 cores=0-7
/proc/8250/task/8266/stat : 8266 (java) S 8248 8248 6587 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 419065351 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976342563184 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8267] ppid=8248 vsize=28231644 memory=280471833643408 CPUtime=0.12 cores=0-7
/proc/8250/task/8267/stat : 8267 (java) S 8248 8248 6587 0 -1 1077944384 788 0 0 0 12 0 0 0 20 0 20 0 419065351 28909203456 12501 33554432000 4194304 4196468 140728813631584 139976341510384 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8268] ppid=8248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8268/stat : 8268 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065351 28909203456 12501 33554432000 4194304 4196468 140728813631584 139975897996128 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8269] ppid=8248 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/8250/task/8269/stat : 8269 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065352 28909203456 12501 33554432000 4194304 4196468 140728813631584 139975896943408 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51300 KiB

[startup+0.700916 s]
/proc/loadavg: 6.98 7.52 7.71 5/212 8269
/proc/meminfo: memFree=31217544/32770624 swapFree=67000536/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 6587 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419065345 115843072 363 33554432000 4194304 5098028 140726439633696 140726439631800 140207370478204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21102592 140726439641973 140726439642217 140726439642217 140726439645130 0
/proc/8248/statm: 28282 363 304 221 0 87 0
[pid=8250] ppid=8248 vsize=28233768 memory=97688 CPUtime=1.93 cores=0-7
/proc/8250/stat : 8250 (java) S 8248 8248 6587 0 -1 1077944320 16077 0 0 0 186 7 0 0 20 0 20 0 419065345 28911378432 24422 33554432000 4194304 4196468 140728813631584 140728813614128 139978153361143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
/proc/8250/statm: 7058442 24422 3448 1 0 7019544 0
[pid=8250/tid=8251] ppid=8248 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 6587 0 -1 4202560 9105 0 0 0 63 5 0 0 20 0 20 0 419065346 28911378432 24422 33554432000 4194304 4196468 140728813631584 139978157581072 139977770130279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8252] ppid=8248 vsize=28233768 memory=140235917009776 CPUtime=0 cores=0-7
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419065346 28911378432 24422 33554432000 4194304 4196468 140728813631584 139978105981840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8253] ppid=8248 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065346 28911378432 24422 33554432000 4194304 4196468 140728813631584 139978104929040 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8254] ppid=8248 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065347 28911378432 24422 33554432000 4194304 4196468 140728813631584 139978103876752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0

################
# More data... #
################

[pid=8250/tid=8259] ppid=8248 vsize=28768328 memory=0 CPUtime=10.63 cores=0-7
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 6587 0 -1 1077944384 8180 0 0 0 881 182 0 0 20 0 28 0 419065347 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978098612752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8260] ppid=8248 vsize=28768328 memory=20604 CPUtime=0.24 cores=0-7
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 6587 0 -1 1077944384 16327 0 0 0 18 6 0 0 20 0 28 0 419065348 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976348879472 139978153372290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8261] ppid=8248 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 6587 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 419065348 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976347825504 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8262] ppid=8248 vsize=28768328 memory=280471835213088 CPUtime=0 cores=0-7
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 6587 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 419065349 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976346773120 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8263] ppid=8248 vsize=28768328 memory=288230377007612191 CPUtime=0 cores=0-7
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976345721424 139978153379739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8264] ppid=8248 vsize=28768328 memory=988 CPUtime=2.54 cores=0-7
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 6587 0 -1 1077944384 15160 0 0 0 251 3 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976344668272 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8265] ppid=8248 vsize=28768328 memory=2012 CPUtime=2.38 cores=0-7
/proc/8250/task/8265/stat : 8265 (java) S 8248 8248 6587 0 -1 1077944384 12436 0 0 0 237 1 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976343615472 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8266] ppid=8248 vsize=28768328 memory=1240 CPUtime=2.22 cores=0-7
/proc/8250/task/8266/stat : 8266 (java) S 8248 8248 6587 0 -1 1077944384 12003 0 0 0 220 2 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976342563184 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8267] ppid=8248 vsize=28768328 memory=580 CPUtime=0.74 cores=0-7
/proc/8250/task/8267/stat : 8267 (java) S 8248 8248 6587 0 -1 1077944384 8002 0 0 0 72 2 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976341510384 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8268] ppid=8248 vsize=28768328 memory=1696 CPUtime=0 cores=0-7
/proc/8250/task/8268/stat : 8268 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975897996128 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8269] ppid=8248 vsize=28768328 memory=1980 CPUtime=0 cores=0-7
/proc/8250/task/8269/stat : 8269 (java) S 8248 8248 6587 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 28 0 419065352 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975896943408 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8271] ppid=8248 vsize=28768328 memory=1332 CPUtime=12.38 cores=0-7
/proc/8250/task/8271/stat : 8271 (java) S 8248 8248 6587 0 -1 1077944384 1366 0 0 0 1228 10 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975887974512 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8272] ppid=8248 vsize=28768328 memory=2648 CPUtime=11.57 cores=0-7
/proc/8250/task/8272/stat : 8272 (java) S 8248 8248 6587 0 -1 1077944384 3545 0 0 0 1145 12 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975886923216 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8273] ppid=8248 vsize=28768328 memory=912 CPUtime=12.13 cores=0-7
/proc/8250/task/8273/stat : 8273 (java) S 8248 8248 6587 0 -1 1077944384 4460 0 0 0 1204 9 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975885869904 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8274] ppid=8248 vsize=28768328 memory=1440 CPUtime=11.91 cores=0-7
/proc/8250/task/8274/stat : 8274 (java) S 8248 8248 6587 0 -1 1077944384 1553 0 0 0 1188 3 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975884817104 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8275] ppid=8248 vsize=28768328 memory=1768 CPUtime=11.77 cores=0-7
/proc/8250/task/8275/stat : 8275 (java) S 8248 8248 6587 0 -1 1077944384 1953 0 0 0 1168 9 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975883764816 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8276] ppid=8248 vsize=28768328 memory=111636 CPUtime=15.07 cores=0-7
/proc/8250/task/8276/stat : 8276 (java) R 8248 8248 6587 0 -1 4202560 10338 0 0 0 1503 4 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975882706640 139977774255445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8277] ppid=8248 vsize=28768328 memory=808 CPUtime=11.79 cores=0-7
/proc/8250/task/8277/stat : 8277 (java) S 8248 8248 6587 0 -1 1077944384 1821 0 0 0 1168 11 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975881659728 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8278] ppid=8248 vsize=28768328 memory=4096 CPUtime=11.91 cores=0-7
/proc/8250/task/8278/stat : 8278 (java) S 8248 8248 6587 0 -1 1077944384 3428 0 0 0 1177 14 0 0 20 0 28 0 419066994 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975880606928 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
Current children cumulated CPU time: 197.63 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 7643252 KiB

[startup+32.6012 s]
/proc/loadavg: 6.38 7.31 7.64 2/219 8281
/proc/meminfo: memFree=23628584/32770624 swapFree=67000536/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 6587 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419065345 115843072 363 33554432000 4194304 5098028 140726439633696 140726439631800 140207370478204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21102592 140726439641973 140726439642217 140726439642217 140726439645130 0
/proc/8248/statm: 28282 363 304 221 0 87 0
[pid=8250] ppid=8248 vsize=28768328 memory=7641800 CPUtime=197.83 cores=0-7
/proc/8250/stat : 8250 (java) S 8248 8248 6587 0 -1 1077944320 180413 0 0 0 18217 1566 0 0 20 0 28 0 419065345 29458767872 1910450 33554432000 4194304 4196468 140728813631584 140728813614128 139978153361143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
/proc/8250/statm: 7192082 1910450 3532 1 0 7153184 0
[pid=8250/tid=8251] ppid=8248 vsize=28768328 memory=4484 CPUtime=5.88 cores=0-7
/proc/8250/task/8251/stat : 8251 (java) S 8248 8248 6587 0 -1 1077944384 16300 0 0 0 570 18 0 0 20 0 28 0 419065346 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978157601920 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8252] ppid=8248 vsize=28768328 memory=1412 CPUtime=10.63 cores=0-7
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 6587 0 -1 1077944384 9398 0 0 0 884 179 0 0 20 0 28 0 419065346 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978105981840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8253] ppid=8248 vsize=28768328 memory=3052 CPUtime=10.63 cores=0-7
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 6587 0 -1 1077944384 9145 0 0 0 875 188 0 0 20 0 28 0 419065346 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978104929040 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8254] ppid=8248 vsize=28768328 memory=1452 CPUtime=10.63 cores=0-7
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 6587 0 -1 1077944384 8374 0 0 0 878 185 0 0 20 0 28 0 419065347 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978103876752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8255] ppid=8248 vsize=28768328 memory=4872558044660077418 CPUtime=10.6 cores=0-7
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 6587 0 -1 1077944384 8268 0 0 0 874 186 0 0 20 0 28 0 419065347 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978102823952 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8256] ppid=8248 vsize=28768328 memory=590024333707207229 CPUtime=10.56 cores=0-7
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 6587 0 -1 1077944384 10029 0 0 0 875 181 0 0 20 0 28 0 419065347 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978101770640 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8257] ppid=8248 vsize=28768328 memory=288287766394196050 CPUtime=10.54 cores=0-7
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 6587 0 -1 1077944384 7803 0 0 0 884 170 0 0 20 0 28 0 419065347 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978100717840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8258] ppid=8248 vsize=28768328 memory=0 CPUtime=10.63 cores=0-7
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 6587 0 -1 1077944384 8600 0 0 0 885 178 0 0 20 0 28 0 419065347 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978099665552 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8259] ppid=8248 vsize=28768328 memory=0 CPUtime=10.63 cores=0-7
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 6587 0 -1 1077944384 8180 0 0 0 881 182 0 0 20 0 28 0 419065347 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139978098612752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8260] ppid=8248 vsize=28768328 memory=0 CPUtime=0.24 cores=0-7
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 6587 0 -1 1077944384 16327 0 0 0 18 6 0 0 20 0 28 0 419065348 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976348879472 139978153372290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8261] ppid=8248 vsize=28768328 memory=7666341991791751011 CPUtime=0 cores=0-7
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 6587 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 419065348 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976347825504 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8262] ppid=8248 vsize=28768328 memory=7306062783016687469 CPUtime=0 cores=0-7
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 6587 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 419065349 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976346773120 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8263] ppid=8248 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976345721424 139978153379739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8264] ppid=8248 vsize=28768328 memory=7640884 CPUtime=2.54 cores=0-7
/proc/8250/task/8264/stat : 8264 (java) S 8248 8248 6587 0 -1 1077944384 15160 0 0 0 251 3 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976344668272 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8265] ppid=8248 vsize=28768328 memory=1452 CPUtime=2.38 cores=0-7
/proc/8250/task/8265/stat : 8265 (java) S 8248 8248 6587 0 -1 1077944384 12436 0 0 0 237 1 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976343615472 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8266] ppid=8248 vsize=28768328 memory=7640920 CPUtime=2.22 cores=0-7
/proc/8250/task/8266/stat : 8266 (java) S 8248 8248 6587 0 -1 1077944384 12003 0 0 0 220 2 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976342563184 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8267] ppid=8248 vsize=28768328 memory=0 CPUtime=0.74 cores=0-7
/proc/8250/task/8267/stat : 8267 (java) S 8248 8248 6587 0 -1 1077944384 8002 0 0 0 72 2 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139976341510384 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8268] ppid=8248 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/8250/task/8268/stat : 8268 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419065351 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975897996128 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8269] ppid=8248 vsize=28768328 memory=801 CPUtime=0 cores=0-7
/proc/8250/task/8269/stat : 8269 (java) S 8248 8248 6587 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 28 0 419065352 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975896943408 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8271] ppid=8248 vsize=28768328 memory=33300 CPUtime=12.38 cores=0-7
/proc/8250/task/8271/stat : 8271 (java) S 8248 8248 6587 0 -1 1077944384 1366 0 0 0 1228 10 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975887974512 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8272] ppid=8248 vsize=28768328 memory=576460758266962493 CPUtime=11.57 cores=0-7
/proc/8250/task/8272/stat : 8272 (java) S 8248 8248 6587 0 -1 1077944384 3545 0 0 0 1145 12 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975886923216 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8273] ppid=8248 vsize=28768328 memory=288287766394196050 CPUtime=12.13 cores=0-7
/proc/8250/task/8273/stat : 8273 (java) S 8248 8248 6587 0 -1 1077944384 4460 0 0 0 1204 9 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975885869904 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8274] ppid=8248 vsize=28768328 memory=0 CPUtime=11.91 cores=0-7
/proc/8250/task/8274/stat : 8274 (java) S 8248 8248 6587 0 -1 1077944384 1553 0 0 0 1188 3 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975884817104 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8275] ppid=8248 vsize=28768328 memory=0 CPUtime=11.77 cores=0-7
/proc/8250/task/8275/stat : 8275 (java) S 8248 8248 6587 0 -1 1077944384 1953 0 0 0 1168 9 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975883764816 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8276] ppid=8248 vsize=28768328 memory=0 CPUtime=15.27 cores=0-7
/proc/8250/task/8276/stat : 8276 (java) R 8248 8248 6587 0 -1 4202560 10366 0 0 0 1523 4 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975882706640 139977767319067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8277] ppid=8248 vsize=28768328 memory=0 CPUtime=11.79 cores=0-7
/proc/8250/task/8277/stat : 8277 (java) S 8248 8248 6587 0 -1 1077944384 1821 0 0 0 1168 11 0 0 20 0 28 0 419066993 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975881659728 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8278] ppid=8248 vsize=28768328 memory=0 CPUtime=11.91 cores=0-7
/proc/8250/task/8278/stat : 8278 (java) S 8248 8248 6587 0 -1 1077944384 3428 0 0 0 1177 14 0 0 20 0 28 0 419066994 29458767872 1910450 33554432000 4194304 4196468 140728813631584 139975880606928 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
Current children cumulated CPU time: 197.83 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 7643252 KiB

[startup+32.7012 s]
/proc/loadavg: 6.38 7.31 7.64 2/219 8281
/proc/meminfo: memFree=23628584/32770624 swapFree=67000536/67108860
[pid=8248] ppid=8245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8248/stat : 8248 (xcsp3-exec) S 8245 8248 6587 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419065345 115843072 363 33554432000 4194304 5098028 140726439633696 140726439631800 140207370478204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21102592 140726439641973 140726439642217 140726439642217 140726439645130 0
/proc/8248/statm: 28282 363 304 221 0 87 0
[pid=8250] ppid=8248 vsize=28768328 memory=7641232 CPUtime=198.01 cores=0-7
/proc/8250/stat : 8250 (java) S 8248 8248 6587 0 -1 1077944320 181880 0 0 0 18235 1566 0 0 20 0 20 0 419065345 29458767872 1910308 33554432000 4194304 4196468 140728813631584 140728813614128 139978153361143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
/proc/8250/statm: 7192082 1910308 3534 1 0 7153184 0
[pid=8250/tid=8251] ppid=8248 vsize=28768328 memory=7641800 CPUtime=5.89 cores=0-7
/proc/8250/task/8251/stat : 8251 (java) R 8248 8248 6587 0 -1 4202560 16449 0 0 0 571 18 0 0 20 0 20 0 419065346 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978157597456 139977767214839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8252] ppid=8248 vsize=28768328 memory=66 CPUtime=10.63 cores=0-7
/proc/8250/task/8252/stat : 8252 (java) S 8248 8248 6587 0 -1 1077944384 9398 0 0 0 884 179 0 0 20 0 20 0 419065346 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978105981840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8253] ppid=8248 vsize=28768328 memory=1452 CPUtime=10.63 cores=0-7
/proc/8250/task/8253/stat : 8253 (java) S 8248 8248 6587 0 -1 1077944384 9145 0 0 0 875 188 0 0 20 0 20 0 419065346 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978104929040 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8254] ppid=8248 vsize=28768328 memory=3672412 CPUtime=10.63 cores=0-7
/proc/8250/task/8254/stat : 8254 (java) S 8248 8248 6587 0 -1 1077944384 8374 0 0 0 878 185 0 0 20 0 20 0 419065347 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978103876752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8255] ppid=8248 vsize=28768328 memory=808 CPUtime=10.6 cores=0-7
/proc/8250/task/8255/stat : 8255 (java) S 8248 8248 6587 0 -1 1077944384 8268 0 0 0 874 186 0 0 20 0 20 0 419065347 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978102823952 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8256] ppid=8248 vsize=28768328 memory=4096 CPUtime=10.56 cores=0-7
/proc/8250/task/8256/stat : 8256 (java) S 8248 8248 6587 0 -1 1077944384 10029 0 0 0 875 181 0 0 20 0 20 0 419065347 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978101770640 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8257] ppid=8248 vsize=28768328 memory=0 CPUtime=10.54 cores=0-7
/proc/8250/task/8257/stat : 8257 (java) S 8248 8248 6587 0 -1 1077944384 7803 0 0 0 884 170 0 0 20 0 20 0 419065347 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978100717840 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8258] ppid=8248 vsize=28768328 memory=0 CPUtime=10.63 cores=0-7
/proc/8250/task/8258/stat : 8258 (java) S 8248 8248 6587 0 -1 1077944384 8600 0 0 0 885 178 0 0 20 0 20 0 419065347 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978099665552 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8259] ppid=8248 vsize=28768328 memory=3616 CPUtime=10.63 cores=0-7
/proc/8250/task/8259/stat : 8259 (java) S 8248 8248 6587 0 -1 1077944384 8180 0 0 0 881 182 0 0 20 0 20 0 419065347 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139978098612752 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8260] ppid=8248 vsize=28768328 memory=37248 CPUtime=0.24 cores=0-7
/proc/8250/task/8260/stat : 8260 (java) S 8248 8248 6587 0 -1 1077944384 16329 0 0 0 18 6 0 0 20 0 20 0 419065348 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976348879472 139978153372290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8261] ppid=8248 vsize=28768328 memory=988 CPUtime=0 cores=0-7
/proc/8250/task/8261/stat : 8261 (java) S 8248 8248 6587 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 419065348 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976347825504 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8262] ppid=8248 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/8250/task/8262/stat : 8262 (java) S 8248 8248 6587 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 20 0 419065349 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976346773120 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8263] ppid=8248 vsize=28768328 memory=7640196 CPUtime=0 cores=0-7
/proc/8250/task/8263/stat : 8263 (java) S 8248 8248 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419065351 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976345721424 139978153379739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8264] ppid=8248 vsize=28768328 memory=2244 CPUtime=2.56 cores=0-7
/proc/8250/task/8264/stat : 8264 (java) R 8248 8248 6587 0 -1 4202560 15473 0 0 0 253 3 0 0 20 0 20 0 419065351 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976344668568 139978145601712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8265] ppid=8248 vsize=28768328 memory=1452 CPUtime=2.4 cores=0-7
/proc/8250/task/8265/stat : 8265 (java) R 8248 8248 6587 0 -1 4202560 12573 0 0 0 239 1 0 0 20 0 20 0 419065351 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976343615392 139978137177157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8266] ppid=8248 vsize=28768328 memory=24 CPUtime=2.26 cores=0-7
/proc/8250/task/8266/stat : 8266 (java) R 8248 8248 6587 0 -1 4202560 12706 0 0 0 224 2 0 0 20 0 20 0 419065351 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976342563480 139978133054220 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8267] ppid=8248 vsize=28768328 memory=0 CPUtime=0.74 cores=0-7
/proc/8250/task/8267/stat : 8267 (java) S 8248 8248 6587 0 -1 1077944384 8064 0 0 0 72 2 0 0 20 0 20 0 419065351 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139976341510384 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8268] ppid=8248 vsize=28768328 memory=3616 CPUtime=0 cores=0-7
/proc/8250/task/8268/stat : 8268 (java) S 8248 8248 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419065351 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139975897996128 139978153371349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
[pid=8250/tid=8269] ppid=8248 vsize=28768328 memory=7641800 CPUtime=0.01 cores=0-7
/proc/8250/task/8269/stat : 8269 (java) S 8248 8248 6587 0 -1 1077944384 484 0 0 0 0 1 0 0 20 0 20 0 419065352 29458767872 1910309 33554432000 4194304 4196468 140728813631584 139975896943408 139978153372290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140728813638634 140728813638806 140728813638806 140728813641679 0
Current children cumulated CPU time: 198.01 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 7642684 KiB

Child status: 0
Real time (s): 32.7548
CPU time (s): 198.079
CPU user time (s): 182.365
CPU system time (s): 15.7141
CPU usage (%): 604.733
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 7643288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.365
system time used= 15.7141
maximum resident set size= 7641836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8643
involuntary context switches= 2762


# summary of solver processes directly reported to runsolver:
#   pid: 8248
#   total CPU time (s): 198.079
#   total CPU user time (s): 182.365
#   total CPU system time (s): 15.7141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.288869 second user time and 0.402522 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4393601

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
