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	8	1135.61	145.1
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 (5821 MiB free)
  memory of node 1: 16384 MiB (11555 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404568-1568994933/watcher-4404568-1568994933 -o /tmp/evaluation-result-4404568-1568994933/solver-4404568-1568994933 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568991066-1424 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1076504494 HOME/instance-4404568-1568994933.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=1855, runsolver pid=1852
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 7.54 6.65 6.82 2/211 1876
/proc/meminfo: memFree=17778552/32770624 swapFree=66998140/67108860
[pid=1855] ppid=1852 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1855/stat : 1855 (xcsp3-exec) S 1852 1855 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475747510 115843072 364 33554432000 4194304 5098028 140733237343824 140733237341928 140050251174524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39809024 140733237347189 140733237347433 140733237347433 140733237350346 0
/proc/1855/statm: 28282 364 305 221 0 87 0
[pid=1857] ppid=1855 vsize=28227396 memory=28924 CPUtime=0.12 cores=0-7
/proc/1857/stat : 1857 (java) S 1855 1855 1397 0 -1 1077944320 5710 0 0 0 11 1 0 0 20 0 20 0 475747510 28904853504 7231 33554432000 4194304 4196468 140731822419696 140731822402240 140150821265143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
/proc/1857/statm: 7056849 7231 3119 1 0 7019032 0
[pid=1857/tid=1858] ppid=1855 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7
/proc/1857/task/1858/stat : 1858 (java) R 1855 1855 1397 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 20 0 475747511 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150825484448 140150805308773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1859] ppid=1855 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1857/task/1859/stat : 1859 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150773885968 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1860] ppid=1855 vsize=28227396 memory=139645469595264 CPUtime=0 cores=0-7
/proc/1857/task/1860/stat : 1860 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150772833424 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1861] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1861/stat : 1861 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150771780368 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1862] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1862/stat : 1862 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150770727824 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1863] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1863/stat : 1863 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150769674768 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1864] ppid=1855 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1857/task/1864/stat : 1864 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150768622224 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1865] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1865/stat : 1865 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150767569168 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1866] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1866/stat : 1866 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 7231 33554432000 4194304 4196468 140731822419696 140150766516624 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1867] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1867/stat : 1867 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747513 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149803260656 140150821276290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1868] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1868/stat : 1868 (java) S 1855 1855 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475747514 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149802206880 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1869] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1869/stat : 1869 (java) S 1855 1855 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475747514 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149801153776 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1870] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1870/stat : 1870 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149800102352 140150821283739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1871] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1871/stat : 1871 (java) R 1855 1855 1397 0 -1 4202560 305 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149799049456 140150821277078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1872] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1872/stat : 1872 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149797996912 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1873] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1873/stat : 1873 (java) R 1855 1855 1397 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149796943856 140150802617456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1874] ppid=1855 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1857/task/1874/stat : 1874 (java) R 1855 1855 1397 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 475747516 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149795891312 140150800663566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1875] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1875/stat : 1875 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149794839520 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1876] ppid=1855 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1857/task/1876/stat : 1876 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747517 28904853504 7231 33554432000 4194304 4196468 140731822419696 140149793787056 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30380 KiB

