2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	4	19.0878	4.92878
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 (7987 MiB free)
  memory of node 1: 16384 MiB (4840 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404604-1568994680/watcher-4404604-1568994680 -o /tmp/evaluation-result-4404604-1568994680/solver-4404604-1568994680 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568994624-13980 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1987229432 HOME/instance-4404604-1568994680.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
solver pid=14100, runsolver pid=14097
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.21 5.19 6.58 3/212 14121
/proc/meminfo: memFree=13121328/32770624 swapFree=66959628/67108860
[pid=14100] ppid=14097 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14100/stat : 14100 (xcsp3-exec) S 14097 14100 13953 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475736857 115843072 364 33554432000 4194304 5098028 140733517924000 140733517922104 140016487129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140733517927285 140733517927529 140733517927529 140733517930442 0
/proc/14100/statm: 28282 364 305 221 0 87 0
[pid=14102] ppid=14100 vsize=28227396 memory=28928 CPUtime=0.12 cores=0-7
/proc/14102/stat : 14102 (java) S 14100 14100 13953 0 -1 1077944320 5718 0 0 0 11 1 0 0 20 0 20 0 475736857 28904853504 7232 33554432000 4194304 4196468 140726660688688 140726660671232 139833590808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
/proc/14102/statm: 7056849 7232 3121 1 0 7019032 0
[pid=14102/tid=14103] ppid=14100 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/14102/task/14103/stat : 14103 (java) R 14100 14100 13953 0 -1 4202560 3615 0 0 0 8 0 0 0 20 0 20 0 475736858 28904853504 7232 33554432000 4194304 4196468 140726660688688 139833595047552 139833590820246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14104] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14104/stat : 14104 (java) S 14100 14100 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 7232 33554432000 4194304 4196468 140726660688688 139833543428496 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14105] ppid=14100 vsize=28227396 memory=139722933632544 CPUtime=0 cores=0-7
/proc/14102/task/14105/stat : 14105 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 7232 33554432000 4194304 4196468 140726660688688 139833542375696 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14106] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14106/stat : 14106 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 7232 33554432000 4194304 4196468 140726660688688 139833541323408 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14107] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14107/stat : 14107 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 7232 33554432000 4194304 4196468 140726660688688 139833540270608 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14108] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14108/stat : 14108 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 7298 33554432000 4194304 4196468 140726660688688 139833539218320 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14109] ppid=14100 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14102/task/14109/stat : 14109 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 7298 33554432000 4194304 4196468 140726660688688 139833538165520 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14110] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14110/stat : 14110 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 7298 33554432000 4194304 4196468 140726660688688 139833537113232 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14111] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14111/stat : 14111 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475736859 28904853504 7298 33554432000 4194304 4196468 140726660688688 139833536060432 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14112] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14112/stat : 14112 (java) S 14100 14100 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475736860 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831719262320 139833590819458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14113] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14113/stat : 14113 (java) S 14100 14100 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475736860 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831718208288 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14114] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14114/stat : 14114 (java) S 14100 14100 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475736861 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831717155952 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14115] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14115/stat : 14115 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831716104272 139833590826907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14116] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14116/stat : 14116 (java) S 14100 14100 13953 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831715052144 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14117] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14117/stat : 14117 (java) R 14100 14100 13953 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831713990848 139833574244049 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14118] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14118/stat : 14118 (java) R 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831712947056 139833590819458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14119] ppid=14100 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14102/task/14119/stat : 14119 (java) R 14100 14100 13953 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 20 0 475736863 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831711894256 139833574995693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14120] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14120/stat : 14120 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831710841184 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14121] ppid=14100 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14102/task/14121/stat : 14121 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 7298 33554432000 4194304 4196468 140726660688688 139831709788464 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30384 KiB

