2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	8	1665.45	1657.64
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 (12462 MiB free)
  memory of node 1: 16384 MiB (14193 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406368-1569396863/watcher-4406368-1569396863 -o /var/tmp/evaluation-result-4406368-1569396863/solver-4406368-1569396863 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569396631-701 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406368-1569396863.xml 

running on 4 cores: 1,3,5,7

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

solver pid=842, runsolver pid=839

[startup+0.109157 s]*
/proc/loadavg: 1.58 0.82 0.36 3/233 858
/proc/meminfo: memFree=27278888/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15144776 memory=29664 CPUtime=0.14 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 5885 0 0 0 13 1 0 0 20 0 15 0 515924909 15508250624 7416 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3786194 7416 3168 1 0 3748377 0
[pid=844/tid=845] ppid=842 vsize=15144776 memory=7022364632946311227 CPUtime=0.1 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) S 842 842 669 0 -1 1077944384 3679 0 0 0 9 1 0 0 20 0 15 0 515924909 15508250624 7746 33554432000 4194304 4196468 140732853179440 140355286654544 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15144776 memory=4296910620 CPUtime=0 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 7746 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15144776 memory=139929253538224 CPUtime=0 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 7746 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15144776 memory=139929253516928 CPUtime=0 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924911 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924912 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354749654560 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924912 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354748601712 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) S 842 842 669 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 515924914 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354746497392 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) S 842 842 669 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 515924914 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354745444592 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15144776 memory=139929253516928 CPUtime=0.03 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) R 842 842 669 0 -1 4202560 748 0 0 0 3 0 0 0 20 0 15 0 515924914 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354744387960 140355275520356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924915 15508250624 7746 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31120 KiB

[startup+0.210984 s]*
/proc/loadavg: 1.58 0.82 0.36 4/233 858
/proc/meminfo: memFree=27266900/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15144776 memory=40220 CPUtime=0.34 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 9292 0 0 0 31 3 0 0 20 0 15 0 515924909 15508250624 10055 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3786194 10055 3268 1 0 3748377 0
[pid=844/tid=845] ppid=842 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) R 842 842 669 0 -1 4202560 6570 0 0 0 18 2 0 0 20 0 15 0 515924909 15508250624 10055 33554432000 4194304 4196468 140732853179440 140355286660304 140355282435478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15144776 memory=4296910620 CPUtime=0 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 10055 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15144776 memory=139929253538224 CPUtime=0 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 10055 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924910 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15144776 memory=139929253516928 CPUtime=0 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924911 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924912 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354749654560 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924912 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354748601712 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) S 842 842 669 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 515924914 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354746497392 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) S 842 842 669 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 15 0 515924914 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354745444592 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15144776 memory=139929253516928 CPUtime=0.08 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) S 842 842 669 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 15 0 515924914 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354744391792 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924915 15508250624 10055 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41676 KiB

[startup+0.317655 s]*
/proc/loadavg: 1.58 0.82 0.36 4/233 858
/proc/meminfo: memFree=27259124/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15149032 memory=49584 CPUtime=0.54 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 10795 0 0 0 50 4 0 0 20 0 15 0 515924909 15512608768 12396 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3787258 12396 3370 1 0 3748377 0
[pid=844/tid=845] ppid=842 vsize=15149032 memory=1399051139730258233 CPUtime=0.31 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) R 842 842 669 0 -1 4202560 7853 0 0 0 28 3 0 0 20 0 15 0 515924909 15512608768 12473 33554432000 4194304 4196468 140732853179440 140355286657600 140355263817274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15512608768 12473 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15149032 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15512608768 12473 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15149032 memory=924 CPUtime=0 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15149032 memory=3840 CPUtime=0 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924910 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924911 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924912 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354749654560 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15149032 memory=3184237849170992144 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924912 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354748601712 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) S 842 842 669 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 15 0 515924914 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354746497392 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) S 842 842 669 0 -1 1077944384 192 0 0 0 5 0 0 0 20 0 15 0 515924914 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354745444592 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) S 842 842 669 0 -1 1077944384 946 0 0 0 12 0 0 0 20 0 15 0 515924914 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354744391792 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15149032 memory=-1664385933527516014 CPUtime=0 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924915 15512608768 12473 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51040 KiB

