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-16 parallel	OPT	6	24.5789	4.85315
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 (14715 MiB free)
  memory of node 1: 16384 MiB (15239 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400030-1568709872/watcher-4400030-1568709872 -o /tmp/evaluation-result-4400030-1568709872/solver-4400030-1568709872 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 526081658 HOME/instance-4400030-1568709872.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31895, runsolver pid=31892
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 7.18 7.89 8.08 2/212 31916
/proc/meminfo: memFree=30656632/32770624 swapFree=66926788/67108860
[pid=31895] ppid=31892 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31895/stat : 31895 (xcsp3-exec) S 31892 31895 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242948 115843072 363 33554432000 4194304 5098028 140736521688416 140736521686520 140551052804732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20606976 140736521696124 140736521696366 140736521696366 140736521699274 0
/proc/31895/statm: 28282 363 304 221 0 87 0
[pid=31897] ppid=31895 vsize=28227396 memory=29532 CPUtime=0.12 cores=0-7
/proc/31897/stat : 31897 (java) S 31895 31895 26088 0 -1 1077944320 5866 0 0 0 10 2 0 0 20 0 20 0 447242949 28904853504 7383 33554432000 4194304 4196468 140731958713008 140731958695552 140468247142135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
/proc/31897/statm: 7056849 7383 3118 1 0 7019032 0
[pid=31897/tid=31898] ppid=31895 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31897/task/31898/stat : 31898 (java) R 31895 31895 26088 0 -1 4202560 3764 0 0 0 8 1 0 0 20 0 20 0 447242949 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468251375408 140468247154070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31899] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31899/stat : 31899 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468199762960 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31900] ppid=31895 vsize=28227396 memory=139917225744000 CPUtime=0 cores=0-7
/proc/31897/task/31900/stat : 31900 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468198710416 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31901] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31901/stat : 31901 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468197657360 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31902] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31902/stat : 31902 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468196604816 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31903] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31903/stat : 31903 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468195551760 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31904] ppid=31895 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31897/task/31904/stat : 31904 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468194499216 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31905] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31905/stat : 31905 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468193446160 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31906] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31906/stat : 31906 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 7383 33554432000 4194304 4196468 140731958713008 140468192393616 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31907] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31907/stat : 31907 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242951 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466711243504 140468247153282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31908] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31908/stat : 31908 (java) S 31895 31895 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447242952 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466710189728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31909] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31909/stat : 31909 (java) S 31895 31895 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447242952 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466709136624 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31910] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31910/stat : 31910 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466708085200 140468247160731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31911] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31911/stat : 31911 (java) S 31895 31895 26088 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466707032304 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31912] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31912/stat : 31912 (java) S 31895 31895 26088 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466705979760 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31913] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31913/stat : 31913 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466636974064 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31914] ppid=31895 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31897/task/31914/stat : 31914 (java) R 31895 31895 26088 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 20 0 447242954 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466635921520 140468225735696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31915] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31915/stat : 31915 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466634869728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31916] ppid=31895 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31897/task/31916/stat : 31916 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242955 28904853504 7383 33554432000 4194304 4196468 140731958713008 140466633817264 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30984 KiB