[startup+0.214414 s]*
/proc/loadavg: 4.21 5.19 6.58 3/212 14121
/proc/meminfo: memFree=13108748/32770624 swapFree=66959628/67108860
[pid=14100] ppid=14097 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14100/stat : 14100 (xcsp3-exec) S 14097 14100 13953 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475736857 115843072 364 33554432000 4194304 5098028 140733517924000 140733517922104 140016487129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140733517927285 140733517927529 140733517927529 140733517930442 0
/proc/14100/statm: 28282 364 305 221 0 87 0
[pid=14102] ppid=14100 vsize=28227396 memory=40592 CPUtime=0.35 cores=0-7
/proc/14102/stat : 14102 (java) S 14100 14100 13953 0 -1 1077944320 9385 0 0 0 31 4 0 0 20 0 20 0 475736857 28904853504 10148 33554432000 4194304 4196468 140726660688688 140726660671232 139833590808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
/proc/14102/statm: 7056849 10148 3306 1 0 7019032 0
[pid=14102/tid=14103] ppid=14100 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14102/task/14103/stat : 14103 (java) S 14100 14100 13953 0 -1 1077944384 6649 0 0 0 18 2 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833595043296 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14104] ppid=14100 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/14102/task/14104/stat : 14104 (java) S 14100 14100 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833543428496 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14105] ppid=14100 vsize=28227396 memory=3832765893555861152 CPUtime=0 cores=0-7
/proc/14102/task/14105/stat : 14105 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833542375696 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14106] ppid=14100 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14102/task/14106/stat : 14106 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833541323408 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14107] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14107/stat : 14107 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833540270608 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14108] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14108/stat : 14108 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833539218320 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14109] ppid=14100 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14102/task/14109/stat : 14109 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833538165520 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14110] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14110/stat : 14110 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833537113232 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14111] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14111/stat : 14111 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475736859 28904853504 10148 33554432000 4194304 4196468 140726660688688 139833536060432 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14112] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14112/stat : 14112 (java) S 14100 14100 13953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475736860 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831719262320 139833590819458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14113] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14113/stat : 14113 (java) S 14100 14100 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475736860 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831718208288 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14114] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14114/stat : 14114 (java) S 14100 14100 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475736861 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831717155952 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14115] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14115/stat : 14115 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831716104272 139833590826907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14116] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14116/stat : 14116 (java) S 14100 14100 13953 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831715052144 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14117] ppid=14100 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14102/task/14117/stat : 14117 (java) S 14100 14100 13953 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 475736863 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831713999344 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14118] ppid=14100 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/14102/task/14118/stat : 14118 (java) S 14100 14100 13953 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 475736863 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831712947056 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14119] ppid=14100 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/14102/task/14119/stat : 14119 (java) S 14100 14100 13953 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 20 0 475736863 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831711894256 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14120] ppid=14100 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14120/stat : 14120 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831710841184 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14121] ppid=14100 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14102/task/14121/stat : 14121 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736863 28904853504 10148 33554432000 4194304 4196468 140726660688688 139831709788464 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42048 KiB