[startup+0.701687 s]
/proc/loadavg: 1.58 0.82 0.36 6/233 858
/proc/meminfo: memFree=27237948/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15151156 memory=115680 CPUtime=1.71 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 13876 0 0 0 165 6 0 0 20 0 15 0 515924909 15514783744 28920 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3787789 28920 3441 1 0 3748889 0
[pid=844/tid=845] ppid=842 vsize=15151156 memory=8049867166153220215 CPUtime=0.67 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) R 842 842 669 0 -1 4202560 8311 0 0 0 63 4 0 0 20 0 15 0 515924909 15514783744 28920 33554432000 4194304 4196468 140732853179440 140355286658104 140354921191919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15514783744 28920 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15514783744 28920 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15151156 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924910 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15151156 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515924910 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515924911 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354749654560 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15151156 memory=11632 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354748601712 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15151156 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15151156 memory=1224 CPUtime=0.36 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) R 842 842 669 0 -1 4202560 1570 0 0 0 36 0 0 0 20 0 15 0 515924914 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354746483936 140355262080169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15151156 memory=988 CPUtime=0.36 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) R 842 842 669 0 -1 4202560 989 0 0 0 36 0 0 0 20 0 15 0 515924914 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354745426160 140355266329277 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15151156 memory=780 CPUtime=0.28 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) S 842 842 669 0 -1 1077944384 1697 0 0 0 28 0 0 0 20 0 15 0 515924914 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354744391792 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15151156 memory=6168 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515924915 15514783744 28920 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 117136 KiB

[startup+1.50157 s]
/proc/loadavg: 1.58 0.82 0.36 3/233 858
/proc/meminfo: memFree=27155164/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0

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

/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15151156 memory=173148 CPUtime=1663.79 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 70034 0 0 0 166333 46 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3787789 43287 3524 1 0 3748889 0
[pid=844/tid=845] ppid=842 vsize=15151156 memory=1399051139730258233 CPUtime=1655.36 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) R 842 842 669 0 -1 4202560 17209 0 0 0 165529 7 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355286663168 140354925440075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15151156 memory=4126316290023845779 CPUtime=0.2 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 2706 0 0 0 16 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15151156 memory=6168 CPUtime=0.21 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 2034 0 0 0 17 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15151156 memory=4100 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 2792 0 0 0 18 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15151156 memory=624 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 1932 0 0 0 17 5 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15151156 memory=3636 CPUtime=0.16 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 3424 0 0 0 14 2 0 0 20 0 15 0 515924911 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354749654624 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354748601728 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15151156 memory=3220 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15151156 memory=1456 CPUtime=3.2 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) S 842 842 669 0 -1 1077944384 15038 0 0 0 317 3 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354746497392 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15151156 memory=173148 CPUtime=3.03 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) S 842 842 669 0 -1 1077944384 9997 0 0 0 302 1 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354745444592 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15151156 memory=2112 CPUtime=0.76 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) S 842 842 669 0 -1 1077944384 12962 0 0 0 74 2 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354744391792 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15151156 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15151156 memory=38056 CPUtime=0.35 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 567 0 0 0 16 19 0 0 20 0 15 0 515924915 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 1663.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 174604 KiB

