2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	OPT	7	75.4151	70.9652
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 (13084 MiB free)
  memory of node 1: 16384 MiB (13412 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292216-1532286102/watcher-4292216-1532286102 -o /tmp/evaluation-result-4292216-1532286102/solver-4292216-1532286102 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532278925-8557 --watchdog 2560 HOME/xcsp3-exec -seed 892734674 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292216-1532286102.xml 

running on 4 cores: 0,2,4,6

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=9439, runsolver pid=9436

[startup+0.100174 s]*
/proc/loadavg: 1.93 2.00 1.95 3/221 9455
/proc/meminfo: memFree=27115372/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14082840 memory=28512 CPUtime=0.12 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 5468 0 0 0 12 0 0 0 20 0 15 0 46173403 14420828160 7128 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3520710 7128 3010 1 0 3483008 0
[pid=9441/tid=9442] ppid=9439 vsize=14082840 memory=8188289176468427611 CPUtime=0.09 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 3480 0 0 0 9 0 0 0 20 0 15 0 46173403 14420828160 7193 33554432000 4194304 4196468 140722615666272 140233508986080 140233504771478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14420828160 7193 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14082840 memory=140093302806144 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173404 14420828160 7193 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14420828160 7193 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46173404 14420828160 7193 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14082840 memory=140093302806144 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46173405 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46173406 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232617432224 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46173406 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232616379120 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 5960 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 46173408 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232614275824 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232613223280 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14082840 memory=140093302806144 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) R 9439 9439 5960 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 46173408 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232612170224 140233114910841 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14082840 memory=140093302806144 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173409 14420828160 7193 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29968 KiB

[startup+0.213528 s]*
/proc/loadavg: 1.93 2.00 1.95 3/221 9455
/proc/meminfo: memFree=27103456/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14087096 memory=41252 CPUtime=0.34 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 8358 0 0 0 32 2 0 0 20 0 15 0 46173403 14425186304 10313 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3521774 10313 3190 1 0 3483008 0
[pid=9441/tid=9442] ppid=9439 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 5444 0 0 0 19 1 0 0 20 0 15 0 46173403 14425186304 10313 33554432000 4194304 4196468 140722615666272 140233508982848 140233504781469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14087096 memory=13660 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 10313 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14087096 memory=140093303079661 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 10313 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 10313 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 10313 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14087096 memory=140093302806144 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46173405 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46173406 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232617432224 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46173406 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232616379120 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 5960 0 -1 1077944384 715 0 0 0 2 0 0 0 20 0 15 0 46173408 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232614275824 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 5960 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 15 0 46173408 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232613223280 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14087096 memory=140093302806144 CPUtime=0.08 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) R 9439 9439 5960 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 15 0 46173408 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232612170224 140233482860176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173409 14425186304 10313 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42708 KiB

[startup+0.310889 s]*
/proc/loadavg: 1.93 2.00 1.95 3/221 9455
/proc/meminfo: memFree=27096880/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14087096 memory=47812 CPUtime=0.51 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 9123 0 0 0 49 2 0 0 20 0 15 0 46173403 14425186304 11953 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3521774 11953 3223 1 0 3483008 0
[pid=9441/tid=9442] ppid=9439 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 6133 0 0 0 28 1 0 0 20 0 15 0 46173403 14425186304 11953 33554432000 4194304 4196468 140722615666272 140233508997056 140233504781469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 11953 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 11953 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 11953 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46173404 14425186304 11953 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14087096 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46173405 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46173406 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232617432224 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46173406 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232616379120 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14087096 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14087096 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 5960 0 -1 1077944384 721 0 0 0 3 0 0 0 20 0 15 0 46173408 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232614275824 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 5960 0 -1 1077944384 159 0 0 0 4 0 0 0 20 0 15 0 46173408 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232613223280 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 5960 0 -1 1077944384 808 0 0 0 12 0 0 0 20 0 15 0 46173408 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232612170224 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173409 14425186304 11953 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49268 KiB

[startup+0.706539 s]
/proc/loadavg: 1.93 2.00 1.95 8/221 9455
/proc/meminfo: memFree=27073432/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14089220 memory=106808 CPUtime=1.76 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 12567 0 0 0 171 5 0 0 20 0 15 0 46173403 14427361280 26702 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3522305 26702 3331 1 0 3483520 0
[pid=9441/tid=9442] ppid=9439 vsize=14089220 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 6620 0 0 0 65 2 0 0 20 0 15 0 46173403 14427361280 26702 33554432000 4194304 4196468 140722615666272 140233508995264 140233488803173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14089220 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14427361280 26702 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173404 14427361280 26702 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14089220 memory=15672 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173404 14427361280 26702 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14089220 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46173404 14427361280 26702 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14089220 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46173405 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14089220 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232617432224 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232616379120 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14089220 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14089220 memory=796 CPUtime=0.35 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) R 9439 9439 5960 0 -1 4202560 1810 0 0 0 35 0 0 0 20 0 15 0 46173408 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232614267152 140233486304891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14089220 memory=4616 CPUtime=0.36 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) R 9439 9439 5960 0 -1 4202560 1070 0 0 0 36 0 0 0 20 0 15 0 46173408 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232613211904 140233486169693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14089220 memory=1424 CPUtime=0.33 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) R 9439 9439 5960 0 -1 4202560 1762 0 0 0 33 0 0 0 20 0 15 0 46173408 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232612167480 140233484952493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14089220 memory=10940 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14089220 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 26702 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 108264 KiB