[startup+0.310717 s]*
/proc/loadavg: 4.21 5.19 6.58 3/214 14123
/proc/meminfo: memFree=13101076/32770624 swapFree=66959628/67108860
[pid=14100] ppid=14097 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14100/stat : 14100 (xcsp3-exec) S 14097 14100 13953 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475736857 115843072 364 33554432000 4194304 5098028 140733517924000 140733517922104 140016487129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140733517927285 140733517927529 140733517927529 140733517930442 0
/proc/14100/statm: 28282 364 305 221 0 87 0
[pid=14102] ppid=14100 vsize=28231652 memory=49516 CPUtime=0.52 cores=0-7
/proc/14102/stat : 14102 (java) S 14100 14100 13953 0 -1 1077944320 10775 0 0 0 47 5 0 0 20 0 20 0 475736857 28909211648 12379 33554432000 4194304 4196468 140726660688688 140726660671232 139833590808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
/proc/14102/statm: 7057913 12379 3341 1 0 7019032 0
[pid=14102/tid=14103] ppid=14100 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14102/task/14103/stat : 14103 (java) R 14100 14100 13953 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833595039424 139833574888798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14104] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14104/stat : 14104 (java) S 14100 14100 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833543428496 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14105] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14105/stat : 14105 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833542375696 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14106] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14106/stat : 14106 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833541323408 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14107] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14107/stat : 14107 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833540270608 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14108] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14108/stat : 14108 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833539218320 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14109] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14109/stat : 14109 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833538165520 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14110] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14110/stat : 14110 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833537113232 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14111] ppid=14100 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/14102/task/14111/stat : 14111 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475736859 28909211648 12379 33554432000 4194304 4196468 140726660688688 139833536060432 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14112] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14112/stat : 14112 (java) S 14100 14100 13953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475736860 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831719262320 139833590819458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14113] ppid=14100 vsize=28231652 memory=279445604867456 CPUtime=0 cores=0-7
/proc/14102/task/14113/stat : 14113 (java) S 14100 14100 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475736860 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831718208288 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14114] ppid=14100 vsize=28231652 memory=279445604872064 CPUtime=0 cores=0-7
/proc/14102/task/14114/stat : 14114 (java) S 14100 14100 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475736861 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831717155952 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14115] ppid=14100 vsize=28231652 memory=279445604876672 CPUtime=0 cores=0-7
/proc/14102/task/14115/stat : 14115 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736863 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831716104272 139833590826907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14116] ppid=14100 vsize=28231652 memory=279445604881280 CPUtime=0.01 cores=0-7
/proc/14102/task/14116/stat : 14116 (java) S 14100 14100 13953 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 475736863 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831715052144 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14117] ppid=14100 vsize=28231652 memory=279445604885888 CPUtime=0.02 cores=0-7
/proc/14102/task/14117/stat : 14117 (java) S 14100 14100 13953 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 20 0 475736863 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831713999344 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14118] ppid=14100 vsize=28231652 memory=279445604890496 CPUtime=0.02 cores=0-7
/proc/14102/task/14118/stat : 14118 (java) S 14100 14100 13953 0 -1 1077944384 140 0 0 0 2 0 0 0 20 0 20 0 475736863 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831712947056 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14119] ppid=14100 vsize=28231652 memory=279445604895104 CPUtime=0.12 cores=0-7
/proc/14102/task/14119/stat : 14119 (java) S 14100 14100 13953 0 -1 1077944384 951 0 0 0 12 0 0 0 20 0 20 0 475736863 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831711894256 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14120] ppid=14100 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14120/stat : 14120 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475736863 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831710841184 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14121] ppid=14100 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14102/task/14121/stat : 14121 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736863 28909211648 12379 33554432000 4194304 4196468 140726660688688 139831709788464 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50972 KiB

[startup+0.701002 s]
/proc/loadavg: 4.21 5.19 6.58 5/213 14123
/proc/meminfo: memFree=13077716/32770624 swapFree=66959628/67108860
[pid=14100] ppid=14097 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14100/stat : 14100 (xcsp3-exec) S 14097 14100 13953 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475736857 115843072 364 33554432000 4194304 5098028 140733517924000 140733517922104 140016487129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140733517927285 140733517927529 140733517927529 140733517930442 0
/proc/14100/statm: 28282 364 305 221 0 87 0
[pid=14102] ppid=14100 vsize=28233776 memory=116464 CPUtime=1.93 cores=0-7
/proc/14102/stat : 14102 (java) S 14100 14100 13953 0 -1 1077944320 15673 0 0 0 186 7 0 0 20 0 20 0 475736857 28911386624 29116 33554432000 4194304 4196468 140726660688688 140726660671232 139833590808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
/proc/14102/statm: 7058444 29116 3452 1 0 7019544 0
[pid=14102/tid=14103] ppid=14100 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/14102/task/14103/stat : 14103 (java) R 14100 14100 13953 0 -1 4202560 8392 0 0 0 64 4 0 0 20 0 20 0 475736858 28911386624 29116 33554432000 4194304 4196468 140726660688688 139833595043568 139833213223613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14104] ppid=14100 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14104/stat : 14104 (java) S 14100 14100 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475736858 28911386624 29116 33554432000 4194304 4196468 140726660688688 139833543428496 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14105] ppid=14100 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14105/stat : 14105 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28911386624 29116 33554432000 4194304 4196468 140726660688688 139833542375696 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14106] ppid=14100 vsize=28233776 memory=1188 CPUtime=0 cores=0-7
/proc/14102/task/14106/stat : 14106 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475736858 28911386624 29116 33554432000 4194304 4196468 140726660688688 139833541323408 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0

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

