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-06-14 parallel	OPT	6	26.5572	5.4946
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 (10738 MiB free)
  memory of node 1: 16384 MiB (15214 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394370-1568419456/watcher-4394370-1568419456 -o /tmp/evaluation-result-4394370-1568419456/solver-4394370-1568419456 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1450637892 HOME/instance-4394370-1568419456.xml 

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

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

solver pid=14423, runsolver pid=14420

[startup+0.100149 s]*
/proc/loadavg: 7.70 7.66 7.19 3/211 14444
/proc/meminfo: memFree=26559896/32770624 swapFree=66977616/67108860
[pid=14423] ppid=14420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14423/stat : 14423 (xcsp3-exec) S 14420 14423 12970 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418202864 115843072 363 33554432000 4194304 5098028 140732139703920 140732139702024 140222224904828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21499904 140732139709301 140732139709545 140732139709545 140732139712458 0
/proc/14423/statm: 28282 363 304 221 0 87 0
[pid=14425] ppid=14423 vsize=28227388 memory=29428 CPUtime=0.12 cores=0-7
/proc/14425/stat : 14425 (java) S 14423 14423 12970 0 -1 1077944320 5831 0 0 0 11 1 0 0 20 0 20 0 418202864 28904845312 7357 33554432000 4194304 4196468 140725290326368 140725290308912 140317327789815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
/proc/14425/statm: 7056847 7357 3119 1 0 7019032 0
[pid=14425/tid=14426] ppid=14423 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14425/task/14426/stat : 14426 (java) R 14423 14423 12970 0 -1 4202560 3743 0 0 0 8 1 0 0 20 0 20 0 418202864 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317332015776 140317327801750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14427] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14427/stat : 14427 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317280410640 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14428] ppid=14423 vsize=28227388 memory=140621283470454 CPUtime=0 cores=0-7
/proc/14425/task/14428/stat : 14428 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317279358096 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14429] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14429/stat : 14429 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317278305040 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14430] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14430/stat : 14430 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317277252496 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14431] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14431/stat : 14431 (java) S 14423 14423 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317276199440 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14432] ppid=14423 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14425/task/14432/stat : 14432 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317275146896 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14433] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14433/stat : 14433 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317274093840 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14434] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14434/stat : 14434 (java) S 14423 14423 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 7357 33554432000 4194304 4196468 140725290326368 140317273041296 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14435] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14435/stat : 14435 (java) S 14423 14423 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418202866 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316376017648 140317327800962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14436] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14436/stat : 14436 (java) S 14423 14423 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418202867 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316374963872 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14437] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14437/stat : 14437 (java) S 14423 14423 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418202867 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316373910768 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14438] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14438/stat : 14438 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316372859344 140317327808411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14439] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14439/stat : 14439 (java) R 14423 14423 12970 0 -1 4202560 293 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316371806448 140317327800962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14440] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14440/stat : 14440 (java) R 14423 14423 12970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316370753904 140317327800962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14441] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14441/stat : 14441 (java) R 14423 14423 12970 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316369700848 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14442] ppid=14423 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/14425/task/14442/stat : 14442 (java) R 14423 14423 12970 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 20 0 418202870 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316368648304 140317306279456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14443] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14443/stat : 14443 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316367596512 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14444] ppid=14423 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14425/task/14444/stat : 14444 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 7357 33554432000 4194304 4196468 140725290326368 140316366544048 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30880 KiB