[startup+0.210176 s]*
/proc/loadavg: 7.18 7.89 8.08 2/212 31916
/proc/meminfo: memFree=30644972/32770624 swapFree=66926788/67108860
[pid=31895] ppid=31892 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31895/stat : 31895 (xcsp3-exec) S 31892 31895 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242948 115843072 363 33554432000 4194304 5098028 140736521688416 140736521686520 140551052804732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20606976 140736521696124 140736521696366 140736521696366 140736521699274 0
/proc/31895/statm: 28282 363 304 221 0 87 0
[pid=31897] ppid=31895 vsize=28227396 memory=40944 CPUtime=0.33 cores=0-7
/proc/31897/stat : 31897 (java) S 31895 31895 26088 0 -1 1077944320 9522 0 0 0 29 4 0 0 20 0 20 0 447242949 28904853504 10236 33554432000 4194304 4196468 140731958713008 140731958695552 140468247142135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
/proc/31897/statm: 7056849 10236 3299 1 0 7019032 0
[pid=31897/tid=31898] ppid=31895 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31897/task/31898/stat : 31898 (java) R 31895 31895 26088 0 -1 4202560 6649 0 0 0 17 2 0 0 20 0 20 0 447242949 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468251381808 140468247154070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31899] ppid=31895 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/31897/task/31899/stat : 31899 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468199762960 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31900] ppid=31895 vsize=28227396 memory=139917225770345 CPUtime=0 cores=0-7
/proc/31897/task/31900/stat : 31900 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468198710416 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31901] ppid=31895 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31897/task/31901/stat : 31901 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468197657360 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31902] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31902/stat : 31902 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468196604816 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31903] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31903/stat : 31903 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468195551760 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31904] ppid=31895 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31897/task/31904/stat : 31904 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468194499216 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31905] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31905/stat : 31905 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468193446160 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31906] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31906/stat : 31906 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28904853504 10236 33554432000 4194304 4196468 140731958713008 140468192393616 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31907] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31907/stat : 31907 (java) S 31895 31895 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447242951 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466711243504 140468247153282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31908] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31908/stat : 31908 (java) S 31895 31895 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447242952 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466710189728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31909] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31909/stat : 31909 (java) S 31895 31895 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447242952 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466709136624 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31910] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31910/stat : 31910 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466708085200 140468247160731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31911] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31911/stat : 31911 (java) S 31895 31895 26088 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466707032304 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31912] ppid=31895 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31897/task/31912/stat : 31912 (java) S 31895 31895 26088 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 447242954 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466705979760 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31913] ppid=31895 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/31897/task/31913/stat : 31913 (java) S 31895 31895 26088 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 447242954 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466636974064 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31914] ppid=31895 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/31897/task/31914/stat : 31914 (java) S 31895 31895 26088 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 20 0 447242954 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466635921520 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31915] ppid=31895 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31915/stat : 31915 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242954 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466634869728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31916] ppid=31895 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31897/task/31916/stat : 31916 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242955 28904853504 10236 33554432000 4194304 4196468 140731958713008 140466633817264 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42396 KiB

