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	4	22.6025	4.8885
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 (14714 MiB free)
  memory of node 1: 16384 MiB (15240 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400104-1568709865/watcher-4400104-1568709865 -o /tmp/evaluation-result-4400104-1568709865/solver-4400104-1568709865 -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 828118794 HOME/instance-4400104-1568709865.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=31729, runsolver pid=31726
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 8.14 8.09 8.14 2/212 31750
/proc/meminfo: memFree=30656288/32770624 swapFree=66926788/67108860
[pid=31729] ppid=31726 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31729/stat : 31729 (xcsp3-exec) S 31726 31729 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242279 115843072 363 33554432000 4194304 5098028 140727500344400 140727500342504 139960832987772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27230208 140727500350332 140727500350574 140727500350574 140727500353482 0
/proc/31729/statm: 28282 363 304 221 0 87 0
[pid=31731] ppid=31729 vsize=28227396 memory=30300 CPUtime=0.12 cores=0-7
/proc/31731/stat : 31731 (java) S 31729 31729 26088 0 -1 1077944320 5480 0 0 0 10 2 0 0 20 0 20 0 447242279 28904853504 7575 33554432000 4194304 4196468 140727717948928 140727717931472 140277280796407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
/proc/31731/statm: 7056849 7575 3165 1 0 7019032 0
[pid=31731/tid=31732] ppid=31729 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31731/task/31732/stat : 31732 (java) R 31729 31729 26088 0 -1 4202560 3390 0 0 0 7 1 0 0 20 0 20 0 447242279 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277285029680 140276870999902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31733] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31733/stat : 31733 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277200648976 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31734] ppid=31729 vsize=28227396 memory=140576524957312 CPUtime=0 cores=0-7
/proc/31731/task/31734/stat : 31734 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277199596432 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31735] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31735/stat : 31735 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277198543888 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31736] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31736/stat : 31736 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277197491344 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31737] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31737/stat : 31737 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277196437776 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31738] ppid=31729 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31731/task/31738/stat : 31738 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277195385232 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31739] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31739/stat : 31739 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277194332688 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31740] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31740/stat : 31740 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 7575 33554432000 4194304 4196468 140727717948928 140277193280144 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31741] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31741/stat : 31741 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242282 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275476466160 140277280807554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31742] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31742/stat : 31742 (java) S 31729 31729 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447242282 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275475412384 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31743] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31743/stat : 31743 (java) S 31729 31729 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447242282 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275474359792 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31744] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31744/stat : 31744 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242285 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275473308368 140277280815003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31745] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31745/stat : 31745 (java) S 31729 31729 26088 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 20 0 447242285 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275472254960 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31746] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31746/stat : 31746 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242285 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275471202416 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31747] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31747/stat : 31747 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242285 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275470149872 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31748] ppid=31729 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31731/task/31748/stat : 31748 (java) R 31729 31729 26088 0 -1 4202560 373 0 0 0 1 0 0 0 20 0 20 0 447242285 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275469097328 140277280808342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31749] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31749/stat : 31749 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242285 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275468045024 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31750] ppid=31729 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31731/task/31750/stat : 31750 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242286 28904853504 7575 33554432000 4194304 4196468 140727717948928 140275466992560 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31752 KiB