[startup+0.210377 s]*
/proc/loadavg: 7.70 7.66 7.19 3/211 14444
/proc/meminfo: memFree=26548280/32770624 swapFree=66977616/67108860
[pid=14423] ppid=14420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14423/stat : 14423 (xcsp3-exec) S 14420 14423 12970 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418202864 115843072 363 33554432000 4194304 5098028 140732139703920 140732139702024 140222224904828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21499904 140732139709301 140732139709545 140732139709545 140732139712458 0
/proc/14423/statm: 28282 363 304 221 0 87 0
[pid=14425] ppid=14423 vsize=28227388 memory=40584 CPUtime=0.33 cores=0-7
/proc/14425/stat : 14425 (java) S 14423 14423 12970 0 -1 1077944320 9386 0 0 0 30 3 0 0 20 0 20 0 418202864 28904845312 10146 33554432000 4194304 4196468 140725290326368 140725290308912 140317327789815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
/proc/14425/statm: 7056847 10146 3307 1 0 7019032 0
[pid=14425/tid=14426] ppid=14423 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14425/task/14426/stat : 14426 (java) R 14423 14423 12970 0 -1 4202560 6655 0 0 0 17 2 0 0 20 0 20 0 418202864 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317332023936 140316934021008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14427] ppid=14423 vsize=28227388 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/14425/task/14427/stat : 14427 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317280410640 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14428] ppid=14423 vsize=28227388 memory=288370997435168384 CPUtime=0 cores=0-7
/proc/14425/task/14428/stat : 14428 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317279358096 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14429] ppid=14423 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14425/task/14429/stat : 14429 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317278305040 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14430] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14430/stat : 14430 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317277252496 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14431] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14431/stat : 14431 (java) S 14423 14423 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317276199440 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14432] ppid=14423 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14425/task/14432/stat : 14432 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317275146896 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14433] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14433/stat : 14433 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317274093840 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14434] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14434/stat : 14434 (java) S 14423 14423 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418202865 28904845312 10146 33554432000 4194304 4196468 140725290326368 140317273041296 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14435] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14435/stat : 14435 (java) S 14423 14423 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418202866 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316376017648 140317327800962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14436] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14436/stat : 14436 (java) S 14423 14423 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418202867 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316374963872 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14437] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14437/stat : 14437 (java) S 14423 14423 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418202867 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316373910768 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14438] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14438/stat : 14438 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316372859344 140317327808411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14439] ppid=14423 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14425/task/14439/stat : 14439 (java) S 14423 14423 12970 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 418202870 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316371806448 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14440] ppid=14423 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14425/task/14440/stat : 14440 (java) S 14423 14423 12970 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 20 0 418202870 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316370753904 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14441] ppid=14423 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/14425/task/14441/stat : 14441 (java) S 14423 14423 12970 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 418202870 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316369700848 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14442] ppid=14423 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/14425/task/14442/stat : 14442 (java) R 14423 14423 12970 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 20 0 418202870 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316368648304 140317320026942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14443] ppid=14423 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14443/stat : 14443 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316367596512 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14444] ppid=14423 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14425/task/14444/stat : 14444 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202870 28904845312 10146 33554432000 4194304 4196468 140725290326368 140316366544048 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42036 KiB