[startup+0.309593 s]*
/proc/loadavg: 7.18 7.89 8.08 3/212 31916
/proc/meminfo: memFree=30629584/32770624 swapFree=66926788/67108860
[pid=31895] ppid=31892 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31895/stat : 31895 (xcsp3-exec) S 31892 31895 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242948 115843072 363 33554432000 4194304 5098028 140736521688416 140736521686520 140551052804732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20606976 140736521696124 140736521696366 140736521696366 140736521699274 0
/proc/31895/statm: 28282 363 304 221 0 87 0
[pid=31897] ppid=31895 vsize=28231652 memory=49824 CPUtime=0.52 cores=0-7
/proc/31897/stat : 31897 (java) S 31895 31895 26088 0 -1 1077944320 10820 0 0 0 48 4 0 0 20 0 20 0 447242949 28909211648 12456 33554432000 4194304 4196468 140731958713008 140731958695552 140468247142135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
/proc/31897/statm: 7057913 12456 3345 1 0 7019032 0
[pid=31897/tid=31898] ppid=31895 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31897/task/31898/stat : 31898 (java) R 31895 31895 26088 0 -1 4202560 7731 0 0 0 27 2 0 0 20 0 20 0 447242949 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468251373248 140468247164061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31899] ppid=31895 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31899/stat : 31899 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468199762960 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31900] ppid=31895 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31900/stat : 31900 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468198710416 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31901] ppid=31895 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31901/stat : 31901 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468197657360 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31902] ppid=31895 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31902/stat : 31902 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468196604816 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31903] ppid=31895 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/31897/task/31903/stat : 31903 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468195551760 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31904] ppid=31895 vsize=28231652 memory=139917082588079 CPUtime=0 cores=0-7
/proc/31897/task/31904/stat : 31904 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468194499216 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31905] ppid=31895 vsize=28231652 memory=139917082590384 CPUtime=0 cores=0-7
/proc/31897/task/31905/stat : 31905 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468193446160 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31906] ppid=31895 vsize=28231652 memory=139917082592688 CPUtime=0 cores=0-7
/proc/31897/task/31906/stat : 31906 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28909211648 12456 33554432000 4194304 4196468 140731958713008 140468192393616 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31907] ppid=31895 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31907/stat : 31907 (java) S 31895 31895 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447242951 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466711243504 140468247153282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31908] ppid=31895 vsize=28231652 memory=279834165192336 CPUtime=0 cores=0-7
/proc/31897/task/31908/stat : 31908 (java) S 31895 31895 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447242952 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466710189728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31909] ppid=31895 vsize=28231652 memory=279834165199248 CPUtime=0 cores=0-7
/proc/31897/task/31909/stat : 31909 (java) S 31895 31895 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447242952 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466709136624 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31910] ppid=31895 vsize=28231652 memory=279834165140528 CPUtime=0 cores=0-7
/proc/31897/task/31910/stat : 31910 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242954 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466708085200 140468247160731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31911] ppid=31895 vsize=28231652 memory=279834165213072 CPUtime=0.01 cores=0-7
/proc/31897/task/31911/stat : 31911 (java) S 31895 31895 26088 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 447242954 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466707032304 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31912] ppid=31895 vsize=28231652 memory=279834165219984 CPUtime=0.03 cores=0-7
/proc/31897/task/31912/stat : 31912 (java) R 31895 31895 26088 0 -1 4202560 550 0 0 0 3 0 0 0 20 0 20 0 447242954 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466705970144 140468231530683 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31913] ppid=31895 vsize=28231652 memory=279834165217680 CPUtime=0.03 cores=0-7
/proc/31897/task/31913/stat : 31913 (java) S 31895 31895 26088 0 -1 1077944384 116 0 0 0 3 0 0 0 20 0 20 0 447242954 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466636974064 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31914] ppid=31895 vsize=28231652 memory=279834165233840 CPUtime=0.12 cores=0-7
/proc/31897/task/31914/stat : 31914 (java) S 31895 31895 26088 0 -1 1077944384 797 0 0 0 12 0 0 0 20 0 20 0 447242954 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466635921520 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31915] ppid=31895 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31915/stat : 31915 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242954 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466634869728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31916] ppid=31895 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/31897/task/31916/stat : 31916 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242955 28909211648 12456 33554432000 4194304 4196468 140731958713008 140466633817264 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51276 KiB

[startup+0.700921 s]
/proc/loadavg: 7.18 7.89 8.08 4/212 31916
/proc/meminfo: memFree=30613536/32770624 swapFree=66926788/67108860
[pid=31895] ppid=31892 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31895/stat : 31895 (xcsp3-exec) S 31892 31895 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242948 115843072 363 33554432000 4194304 5098028 140736521688416 140736521686520 140551052804732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20606976 140736521696124 140736521696366 140736521696366 140736521699274 0
/proc/31895/statm: 28282 363 304 221 0 87 0
[pid=31897] ppid=31895 vsize=28233776 memory=108920 CPUtime=1.97 cores=0-7
/proc/31897/stat : 31897 (java) S 31895 31895 26088 0 -1 1077944320 14867 0 0 0 190 7 0 0 20 0 20 0 447242949 28911386624 27230 33554432000 4194304 4196468 140731958713008 140731958695552 140468247142135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
/proc/31897/statm: 7058444 27230 3446 1 0 7019544 0
[pid=31897/tid=31898] ppid=31895 vsize=28233776 memory=279834165591728 CPUtime=0.67 cores=0-7
/proc/31897/task/31898/stat : 31898 (java) R 31895 31895 26088 0 -1 4202560 8432 0 0 0 64 3 0 0 20 0 20 0 447242949 28911386624 27230 33554432000 4194304 4196468 140731958713008 140468251371072 140468247164061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31899] ppid=31895 vsize=28233776 memory=139917082796912 CPUtime=0 cores=0-7
/proc/31897/task/31899/stat : 31899 (java) S 31895 31895 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242950 28911386624 27230 33554432000 4194304 4196468 140731958713008 140468199762960 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31900] ppid=31895 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31900/stat : 31900 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242950 28911386624 27230 33554432000 4194304 4196468 140731958713008 140468198710416 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31901] ppid=31895 vsize=28233776 memory=1556 CPUtime=0 cores=0-7
/proc/31897/task/31901/stat : 31901 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242950 28911386624 27230 33554432000 4194304 4196468 140731958713008 140468197657360 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0

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