[startup+0.21052 s]*
/proc/loadavg: 8.14 8.09 8.14 4/212 31750
/proc/meminfo: memFree=30643240/32770624 swapFree=66926788/67108860
[pid=31729] ppid=31726 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31729/stat : 31729 (xcsp3-exec) S 31726 31729 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242279 115843072 363 33554432000 4194304 5098028 140727500344400 140727500342504 139960832987772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27230208 140727500350332 140727500350574 140727500350574 140727500353482 0
/proc/31729/statm: 28282 363 304 221 0 87 0
[pid=31731] ppid=31729 vsize=28227396 memory=41408 CPUtime=0.33 cores=0-7
/proc/31731/stat : 31731 (java) S 31729 31729 26088 0 -1 1077944320 9059 0 0 0 29 4 0 0 20 0 20 0 447242279 28904853504 10352 33554432000 4194304 4196468 140727717948928 140727717931472 140277280796407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
/proc/31731/statm: 7056849 10352 3311 1 0 7019032 0
[pid=31731/tid=31732] ppid=31729 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31731/task/31732/stat : 31732 (java) R 31729 31729 26088 0 -1 4202560 6203 0 0 0 17 3 0 0 20 0 20 0 447242279 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277285029136 140277273474421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31733] ppid=31729 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/31731/task/31733/stat : 31733 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277200648976 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31734] ppid=31729 vsize=28227396 memory=140576524983657 CPUtime=0 cores=0-7
/proc/31731/task/31734/stat : 31734 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277199596432 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31735] ppid=31729 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31731/task/31735/stat : 31735 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277198543888 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31736] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31736/stat : 31736 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277197491344 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31737] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31737/stat : 31737 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277196437776 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31738] ppid=31729 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31731/task/31738/stat : 31738 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277195385232 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31739] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31739/stat : 31739 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277194332688 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31740] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31740/stat : 31740 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28904853504 10352 33554432000 4194304 4196468 140727717948928 140277193280144 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31741] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31741/stat : 31741 (java) S 31729 31729 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447242282 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275476466160 140277280807554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31742] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31742/stat : 31742 (java) S 31729 31729 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447242282 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275475412384 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31743] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31743/stat : 31743 (java) S 31729 31729 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447242282 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275474359792 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31744] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31744/stat : 31744 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242285 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275473308368 140277280815003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31745] ppid=31729 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31731/task/31745/stat : 31745 (java) S 31729 31729 26088 0 -1 1077944384 599 0 0 0 2 0 0 0 20 0 20 0 447242285 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275472254960 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31746] ppid=31729 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31731/task/31746/stat : 31746 (java) S 31729 31729 26088 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 447242285 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275471202416 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31747] ppid=31729 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/31731/task/31747/stat : 31747 (java) S 31729 31729 26088 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 447242285 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275470149872 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31748] ppid=31729 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/31731/task/31748/stat : 31748 (java) S 31729 31729 26088 0 -1 1077944384 773 0 0 0 7 0 0 0 20 0 20 0 447242285 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275469097328 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31749] ppid=31729 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31749/stat : 31749 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242285 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275468045024 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31750] ppid=31729 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31731/task/31750/stat : 31750 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242286 28904853504 10352 33554432000 4194304 4196468 140727717948928 140275466992560 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42860 KiB