[startup+0.210681 s]*
/proc/loadavg: 7.54 6.65 6.82 3/211 1876
/proc/meminfo: memFree=17765044/32770624 swapFree=66998140/67108860
[pid=1855] ppid=1852 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1855/stat : 1855 (xcsp3-exec) S 1852 1855 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475747510 115843072 364 33554432000 4194304 5098028 140733237343824 140733237341928 140050251174524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39809024 140733237347189 140733237347433 140733237347433 140733237350346 0
/proc/1855/statm: 28282 364 305 221 0 87 0
[pid=1857] ppid=1855 vsize=28227396 memory=40328 CPUtime=0.33 cores=0-7
/proc/1857/stat : 1857 (java) S 1855 1855 1397 0 -1 1077944320 9338 0 0 0 30 3 0 0 20 0 20 0 475747510 28904853504 10082 33554432000 4194304 4196468 140731822419696 140731822402240 140150821265143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
/proc/1857/statm: 7056849 10082 3256 1 0 7019032 0
[pid=1857/tid=1858] ppid=1855 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/1857/task/1858/stat : 1858 (java) R 1855 1855 1397 0 -1 4202560 6602 0 0 0 18 2 0 0 20 0 20 0 475747511 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150825497056 140150805345630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1859] ppid=1855 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1857/task/1859/stat : 1859 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150773885968 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1860] ppid=1855 vsize=28227396 memory=3762675265556190880 CPUtime=0 cores=0-7
/proc/1857/task/1860/stat : 1860 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150772833424 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1861] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1861/stat : 1861 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150771780368 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1862] ppid=1855 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1857/task/1862/stat : 1862 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150770727824 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1863] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1863/stat : 1863 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150769674768 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1864] ppid=1855 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1857/task/1864/stat : 1864 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150768622224 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1865] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1865/stat : 1865 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150767569168 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1866] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1866/stat : 1866 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28904853504 10082 33554432000 4194304 4196468 140731822419696 140150766516624 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1867] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1867/stat : 1867 (java) S 1855 1855 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475747513 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149803260656 140150821276290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1868] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1868/stat : 1868 (java) S 1855 1855 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475747514 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149802206880 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1869] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1869/stat : 1869 (java) S 1855 1855 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475747514 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149801153776 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1870] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1870/stat : 1870 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149800102352 140150821283739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1871] ppid=1855 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1857/task/1871/stat : 1871 (java) S 1855 1855 1397 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 475747516 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149799049456 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1872] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1872/stat : 1872 (java) S 1855 1855 1397 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149797996912 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1873] ppid=1855 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/1857/task/1873/stat : 1873 (java) S 1855 1855 1397 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 475747516 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149796943856 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1874] ppid=1855 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/1857/task/1874/stat : 1874 (java) S 1855 1855 1397 0 -1 1077944384 793 0 0 0 7 0 0 0 20 0 20 0 475747516 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149795891312 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1875] ppid=1855 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1875/stat : 1875 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747516 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149794839520 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1876] ppid=1855 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1857/task/1876/stat : 1876 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747517 28904853504 10082 33554432000 4194304 4196468 140731822419696 140149793787056 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41784 KiB