[pid=31897/tid=31914] ppid=31895 vsize=28768336 memory=708 CPUtime=0.8 cores=0-7
/proc/31897/task/31914/stat : 31914 (java) S 31895 31895 26088 0 -1 1077944384 3112 0 0 0 79 1 0 0 20 0 28 0 447242954 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466635921520 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31915] ppid=31895 vsize=28768336 memory=9364 CPUtime=0 cores=0-7
/proc/31897/task/31915/stat : 31915 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447242954 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466634869728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31916] ppid=31895 vsize=28768336 memory=1120 CPUtime=0 cores=0-7
/proc/31897/task/31916/stat : 31916 (java) S 31895 31895 26088 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 447242955 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466633817264 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31957] ppid=31895 vsize=28768336 memory=776 CPUtime=0.35 cores=0-7
/proc/31897/task/31957/stat : 31957 (java) R 31895 31895 26088 0 -1 4202560 19 0 0 0 35 0 0 0 20 0 28 0 447243313 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466618514160 140467871766321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31958] ppid=31895 vsize=28768336 memory=1552 CPUtime=0.21 cores=0-7
/proc/31897/task/31958/stat : 31958 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 21 0 0 0 20 0 28 0 447243313 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466623783448 140467870103188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31959] ppid=31895 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/31897/task/31959/stat : 31959 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 21 0 0 0 20 0 28 0 447243313 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466624832400 140467870012958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31960] ppid=31895 vsize=28768336 memory=0 CPUtime=0.25 cores=0-7
/proc/31897/task/31960/stat : 31960 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 25 0 0 0 20 0 28 0 447243313 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466619572328 140467871660624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31961] ppid=31895 vsize=28768336 memory=0 CPUtime=0.35 cores=0-7
/proc/31897/task/31961/stat : 31961 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 35 0 0 0 20 0 28 0 447243314 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466622732672 140467869941242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31962] ppid=31895 vsize=28768336 memory=0 CPUtime=0.24 cores=0-7
/proc/31897/task/31962/stat : 31962 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 24 0 0 0 20 0 28 0 447243314 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466621677528 140467870532300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31963] ppid=31895 vsize=28768336 memory=0 CPUtime=0.24 cores=0-7
/proc/31897/task/31963/stat : 31963 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 24 0 0 0 20 0 28 0 447243314 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466620627656 140467870012963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31964] ppid=31895 vsize=28768336 memory=3763099673816014896 CPUtime=0.3 cores=0-7
/proc/31897/task/31964/stat : 31964 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 28 0 447243314 29458776064 147141 33554432000 4194304 4196468 140731958713008 140466617467544 140467869941361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
Current children cumulated CPU time: 18.31 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 590016 KiB