/proc/14102/task/14130/stat : 14130 (java) R 14100 14100 13953 0 -1 4202560 30 0 0 0 22 0 0 0 20 0 28 0 475737226 29456678912 169724 33554432000 4194304 4196468 140726660688688 139831694253280 139833221544395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14131] ppid=14100 vsize=28766288 memory=8110268427993976473 CPUtime=0.21 cores=0-7
/proc/14102/task/14131/stat : 14131 (java) R 14100 14100 13953 0 -1 1077944384 38 0 0 0 21 0 0 0 20 0 28 0 475737226 29456678912 169724 33554432000 4194304 4196468 140726660688688 139831693199184 139833590818517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 680352 KiB

[startup+4.40094 s]
/proc/loadavg: 4.03 5.13 6.56 11/221 14131
/proc/meminfo: memFree=12469704/32770624 swapFree=66959628/67108860
[pid=14100] ppid=14097 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14100/stat : 14100 (xcsp3-exec) S 14097 14100 13953 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475736857 115843072 364 33554432000 4194304 5098028 140733517924000 140733517922104 140016487129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140733517927285 140733517927529 140733517927529 140733517930442 0
/proc/14100/statm: 28282 364 305 221 0 87 0
[pid=14102] ppid=14100 vsize=28768336 memory=681064 CPUtime=15.29 cores=0-7
/proc/14102/stat : 14102 (java) S 14100 14100 13953 0 -1 1077944320 40312 0 0 0 1485 44 0 0 20 0 28 0 475736857 29458776064 170266 33554432000 4194304 4196468 140726660688688 140726660671232 139833590808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
/proc/14102/statm: 7192084 170266 3538 1 0 7153184 0
[pid=14102/tid=14103] ppid=14100 vsize=28768336 memory=-6667966544890519924 CPUtime=3.14 cores=0-7
/proc/14102/task/14103/stat : 14103 (java) S 14100 14100 13953 0 -1 1077944384 11461 0 0 0 304 10 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833595049088 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14104] ppid=14100 vsize=28768336 memory=-2895008908443675764 CPUtime=0.09 cores=0-7
/proc/14102/task/14104/stat : 14104 (java) S 14100 14100 13953 0 -1 1077944384 635 0 0 0 6 3 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833543428496 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14105] ppid=14100 vsize=28768336 memory=-7814691523512926820 CPUtime=0.08 cores=0-7
/proc/14102/task/14105/stat : 14105 (java) S 14100 14100 13953 0 -1 1077944384 195 0 0 0 6 2 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833542375696 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14106] ppid=14100 vsize=28768336 memory=1456 CPUtime=0.08 cores=0-7
/proc/14102/task/14106/stat : 14106 (java) S 14100 14100 13953 0 -1 1077944384 254 0 0 0 5 3 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833541323408 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14107] ppid=14100 vsize=28768336 memory=678292 CPUtime=0.08 cores=0-7
/proc/14102/task/14107/stat : 14107 (java) S 14100 14100 13953 0 -1 1077944384 138 0 0 0 6 2 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833540270608 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14108] ppid=14100 vsize=28768336 memory=4137287014106042739 CPUtime=0.09 cores=0-7
/proc/14102/task/14108/stat : 14108 (java) S 14100 14100 13953 0 -1 1077944384 142 0 0 0 6 3 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833539218320 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14109] ppid=14100 vsize=28768336 memory=-7966001967256141664 CPUtime=0.08 cores=0-7
/proc/14102/task/14109/stat : 14109 (java) S 14100 14100 13953 0 -1 1077944384 136 0 0 0 6 2 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833538165520 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14110] ppid=14100 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/14102/task/14110/stat : 14110 (java) S 14100 14100 13953 0 -1 1077944384 136 0 0 0 5 2 0 0 20 0 28 0 475736858 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833537113232 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14111] ppid=14100 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/14102/task/14111/stat : 14111 (java) S 14100 14100 13953 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 28 0 475736859 29458776064 170266 33554432000 4194304 4196468 140726660688688 139833536060432 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14112] ppid=14100 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/14102/task/14112/stat : 14112 (java) S 14100 14100 13953 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 28 0 475736860 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831719262320 139833590819458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14113] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14113/stat : 14113 (java) S 14100 14100 13953 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475736860 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831718208352 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14114] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14114/stat : 14114 (java) S 14100 14100 13953 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475736861 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831717155968 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14115] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14115/stat : 14115 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831716104272 139833590826907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14116] ppid=14100 vsize=28768336 memory=7595712641849909590 CPUtime=2.48 cores=0-7
/proc/14102/task/14116/stat : 14116 (java) R 14100 14100 13953 0 -1 4202560 6449 0 0 0 246 2 0 0 20 0 28 0 475736863 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831715041760 139833574294323 0 4 0 16800975 0 0 0 -1 1 0 0 52 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14117] ppid=14100 vsize=28768336 memory=5865727821814579255 CPUtime=2.59 cores=0-7
/proc/14102/task/14117/stat : 14117 (java) R 14100 14100 13953 0 -1 4202560 5709 0 0 0 257 2 0 0 20 0 28 0 475736863 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831713986144 139833572333264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14118] ppid=14100 vsize=28768336 memory=7596838541687023202 CPUtime=2.42 cores=0-7
/proc/14102/task/14118/stat : 14118 (java) R 14100 14100 13953 0 -1 4202560 7496 0 0 0 240 2 0 0 20 0 28 0 475736863 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831712933152 139833574304480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14119] ppid=14100 vsize=28768336 memory=5792262852892967008 CPUtime=0.78 cores=0-7
/proc/14102/task/14119/stat : 14119 (java) S 14100 14100 13953 0 -1 1077944384 4502 0 0 0 76 2 0 0 20 0 28 0 475736863 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831711894256 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14120] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14120/stat : 14120 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831710841184 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14121] ppid=14100 vsize=28768336 memory=279445605087456 CPUtime=0 cores=0-7
/proc/14102/task/14121/stat : 14121 (java) S 14100 14100 13953 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 170266 33554432000 4194304 4196468 140726660688688 139831709788464 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 682520 KiB