[startup+0.489889 s]*
/proc/loadavg: 7.54 6.65 6.82 4/211 1876
/proc/meminfo: memFree=17737508/32770624 swapFree=66998140/67108860
[pid=1855] ppid=1852 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1855/stat : 1855 (xcsp3-exec) S 1852 1855 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475747510 115843072 364 33554432000 4194304 5098028 140733237343824 140733237341928 140050251174524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39809024 140733237347189 140733237347433 140733237347433 140733237350346 0
/proc/1855/statm: 28282 364 305 221 0 87 0
[pid=1857] ppid=1855 vsize=28233776 memory=72176 CPUtime=1.15 cores=0-7
/proc/1857/stat : 1857 (java) S 1855 1855 1397 0 -1 1077944320 13770 0 0 0 110 5 0 0 20 0 20 0 475747510 28911386624 18044 33554432000 4194304 4196468 140731822419696 140731822402240 140150821265143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
/proc/1857/statm: 7058444 18044 3423 1 0 7019544 0
[pid=1857/tid=1858] ppid=1855 vsize=28233776 memory=8317482817917895235 CPUtime=0.47 cores=0-7
/proc/1857/task/1858/stat : 1858 (java) R 1855 1855 1397 0 -1 4202560 8273 0 0 0 44 3 0 0 20 0 20 0 475747511 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150825498656 140150436867350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1859] ppid=1855 vsize=28233776 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1857/task/1859/stat : 1859 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150773885968 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1860] ppid=1855 vsize=28233776 memory=1720 CPUtime=0 cores=0-7
/proc/1857/task/1860/stat : 1860 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150772833424 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1861] ppid=1855 vsize=28233776 memory=6140 CPUtime=0 cores=0-7
/proc/1857/task/1861/stat : 1861 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150771780368 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1862] ppid=1855 vsize=28233776 memory=14012 CPUtime=0 cores=0-7
/proc/1857/task/1862/stat : 1862 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150770727824 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1863] ppid=1855 vsize=28233776 memory=4104 CPUtime=0 cores=0-7
/proc/1857/task/1863/stat : 1863 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150769674768 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1864] ppid=1855 vsize=28233776 memory=2116 CPUtime=0 cores=0-7
/proc/1857/task/1864/stat : 1864 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150768622224 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1865] ppid=1855 vsize=28233776 memory=18572 CPUtime=0 cores=0-7
/proc/1857/task/1865/stat : 1865 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150767569168 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1866] ppid=1855 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1866/stat : 1866 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 18044 33554432000 4194304 4196468 140731822419696 140150766516624 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1867] ppid=1855 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1867/stat : 1867 (java) S 1855 1855 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475747513 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149803260656 140150821276290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1868] ppid=1855 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1868/stat : 1868 (java) S 1855 1855 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475747514 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149802206880 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1869] ppid=1855 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1869/stat : 1869 (java) S 1855 1855 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475747514 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149801153776 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1870] ppid=1855 vsize=28233776 memory=139645358802383 CPUtime=0 cores=0-7
/proc/1857/task/1870/stat : 1870 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475747516 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149800102352 140150821283739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1871] ppid=1855 vsize=28233776 memory=67 CPUtime=0.14 cores=0-7
/proc/1857/task/1871/stat : 1871 (java) R 1855 1855 1397 0 -1 4202560 1022 0 0 0 14 0 0 0 20 0 20 0 475747516 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149799036336 140150800511033 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1872] ppid=1855 vsize=28233776 memory=51172 CPUtime=0.13 cores=0-7
/proc/1857/task/1872/stat : 1872 (java) S 1855 1855 1397 0 -1 1077944384 803 0 0 0 13 0 0 0 20 0 20 0 475747516 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149797987024 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1873] ppid=1855 vsize=28233776 memory=53476 CPUtime=0.13 cores=0-7
/proc/1857/task/1873/stat : 1873 (java) S 1855 1855 1397 0 -1 1077944384 813 0 0 0 13 0 0 0 20 0 20 0 475747516 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149796943856 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1874] ppid=1855 vsize=28233776 memory=55780 CPUtime=0.23 cores=0-7
/proc/1857/task/1874/stat : 1874 (java) R 1855 1855 1397 0 -1 4202560 1557 0 0 0 23 0 0 0 20 0 20 0 475747516 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149795886576 140150821277078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1875] ppid=1855 vsize=28233776 memory=110297088 CPUtime=0 cores=0-7
/proc/1857/task/1875/stat : 1875 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747516 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149794839520 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1876] ppid=1855 vsize=28233776 memory=115843071 CPUtime=0 cores=0-7
/proc/1857/task/1876/stat : 1876 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747517 28911386624 18044 33554432000 4194304 4196468 140731822419696 140149793787056 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 73632 KiB

[startup+0.71043 s]
/proc/loadavg: 7.54 6.65 6.82 5/211 1876
/proc/meminfo: memFree=17717300/32770624 swapFree=66998140/67108860
[pid=1855] ppid=1852 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1855/stat : 1855 (xcsp3-exec) S 1852 1855 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475747510 115843072 364 33554432000 4194304 5098028 140733237343824 140733237341928 140050251174524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39809024 140733237347189 140733237347433 140733237347433 140733237350346 0
/proc/1855/statm: 28282 364 305 221 0 87 0
[pid=1857] ppid=1855 vsize=28233776 memory=118548 CPUtime=1.97 cores=0-7
/proc/1857/stat : 1857 (java) S 1855 1855 1397 0 -1 1077944320 14672 0 0 0 191 6 0 0 20 0 20 0 475747510 28911386624 29637 33554432000 4194304 4196468 140731822419696 140731822402240 140150821265143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
/proc/1857/statm: 7058444 29637 3451 1 0 7019544 0
[pid=1857/tid=1858] ppid=1855 vsize=28233776 memory=4338147549413376032 CPUtime=0.69 cores=0-7
/proc/1857/task/1858/stat : 1858 (java) R 1855 1855 1397 0 -1 4202560 8347 0 0 0 65 4 0 0 20 0 20 0 475747511 28911386624 29637 33554432000 4194304 4196468 140731822419696 140150825503744 140150437921963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1859] ppid=1855 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1859/stat : 1859 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 29637 33554432000 4194304 4196468 140731822419696 140150773885968 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1860] ppid=1855 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1860/stat : 1860 (java) S 1855 1855 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 29637 33554432000 4194304 4196468 140731822419696 140150772833424 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1861] ppid=1855 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1857/task/1861/stat : 1861 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475747512 28911386624 29637 33554432000 4194304 4196468 140731822419696 140150771780368 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0

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