[startup+0.3098 s]*
/proc/loadavg: 7.70 7.66 7.19 4/211 14444
/proc/meminfo: memFree=26541504/32770624 swapFree=66977616/67108860
[pid=14423] ppid=14420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14423/stat : 14423 (xcsp3-exec) S 14420 14423 12970 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418202864 115843072 363 33554432000 4194304 5098028 140732139703920 140732139702024 140222224904828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21499904 140732139709301 140732139709545 140732139709545 140732139712458 0
/proc/14423/statm: 28282 363 304 221 0 87 0
[pid=14425] ppid=14423 vsize=28231644 memory=50060 CPUtime=0.52 cores=0-7
/proc/14425/stat : 14425 (java) S 14423 14423 12970 0 -1 1077944320 10869 0 0 0 48 4 0 0 20 0 20 0 418202864 28909203456 12515 33554432000 4194304 4196468 140725290326368 140725290308912 140317327789815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
/proc/14425/statm: 7057911 12515 3361 1 0 7019032 0
[pid=14425/tid=14426] ppid=14423 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/14425/task/14426/stat : 14426 (java) R 14423 14423 12970 0 -1 4202560 7802 0 0 0 26 3 0 0 20 0 20 0 418202864 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317332023680 140317327811741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14427] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14427/stat : 14427 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317280410640 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14428] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14428/stat : 14428 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317279358096 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14429] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14429/stat : 14429 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317278305040 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14430] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14430/stat : 14430 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317277252496 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14431] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14431/stat : 14431 (java) S 14423 14423 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317276199440 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14432] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14432/stat : 14432 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317275146896 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14433] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14433/stat : 14433 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317274093840 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14434] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14434/stat : 14434 (java) S 14423 14423 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418202865 28909203456 12515 33554432000 4194304 4196468 140725290326368 140317273041296 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14435] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14435/stat : 14435 (java) S 14423 14423 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418202866 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316376017648 140317327800962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14436] ppid=14423 vsize=28231644 memory=281242243374464 CPUtime=0 cores=0-7
/proc/14425/task/14436/stat : 14436 (java) S 14423 14423 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418202867 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316374963872 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14437] ppid=14423 vsize=28231644 memory=281242243379072 CPUtime=0 cores=0-7
/proc/14425/task/14437/stat : 14437 (java) S 14423 14423 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418202867 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316373910768 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14438] ppid=14423 vsize=28231644 memory=281242243383680 CPUtime=0 cores=0-7
/proc/14425/task/14438/stat : 14438 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202870 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316372859344 140317327808411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14439] ppid=14423 vsize=28231644 memory=281242243388288 CPUtime=0.02 cores=0-7
/proc/14425/task/14439/stat : 14439 (java) S 14423 14423 12970 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 418202870 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316371806448 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14440] ppid=14423 vsize=28231644 memory=281242243392896 CPUtime=0.03 cores=0-7
/proc/14425/task/14440/stat : 14440 (java) R 14423 14423 12970 0 -1 4202560 201 0 0 0 3 0 0 0 20 0 20 0 418202870 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316370753904 140317306193262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14441] ppid=14423 vsize=28231644 memory=281242243397504 CPUtime=0.02 cores=0-7
/proc/14425/task/14441/stat : 14441 (java) S 14423 14423 12970 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 20 0 418202870 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316369700848 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14442] ppid=14423 vsize=28231644 memory=281242243402112 CPUtime=0.12 cores=0-7
/proc/14425/task/14442/stat : 14442 (java) S 14423 14423 12970 0 -1 1077944384 928 0 0 0 12 0 0 0 20 0 20 0 418202870 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316368648304 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14443] ppid=14423 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14443/stat : 14443 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418202870 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316367596512 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14444] ppid=14423 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/14425/task/14444/stat : 14444 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202870 28909203456 12515 33554432000 4194304 4196468 140725290326368 140316366544048 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51512 KiB

[startup+0.700932 s]
/proc/loadavg: 7.70 7.66 7.19 3/211 14444
/proc/meminfo: memFree=26520852/32770624 swapFree=66977616/67108860
[pid=14423] ppid=14420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14423/stat : 14423 (xcsp3-exec) S 14420 14423 12970 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418202864 115843072 363 33554432000 4194304 5098028 140732139703920 140732139702024 140222224904828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21499904 140732139709301 140732139709545 140732139709545 140732139712458 0
/proc/14423/statm: 28282 363 304 221 0 87 0
[pid=14425] ppid=14423 vsize=28233768 memory=108112 CPUtime=1.96 cores=0-7
/proc/14425/stat : 14425 (java) S 14423 14423 12970 0 -1 1077944320 14610 0 0 0 190 6 0 0 20 0 20 0 418202864 28911378432 27028 33554432000 4194304 4196468 140725290326368 140725290308912 140317327789815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
/proc/14425/statm: 7058442 27028 3448 1 0 7019544 0
[pid=14425/tid=14426] ppid=14423 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7
/proc/14425/task/14426/stat : 14426 (java) R 14423 14423 12970 0 -1 4202560 8410 0 0 0 64 4 0 0 20 0 20 0 418202864 28911378432 27028 33554432000 4194304 4196468 140725290326368 140317332002896 140317311870302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14427] ppid=14423 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14427/stat : 14427 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28911378432 27028 33554432000 4194304 4196468 140725290326368 140317280410640 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14428] ppid=14423 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14428/stat : 14428 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28911378432 27028 33554432000 4194304 4196468 140725290326368 140317279358096 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14429] ppid=14423 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/14425/task/14429/stat : 14429 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418202865 28911378432 27028 33554432000 4194304 4196468 140725290326368 140317278305040 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0

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