[startup+0.310324 s]*
/proc/loadavg: 8.14 8.09 8.14 3/212 31750
/proc/meminfo: memFree=30635696/32770624 swapFree=66926788/67108860
[pid=31729] ppid=31726 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31729/stat : 31729 (xcsp3-exec) S 31726 31729 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242279 115843072 363 33554432000 4194304 5098028 140727500344400 140727500342504 139960832987772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27230208 140727500350332 140727500350574 140727500350574 140727500353482 0
/proc/31729/statm: 28282 363 304 221 0 87 0
[pid=31731] ppid=31729 vsize=28231652 memory=50224 CPUtime=0.52 cores=0-7
/proc/31731/stat : 31731 (java) S 31729 31729 26088 0 -1 1077944320 10358 0 0 0 47 5 0 0 20 0 20 0 447242279 28909211648 12556 33554432000 4194304 4196468 140727717948928 140727717931472 140277280796407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
/proc/31731/statm: 7057913 12556 3361 1 0 7019032 0
[pid=31731/tid=31732] ppid=31729 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31731/task/31732/stat : 31732 (java) R 31729 31729 26088 0 -1 4202560 7265 0 0 0 26 3 0 0 20 0 20 0 447242279 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277285027520 140277280818333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31733] ppid=31729 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31733/stat : 31733 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277200648976 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31734] ppid=31729 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31734/stat : 31734 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277199596432 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31735] ppid=31729 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31735/stat : 31735 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277198543888 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31736] ppid=31729 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31736/stat : 31736 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277197491344 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31737] ppid=31729 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/31731/task/31737/stat : 31737 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277196437776 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31738] ppid=31729 vsize=28231652 memory=140576427176879 CPUtime=0 cores=0-7
/proc/31731/task/31738/stat : 31738 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277195385232 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31739] ppid=31729 vsize=28231652 memory=140576427179184 CPUtime=0 cores=0-7
/proc/31731/task/31739/stat : 31739 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277194332688 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31740] ppid=31729 vsize=28231652 memory=140576427181488 CPUtime=0 cores=0-7
/proc/31731/task/31740/stat : 31740 (java) S 31729 31729 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447242280 28909211648 12556 33554432000 4194304 4196468 140727717948928 140277193280144 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31741] ppid=31729 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31741/stat : 31741 (java) S 31729 31729 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447242282 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275476466160 140277280807554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31742] ppid=31729 vsize=28231652 memory=281152854369936 CPUtime=0 cores=0-7
/proc/31731/task/31742/stat : 31742 (java) S 31729 31729 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447242282 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275475412384 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31743] ppid=31729 vsize=28231652 memory=281152854376848 CPUtime=0 cores=0-7
/proc/31731/task/31743/stat : 31743 (java) S 31729 31729 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447242282 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275474359792 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31744] ppid=31729 vsize=28231652 memory=281152854318128 CPUtime=0 cores=0-7
/proc/31731/task/31744/stat : 31744 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242285 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275473308368 140277280815003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31745] ppid=31729 vsize=28231652 memory=281152854390672 CPUtime=0.02 cores=0-7
/proc/31731/task/31745/stat : 31745 (java) S 31729 31729 26088 0 -1 1077944384 609 0 0 0 2 0 0 0 20 0 20 0 447242285 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275472254960 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31746] ppid=31729 vsize=28231652 memory=281152854397584 CPUtime=0.03 cores=0-7
/proc/31731/task/31746/stat : 31746 (java) R 31729 31729 26088 0 -1 4202560 151 0 0 0 3 0 0 0 20 0 20 0 447242285 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275471192800 140277258448272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31747] ppid=31729 vsize=28231652 memory=281152854395280 CPUtime=0.02 cores=0-7
/proc/31731/task/31747/stat : 31747 (java) S 31729 31729 26088 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 447242285 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275470149872 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31748] ppid=31729 vsize=28231652 memory=281152854411440 CPUtime=0.12 cores=0-7
/proc/31731/task/31748/stat : 31748 (java) S 31729 31729 26088 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 20 0 447242285 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275469097328 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31749] ppid=31729 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31749/stat : 31749 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242285 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275468045024 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31750] ppid=31729 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/31731/task/31750/stat : 31750 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242286 28909211648 12556 33554432000 4194304 4196468 140727717948928 140275466992560 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51676 KiB

[startup+0.701048 s]
/proc/loadavg: 8.14 8.09 8.14 6/212 31750
/proc/meminfo: memFree=30614816/32770624 swapFree=66926788/67108860
[pid=31729] ppid=31726 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31729/stat : 31729 (xcsp3-exec) S 31726 31729 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242279 115843072 363 33554432000 4194304 5098028 140727500344400 140727500342504 139960832987772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27230208 140727500350332 140727500350574 140727500350574 140727500353482 0
/proc/31729/statm: 28282 363 304 221 0 87 0
[pid=31731] ppid=31729 vsize=28233776 memory=117676 CPUtime=1.93 cores=0-7
/proc/31731/stat : 31731 (java) S 31729 31729 26088 0 -1 1077944320 15465 0 0 0 186 7 0 0 20 0 20 0 447242279 28911386624 29419 33554432000 4194304 4196468 140727717948928 140727717931472 140277280796407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
/proc/31731/statm: 7058444 29419 3453 1 0 7019544 0
[pid=31731/tid=31732] ppid=31729 vsize=28233776 memory=281152854769328 CPUtime=0.67 cores=0-7
/proc/31731/task/31732/stat : 31732 (java) R 31729 31729 26088 0 -1 4202560 7938 0 0 0 63 4 0 0 20 0 20 0 447242279 28911386624 29419 33554432000 4194304 4196468 140727717948928 140277285034336 140277264167888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31733] ppid=31729 vsize=28233776 memory=140576427385712 CPUtime=0 cores=0-7
/proc/31731/task/31733/stat : 31733 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28911386624 29419 33554432000 4194304 4196468 140727717948928 140277200648976 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31734] ppid=31729 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31734/stat : 31734 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447242280 28911386624 29419 33554432000 4194304 4196468 140727717948928 140277199596432 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31735] ppid=31729 vsize=28233776 memory=1556 CPUtime=0 cores=0-7
/proc/31731/task/31735/stat : 31735 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447242280 28911386624 29419 33554432000 4194304 4196468 140727717948928 140277198543888 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0

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