[pid=1857/tid=1874] ppid=1855 vsize=28768336 memory=500 CPUtime=0.94 cores=0-7
/proc/1857/task/1874/stat : 1874 (java) S 1855 1855 1397 0 -1 1077944384 11589 0 0 0 91 3 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149795891312 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1875] ppid=1855 vsize=28768336 memory=928 CPUtime=0 cores=0-7
/proc/1857/task/1875/stat : 1875 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149794839520 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1876] ppid=1855 vsize=28768336 memory=1808 CPUtime=0.06 cores=0-7
/proc/1857/task/1876/stat : 1876 (java) R 1855 1855 1397 0 -1 1077944384 1059 0 0 0 0 6 0 0 20 0 28 0 475747517 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149793787056 140150821276290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1919] ppid=1855 vsize=28768336 memory=920 CPUtime=138.68 cores=0-7
/proc/1857/task/1919/stat : 1919 (java) R 1855 1855 1397 0 -1 4202560 14515 0 0 0 13827 41 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149778250312 140150446177470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1921] ppid=1855 vsize=28768336 memory=4136 CPUtime=137.15 cores=0-7
/proc/1857/task/1921/stat : 1921 (java) R 1855 1855 1397 0 -1 4202560 985 0 0 0 13714 1 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149783515704 140150446178635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1922] ppid=1855 vsize=28768336 memory=1728 CPUtime=138.19 cores=0-7
/proc/1857/task/1922/stat : 1922 (java) R 1855 1855 1397 0 -1 4202560 7024 0 0 0 13786 33 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149780359216 140150437128362 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1923] ppid=1855 vsize=28768336 memory=1412 CPUtime=138.63 cores=0-7
/proc/1857/task/1923/stat : 1923 (java) R 1855 1855 1397 0 -1 4202560 1038 0 0 0 13860 3 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149777199288 140150445706115 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1924] ppid=1855 vsize=28768336 memory=3512 CPUtime=138.74 cores=0-7
/proc/1857/task/1924/stat : 1924 (java) R 1855 1855 1397 0 -1 4202560 1352 0 0 0 13873 1 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149779304048 140150445629635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1925] ppid=1855 vsize=28768336 memory=1456 CPUtime=138.12 cores=0-7
/proc/1857/task/1925/stat : 1925 (java) R 1855 1855 1397 0 -1 4202560 4632 0 0 0 13787 25 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149782462520 140150447642914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1926] ppid=1855 vsize=28768336 memory=5340904 CPUtime=138.74 cores=0-7
/proc/1857/task/1926/stat : 1926 (java) R 1855 1855 1397 0 -1 4202560 12925 0 0 0 13832 42 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149784567880 140150447347941 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1927] ppid=1855 vsize=28768336 memory=1448 CPUtime=138.66 cores=0-7
/proc/1857/task/1927/stat : 1927 (java) R 1855 1855 1397 0 -1 4202560 1358 0 0 0 13864 2 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149781410296 140150445345041 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
Current children cumulated CPU time: 1131.95 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5342360 KiB