[pid=14423] ppid=14420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14423/stat : 14423 (xcsp3-exec) S 14420 14423 12970 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418202864 115843072 363 33554432000 4194304 5098028 140732139703920 140732139702024 140222224904828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21499904 140732139709301 140732139709545 140732139709545 140732139712458 0
/proc/14423/statm: 28282 363 304 221 0 87 0
[pid=14425] ppid=14423 vsize=28768328 memory=705172 CPUtime=24.12 cores=0-7
/proc/14425/stat : 14425 (java) S 14423 14423 12970 0 -1 1077944320 41056 0 0 0 2364 48 0 0 20 0 28 0 418202864 29458767872 176293 33554432000 4194304 4196468 140725290326368 140725290308912 140317327789815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
/proc/14425/statm: 7192082 176293 3527 1 0 7153184 0
[pid=14425/tid=14426] ppid=14423 vsize=28768328 memory=0 CPUtime=2.46 cores=0-7
/proc/14425/task/14426/stat : 14426 (java) S 14423 14423 12970 0 -1 1077944384 11836 0 0 0 239 7 0 0 20 0 28 0 418202864 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317332030592 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14427] ppid=14423 vsize=28768328 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/14425/task/14427/stat : 14427 (java) S 14423 14423 12970 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317280410640 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14428] ppid=14423 vsize=28768328 memory=288230621803970871 CPUtime=0.11 cores=0-7
/proc/14425/task/14428/stat : 14428 (java) S 14423 14423 12970 0 -1 1077944384 597 0 0 0 8 3 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317279358096 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14429] ppid=14423 vsize=28768328 memory=16105866206120578 CPUtime=0.1 cores=0-7
/proc/14425/task/14429/stat : 14429 (java) S 14423 14423 12970 0 -1 1077944384 239 0 0 0 7 3 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317278305040 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14430] ppid=14423 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/14425/task/14430/stat : 14430 (java) S 14423 14423 12970 0 -1 1077944384 194 0 0 0 7 3 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317277252496 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14431] ppid=14423 vsize=28768328 memory=6656426216303648864 CPUtime=0.1 cores=0-7
/proc/14425/task/14431/stat : 14431 (java) S 14423 14423 12970 0 -1 1077944384 183 0 0 0 7 3 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317276199440 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14432] ppid=14423 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/14425/task/14432/stat : 14432 (java) S 14423 14423 12970 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317275146896 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14433] ppid=14423 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/14425/task/14433/stat : 14433 (java) S 14423 14423 12970 0 -1 1077944384 187 0 0 0 8 2 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317274093840 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14434] ppid=14423 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/14425/task/14434/stat : 14434 (java) S 14423 14423 12970 0 -1 1077944384 138 0 0 0 6 2 0 0 20 0 28 0 418202865 29458767872 176293 33554432000 4194304 4196468 140725290326368 140317273041296 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14435] ppid=14423 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/14425/task/14435/stat : 14435 (java) S 14423 14423 12970 0 -1 1077944384 777 0 0 0 1 0 0 0 20 0 28 0 418202866 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316376017648 140317327800962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14436] ppid=14423 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14436/stat : 14436 (java) S 14423 14423 12970 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 418202867 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316374963936 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14437] ppid=14423 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14425/task/14437/stat : 14437 (java) S 14423 14423 12970 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 418202867 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316373910784 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14438] ppid=14423 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14438/stat : 14438 (java) S 14423 14423 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418202870 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316372859344 140317327808411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14439] ppid=14423 vsize=28768328 memory=0 CPUtime=2.69 cores=0-7
/proc/14425/task/14439/stat : 14439 (java) R 14423 14423 12970 0 -1 4202560 5495 0 0 0 267 2 0 0 20 0 28 0 418202870 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316371786352 140317312688191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14440] ppid=14423 vsize=28768328 memory=0 CPUtime=3.15 cores=0-7
/proc/14425/task/14440/stat : 14440 (java) R 14423 14423 12970 0 -1 4202560 7593 0 0 0 312 3 0 0 20 0 28 0 418202870 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316370738896 140317311692914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14441] ppid=14423 vsize=28768328 memory=406204 CPUtime=2.85 cores=0-7
/proc/14425/task/14441/stat : 14441 (java) R 14423 14423 12970 0 -1 4202560 7056 0 0 0 284 1 0 0 20 0 28 0 418202870 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316369682408 140317311290147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14442] ppid=14423 vsize=28768328 memory=7230639532596683880 CPUtime=1 cores=0-7
/proc/14425/task/14442/stat : 14442 (java) R 14423 14423 12970 0 -1 4202560 3577 0 0 0 99 1 0 0 20 0 28 0 418202870 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316368648304 140317320024059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14443] ppid=14423 vsize=28768328 memory=7661014767709085796 CPUtime=0 cores=0-7
/proc/14425/task/14443/stat : 14443 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418202870 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316367596512 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14444] ppid=14423 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14444/stat : 14444 (java) S 14423 14423 12970 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 418202870 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316366544048 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14485] ppid=14423 vsize=28768328 memory=6944656592455097440 CPUtime=0.99 cores=0-7
/proc/14425/task/14485/stat : 14485 (java) R 14423 14423 12970 0 -1 4202560 57 0 0 0 99 0 0 0 20 0 28 0 418203227 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316351260608 140316934219692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14486] ppid=14423 vsize=28768328 memory=1452 CPUtime=0.75 cores=0-7
/proc/14425/task/14486/stat : 14486 (java) R 14423 14423 12970 0 -1 4202560 18 0 0 0 75 0 0 0 20 0 28 0 418203228 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316354421544 140316942374204 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14487] ppid=14423 vsize=28768328 memory=206420 CPUtime=0.61 cores=0-7
/proc/14425/task/14487/stat : 14487 (java) R 14423 14423 12970 0 -1 4202560 29 0 0 0 61 0 0 0 20 0 28 0 418203228 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316355475272 140316941991217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14488] ppid=14423 vsize=28768328 memory=13565 CPUtime=0.72 cores=0-7
/proc/14425/task/14488/stat : 14488 (java) R 14423 14423 12970 0 -1 4202560 51 0 0 0 72 0 0 0 20 0 28 0 418203228 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316350212384 140316943425307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14489] ppid=14423 vsize=28768328 memory=0 CPUtime=0.82 cores=0-7
/proc/14425/task/14489/stat : 14489 (java) R 14423 14423 12970 0 -1 4202560 22 0 0 0 82 0 0 0 20 0 28 0 418203228 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316348104360 140316941991144 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14490] ppid=14423 vsize=28768328 memory=1196 CPUtime=0.87 cores=0-7
/proc/14425/task/14490/stat : 14490 (java) R 14423 14423 12970 0 -1 4202560 20 0 0 0 87 0 0 0 20 0 28 0 418203228 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316349156888 140316942611260 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14491] ppid=14423 vsize=28768328 memory=3616 CPUtime=0.9 cores=0-7
/proc/14425/task/14491/stat : 14491 (java) R 14423 14423 12970 0 -1 4202560 20 0 0 0 90 0 0 0 20 0 28 0 418203228 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316353367728 140316945156286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14492] ppid=14423 vsize=28768328 memory=40988 CPUtime=0.82 cores=0-7
/proc/14425/task/14492/stat : 14492 (java) R 14423 14423 12970 0 -1 4202560 56 0 0 0 82 0 0 0 20 0 28 0 418203229 29458767872 176293 33554432000 4194304 4196468 140725290326368 140316352315888 140316944623121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
Current children cumulated CPU time: 24.12 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 706624 KiB