[startup+4.40155 s]
/proc/loadavg: 7.18 7.89 8.08 12/220 31964
/proc/meminfo: memFree=30097464/32770624 swapFree=66926788/67108860
[pid=31895] ppid=31892 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31895/stat : 31895 (xcsp3-exec) S 31892 31895 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242948 115843072 363 33554432000 4194304 5098028 140736521688416 140736521686520 140551052804732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20606976 140736521696124 140736521696366 140736521696366 140736521699274 0
/proc/31895/statm: 28282 363 304 221 0 87 0
[pid=31897] ppid=31895 vsize=28768336 memory=635016 CPUtime=21.35 cores=0-7
/proc/31897/stat : 31897 (java) S 31895 31895 26088 0 -1 1077944320 39585 0 0 0 2095 40 0 0 20 0 28 0 447242949 29458776064 158754 33554432000 4194304 4196468 140731958713008 140731958695552 140468247142135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
/proc/31897/statm: 7192084 158754 3525 1 0 7153184 0
[pid=31897/tid=31898] ppid=31895 vsize=28768336 memory=-8675733323038954102 CPUtime=2.49 cores=0-7
/proc/31897/task/31898/stat : 31898 (java) S 31895 31895 26088 0 -1 1077944384 11636 0 0 0 241 8 0 0 20 0 28 0 447242949 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468251382912 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31899] ppid=31895 vsize=28768336 memory=-9001728533042062950 CPUtime=0.09 cores=0-7
/proc/31897/task/31899/stat : 31899 (java) S 31895 31895 26088 0 -1 1077944384 236 0 0 0 6 3 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468199762960 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31900] ppid=31895 vsize=28768336 memory=139921520711295 CPUtime=0.06 cores=0-7
/proc/31897/task/31900/stat : 31900 (java) S 31895 31895 26088 0 -1 1077944384 93 0 0 0 4 2 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468198710416 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31901] ppid=31895 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/31897/task/31901/stat : 31901 (java) S 31895 31895 26088 0 -1 1077944384 155 0 0 0 5 2 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468197657360 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31902] ppid=31895 vsize=28768336 memory=4211821575541792384 CPUtime=0.06 cores=0-7
/proc/31897/task/31902/stat : 31902 (java) S 31895 31895 26088 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468196604816 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31903] ppid=31895 vsize=28768336 memory=6656426216303648864 CPUtime=0.09 cores=0-7
/proc/31897/task/31903/stat : 31903 (java) S 31895 31895 26088 0 -1 1077944384 588 0 0 0 7 2 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468195551760 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31904] ppid=31895 vsize=28768336 memory=6655300316396806240 CPUtime=0.06 cores=0-7
/proc/31897/task/31904/stat : 31904 (java) S 31895 31895 26088 0 -1 1077944384 125 0 0 0 4 2 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468194499216 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31905] ppid=31895 vsize=28768336 memory=6656426216303648864 CPUtime=0.08 cores=0-7
/proc/31897/task/31905/stat : 31905 (java) S 31895 31895 26088 0 -1 1077944384 149 0 0 0 6 2 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468193446160 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31906] ppid=31895 vsize=28768336 memory=-3252517613198930781 CPUtime=0.09 cores=0-7
/proc/31897/task/31906/stat : 31906 (java) S 31895 31895 26088 0 -1 1077944384 207 0 0 0 6 3 0 0 20 0 28 0 447242950 29458776064 158754 33554432000 4194304 4196468 140731958713008 140468192393616 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31907] ppid=31895 vsize=28768336 memory=7161331908245094050 CPUtime=0.01 cores=0-7
/proc/31897/task/31907/stat : 31907 (java) S 31895 31895 26088 0 -1 1077944384 772 0 0 0 1 0 0 0 20 0 28 0 447242951 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466711243504 140468247153282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31908] ppid=31895 vsize=28768336 memory=6944656591801720471 CPUtime=0 cores=0-7
/proc/31897/task/31908/stat : 31908 (java) S 31895 31895 26088 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 447242952 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466710189792 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31909] ppid=31895 vsize=28768336 memory=-8458152057954561420 CPUtime=0 cores=0-7
/proc/31897/task/31909/stat : 31909 (java) S 31895 31895 26088 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 447242952 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466709136640 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31910] ppid=31895 vsize=28768336 memory=4627853888499060086 CPUtime=0 cores=0-7
/proc/31897/task/31910/stat : 31910 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447242954 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466708085200 140468247160731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31911] ppid=31895 vsize=28768336 memory=4569919473823683475 CPUtime=2.74 cores=0-7
/proc/31897/task/31911/stat : 31911 (java) R 31895 31895 26088 0 -1 4202560 6621 0 0 0 272 2 0 0 20 0 28 0 447242954 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466707017808 140468228685467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31912] ppid=31895 vsize=28768336 memory=4426078206164241782 CPUtime=2.71 cores=0-7
/proc/31897/task/31912/stat : 31912 (java) R 31895 31895 26088 0 -1 4202560 5848 0 0 0 269 2 0 0 20 0 28 0 447242954 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466705965816 140468232063194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31913] ppid=31895 vsize=28768336 memory=-7003737579269690708 CPUtime=2.76 cores=0-7
/proc/31897/task/31913/stat : 31913 (java) R 31895 31895 26088 0 -1 4202560 7135 0 0 0 275 1 0 0 20 0 28 0 447242954 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466636958536 140468228667096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31914] ppid=31895 vsize=28768336 memory=6791534058613427641 CPUtime=0.81 cores=0-7
/proc/31897/task/31914/stat : 31914 (java) S 31895 31895 26088 0 -1 1077944384 3179 0 0 0 80 1 0 0 20 0 28 0 447242954 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466635921520 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31915] ppid=31895 vsize=28768336 memory=984 CPUtime=0 cores=0-7
/proc/31897/task/31915/stat : 31915 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447242954 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466634869728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31916] ppid=31895 vsize=28768336 memory=14012 CPUtime=0 cores=0-7
/proc/31897/task/31916/stat : 31916 (java) S 31895 31895 26088 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 447242955 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466633817264 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31957] ppid=31895 vsize=28768336 memory=11228 CPUtime=0.61 cores=0-7
/proc/31897/task/31957/stat : 31957 (java) R 31895 31895 26088 0 -1 4202560 27 0 0 0 61 0 0 0 20 0 28 0 447243313 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466618518056 140467870833253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31958] ppid=31895 vsize=28768336 memory=2120 CPUtime=0.52 cores=0-7
/proc/31897/task/31958/stat : 31958 (java) R 31895 31895 26088 0 -1 4202560 18 0 0 0 52 0 0 0 20 0 28 0 447243313 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466623782816 140467870012963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31959] ppid=31895 vsize=28768336 memory=12020 CPUtime=0.41 cores=0-7
/proc/31897/task/31959/stat : 31959 (java) R 31895 31895 26088 0 -1 4202560 33 0 0 0 41 0 0 0 20 0 28 0 447243313 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466624834616 140467870561224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31960] ppid=31895 vsize=28768336 memory=496 CPUtime=0.57 cores=0-7
/proc/31897/task/31960/stat : 31960 (java) R 31895 31895 26088 0 -1 1077944384 21 0 0 0 57 0 0 0 20 0 28 0 447243313 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466619571488 140468247152341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31961] ppid=31895 vsize=28768336 memory=1560 CPUtime=0.72 cores=0-7
/proc/31897/task/31961/stat : 31961 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 72 0 0 0 20 0 28 0 447243314 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466622729264 140467869941361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31962] ppid=31895 vsize=28768336 memory=928 CPUtime=0.57 cores=0-7
/proc/31897/task/31962/stat : 31962 (java) R 31895 31895 26088 0 -1 4202560 17 0 0 0 57 0 0 0 20 0 28 0 447243314 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466621677240 140467871873964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31963] ppid=31895 vsize=28768336 memory=1680 CPUtime=0.5 cores=0-7
/proc/31897/task/31963/stat : 31963 (java) R 31895 31895 26088 0 -1 4202560 33 0 0 0 50 0 0 0 20 0 28 0 447243314 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466620624552 140467870956927 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31964] ppid=31895 vsize=28768336 memory=1444 CPUtime=0.55 cores=0-7
/proc/31897/task/31964/stat : 31964 (java) R 31895 31895 26088 0 -1 4202560 20 0 0 0 55 0 0 0 20 0 28 0 447243314 29458776064 158754 33554432000 4194304 4196468 140731958713008 140466617466800 140467869941366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
Current children cumulated CPU time: 21.35 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 636468 KiB