[startup+4.80118 s]
/proc/loadavg: 4.03 5.13 6.56 11/221 14131
/proc/meminfo: memFree=12469704/32770624 swapFree=66959628/67108860
[pid=14100] ppid=14097 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14100/stat : 14100 (xcsp3-exec) S 14097 14100 13953 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475736857 115843072 364 33554432000 4194304 5098028 140733517924000 140733517922104 140016487129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140733517927285 140733517927529 140733517927529 140733517930442 0
/proc/14100/statm: 28282 364 305 221 0 87 0
[pid=14102] ppid=14100 vsize=28768336 memory=720920 CPUtime=18.3 cores=0-7
/proc/14102/stat : 14102 (java) S 14100 14100 13953 0 -1 1077944320 40882 0 0 0 1779 51 0 0 20 0 28 0 475736857 29458776064 180230 33554432000 4194304 4196468 140726660688688 140726660671232 139833590808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
/proc/14102/statm: 7192084 180230 3538 1 0 7153184 0
[pid=14102/tid=14103] ppid=14100 vsize=28768336 memory=0 CPUtime=3.14 cores=0-7
/proc/14102/task/14103/stat : 14103 (java) S 14100 14100 13953 0 -1 1077944384 11461 0 0 0 304 10 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833595049088 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14104] ppid=14100 vsize=28768336 memory=0 CPUtime=0.12 cores=0-7
/proc/14102/task/14104/stat : 14104 (java) S 14100 14100 13953 0 -1 1077944384 653 0 0 0 8 4 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833543428496 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14105] ppid=14100 vsize=28768336 memory=0 CPUtime=0.12 cores=0-7
/proc/14102/task/14105/stat : 14105 (java) S 14100 14100 13953 0 -1 1077944384 215 0 0 0 8 4 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833542375696 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14106] ppid=14100 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/14102/task/14106/stat : 14106 (java) S 14100 14100 13953 0 -1 1077944384 273 0 0 0 6 3 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833541323408 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14107] ppid=14100 vsize=28768336 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/14102/task/14107/stat : 14107 (java) S 14100 14100 13953 0 -1 1077944384 154 0 0 0 7 3 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833540270608 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14108] ppid=14100 vsize=28768336 memory=288230596050944315 CPUtime=0.11 cores=0-7
/proc/14102/task/14108/stat : 14108 (java) S 14100 14100 13953 0 -1 1077944384 159 0 0 0 8 3 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833539218320 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14109] ppid=14100 vsize=28768336 memory=16099273431321595 CPUtime=0.1 cores=0-7
/proc/14102/task/14109/stat : 14109 (java) S 14100 14100 13953 0 -1 1077944384 149 0 0 0 7 3 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833538165520 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14110] ppid=14100 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/14102/task/14110/stat : 14110 (java) S 14100 14100 13953 0 -1 1077944384 149 0 0 0 6 3 0 0 20 0 28 0 475736858 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833537113232 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14111] ppid=14100 vsize=28768336 memory=6656426216303648864 CPUtime=0.1 cores=0-7
/proc/14102/task/14111/stat : 14111 (java) S 14100 14100 13953 0 -1 1077944384 112 0 0 0 7 3 0 0 20 0 28 0 475736859 29458776064 180230 33554432000 4194304 4196468 140726660688688 139833536060432 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14112] ppid=14100 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/14102/task/14112/stat : 14112 (java) S 14100 14100 13953 0 -1 1077944384 736 0 0 0 1 0 0 0 20 0 28 0 475736860 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831719262320 139833590819458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14113] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14113/stat : 14113 (java) S 14100 14100 13953 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475736860 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831718208352 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14114] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14114/stat : 14114 (java) S 14100 14100 13953 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475736861 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831717155968 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14115] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14115/stat : 14115 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831716104272 139833590826907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14116] ppid=14100 vsize=28768336 memory=0 CPUtime=2.8 cores=0-7
/proc/14102/task/14116/stat : 14116 (java) R 14100 14100 13953 0 -1 4202560 6480 0 0 0 278 2 0 0 20 0 28 0 475736863 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831715045336 139833570660414 0 4 0 16800975 0 0 0 -1 2 0 0 52 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14117] ppid=14100 vsize=28768336 memory=6791534058613427641 CPUtime=2.85 cores=0-7
/proc/14102/task/14117/stat : 14117 (java) R 14100 14100 13953 0 -1 4202560 5756 0 0 0 283 2 0 0 20 0 28 0 475736863 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831713979040 139833570046704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14118] ppid=14100 vsize=28768336 memory=0 CPUtime=2.75 cores=0-7
/proc/14102/task/14118/stat : 14118 (java) R 14100 14100 13953 0 -1 4202560 7535 0 0 0 273 2 0 0 20 0 28 0 475736863 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831712945344 139833575934083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14119] ppid=14100 vsize=28768336 memory=0 CPUtime=0.8 cores=0-7
/proc/14102/task/14119/stat : 14119 (java) S 14100 14100 13953 0 -1 1077944384 4534 0 0 0 78 2 0 0 20 0 28 0 475736863 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831711894256 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14120] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14120/stat : 14120 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831710841184 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14121] ppid=14100 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14102/task/14121/stat : 14121 (java) S 14100 14100 13953 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 180230 33554432000 4194304 4196468 140726660688688 139831709788464 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
Current children cumulated CPU time: 18.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 722376 KiB