[startup+144.902 s]
/proc/loadavg: 8.61 7.33 7.04 9/218 1937
/proc/meminfo: memFree=12458212/32770624 swapFree=66998140/67108860
[pid=1855] ppid=1852 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1855/stat : 1855 (xcsp3-exec) S 1852 1855 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475747510 115843072 364 33554432000 4194304 5098028 140733237343824 140733237341928 140050251174524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39809024 140733237347189 140733237347433 140733237347433 140733237350346 0
/proc/1855/statm: 28282 364 305 221 0 87 0
[pid=1857] ppid=1855 vsize=28768336 memory=5340904 CPUtime=1135.14 cores=0-7
/proc/1857/stat : 1857 (java) S 1855 1855 1397 0 -1 1077944320 124263 0 0 0 113268 246 0 0 20 0 28 0 475747510 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140731822402240 140150821265143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
/proc/1857/statm: 7192084 1335226 3538 1 0 7153184 0
[pid=1857/tid=1858] ppid=1855 vsize=28768336 memory=8112282956445269571 CPUtime=3.47 cores=0-7
/proc/1857/task/1858/stat : 1858 (java) S 1855 1855 1397 0 -1 1077944384 11012 0 0 0 337 10 0 0 20 0 28 0 475747511 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150825505920 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1859] ppid=1855 vsize=28768336 memory=5340904 CPUtime=0.23 cores=0-7
/proc/1857/task/1859/stat : 1859 (java) S 1855 1855 1397 0 -1 1077944384 1513 0 0 0 16 7 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150773885968 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1860] ppid=1855 vsize=28768336 memory=7308324495797940324 CPUtime=0.25 cores=0-7
/proc/1857/task/1860/stat : 1860 (java) S 1855 1855 1397 0 -1 1077944384 514 0 0 0 16 9 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150772833424 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1861] ppid=1855 vsize=28768336 memory=7308324495797940324 CPUtime=0.24 cores=0-7
/proc/1857/task/1861/stat : 1861 (java) S 1855 1855 1397 0 -1 1077944384 720 0 0 0 16 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150771780368 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1862] ppid=1855 vsize=28768336 memory=8112282956445269571 CPUtime=0.25 cores=0-7
/proc/1857/task/1862/stat : 1862 (java) S 1855 1855 1397 0 -1 1077944384 1313 0 0 0 16 9 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150770727824 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1863] ppid=1855 vsize=28768336 memory=3512 CPUtime=0.25 cores=0-7
/proc/1857/task/1863/stat : 1863 (java) S 1855 1855 1397 0 -1 1077944384 1333 0 0 0 17 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150769674768 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1864] ppid=1855 vsize=28768336 memory=1456 CPUtime=0.25 cores=0-7
/proc/1857/task/1864/stat : 1864 (java) S 1855 1855 1397 0 -1 1077944384 864 0 0 0 17 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150768622224 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1865] ppid=1855 vsize=28768336 memory=5340904 CPUtime=0.26 cores=0-7
/proc/1857/task/1865/stat : 1865 (java) S 1855 1855 1397 0 -1 1077944384 677 0 0 0 18 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150767569168 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1866] ppid=1855 vsize=28768336 memory=1448 CPUtime=0.27 cores=0-7
/proc/1857/task/1866/stat : 1866 (java) S 1855 1855 1397 0 -1 1077944384 832 0 0 0 19 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150766516624 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1867] ppid=1855 vsize=28768336 memory=288230574492221466 CPUtime=0.04 cores=0-7
/proc/1857/task/1867/stat : 1867 (java) S 1855 1855 1397 0 -1 1077944384 4571 0 0 0 3 1 0 0 20 0 28 0 475747513 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149803260656 140150821276290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1868] ppid=1855 vsize=28768336 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/1857/task/1868/stat : 1868 (java) S 1855 1855 1397 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 475747514 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149802206944 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1869] ppid=1855 vsize=28768336 memory=13568193352435342 CPUtime=0 cores=0-7
/proc/1857/task/1869/stat : 1869 (java) S 1855 1855 1397 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 475747514 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149801153792 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1870] ppid=1855 vsize=28768336 memory=1376 CPUtime=0 cores=0-7
/proc/1857/task/1870/stat : 1870 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149800102352 140150821283739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1871] ppid=1855 vsize=28768336 memory=1128 CPUtime=3.93 cores=0-7
/proc/1857/task/1871/stat : 1871 (java) S 1855 1855 1397 0 -1 1077944384 16920 0 0 0 390 3 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149799049456 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1872] ppid=1855 vsize=28768336 memory=279290718147392 CPUtime=4.04 cores=0-7
/proc/1857/task/1872/stat : 1872 (java) S 1855 1855 1397 0 -1 1077944384 9875 0 0 0 402 2 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149797996912 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1873] ppid=1855 vsize=28768336 memory=6944656592455359580 CPUtime=3.89 cores=0-7
/proc/1857/task/1873/stat : 1873 (java) S 1855 1855 1397 0 -1 1077944384 15188 0 0 0 387 2 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149796943856 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1874] ppid=1855 vsize=28768336 memory=6655300316396806240 CPUtime=0.94 cores=0-7
/proc/1857/task/1874/stat : 1874 (java) S 1855 1855 1397 0 -1 1077944384 11589 0 0 0 91 3 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149795891312 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1875] ppid=1855 vsize=28768336 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/1857/task/1875/stat : 1875 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149794839520 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1876] ppid=1855 vsize=28768336 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/1857/task/1876/stat : 1876 (java) S 1855 1855 1397 0 -1 1077944384 1059 0 0 0 0 6 0 0 20 0 28 0 475747517 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149793787056 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1919] ppid=1855 vsize=28768336 memory=6943526294502006880 CPUtime=139.08 cores=0-7
/proc/1857/task/1919/stat : 1919 (java) R 1855 1855 1397 0 -1 4202560 14515 0 0 0 13867 41 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149778250312 140150445629635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1921] ppid=1855 vsize=28768336 memory=1456 CPUtime=137.55 cores=0-7
/proc/1857/task/1921/stat : 1921 (java) R 1855 1855 1397 0 -1 4202560 985 0 0 0 13754 1 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149783515704 140150446177549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1922] ppid=1855 vsize=28768336 memory=5340904 CPUtime=138.59 cores=0-7
/proc/1857/task/1922/stat : 1922 (java) R 1855 1855 1397 0 -1 4202560 7024 0 0 0 13826 33 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149780359216 140150447904242 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1923] ppid=1855 vsize=28768336 memory=8317482817917895235 CPUtime=139.02 cores=0-7
/proc/1857/task/1923/stat : 1923 (java) R 1855 1855 1397 0 -1 4202560 1038 0 0 0 13899 3 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149777199288 140150445345569 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1924] ppid=1855 vsize=28768336 memory=4126316290023845779 CPUtime=139.14 cores=0-7
/proc/1857/task/1924/stat : 1924 (java) R 1855 1855 1397 0 -1 4202560 1352 0 0 0 13913 1 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149779304048 140150445344913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1925] ppid=1855 vsize=28768336 memory=43524 CPUtime=138.52 cores=0-7
/proc/1857/task/1925/stat : 1925 (java) R 1855 1855 1397 0 -1 4202560 4632 0 0 0 13827 25 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149782462520 140150445705944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1926] ppid=1855 vsize=28768336 memory=984 CPUtime=139.14 cores=0-7
/proc/1857/task/1926/stat : 1926 (java) R 1855 1855 1397 0 -1 4202560 12925 0 0 0 13872 42 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149784567880 140150437922317 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1927] ppid=1855 vsize=28768336 memory=2024 CPUtime=139.06 cores=0-7
/proc/1857/task/1927/stat : 1927 (java) R 1855 1855 1397 0 -1 4202560 1358 0 0 0 13904 2 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149781410296 140150445345059 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
Current children cumulated CPU time: 1135.14 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5342360 KiB