[startup+5.20123 s]
/proc/loadavg: 7.80 7.68 7.20 7/219 14492
/proc/meminfo: memFree=25879960/32770624 swapFree=66977616/67108860
[pid=14423] ppid=14420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14423/stat : 14423 (xcsp3-exec) S 14420 14423 12970 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418202864 115843072 363 33554432000 4194304 5098028 140732139703920 140732139702024 140222224904828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21499904 140732139709301 140732139709545 140732139709545 140732139712458 0
/proc/14423/statm: 28282 363 304 221 0 87 0
[pid=14425] ppid=14423 vsize=28768328 memory=723784 CPUtime=26.44 cores=0-7
/proc/14425/stat : 14425 (java) S 14423 14423 12970 0 -1 1077944320 51531 0 0 0 2594 50 0 0 20 0 19 0 418202864 29458767872 180946 33554432000 4194304 4196468 140725290326368 140725290308912 140317327789815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
/proc/14425/statm: 7192082 180946 3527 1 0 7153184 0
[pid=14425/tid=14426] ppid=14423 vsize=28768328 memory=0 CPUtime=2.46 cores=0-7
/proc/14425/task/14426/stat : 14426 (java) S 14423 14423 12970 0 -1 1077944384 11840 0 0 0 239 7 0 0 20 0 19 0 418202864 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317332032656 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14427] ppid=14423 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/14425/task/14427/stat : 14427 (java) S 14423 14423 12970 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317280410640 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14428] ppid=14423 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7
/proc/14425/task/14428/stat : 14428 (java) S 14423 14423 12970 0 -1 1077944384 597 0 0 0 8 3 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317279358096 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14429] ppid=14423 vsize=28768328 memory=7649399397116294193 CPUtime=0.1 cores=0-7
/proc/14425/task/14429/stat : 14429 (java) S 14423 14423 12970 0 -1 1077944384 239 0 0 0 7 3 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317278305040 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14430] ppid=14423 vsize=28768328 memory=7649399358478365745 CPUtime=0.1 cores=0-7
/proc/14425/task/14430/stat : 14430 (java) S 14423 14423 12970 0 -1 1077944384 194 0 0 0 7 3 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317277252496 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14431] ppid=14423 vsize=28768328 memory=7649399362773333041 CPUtime=0.1 cores=0-7
/proc/14425/task/14431/stat : 14431 (java) S 14423 14423 12970 0 -1 1077944384 183 0 0 0 7 3 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317276199440 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14432] ppid=14423 vsize=28768328 memory=7649399367068300337 CPUtime=0.09 cores=0-7
/proc/14425/task/14432/stat : 14432 (java) S 14423 14423 12970 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317275146896 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14433] ppid=14423 vsize=28768328 memory=7649399371363267633 CPUtime=0.1 cores=0-7
/proc/14425/task/14433/stat : 14433 (java) S 14423 14423 12970 0 -1 1077944384 187 0 0 0 8 2 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317274093840 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14434] ppid=14423 vsize=28768328 memory=7649399375658234929 CPUtime=0.08 cores=0-7
/proc/14425/task/14434/stat : 14434 (java) S 14423 14423 12970 0 -1 1077944384 138 0 0 0 6 2 0 0 20 0 19 0 418202865 29458767872 180946 33554432000 4194304 4196468 140725290326368 140317273041296 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14435] ppid=14423 vsize=28768328 memory=7649399379953202225 CPUtime=0.01 cores=0-7
/proc/14425/task/14435/stat : 14435 (java) S 14423 14423 12970 0 -1 1077944384 777 0 0 0 1 0 0 0 20 0 19 0 418202866 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316376017856 140317327800962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14436] ppid=14423 vsize=28768328 memory=7649399384248169521 CPUtime=0 cores=0-7
/proc/14425/task/14436/stat : 14436 (java) S 14423 14423 12970 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 418202867 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316374963936 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14437] ppid=14423 vsize=28768328 memory=7649399388543136817 CPUtime=0 cores=0-7
/proc/14425/task/14437/stat : 14437 (java) S 14423 14423 12970 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 418202867 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316373910784 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14438] ppid=14423 vsize=28768328 memory=7649399392838104113 CPUtime=0 cores=0-7
/proc/14425/task/14438/stat : 14438 (java) S 14423 14423 12970 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 418202870 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316372858992 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14439] ppid=14423 vsize=28768328 memory=7649399397133071409 CPUtime=2.96 cores=0-7
/proc/14425/task/14439/stat : 14439 (java) S 14423 14423 12970 0 -1 1077944384 7432 0 0 0 293 3 0 0 20 0 19 0 418202870 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316371785488 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14440] ppid=14423 vsize=28768328 memory=7649399358495142961 CPUtime=3.43 cores=0-7
/proc/14425/task/14440/stat : 14440 (java) S 14423 14423 12970 0 -1 1077944384 8217 0 0 0 340 3 0 0 20 0 19 0 418202870 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316370734304 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14441] ppid=14423 vsize=28768328 memory=7649399362790110257 CPUtime=3.14 cores=0-7
/proc/14425/task/14441/stat : 14441 (java) R 14423 14423 12970 0 -1 4202560 14929 0 0 0 312 2 0 0 20 0 19 0 418202870 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316369687328 140317312186516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14442] ppid=14423 vsize=28768328 memory=7649399367085077553 CPUtime=1.03 cores=0-7
/proc/14425/task/14442/stat : 14442 (java) S 14423 14423 12970 0 -1 1077944384 3592 0 0 0 101 2 0 0 20 0 19 0 418202870 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316368648304 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14443] ppid=14423 vsize=28768328 memory=7649399371380044849 CPUtime=0 cores=0-7
/proc/14425/task/14443/stat : 14443 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 418202870 29458767872 180946 33554432000 4194304 4196468 140725290326368 140316367596512 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
Current children cumulated CPU time: 26.44 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 725236 KiB