[pid=31731/tid=31748] ppid=31729 vsize=28768336 memory=984 CPUtime=0.83 cores=0-7
/proc/31731/task/31748/stat : 31748 (java) R 31729 31729 26088 0 -1 4202560 4482 0 0 0 81 2 0 0 20 0 28 0 447242285 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275469097328 140277280817754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31749] ppid=31729 vsize=28768336 memory=14012 CPUtime=0 cores=0-7
/proc/31731/task/31749/stat : 31749 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447242285 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275468045024 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31750] ppid=31729 vsize=28768336 memory=11228 CPUtime=0 cores=0-7
/proc/31731/task/31750/stat : 31750 (java) S 31729 31729 26088 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 447242286 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275466992560 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31807] ppid=31729 vsize=28768336 memory=2120 CPUtime=0.13 cores=0-7
/proc/31731/task/31807/stat : 31807 (java) R 31729 31729 26088 0 -1 4202560 18 0 0 0 13 0 0 0 20 0 28 0 447242666 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275452510120 140276878904862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31808] ppid=31729 vsize=28768336 memory=12020 CPUtime=0.06 cores=0-7
/proc/31731/task/31808/stat : 31808 (java) R 31729 31729 26088 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 28 0 447242666 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275457773704 140276880008351 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31809] ppid=31729 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/31731/task/31809/stat : 31809 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 7 0 0 0 20 0 28 0 447242666 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275453561840 140276880009574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31810] ppid=31729 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/31731/task/31810/stat : 31810 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 28 0 447242666 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275456720744 140276880009238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31811] ppid=31729 vsize=28768336 memory=0 CPUtime=0.13 cores=0-7
/proc/31731/task/31811/stat : 31811 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 13 0 0 0 20 0 28 0 447242666 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275454615048 140276880008872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31812] ppid=31729 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/31731/task/31812/stat : 31812 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 28 0 447242666 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275451457320 140276880010064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31813] ppid=31729 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/31731/task/31813/stat : 31813 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 28 0 447242667 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275450412232 140276878904862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31814] ppid=31729 vsize=28768336 memory=3906649700097931062 CPUtime=0.09 cores=0-7
/proc/31731/task/31814/stat : 31814 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 447242667 29458776064 178436 33554432000 4194304 4196468 140727717948928 140275455675720 140276880008872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
Current children cumulated CPU time: 15.85 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 715196 KiB