[startup+4.80129 s]
/proc/loadavg: 7.18 7.89 8.08 12/220 31964
/proc/meminfo: memFree=30097464/32770624 swapFree=66926788/67108860
[pid=31895] ppid=31892 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31895/stat : 31895 (xcsp3-exec) S 31892 31895 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242948 115843072 363 33554432000 4194304 5098028 140736521688416 140736521686520 140551052804732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20606976 140736521696124 140736521696366 140736521696366 140736521699274 0
/proc/31895/statm: 28282 363 304 221 0 87 0
[pid=31897] ppid=31895 vsize=28768336 memory=709652 CPUtime=24.44 cores=0-7
/proc/31897/stat : 31897 (java) S 31895 31895 26088 0 -1 1077944320 40873 0 0 0 2400 44 0 0 20 0 28 0 447242949 29458776064 177413 33554432000 4194304 4196468 140731958713008 140731958695552 140468247142135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
/proc/31897/statm: 7192084 177413 3525 1 0 7153184 0
[pid=31897/tid=31898] ppid=31895 vsize=28768336 memory=4208149189624163426 CPUtime=2.49 cores=0-7
/proc/31897/task/31898/stat : 31898 (java) S 31895 31895 26088 0 -1 1077944384 11636 0 0 0 241 8 0 0 20 0 28 0 447242949 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468251382912 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31899] ppid=31895 vsize=28768336 memory=-5345911753256963030 CPUtime=0.09 cores=0-7
/proc/31897/task/31899/stat : 31899 (java) S 31895 31895 26088 0 -1 1077944384 237 0 0 0 6 3 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468199762960 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31900] ppid=31895 vsize=28768336 memory=139917225753361 CPUtime=0.07 cores=0-7
/proc/31897/task/31900/stat : 31900 (java) S 31895 31895 26088 0 -1 1077944384 106 0 0 0 5 2 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468198710416 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31901] ppid=31895 vsize=28768336 memory=7524496191385858149 CPUtime=0.09 cores=0-7
/proc/31897/task/31901/stat : 31901 (java) S 31895 31895 26088 0 -1 1077944384 162 0 0 0 6 3 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468197657360 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31902] ppid=31895 vsize=28768336 memory=279834165850624 CPUtime=0.07 cores=0-7
/proc/31897/task/31902/stat : 31902 (java) S 31895 31895 26088 0 -1 1077944384 129 0 0 0 5 2 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468196604816 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31903] ppid=31895 vsize=28768336 memory=4137280412607091059 CPUtime=0.1 cores=0-7
/proc/31897/task/31903/stat : 31903 (java) S 31895 31895 26088 0 -1 1077944384 600 0 0 0 8 2 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468195551760 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31904] ppid=31895 vsize=28768336 memory=-7882018838379555936 CPUtime=0.07 cores=0-7
/proc/31897/task/31904/stat : 31904 (java) S 31895 31895 26088 0 -1 1077944384 137 0 0 0 5 2 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468194499216 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31905] ppid=31895 vsize=28768336 memory=8187704045996132563 CPUtime=0.09 cores=0-7
/proc/31897/task/31905/stat : 31905 (java) S 31895 31895 26088 0 -1 1077944384 160 0 0 0 7 2 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468193446160 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31906] ppid=31895 vsize=28768336 memory=6944656592455360608 CPUtime=0.1 cores=0-7
/proc/31897/task/31906/stat : 31906 (java) S 31895 31895 26088 0 -1 1077944384 214 0 0 0 7 3 0 0 20 0 28 0 447242950 29458776064 177413 33554432000 4194304 4196468 140731958713008 140468192393616 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31907] ppid=31895 vsize=28768336 memory=-8253388085843929659 CPUtime=0.01 cores=0-7
/proc/31897/task/31907/stat : 31907 (java) S 31895 31895 26088 0 -1 1077944384 773 0 0 0 1 0 0 0 20 0 28 0 447242951 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466711243504 140468247153282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31908] ppid=31895 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/31897/task/31908/stat : 31908 (java) S 31895 31895 26088 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 447242952 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466710189792 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31909] ppid=31895 vsize=28768336 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/31897/task/31909/stat : 31909 (java) S 31895 31895 26088 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 447242952 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466709136640 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31910] ppid=31895 vsize=28768336 memory=14972274012855780 CPUtime=0 cores=0-7
/proc/31897/task/31910/stat : 31910 (java) S 31895 31895 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447242954 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466708085200 140468247160731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31911] ppid=31895 vsize=28768336 memory=0 CPUtime=2.93 cores=0-7
/proc/31897/task/31911/stat : 31911 (java) R 31895 31895 26088 0 -1 4202560 6650 0 0 0 291 2 0 0 20 0 28 0 447242954 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466707021776 140468228552285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31912] ppid=31895 vsize=28768336 memory=0 CPUtime=3 cores=0-7
/proc/31897/task/31912/stat : 31912 (java) R 31895 31895 26088 0 -1 4202560 5865 0 0 0 298 2 0 0 20 0 28 0 447242954 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466705972952 140468228663511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31913] ppid=31895 vsize=28768336 memory=0 CPUtime=3.06 cores=0-7
/proc/31897/task/31913/stat : 31913 (java) R 31895 31895 26088 0 -1 4202560 8231 0 0 0 305 1 0 0 20 0 28 0 447242954 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466636962944 140468226411110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31914] ppid=31895 vsize=28768336 memory=1452 CPUtime=0.82 cores=0-7
/proc/31897/task/31914/stat : 31914 (java) S 31895 31895 26088 0 -1 1077944384 3183 0 0 0 81 1 0 0 20 0 28 0 447242954 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466635921520 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31915] ppid=31895 vsize=28768336 memory=430552 CPUtime=0 cores=0-7
/proc/31897/task/31915/stat : 31915 (java) S 31895 31895 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447242954 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466634869728 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31916] ppid=31895 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/31897/task/31916/stat : 31916 (java) S 31895 31895 26088 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 447242955 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466633817264 140468247153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31957] ppid=31895 vsize=28768336 memory=31732 CPUtime=0.88 cores=0-7
/proc/31897/task/31957/stat : 31957 (java) S 31895 31895 26088 0 -1 1077944384 50 0 0 0 88 0 0 0 20 0 28 0 447243313 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466618523392 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31958] ppid=31895 vsize=28768336 memory=988 CPUtime=0.76 cores=0-7
/proc/31897/task/31958/stat : 31958 (java) S 31895 31895 26088 0 -1 1077944384 18 0 0 0 76 0 0 0 20 0 28 0 447243313 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466623788368 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31959] ppid=31895 vsize=28768336 memory=2016 CPUtime=0.66 cores=0-7
/proc/31897/task/31959/stat : 31959 (java) S 31895 31895 26088 0 -1 1077944384 44 0 0 0 66 0 0 0 20 0 28 0 447243313 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466624840656 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31960] ppid=31895 vsize=28768336 memory=2241 CPUtime=0.85 cores=0-7
/proc/31897/task/31960/stat : 31960 (java) S 31895 31895 26088 0 -1 1077944384 28 0 0 0 85 0 0 0 20 0 28 0 447243313 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466619577424 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31961] ppid=31895 vsize=28768336 memory=2244 CPUtime=0.94 cores=0-7
/proc/31897/task/31961/stat : 31961 (java) S 31895 31895 26088 0 -1 1077944384 18 0 0 0 94 0 0 0 20 0 28 0 447243314 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466622735056 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31962] ppid=31895 vsize=28768336 memory=7596838451176499298 CPUtime=0.89 cores=0-7
/proc/31897/task/31962/stat : 31962 (java) S 31895 31895 26088 0 -1 1077944384 17 0 0 0 89 0 0 0 20 0 28 0 447243314 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466621682512 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31963] ppid=31895 vsize=28768336 memory=7882515761680900717 CPUtime=0.82 cores=0-7
/proc/31897/task/31963/stat : 31963 (java) R 31895 31895 26088 0 -1 4202560 59 0 0 0 82 0 0 0 20 0 28 0 447243314 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466620624736 140467870630924 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
[pid=31897/tid=31964] ppid=31895 vsize=28768336 memory=7882515761680900717 CPUtime=0.81 cores=0-7
/proc/31897/task/31964/stat : 31964 (java) S 31895 31895 26088 0 -1 1077944384 20 0 0 0 81 0 0 0 20 0 28 0 447243314 29458776064 177413 33554432000 4194304 4196468 140731958713008 140466617472592 140468247152341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23990272 140731958715376 140731958715547 140731958715547 140731958718415 0
Current children cumulated CPU time: 24.44 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 711104 KiB

Child status: 0
Real time (s): 4.85315
CPU time (s): 24.5789
CPU user time (s): 24.1232
CPU system time (s): 0.455695
CPU usage (%): 506.453
Max. virtual memory (cumulated for all children) (KiB): 28883552
Max. memory (cumulated for all children) (KiB): 711104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.1232
system time used= 0.455695
maximum resident set size= 710672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4558
involuntary context switches= 560


# summary of solver processes directly reported to runsolver:
#   pid: 31895
#   total CPU time (s): 24.5789
#   total CPU user time (s): 24.1232
#   total CPU system time (s): 0.455695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057283 second user time and 0.089107 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	1.16899
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400030

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