[startup+1.50158 s]
/proc/loadavg: 1.93 2.00 1.95 5/221 9455
/proc/meminfo: memFree=26993908/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0

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

/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14089220 memory=221048 CPUtime=74.04 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 36703 0 0 0 7390 14 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3522305 55262 3408 1 0 3483520 0
[pid=9441/tid=9442] ppid=9439 vsize=14089220 memory=8112282956445269571 CPUtime=69.52 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 10234 0 0 0 6948 4 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233508996456 140233121261467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14089220 memory=221036 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1907 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14089220 memory=4616 CPUtime=0.03 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 658 0 0 0 2 1 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14089220 memory=1424 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14089220 memory=10940 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14089220 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 793 0 0 0 1 0 0 0 20 0 15 0 46173405 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14089220 memory=221036 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232617432288 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232616379136 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14089220 memory=80 CPUtime=1.79 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 5960 0 -1 1077944384 6977 0 0 0 178 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232614275824 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14089220 memory=17 CPUtime=1.85 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 5960 0 -1 1077944384 6417 0 0 0 184 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232613223280 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14089220 memory=50 CPUtime=0.69 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 5960 0 -1 1077944384 6358 0 0 0 68 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232612170224 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14089220 memory=138 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14089220 memory=42 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 74.04 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 222504 KiB

[startup+70.4006 s]
/proc/loadavg: 1.98 1.99 1.95 3/221 9456
/proc/meminfo: memFree=26887684/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14089220 memory=221048 CPUtime=74.84 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 36704 0 0 0 7470 14 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3522305 55262 3408 1 0 3483520 0
[pid=9441/tid=9442] ppid=9439 vsize=14089220 memory=1456 CPUtime=70.32 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 10235 0 0 0 7028 4 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233508996296 140233121261498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14089220 memory=4096 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1907 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14089220 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 658 0 0 0 2 1 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14089220 memory=221048 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14089220 memory=1732 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14089220 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 793 0 0 0 1 0 0 0 20 0 15 0 46173405 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14089220 memory=221040 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232617432288 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232616379136 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14089220 memory=1456 CPUtime=1.79 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 5960 0 -1 1077944384 6977 0 0 0 178 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232614275824 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14089220 memory=221036 CPUtime=1.85 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 5960 0 -1 1077944384 6417 0 0 0 184 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232613223280 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14089220 memory=7163940996972696171 CPUtime=0.69 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 5960 0 -1 1077944384 6358 0 0 0 68 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232612170224 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14089220 memory=7092717979320018001 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14089220 memory=13297 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 74.84 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 222504 KiB

[startup+70.8006 s]
/proc/loadavg: 1.98 1.99 1.95 3/221 9456
/proc/meminfo: memFree=26887684/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14089220 memory=221048 CPUtime=75.24 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 36708 0 0 0 7510 14 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3522305 55262 3408 1 0 3483520 0
[pid=9441/tid=9442] ppid=9439 vsize=14089220 memory=221048 CPUtime=70.72 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 10236 0 0 0 7068 4 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233508996296 140233121261610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14089220 memory=280186353045536 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1907 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14089220 memory=280186353653600 CPUtime=0.03 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 658 0 0 0 2 1 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14089220 memory=2396 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14089220 memory=1292 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14089220 memory=1732 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 793 0 0 0 1 0 0 0 20 0 15 0 46173405 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232617432288 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14089220 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232616379136 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14089220 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14089220 memory=13412 CPUtime=1.79 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 5960 0 -1 1077944384 6977 0 0 0 178 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232614275824 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14089220 memory=-6086722141013505216 CPUtime=1.85 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 5960 0 -1 1077944384 6417 0 0 0 184 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232613223280 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14089220 memory=8110268427993965958 CPUtime=0.69 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 5960 0 -1 1077944384 6358 0 0 0 68 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232612170224 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14089220 memory=-6517932947147445662 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 75.24 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 222504 KiB