[startup+4.40143 s]
/proc/loadavg: 7.81 8.03 8.12 12/220 31814
/proc/meminfo: memFree=29972100/32770624 swapFree=66926788/67108860
[pid=31729] ppid=31726 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31729/stat : 31729 (xcsp3-exec) S 31726 31729 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242279 115843072 363 33554432000 4194304 5098028 140727500344400 140727500342504 139960832987772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27230208 140727500350332 140727500350574 140727500350574 140727500353482 0
/proc/31729/statm: 28282 363 304 221 0 87 0
[pid=31731] ppid=31729 vsize=28768336 memory=714588 CPUtime=18.95 cores=0-7
/proc/31731/stat : 31731 (java) S 31729 31729 26088 0 -1 1077944320 38892 0 0 0 1842 53 0 0 20 0 28 0 447242279 29458776064 178647 33554432000 4194304 4196468 140727717948928 140727717931472 140277280796407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
/proc/31731/statm: 7192084 178647 3536 1 0 7153184 0
[pid=31731/tid=31732] ppid=31729 vsize=28768336 memory=0 CPUtime=2.96 cores=0-7
/proc/31731/task/31732/stat : 31732 (java) S 31729 31729 26088 0 -1 1077944384 10731 0 0 0 284 12 0 0 20 0 28 0 447242279 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277285037184 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31733] ppid=31729 vsize=28768336 memory=0 CPUtime=0.12 cores=0-7
/proc/31731/task/31733/stat : 31733 (java) S 31729 31729 26088 0 -1 1077944384 149 0 0 0 8 4 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277200648976 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31734] ppid=31729 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/31731/task/31734/stat : 31734 (java) S 31729 31729 26088 0 -1 1077944384 110 0 0 0 6 3 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277199596432 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31735] ppid=31729 vsize=28768336 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/31731/task/31735/stat : 31735 (java) S 31729 31729 26088 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277198543888 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31736] ppid=31729 vsize=28768336 memory=708 CPUtime=0.1 cores=0-7
/proc/31731/task/31736/stat : 31736 (java) S 31729 31729 26088 0 -1 1077944384 193 0 0 0 7 3 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277197491344 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31737] ppid=31729 vsize=28768336 memory=9364 CPUtime=0.1 cores=0-7
/proc/31731/task/31737/stat : 31737 (java) S 31729 31729 26088 0 -1 1077944384 257 0 0 0 7 3 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277196437776 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31738] ppid=31729 vsize=28768336 memory=1120 CPUtime=0.11 cores=0-7
/proc/31731/task/31738/stat : 31738 (java) S 31729 31729 26088 0 -1 1077944384 152 0 0 0 8 3 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277195385232 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31739] ppid=31729 vsize=28768336 memory=776 CPUtime=0.12 cores=0-7
/proc/31731/task/31739/stat : 31739 (java) S 31729 31729 26088 0 -1 1077944384 200 0 0 0 8 4 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277194332688 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31740] ppid=31729 vsize=28768336 memory=1552 CPUtime=0.1 cores=0-7
/proc/31731/task/31740/stat : 31740 (java) S 31729 31729 26088 0 -1 1077944384 499 0 0 0 7 3 0 0 20 0 28 0 447242280 29458776064 178647 33554432000 4194304 4196468 140727717948928 140277193280144 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31741] ppid=31729 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/31731/task/31741/stat : 31741 (java) S 31729 31729 26088 0 -1 1077944384 655 0 0 0 1 0 0 0 20 0 28 0 447242282 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275476466160 140277280807554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31742] ppid=31729 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31742/stat : 31742 (java) S 31729 31729 26088 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447242282 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275475412448 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31743] ppid=31729 vsize=28768336 memory=140576427565372 CPUtime=0 cores=0-7
/proc/31731/task/31743/stat : 31743 (java) S 31729 31729 26088 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 447242282 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275474359808 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31744] ppid=31729 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/31731/task/31744/stat : 31744 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447242285 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275473308368 140277280815003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31745] ppid=31729 vsize=28768336 memory=984 CPUtime=2.73 cores=0-7
/proc/31731/task/31745/stat : 31745 (java) R 31729 31729 26088 0 -1 4202560 6833 0 0 0 271 2 0 0 20 0 28 0 447242285 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275472241424 140277264183332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31746] ppid=31729 vsize=28768336 memory=14012 CPUtime=2.73 cores=0-7
/proc/31731/task/31746/stat : 31746 (java) R 31729 31729 26088 0 -1 4202560 5816 0 0 0 272 1 0 0 20 0 28 0 447242285 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275471188640 140277262316086 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31747] ppid=31729 vsize=28768336 memory=11228 CPUtime=2.5 cores=0-7
/proc/31731/task/31747/stat : 31747 (java) R 31729 31729 26088 0 -1 4202560 5877 0 0 0 248 2 0 0 20 0 28 0 447242285 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275470146240 140277264207301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31748] ppid=31729 vsize=28768336 memory=7518590701213671769 CPUtime=0.86 cores=0-7
/proc/31731/task/31748/stat : 31748 (java) S 31729 31729 26088 0 -1 1077944384 4534 0 0 0 84 2 0 0 20 0 28 0 447242285 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275469097328 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31749] ppid=31729 vsize=28768336 memory=6081104596517414506 CPUtime=0 cores=0-7
/proc/31731/task/31749/stat : 31749 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447242285 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275468045024 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31750] ppid=31729 vsize=28768336 memory=7368002589315584080 CPUtime=0 cores=0-7
/proc/31731/task/31750/stat : 31750 (java) S 31729 31729 26088 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447242286 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275466992560 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31807] ppid=31729 vsize=28768336 memory=140580819924607 CPUtime=0.34 cores=0-7
/proc/31731/task/31807/stat : 31807 (java) R 31729 31729 26088 0 -1 4202560 18 0 0 0 34 0 0 0 20 0 28 0 447242666 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275452510280 140276879455812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31808] ppid=31729 vsize=28768336 memory=3689929580726873958 CPUtime=0.35 cores=0-7
/proc/31731/task/31808/stat : 31808 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 35 0 0 0 20 0 28 0 447242666 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275457773568 140276880141212 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31809] ppid=31729 vsize=28768336 memory=4639622827774857296 CPUtime=0.28 cores=0-7
/proc/31731/task/31809/stat : 31809 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 28 0 0 0 20 0 28 0 447242666 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275453561928 140276878852401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31810] ppid=31729 vsize=28768336 memory=7380671248541445222 CPUtime=0.36 cores=0-7
/proc/31731/task/31810/stat : 31810 (java) R 31729 31729 26088 0 -1 4202560 17 0 0 0 36 0 0 0 20 0 28 0 447242666 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275456721288 140276878852401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31811] ppid=31729 vsize=28768336 memory=17562550 CPUtime=0.43 cores=0-7
/proc/31731/task/31811/stat : 31811 (java) R 31729 31729 26088 0 -1 4202560 21 0 0 0 43 0 0 0 20 0 28 0 447242666 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275454602016 140276878358321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31812] ppid=31729 vsize=28768336 memory=45501366 CPUtime=0.35 cores=0-7
/proc/31731/task/31812/stat : 31812 (java) R 31729 31729 26088 0 -1 4202560 18 0 0 0 35 0 0 0 20 0 28 0 447242666 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275451458824 140276878358398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31813] ppid=31729 vsize=28768336 memory=43719609 CPUtime=0.42 cores=0-7
/proc/31731/task/31813/stat : 31813 (java) R 31729 31729 26088 0 -1 4202560 18 0 0 0 42 0 0 0 20 0 28 0 447242667 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275450407736 140276880213676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31814] ppid=31729 vsize=28768336 memory=324717520 CPUtime=0.42 cores=0-7
/proc/31731/task/31814/stat : 31814 (java) R 31729 31729 26088 0 -1 4202560 18 0 0 0 42 0 0 0 20 0 28 0 447242667 29458776064 178647 33554432000 4194304 4196468 140727717948928 140275455668392 140276878665628 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
Current children cumulated CPU time: 18.95 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 716040 KiB