[startup+145.001 s]
/proc/loadavg: 8.61 7.33 7.04 9/218 1937
/proc/meminfo: memFree=12458212/32770624 swapFree=66998140/67108860
[pid=1855] ppid=1852 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1855/stat : 1855 (xcsp3-exec) S 1852 1855 1397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475747510 115843072 364 33554432000 4194304 5098028 140733237343824 140733237341928 140050251174524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39809024 140733237347189 140733237347433 140733237347433 140733237350346 0
/proc/1855/statm: 28282 364 305 221 0 87 0
[pid=1857] ppid=1855 vsize=28768336 memory=5340904 CPUtime=1135.5 cores=0-7
/proc/1857/stat : 1857 (java) S 1855 1855 1397 0 -1 1077944320 124399 0 0 0 113304 246 0 0 20 0 28 0 475747510 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140731822402240 140150821265143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
/proc/1857/statm: 7192084 1335226 3538 1 0 7153184 0
[pid=1857/tid=1858] ppid=1855 vsize=28768336 memory=26 CPUtime=3.47 cores=0-7
/proc/1857/task/1858/stat : 1858 (java) S 1855 1855 1397 0 -1 1077944384 11012 0 0 0 337 10 0 0 20 0 28 0 475747511 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150825505920 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1859] ppid=1855 vsize=28768336 memory=27 CPUtime=0.23 cores=0-7
/proc/1857/task/1859/stat : 1859 (java) S 1855 1855 1397 0 -1 1077944384 1513 0 0 0 16 7 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150773885968 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1860] ppid=1855 vsize=28768336 memory=1456 CPUtime=0.25 cores=0-7
/proc/1857/task/1860/stat : 1860 (java) S 1855 1855 1397 0 -1 1077944384 514 0 0 0 16 9 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150772833424 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1861] ppid=1855 vsize=28768336 memory=5340904 CPUtime=0.24 cores=0-7
/proc/1857/task/1861/stat : 1861 (java) S 1855 1855 1397 0 -1 1077944384 720 0 0 0 16 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150771780368 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1862] ppid=1855 vsize=28768336 memory=1164 CPUtime=0.25 cores=0-7
/proc/1857/task/1862/stat : 1862 (java) S 1855 1855 1397 0 -1 1077944384 1313 0 0 0 16 9 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150770727824 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1863] ppid=1855 vsize=28768336 memory=2116 CPUtime=0.25 cores=0-7
/proc/1857/task/1863/stat : 1863 (java) S 1855 1855 1397 0 -1 1077944384 1333 0 0 0 17 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150769674768 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1864] ppid=1855 vsize=28768336 memory=1548 CPUtime=0.25 cores=0-7
/proc/1857/task/1864/stat : 1864 (java) S 1855 1855 1397 0 -1 1077944384 864 0 0 0 17 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150768622224 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1865] ppid=1855 vsize=28768336 memory=628 CPUtime=0.26 cores=0-7
/proc/1857/task/1865/stat : 1865 (java) S 1855 1855 1397 0 -1 1077944384 677 0 0 0 18 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150767569168 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1866] ppid=1855 vsize=28768336 memory=1456 CPUtime=0.27 cores=0-7
/proc/1857/task/1866/stat : 1866 (java) S 1855 1855 1397 0 -1 1077944384 832 0 0 0 19 8 0 0 20 0 28 0 475747512 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140150766516624 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1867] ppid=1855 vsize=28768336 memory=1456 CPUtime=0.04 cores=0-7
/proc/1857/task/1867/stat : 1867 (java) S 1855 1855 1397 0 -1 1077944384 4571 0 0 0 3 1 0 0 20 0 28 0 475747513 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149803260656 140150821276290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1868] ppid=1855 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/1857/task/1868/stat : 1868 (java) S 1855 1855 1397 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 475747514 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149802206944 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1869] ppid=1855 vsize=28768336 memory=5340904 CPUtime=0 cores=0-7
/proc/1857/task/1869/stat : 1869 (java) S 1855 1855 1397 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 475747514 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149801153792 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1870] ppid=1855 vsize=28768336 memory=43524 CPUtime=0 cores=0-7
/proc/1857/task/1870/stat : 1870 (java) S 1855 1855 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149800102352 140150821283739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1871] ppid=1855 vsize=28768336 memory=984 CPUtime=3.93 cores=0-7
/proc/1857/task/1871/stat : 1871 (java) S 1855 1855 1397 0 -1 1077944384 16920 0 0 0 390 3 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149799049456 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1872] ppid=1855 vsize=28768336 memory=1456 CPUtime=4.04 cores=0-7
/proc/1857/task/1872/stat : 1872 (java) S 1855 1855 1397 0 -1 1077944384 9875 0 0 0 402 2 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149797996912 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1873] ppid=1855 vsize=28768336 memory=1808 CPUtime=3.89 cores=0-7
/proc/1857/task/1873/stat : 1873 (java) S 1855 1855 1397 0 -1 1077944384 15188 0 0 0 387 2 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149796943856 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1874] ppid=1855 vsize=28768336 memory=920 CPUtime=0.94 cores=0-7
/proc/1857/task/1874/stat : 1874 (java) S 1855 1855 1397 0 -1 1077944384 11589 0 0 0 91 3 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149795891312 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1875] ppid=1855 vsize=28768336 memory=4136 CPUtime=0 cores=0-7
/proc/1857/task/1875/stat : 1875 (java) S 1855 1855 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475747516 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149794839520 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1876] ppid=1855 vsize=28768336 memory=1456 CPUtime=0.06 cores=0-7
/proc/1857/task/1876/stat : 1876 (java) S 1855 1855 1397 0 -1 1077944384 1059 0 0 0 0 6 0 0 20 0 28 0 475747517 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149793787056 140150821276290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1919] ppid=1855 vsize=28768336 memory=5340904 CPUtime=139.12 cores=0-7
/proc/1857/task/1919/stat : 1919 (java) S 1855 1855 1397 0 -1 1077944384 14534 0 0 0 13871 41 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149778255616 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1921] ppid=1855 vsize=28768336 memory=3624 CPUtime=137.58 cores=0-7
/proc/1857/task/1921/stat : 1921 (java) S 1855 1855 1397 0 -1 1077944384 1007 0 0 0 13757 1 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149783520592 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1922] ppid=1855 vsize=28768336 memory=1456 CPUtime=138.63 cores=0-7
/proc/1857/task/1922/stat : 1922 (java) S 1855 1855 1397 0 -1 1077944384 7040 0 0 0 13830 33 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149780362192 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1923] ppid=1855 vsize=28768336 memory=1456 CPUtime=139.06 cores=0-7
/proc/1857/task/1923/stat : 1923 (java) S 1855 1855 1397 0 -1 1077944384 1058 0 0 0 13903 3 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149777204304 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1924] ppid=1855 vsize=28768336 memory=5394256 CPUtime=139.18 cores=0-7
/proc/1857/task/1924/stat : 1924 (java) S 1855 1855 1397 0 -1 1077944384 1355 0 0 0 13917 1 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149779309264 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1925] ppid=1855 vsize=28768336 memory=0 CPUtime=138.56 cores=0-7
/proc/1857/task/1925/stat : 1925 (java) S 1855 1855 1397 0 -1 1077944384 4665 0 0 0 13831 25 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149782467408 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1926] ppid=1855 vsize=28768336 memory=5495740422247797458 CPUtime=139.24 cores=0-7
/proc/1857/task/1926/stat : 1926 (java) R 1855 1855 1397 0 -1 4202560 12925 0 0 0 13882 42 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149784568600 140150446631326 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
[pid=1857/tid=1927] ppid=1855 vsize=28768336 memory=-7361174377247368086 CPUtime=139.09 cores=0-7
/proc/1857/task/1927/stat : 1927 (java) S 1855 1855 1397 0 -1 1077944384 1381 0 0 0 13907 2 0 0 20 0 28 0 475748032 29458776064 1335226 33554432000 4194304 4196468 140731822419696 140149781415504 140150821275349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27308032 140731822425066 140731822425238 140731822425238 140731822428111 0
Current children cumulated CPU time: 1135.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5342360 KiB

Child status: 0
Real time (s): 145.1
CPU time (s): 1135.61
CPU user time (s): 1133.11
CPU system time (s): 2.50297
CPU usage (%): 782.638
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5437804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1133.11
system time used= 2.50297
maximum resident set size= 5436580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9474
involuntary context switches= 12853


# summary of solver processes directly reported to runsolver:
#   pid: 1855
#   total CPU time (s): 1135.61
#   total CPU user time (s): 1133.11
#   total CPU system time (s): 2.50297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39969 second user time and 1.59796 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.4372
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404568

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