[startup+1656.8 s]
/proc/loadavg: 1.89 1.92 1.69 3/230 1041
/proc/meminfo: memFree=27190096/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15151156 memory=173148 CPUtime=1664.59 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 70034 0 0 0 166413 46 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3787789 43287 3524 1 0 3748889 0
[pid=844/tid=845] ppid=842 vsize=15151156 memory=6947385649911455296 CPUtime=1656.15 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) R 842 842 669 0 -1 4202560 17209 0 0 0 165608 7 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355286663168 140354925204315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15151156 memory=173148 CPUtime=0.2 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 2706 0 0 0 16 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15151156 memory=780 CPUtime=0.21 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 2034 0 0 0 17 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15151156 memory=6168 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 2792 0 0 0 18 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15151156 memory=4100 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 1932 0 0 0 17 5 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15151156 memory=624 CPUtime=0.16 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 3424 0 0 0 14 2 0 0 20 0 15 0 515924911 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15151156 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354749654624 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15151156 memory=800 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354748601728 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15151156 memory=1399051139730258233 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15151156 memory=1412 CPUtime=3.2 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) S 842 842 669 0 -1 1077944384 15038 0 0 0 317 3 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354746497392 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15151156 memory=3244 CPUtime=3.03 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) S 842 842 669 0 -1 1077944384 9997 0 0 0 302 1 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354745444592 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15151156 memory=1456 CPUtime=0.76 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) S 842 842 669 0 -1 1077944384 12962 0 0 0 74 2 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354744391792 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15151156 memory=1456 CPUtime=0.35 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 567 0 0 0 16 19 0 0 20 0 15 0 515924915 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 1664.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 174604 KiB

[startup+1657.2 s]
/proc/loadavg: 1.89 1.92 1.69 3/230 1041
/proc/meminfo: memFree=27190004/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15151156 memory=173148 CPUtime=1664.99 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 70034 0 0 0 166453 46 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3787789 43287 3524 1 0 3748889 0
[pid=844/tid=845] ppid=842 vsize=15151156 memory=177632 CPUtime=1656.55 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) R 842 842 669 0 -1 4202560 17209 0 0 0 165648 7 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355286663168 140354925103486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15151156 memory=1412 CPUtime=0.2 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 2706 0 0 0 16 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15151156 memory=288230574492221466 CPUtime=0.21 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 2034 0 0 0 17 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15151156 memory=288230583166042426 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 2792 0 0 0 18 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15151156 memory=288285580322931923 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 1932 0 0 0 17 5 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15151156 memory=1556 CPUtime=0.16 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 3424 0 0 0 14 2 0 0 20 0 15 0 515924911 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15151156 memory=532 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354749654624 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354748601728 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15151156 memory=1976 CPUtime=3.2 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) S 842 842 669 0 -1 1077944384 15038 0 0 0 317 3 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354746497392 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15151156 memory=2432 CPUtime=3.03 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) S 842 842 669 0 -1 1077944384 9997 0 0 0 302 1 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354745444592 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15151156 memory=1436 CPUtime=0.76 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) S 842 842 669 0 -1 1077944384 12962 0 0 0 74 2 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354744391792 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15151156 memory=808 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15151156 memory=1764 CPUtime=0.35 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 567 0 0 0 16 19 0 0 20 0 15 0 515924915 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 1664.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 174604 KiB