[startup+4.80143 s]
/proc/loadavg: 7.81 8.03 8.12 12/220 31814
/proc/meminfo: memFree=29972100/32770624 swapFree=66926788/67108860
[pid=31729] ppid=31726 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31729/stat : 31729 (xcsp3-exec) S 31726 31729 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447242279 115843072 363 33554432000 4194304 5098028 140727500344400 140727500342504 139960832987772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27230208 140727500350332 140727500350574 140727500350574 140727500353482 0
/proc/31729/statm: 28282 363 304 221 0 87 0
[pid=31731] ppid=31729 vsize=28768336 memory=715176 CPUtime=22.14 cores=0-7
/proc/31731/stat : 31731 (java) S 31729 31729 26088 0 -1 1077944320 39055 0 0 0 2160 54 0 0 20 0 28 0 447242279 29458776064 178794 33554432000 4194304 4196468 140727717948928 140727717931472 140277280796407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
/proc/31731/statm: 7192084 178794 3538 1 0 7153184 0
[pid=31731/tid=31732] ppid=31729 vsize=28768336 memory=288230596050944315 CPUtime=2.96 cores=0-7
/proc/31731/task/31732/stat : 31732 (java) S 31729 31729 26088 0 -1 1077944384 10731 0 0 0 284 12 0 0 20 0 28 0 447242279 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277285037184 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31733] ppid=31729 vsize=28768336 memory=14972274012855780 CPUtime=0.12 cores=0-7
/proc/31731/task/31733/stat : 31733 (java) S 31729 31729 26088 0 -1 1077944384 149 0 0 0 8 4 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277200648976 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31734] ppid=31729 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/31731/task/31734/stat : 31734 (java) S 31729 31729 26088 0 -1 1077944384 110 0 0 0 6 3 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277199596432 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31735] ppid=31729 vsize=28768336 memory=8978309881829228949 CPUtime=0.09 cores=0-7
/proc/31731/task/31735/stat : 31735 (java) S 31729 31729 26088 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277198543888 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31736] ppid=31729 vsize=28768336 memory=4208149189624163426 CPUtime=0.1 cores=0-7
/proc/31731/task/31736/stat : 31736 (java) S 31729 31729 26088 0 -1 1077944384 193 0 0 0 7 3 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277197491344 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31737] ppid=31729 vsize=28768336 memory=-5345911753256963030 CPUtime=0.1 cores=0-7
/proc/31731/task/31737/stat : 31737 (java) S 31729 31729 26088 0 -1 1077944384 257 0 0 0 7 3 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277196437776 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31738] ppid=31729 vsize=28768336 memory=140576524966673 CPUtime=0.11 cores=0-7
/proc/31731/task/31738/stat : 31738 (java) S 31729 31729 26088 0 -1 1077944384 152 0 0 0 8 3 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277195385232 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31739] ppid=31729 vsize=28768336 memory=7523093223121711208 CPUtime=0.12 cores=0-7
/proc/31731/task/31739/stat : 31739 (java) S 31729 31729 26088 0 -1 1077944384 200 0 0 0 8 4 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277194332688 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31740] ppid=31729 vsize=28768336 memory=281152854965952 CPUtime=0.1 cores=0-7
/proc/31731/task/31740/stat : 31740 (java) S 31729 31729 26088 0 -1 1077944384 499 0 0 0 7 3 0 0 20 0 28 0 447242280 29458776064 178794 33554432000 4194304 4196468 140727717948928 140277193280144 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31741] ppid=31729 vsize=28768336 memory=8326441112149131693 CPUtime=0.01 cores=0-7
/proc/31731/task/31741/stat : 31741 (java) S 31729 31729 26088 0 -1 1077944384 655 0 0 0 1 0 0 0 20 0 28 0 447242282 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275476466160 140277280807554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31742] ppid=31729 vsize=28768336 memory=-2629627718966826398 CPUtime=0 cores=0-7
/proc/31731/task/31742/stat : 31742 (java) S 31729 31729 26088 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447242282 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275475412448 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31743] ppid=31729 vsize=28768336 memory=3054156605268206977 CPUtime=0 cores=0-7
/proc/31731/task/31743/stat : 31743 (java) S 31729 31729 26088 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 447242282 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275474359808 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31744] ppid=31729 vsize=28768336 memory=-7395679465411340375 CPUtime=0 cores=0-7
/proc/31731/task/31744/stat : 31744 (java) S 31729 31729 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447242285 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275473308368 140277280815003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31745] ppid=31729 vsize=28768336 memory=7450481453364701288 CPUtime=2.94 cores=0-7
/proc/31731/task/31745/stat : 31745 (java) R 31729 31729 26088 0 -1 4202560 6860 0 0 0 292 2 0 0 20 0 28 0 447242285 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275472239680 140277265220048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31746] ppid=31729 vsize=28768336 memory=288230596134830447 CPUtime=2.97 cores=0-7
/proc/31731/task/31746/stat : 31746 (java) R 31729 31729 26088 0 -1 4202560 5864 0 0 0 296 1 0 0 20 0 28 0 447242285 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275471192528 140277264282354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31747] ppid=31729 vsize=28768336 memory=281152855135424 CPUtime=2.76 cores=0-7
/proc/31731/task/31747/stat : 31747 (java) R 31729 31729 26088 0 -1 4202560 5896 0 0 0 274 2 0 0 20 0 28 0 447242285 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275470139832 140277261518365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31748] ppid=31729 vsize=28768336 memory=140576427562768 CPUtime=0.9 cores=0-7
/proc/31731/task/31748/stat : 31748 (java) S 31729 31729 26088 0 -1 1077944384 4582 0 0 0 88 2 0 0 20 0 28 0 447242285 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275469097328 140277280807554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31749] ppid=31729 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31749/stat : 31749 (java) S 31729 31729 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447242285 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275468045024 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31750] ppid=31729 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/31731/task/31750/stat : 31750 (java) R 31729 31729 26088 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447242286 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275466992560 140277280807554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31807] ppid=31729 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7
/proc/31731/task/31807/stat : 31807 (java) R 31729 31729 26088 0 -1 1077944384 21 0 0 0 71 0 0 0 20 0 28 0 447242666 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275452509880 140277280806613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31808] ppid=31729 vsize=28768336 memory=0 CPUtime=0.74 cores=0-7
/proc/31731/task/31808/stat : 31808 (java) S 31729 31729 26088 0 -1 1077944384 19 0 0 0 74 0 0 0 20 0 28 0 447242666 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275457779280 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31809] ppid=31729 vsize=28768336 memory=0 CPUtime=0.49 cores=0-7
/proc/31731/task/31809/stat : 31809 (java) R 31729 31729 26088 0 -1 4202560 18 0 0 0 49 0 0 0 20 0 28 0 447242666 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275453563224 140276879611392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31810] ppid=31729 vsize=28768336 memory=6791534058613427641 CPUtime=0.72 cores=0-7
/proc/31731/task/31810/stat : 31810 (java) S 31729 31729 26088 0 -1 1077944384 20 0 0 0 72 0 0 0 20 0 28 0 447242666 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275456725840 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31811] ppid=31729 vsize=28768336 memory=0 CPUtime=0.62 cores=0-7
/proc/31731/task/31811/stat : 31811 (java) R 31729 31729 26088 0 -1 4202560 25 0 0 0 62 0 0 0 20 0 28 0 447242666 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275454613744 140276880141236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31812] ppid=31729 vsize=28768336 memory=0 CPUtime=0.65 cores=0-7
/proc/31731/task/31812/stat : 31812 (java) S 31729 31729 26088 0 -1 1077944384 20 0 0 0 65 0 0 0 20 0 28 0 447242666 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275451462736 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31813] ppid=31729 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7
/proc/31731/task/31813/stat : 31813 (java) S 31729 31729 26088 0 -1 1077944384 23 0 0 0 71 0 0 0 20 0 28 0 447242667 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275450410192 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
[pid=31731/tid=31814] ppid=31729 vsize=28768336 memory=0 CPUtime=0.78 cores=0-7
/proc/31731/task/31814/stat : 31814 (java) S 31729 31729 26088 0 -1 1077944384 19 0 0 0 78 0 0 0 20 0 28 0 447242667 29458776064 178794 33554432000 4194304 4196468 140727717948928 140275455673680 140277280806613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18100224 140727717950448 140727717950619 140727717950619 140727717953487 0
Current children cumulated CPU time: 22.14 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 716628 KiB

Child status: 0
Real time (s): 4.8885
CPU time (s): 22.6025
CPU user time (s): 22.0466
CPU system time (s): 0.555959
CPU usage (%): 462.362
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 716628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.0466
system time used= 0.555959
maximum resident set size= 716252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4958
involuntary context switches= 457


# summary of solver processes directly reported to runsolver:
#   pid: 31729
#   total CPU time (s): 22.6025
#   total CPU user time (s): 22.0466
#   total CPU system time (s): 0.555959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059616 second user time and 0.091481 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml
MD5SUM	4c5949db6bfbca6a63c3d4670a37bb2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	1.93663
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9803
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	28
Maximum variable degree	67
Distribution of variable degrees	[{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9803}]
Number of extensional constraints	0
Number of intensional constraints	9803
Distribution of constraint types	[{"type":"intension","count":9803}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400104

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