[startup+4.90103 s]
/proc/loadavg: 4.03 5.13 6.56 11/221 14131
/proc/meminfo: memFree=12469704/32770624 swapFree=66959628/67108860
[pid=14100] ppid=14097 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14100/stat : 14100 (xcsp3-exec) S 14097 14100 13953 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475736857 115843072 364 33554432000 4194304 5098028 140733517924000 140733517922104 140016487129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140733517927285 140733517927529 140733517927529 140733517930442 0
/proc/14100/statm: 28282 364 305 221 0 87 0
[pid=14102] ppid=14100 vsize=28768336 memory=721120 CPUtime=19.04 cores=0-7
/proc/14102/stat : 14102 (java) S 14100 14100 13953 0 -1 1077944320 41247 0 0 0 1852 52 0 0 20 0 28 0 475736857 29458776064 180280 33554432000 4194304 4196468 140726660688688 140726660671232 139833590808311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
/proc/14102/statm: 7192084 180280 3539 1 0 7153184 0
[pid=14102/tid=14103] ppid=14100 vsize=28768336 memory=0 CPUtime=3.14 cores=0-7
/proc/14102/task/14103/stat : 14103 (java) S 14100 14100 13953 0 -1 1077944384 11464 0 0 0 304 10 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833595049088 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14104] ppid=14100 vsize=28768336 memory=-6737208495982354336 CPUtime=0.12 cores=0-7
/proc/14102/task/14104/stat : 14104 (java) S 14100 14100 13953 0 -1 1077944384 653 0 0 0 8 4 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833543428496 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14105] ppid=14100 vsize=28768336 memory=681244 CPUtime=0.12 cores=0-7
/proc/14102/task/14105/stat : 14105 (java) S 14100 14100 13953 0 -1 1077944384 215 0 0 0 8 4 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833542375696 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14106] ppid=14100 vsize=28768336 memory=677648 CPUtime=0.09 cores=0-7
/proc/14102/task/14106/stat : 14106 (java) S 14100 14100 13953 0 -1 1077944384 273 0 0 0 6 3 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833541323408 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14107] ppid=14100 vsize=28768336 memory=-9062862659931694204 CPUtime=0.1 cores=0-7
/proc/14102/task/14107/stat : 14107 (java) S 14100 14100 13953 0 -1 1077944384 154 0 0 0 7 3 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833540270608 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14108] ppid=14100 vsize=28768336 memory=56 CPUtime=0.11 cores=0-7
/proc/14102/task/14108/stat : 14108 (java) S 14100 14100 13953 0 -1 1077944384 159 0 0 0 8 3 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833539218320 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14109] ppid=14100 vsize=28768336 memory=1947178 CPUtime=0.1 cores=0-7
/proc/14102/task/14109/stat : 14109 (java) S 14100 14100 13953 0 -1 1077944384 149 0 0 0 7 3 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833538165520 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14110] ppid=14100 vsize=28768336 memory=1948829 CPUtime=0.09 cores=0-7
/proc/14102/task/14110/stat : 14110 (java) S 14100 14100 13953 0 -1 1077944384 149 0 0 0 6 3 0 0 20 0 28 0 475736858 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833537113232 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14111] ppid=14100 vsize=28768336 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/14102/task/14111/stat : 14111 (java) S 14100 14100 13953 0 -1 1077944384 112 0 0 0 7 3 0 0 20 0 28 0 475736859 29458776064 180280 33554432000 4194304 4196468 140726660688688 139833536060432 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14112] ppid=14100 vsize=28768336 memory=2244 CPUtime=0.01 cores=0-7
/proc/14102/task/14112/stat : 14112 (java) S 14100 14100 13953 0 -1 1077944384 736 0 0 0 1 0 0 0 20 0 28 0 475736860 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831719262320 139833590819458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14113] ppid=14100 vsize=28768336 memory=33 CPUtime=0 cores=0-7
/proc/14102/task/14113/stat : 14113 (java) S 14100 14100 13953 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475736860 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831718208352 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14114] ppid=14100 vsize=28768336 memory=6299816177068298347 CPUtime=0 cores=0-7
/proc/14102/task/14114/stat : 14114 (java) S 14100 14100 13953 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475736861 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831717155968 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14115] ppid=14100 vsize=28768336 memory=7649399375607706673 CPUtime=0 cores=0-7
/proc/14102/task/14115/stat : 14115 (java) S 14100 14100 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831716104272 139833590826907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14116] ppid=14100 vsize=28768336 memory=1456 CPUtime=2.88 cores=0-7
/proc/14102/task/14116/stat : 14116 (java) R 14100 14100 13953 0 -1 4202560 6480 0 0 0 286 2 0 0 20 0 28 0 475736863 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831715045336 139833570494975 0 4 0 16800975 0 0 0 -1 2 0 0 52 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14117] ppid=14100 vsize=28768336 memory=462520 CPUtime=2.93 cores=0-7
/proc/14102/task/14117/stat : 14117 (java) R 14100 14100 13953 0 -1 4202560 5775 0 0 0 291 2 0 0 20 0 28 0 475736863 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831713987456 139833575934712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14118] ppid=14100 vsize=28768336 memory=1264 CPUtime=2.83 cores=0-7
/proc/14102/task/14118/stat : 14118 (java) R 14100 14100 13953 0 -1 4202560 7550 0 0 0 281 2 0 0 20 0 28 0 475736863 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831712933856 139833574276337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14119] ppid=14100 vsize=28768336 memory=275 CPUtime=0.82 cores=0-7
/proc/14102/task/14119/stat : 14119 (java) S 14100 14100 13953 0 -1 1077944384 4584 0 0 0 80 2 0 0 20 0 28 0 475736863 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831711894256 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14120] ppid=14100 vsize=28768336 memory=2 CPUtime=0 cores=0-7
/proc/14102/task/14120/stat : 14120 (java) S 14100 14100 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831710841184 139833590818517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
[pid=14102/tid=14121] ppid=14100 vsize=28768336 memory=767 CPUtime=0 cores=0-7
/proc/14102/task/14121/stat : 14121 (java) S 14100 14100 13953 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 475736863 29458776064 180280 33554432000 4194304 4196468 140726660688688 139831709788464 139833590819458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 38236160 140726660695018 140726660695190 140726660695190 140726660698063 0
Current children cumulated CPU time: 19.04 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 722576 KiB

Child status: 0
Real time (s): 4.92878
CPU time (s): 19.0878
CPU user time (s): 18.5537
CPU system time (s): 0.534111
CPU usage (%): 387.273
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 722576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5537
system time used= 0.534111
maximum resident set size= 721888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4563
involuntary context switches= 295


# summary of solver processes directly reported to runsolver:
#   pid: 14100
#   total CPU time (s): 19.0878
#   total CPU user time (s): 18.5537
#   total CPU system time (s): 0.534111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059308 second user time and 0.094198 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.94048
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 4404604

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