[startup+1657.6 s]
/proc/loadavg: 1.89 1.92 1.69 3/230 1041
/proc/meminfo: memFree=27190004/32770624 swapFree=66957864/67108860
[pid=842] ppid=839 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (xcsp3-exec) S 839 842 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515924909 115843072 364 33554432000 4194304 5098028 140723410184048 140723410182152 140550990865020 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 23482368 140723410187094 140723410187353 140723410187353 140723410190278 0
/proc/842/statm: 28282 364 305 221 0 87 0
[pid=844] ppid=842 vsize=15151156 memory=173148 CPUtime=1665.39 cores=1,3,5,7
/proc/844/stat : 844 (java) S 842 842 669 0 -1 1077944320 70034 0 0 0 166493 46 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140732853161984 140355282423543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
/proc/844/statm: 3787789 43287 3524 1 0 3748889 0
[pid=844/tid=845] ppid=842 vsize=15151156 memory=1728 CPUtime=1656.95 cores=1,3,5,7
/proc/844/task/845/stat : 845 (java) R 842 842 669 0 -1 4202560 17209 0 0 0 165688 7 0 0 20 0 15 0 515924909 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355286663168 140354926225573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=846] ppid=842 vsize=15151156 memory=1732 CPUtime=0.2 cores=1,3,5,7
/proc/844/task/846/stat : 846 (java) S 842 842 669 0 -1 1077944384 2706 0 0 0 16 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355238976144 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=847] ppid=842 vsize=15151156 memory=1224 CPUtime=0.21 cores=1,3,5,7
/proc/844/task/847/stat : 847 (java) S 842 842 669 0 -1 1077944384 2034 0 0 0 17 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140355237923344 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=848] ppid=842 vsize=15151156 memory=988 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/848/stat : 848 (java) S 842 842 669 0 -1 1077944384 2792 0 0 0 18 4 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354872596880 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=849] ppid=842 vsize=15151156 memory=3636 CPUtime=0.22 cores=1,3,5,7
/proc/844/task/849/stat : 849 (java) S 842 842 669 0 -1 1077944384 1932 0 0 0 17 5 0 0 20 0 15 0 515924910 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354871544080 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=850] ppid=842 vsize=15151156 memory=2832 CPUtime=0.16 cores=1,3,5,7
/proc/844/task/850/stat : 850 (java) S 842 842 669 0 -1 1077944384 3424 0 0 0 14 2 0 0 20 0 15 0 515924911 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354750708592 140355282434690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=851] ppid=842 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/844/task/851/stat : 851 (java) S 842 842 669 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354749654624 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=852] ppid=842 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/844/task/852/stat : 852 (java) S 842 842 669 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 515924912 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354748601728 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=853] ppid=842 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/844/task/853/stat : 853 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354747550032 140355282442139 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=854] ppid=842 vsize=15151156 memory=3848 CPUtime=3.2 cores=1,3,5,7
/proc/844/task/854/stat : 854 (java) S 842 842 669 0 -1 1077944384 15038 0 0 0 317 3 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354746497392 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=855] ppid=842 vsize=15151156 memory=2304 CPUtime=3.03 cores=1,3,5,7
/proc/844/task/855/stat : 855 (java) S 842 842 669 0 -1 1077944384 9997 0 0 0 302 1 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354745444592 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=856] ppid=842 vsize=15151156 memory=2596 CPUtime=0.76 cores=1,3,5,7
/proc/844/task/856/stat : 856 (java) S 842 842 669 0 -1 1077944384 12962 0 0 0 74 2 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354744391792 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=857] ppid=842 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/844/task/857/stat : 857 (java) S 842 842 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515924914 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354743339232 140355282433749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
[pid=844/tid=858] ppid=842 vsize=15151156 memory=3244 CPUtime=0.35 cores=1,3,5,7
/proc/844/task/858/stat : 858 (java) S 842 842 669 0 -1 1077944384 567 0 0 0 16 19 0 0 20 0 15 0 515924915 15514783744 43287 33554432000 4194304 4196468 140732853179440 140354742287536 140355282434690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140732853187547 140732853187722 140732853187722 140732853190607 0
Current children cumulated CPU time: 1665.39 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 174604 KiB

Child status: 0
Real time (s): 1657.64
CPU time (s): 1665.45
CPU user time (s): 1664.97
CPU system time (s): 0.47221
CPU usage (%): 100.471
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 246804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1664.97
system time used= 0.47221
maximum resident set size= 255588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42275
involuntary context switches= 2969


# summary of solver processes directly reported to runsolver:
#   pid: 842
#   total CPU time (s): 1665.45
#   total CPU user time (s): 1664.97
#   total CPU system time (s): 0.47221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.4518 second user time and 14.6779 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.1369
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406368

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