[startup+70.9006 s]
/proc/loadavg: 1.98 1.99 1.95 3/221 9456
/proc/meminfo: memFree=26887684/32770624 swapFree=67108860/67108860
[pid=9439] ppid=9436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9439/stat : 9439 (xcsp3-exec) S 9436 9439 5960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46173403 115843072 364 33554432000 4194304 5098028 140735813436624 140735813434728 139859142894204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39419904 140735813440571 140735813440772 140735813440772 140735813443530 0
/proc/9439/statm: 28282 364 306 221 0 87 0
[pid=9441] ppid=9439 vsize=14089220 memory=221048 CPUtime=75.34 cores=0,2,4,6
/proc/9441/stat : 9441 (java) S 9439 9439 5960 0 -1 1077944320 36708 0 0 0 7520 14 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140722615648816 140233504759543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
/proc/9441/statm: 3522305 55262 3408 1 0 3483520 0
[pid=9441/tid=9442] ppid=9439 vsize=14089220 memory=221048 CPUtime=70.82 cores=0,2,4,6
/proc/9441/task/9442/stat : 9442 (java) R 9439 9439 5960 0 -1 4202560 10236 0 0 0 7078 4 0 0 20 0 15 0 46173403 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233508996296 140233121261435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9443] ppid=9439 vsize=14089220 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9443/stat : 9443 (java) S 9439 9439 5960 0 -1 1077944384 1907 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233434848272 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9444] ppid=9439 vsize=14089220 memory=221048 CPUtime=0.03 cores=0,2,4,6
/proc/9441/task/9444/stat : 9444 (java) S 9439 9439 5960 0 -1 1077944384 658 0 0 0 2 1 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233099885712 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9445] ppid=9439 vsize=14089220 memory=280186353913664 CPUtime=0.02 cores=0,2,4,6
/proc/9441/task/9445/stat : 9445 (java) S 9439 9439 5960 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233098832656 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9446] ppid=9439 vsize=14089220 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9446/stat : 9446 (java) S 9439 9439 5960 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 15 0 46173404 14427361280 55262 33554432000 4194304 4196468 140722615666272 140233097780112 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9447] ppid=9439 vsize=14089220 memory=221036 CPUtime=0.01 cores=0,2,4,6
/proc/9441/task/9447/stat : 9447 (java) S 9439 9439 5960 0 -1 1077944384 793 0 0 0 1 0 0 0 20 0 15 0 46173405 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232618486000 140233504770690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9448] ppid=9439 vsize=14089220 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9448/stat : 9448 (java) S 9439 9439 5960 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232617432288 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9449] ppid=9439 vsize=14089220 memory=9484 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9449/stat : 9449 (java) S 9439 9439 5960 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46173406 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232616379136 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9450] ppid=9439 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9450/stat : 9450 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232615327696 140233504778139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9451] ppid=9439 vsize=14089220 memory=214920 CPUtime=1.79 cores=0,2,4,6
/proc/9441/task/9451/stat : 9451 (java) S 9439 9439 5960 0 -1 1077944384 6977 0 0 0 178 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232614275824 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9452] ppid=9439 vsize=14089220 memory=280186353282416 CPUtime=1.85 cores=0,2,4,6
/proc/9441/task/9452/stat : 9452 (java) S 9439 9439 5960 0 -1 1077944384 6417 0 0 0 184 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232613223280 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9453] ppid=9439 vsize=14089220 memory=756 CPUtime=0.69 cores=0,2,4,6
/proc/9441/task/9453/stat : 9453 (java) S 9439 9439 5960 0 -1 1077944384 6358 0 0 0 68 1 0 0 20 0 15 0 46173408 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232612170224 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9454] ppid=9439 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9454/stat : 9454 (java) S 9439 9439 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232611117920 140233504769749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
[pid=9441/tid=9455] ppid=9439 vsize=14089220 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/9441/task/9455/stat : 9455 (java) S 9439 9439 5960 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 46173409 14427361280 55262 33554432000 4194304 4196468 140722615666272 140232610064944 140233504770690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 31449088 140722615673985 140722615674161 140722615674161 140722615676879 0
Current children cumulated CPU time: 75.34 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 222504 KiB

Child status: 0
Real time (s): 70.9652
CPU time (s): 75.4151
CPU user time (s): 75.2667
CPU system time (s): 0.148359
CPU usage (%): 106.271
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 223016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.2668
system time used= 0.148359
maximum resident set size= 223112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3977
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 9439
#   total CPU time (s): 75.4151
#   total CPU user time (s): 75.2667
#   total CPU system time (s): 0.148359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.467546 second user time and 0.650326 second system time

The end
Name	GraphColoring/ GraphColoring-4-fullins-4_c18.xml
MD5SUM	954cbc6df2411a2de12d490b8b2019f6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	7
Best CPU time to get the best result obtained on this benchmark	18.4833
Satisfiable
(Un)Satisfiability was proved
Number of variables	690
Number of constraints	6650
Number of domains	1
Minimum domain size	690
Maximum domain size	690
Distribution of domain sizes	[{"size":690,"count":690}]
Minimum variable degree	7
Maximum variable degree	120
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6650}]
Number of extensional constraints	0
Number of intensional constraints	6650
Distribution of constraint types	[{"type":"intension","count":6650}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4292216

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