[startup+5.40096 s]
/proc/loadavg: 7.80 7.68 7.20 7/219 14492
/proc/meminfo: memFree=25879960/32770624 swapFree=66977616/67108860
[pid=14423] ppid=14420 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14423/stat : 14423 (xcsp3-exec) S 14420 14423 12970 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418202864 115843072 363 33554432000 4194304 5098028 140732139703920 140732139702024 140222224904828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21499904 140732139709301 140732139709545 140732139709545 140732139712458 0
/proc/14423/statm: 28282 363 304 221 0 87 0
[pid=14425] ppid=14423 vsize=28768328 memory=727216 CPUtime=26.53 cores=0-7
/proc/14425/stat : 14425 (java) S 14423 14423 12970 0 -1 1077944320 52407 0 0 0 2603 50 0 0 20 0 18 0 418202864 29458767872 181804 33554432000 4194304 4196468 140725290326368 140725290308912 140317327789815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
/proc/14425/statm: 7192082 181804 3527 1 0 7153184 0
[pid=14425/tid=14426] ppid=14423 vsize=28768328 memory=5787214926925815872 CPUtime=2.46 cores=0-7
/proc/14425/task/14426/stat : 14426 (java) D 14423 14423 12970 0 -1 4202560 11841 0 0 0 239 7 0 0 20 0 18 0 418202864 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317332032824 140317320475447 0 0 0 16800975 18446744072099536005 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14427] ppid=14423 vsize=28768328 memory=1452 CPUtime=0.09 cores=0-7
/proc/14425/task/14427/stat : 14427 (java) S 14423 14423 12970 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317280410640 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14428] ppid=14423 vsize=28768328 memory=567144 CPUtime=0.11 cores=0-7
/proc/14425/task/14428/stat : 14428 (java) S 14423 14423 12970 0 -1 1077944384 597 0 0 0 8 3 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317279358096 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14429] ppid=14423 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/14425/task/14429/stat : 14429 (java) S 14423 14423 12970 0 -1 1077944384 239 0 0 0 7 3 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317278305040 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14430] ppid=14423 vsize=28768328 memory=1452 CPUtime=0.1 cores=0-7
/proc/14425/task/14430/stat : 14430 (java) S 14423 14423 12970 0 -1 1077944384 194 0 0 0 7 3 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317277252496 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14431] ppid=14423 vsize=28768328 memory=566648 CPUtime=0.1 cores=0-7
/proc/14425/task/14431/stat : 14431 (java) S 14423 14423 12970 0 -1 1077944384 183 0 0 0 7 3 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317276199440 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14432] ppid=14423 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/14425/task/14432/stat : 14432 (java) S 14423 14423 12970 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317275146896 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14433] ppid=14423 vsize=28768328 memory=1898384 CPUtime=0.1 cores=0-7
/proc/14425/task/14433/stat : 14433 (java) S 14423 14423 12970 0 -1 1077944384 187 0 0 0 8 2 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317274093840 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14434] ppid=14423 vsize=28768328 memory=1899624 CPUtime=0.08 cores=0-7
/proc/14425/task/14434/stat : 14434 (java) S 14423 14423 12970 0 -1 1077944384 138 0 0 0 6 2 0 0 20 0 18 0 418202865 29458767872 181804 33554432000 4194304 4196468 140725290326368 140317273041296 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14436] ppid=14423 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14436/stat : 14436 (java) S 14423 14423 12970 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 18 0 418202867 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316374963936 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14437] ppid=14423 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14437/stat : 14437 (java) S 14423 14423 12970 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 18 0 418202867 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316373910784 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14438] ppid=14423 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14438/stat : 14438 (java) S 14423 14423 12970 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 418202870 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316372858992 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14439] ppid=14423 vsize=28768328 memory=0 CPUtime=2.96 cores=0-7
/proc/14425/task/14439/stat : 14439 (java) S 14423 14423 12970 0 -1 1077944384 7432 0 0 0 293 3 0 0 20 0 18 0 418202870 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316371785488 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14440] ppid=14423 vsize=28768328 memory=0 CPUtime=3.43 cores=0-7
/proc/14425/task/14440/stat : 14440 (java) S 14423 14423 12970 0 -1 1077944384 8217 0 0 0 340 3 0 0 20 0 18 0 418202870 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316370734304 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14441] ppid=14423 vsize=28768328 memory=0 CPUtime=3.23 cores=0-7
/proc/14425/task/14441/stat : 14441 (java) S 14423 14423 12970 0 -1 1077944384 15799 0 0 0 321 2 0 0 20 0 18 0 418202870 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316369685360 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14442] ppid=14423 vsize=28768328 memory=0 CPUtime=1.03 cores=0-7
/proc/14425/task/14442/stat : 14442 (java) S 14423 14423 12970 0 -1 1077944384 3592 0 0 0 101 2 0 0 20 0 18 0 418202870 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316368648304 140317327800962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
[pid=14425/tid=14443] ppid=14423 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14425/task/14443/stat : 14443 (java) S 14423 14423 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 418202870 29458767872 181804 33554432000 4194304 4196468 140725290326368 140316367596512 140317327800021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33259520 140725290333162 140725290333334 140725290333334 140725290336207 0
Current children cumulated CPU time: 26.53 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 728668 KiB

Child status: 0
Real time (s): 5.4946
CPU time (s): 26.5572
CPU user time (s): 26.0341
CPU system time (s): 0.523085
CPU usage (%): 483.333
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 728668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.0341
system time used= 0.523085
maximum resident set size= 728332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52993
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4683
involuntary context switches= 716


# summary of solver processes directly reported to runsolver:
#   pid: 14423
#   total CPU time (s): 26.5572
#   total CPU user time (s): 26.0341
#   total CPU system time (s): 0.523085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073647 second user time and 0.08961 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 4394370

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
