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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT	74.2163	11.9552
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 (14203 MiB free)
  memory of node 1: 16384 MiB (15394 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399542-1568702822/watcher-4399542-1568702822 -o /tmp/evaluation-result-4399542-1568702822/solver-4399542-1568702822 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568702458-10886 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1528732077 HOME/instance-4399542-1568702822.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
Starting watchdog thread
solver pid=11914, runsolver pid=11911
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 5.46 2.34 2.10 2/211 11935
/proc/meminfo: memFree=30291920/32770624 swapFree=66967456/67108860
[pid=11914] ppid=11911 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11914/stat : 11914 (xcsp3-exec) S 11911 11914 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548992 115843072 363 33554432000 4194304 5098028 140730759626080 140730759624184 139644159603324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730759627637 140730759627881 140730759627881 140730759630794 0
/proc/11914/statm: 28282 363 305 221 0 87 0
[pid=11916] ppid=11914 vsize=28227396 memory=29072 CPUtime=0.13 cores=0-7
/proc/11916/stat : 11916 (java) S 11914 11914 10859 0 -1 1077944320 5689 0 0 0 11 2 0 0 20 0 20 0 446548992 28904853504 7268 33554432000 4194304 4196468 140731217154992 140731217137536 140288745131767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
/proc/11916/statm: 7056849 7268 3158 1 0 7019032 0
[pid=11916/tid=11917] ppid=11914 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/11916/task/11917/stat : 11917 (java) R 11914 11914 10859 0 -1 4202560 3606 0 0 0 8 1 0 0 20 0 20 0 446548992 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288749366784 140288729212254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11918] ppid=11914 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11916/task/11918/stat : 11918 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288296344208 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11919] ppid=11914 vsize=28227396 memory=140224243091072 CPUtime=0 cores=0-7
/proc/11916/task/11919/stat : 11919 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288295291408 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11920] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11920/stat : 11920 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288294238608 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11921] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11921/stat : 11921 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288293185808 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11922] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11922/stat : 11922 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288292134032 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11923] ppid=11914 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11916/task/11923/stat : 11923 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288291081232 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11924] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11924/stat : 11924 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288290028432 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11925] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11925/stat : 11925 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 7268 33554432000 4194304 4196468 140731217154992 140288288975632 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11926] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11926/stat : 11926 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548995 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286873610608 140288745142914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11927] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11927/stat : 11927 (java) S 11914 11914 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446548995 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286872556576 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11928] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11928/stat : 11928 (java) S 11914 11914 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446548995 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286871503728 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11929] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11929/stat : 11929 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286870452048 140288745150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11930] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11930/stat : 11930 (java) S 11914 11914 10859 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286869400432 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11931] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11931/stat : 11931 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286868347632 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11932] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11932/stat : 11932 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286867294832 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11933] ppid=11914 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/11916/task/11933/stat : 11933 (java) R 11914 11914 10859 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 20 0 446548998 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286866242032 140288737368894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11934] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11934/stat : 11934 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286865189472 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11935] ppid=11914 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11916/task/11935/stat : 11935 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 7268 33554432000 4194304 4196468 140731217154992 140286864136752 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30524 KiB

[startup+0.210464 s]*
/proc/loadavg: 5.46 2.34 2.10 3/211 11935
/proc/meminfo: memFree=30279304/32770624 swapFree=66967456/67108860
[pid=11914] ppid=11911 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11914/stat : 11914 (xcsp3-exec) S 11911 11914 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548992 115843072 363 33554432000 4194304 5098028 140730759626080 140730759624184 139644159603324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730759627637 140730759627881 140730759627881 140730759630794 0
/proc/11914/statm: 28282 363 305 221 0 87 0
[pid=11916] ppid=11914 vsize=28227396 memory=40908 CPUtime=0.34 cores=0-7
/proc/11916/stat : 11916 (java) S 11914 11914 10859 0 -1 1077944320 9501 0 0 0 31 3 0 0 20 0 20 0 446548992 28904853504 10227 33554432000 4194304 4196468 140731217154992 140731217137536 140288745131767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
/proc/11916/statm: 7056849 10227 3275 1 0 7019032 0
[pid=11916/tid=11917] ppid=11914 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11916/task/11917/stat : 11917 (java) R 11914 11914 10859 0 -1 4202560 6604 0 0 0 18 2 0 0 20 0 20 0 446548992 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288749364496 140288729212254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11918] ppid=11914 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/11916/task/11918/stat : 11918 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288296344208 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11919] ppid=11914 vsize=28227396 memory=3472759895360980640 CPUtime=0 cores=0-7
/proc/11916/task/11919/stat : 11919 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288295291408 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11920] ppid=11914 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11916/task/11920/stat : 11920 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288294238608 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11921] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11921/stat : 11921 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288293185808 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11922] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11922/stat : 11922 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288292134032 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11923] ppid=11914 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11916/task/11923/stat : 11923 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288291081232 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11924] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11924/stat : 11924 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288290028432 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11925] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11925/stat : 11925 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548993 28904853504 10227 33554432000 4194304 4196468 140731217154992 140288288975632 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11926] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11926/stat : 11926 (java) S 11914 11914 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446548995 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286873610608 140288745142914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11927] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11927/stat : 11927 (java) S 11914 11914 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446548995 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286872556576 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11928] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11928/stat : 11928 (java) S 11914 11914 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446548995 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286871503728 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11929] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11929/stat : 11929 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286870452048 140288745150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11930] ppid=11914 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11916/task/11930/stat : 11930 (java) S 11914 11914 10859 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 446548998 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286869400432 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11931] ppid=11914 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11916/task/11931/stat : 11931 (java) S 11914 11914 10859 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 446548998 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286868347632 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11932] ppid=11914 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/11916/task/11932/stat : 11932 (java) S 11914 11914 10859 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 446548998 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286867294832 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11933] ppid=11914 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/11916/task/11933/stat : 11933 (java) R 11914 11914 10859 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 20 0 446548998 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286866242032 140288723499008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11934] ppid=11914 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11934/stat : 11934 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286865189472 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11935] ppid=11914 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11916/task/11935/stat : 11935 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548998 28904853504 10227 33554432000 4194304 4196468 140731217154992 140286864136752 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42360 KiB

[startup+0.310606 s]*
/proc/loadavg: 5.46 2.34 2.10 4/211 11935
/proc/meminfo: memFree=30271784/32770624 swapFree=66967456/67108860
[pid=11914] ppid=11911 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11914/stat : 11914 (xcsp3-exec) S 11911 11914 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548992 115843072 363 33554432000 4194304 5098028 140730759626080 140730759624184 139644159603324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730759627637 140730759627881 140730759627881 140730759630794 0
/proc/11914/statm: 28282 363 305 221 0 87 0
[pid=11916] ppid=11914 vsize=28231652 memory=49760 CPUtime=0.52 cores=0-7
/proc/11916/stat : 11916 (java) S 11914 11914 10859 0 -1 1077944320 10841 0 0 0 49 3 0 0 20 0 20 0 446548992 28909211648 12440 33554432000 4194304 4196468 140731217154992 140731217137536 140288745131767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
/proc/11916/statm: 7057913 12440 3343 1 0 7019032 0
[pid=11916/tid=11917] ppid=11914 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11916/task/11917/stat : 11917 (java) R 11914 11914 10859 0 -1 4202560 7741 0 0 0 27 2 0 0 20 0 20 0 446548992 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288749365144 140288729212254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11918] ppid=11914 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11918/stat : 11918 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288296344208 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11919] ppid=11914 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11919/stat : 11919 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288295291408 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11920] ppid=11914 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11920/stat : 11920 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288294238608 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11921] ppid=11914 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11921/stat : 11921 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288293185808 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11922] ppid=11914 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11922/stat : 11922 (java) S 11914 11914 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288292134032 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11923] ppid=11914 vsize=28231652 memory=140224105638575 CPUtime=0 cores=0-7
/proc/11916/task/11923/stat : 11923 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288291081232 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11924] ppid=11914 vsize=28231652 memory=140224105640880 CPUtime=0 cores=0-7
/proc/11916/task/11924/stat : 11924 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288290028432 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11925] ppid=11914 vsize=28231652 memory=140224105643184 CPUtime=0 cores=0-7
/proc/11916/task/11925/stat : 11925 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548993 28909211648 12440 33554432000 4194304 4196468 140731217154992 140288288975632 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11926] ppid=11914 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11926/stat : 11926 (java) S 11914 11914 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446548995 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286873610608 140288745142914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11927] ppid=11914 vsize=28231652 memory=280448211300240 CPUtime=0 cores=0-7
/proc/11916/task/11927/stat : 11927 (java) S 11914 11914 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446548995 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286872556576 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11928] ppid=11914 vsize=28231652 memory=280448211297936 CPUtime=0 cores=0-7
/proc/11916/task/11928/stat : 11928 (java) S 11914 11914 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446548995 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286871503728 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11929] ppid=11914 vsize=28231652 memory=280448211304848 CPUtime=0 cores=0-7
/proc/11916/task/11929/stat : 11929 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548998 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286870452048 140288745150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11930] ppid=11914 vsize=28231652 memory=280448211246128 CPUtime=0.03 cores=0-7
/proc/11916/task/11930/stat : 11930 (java) R 11914 11914 10859 0 -1 4202560 582 0 0 0 3 0 0 0 20 0 20 0 446548998 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286869381448 140288724378109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11931] ppid=11914 vsize=28231652 memory=280448211318672 CPUtime=0.02 cores=0-7
/proc/11916/task/11931/stat : 11931 (java) S 11914 11914 10859 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 20 0 446548998 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286868347632 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11932] ppid=11914 vsize=28231652 memory=280448211325584 CPUtime=0.03 cores=0-7
/proc/11916/task/11932/stat : 11932 (java) S 11914 11914 10859 0 -1 1077944384 256 0 0 0 3 0 0 0 20 0 20 0 446548998 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286867294832 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11933] ppid=11914 vsize=28231652 memory=280448211323280 CPUtime=0.12 cores=0-7
/proc/11916/task/11933/stat : 11933 (java) S 11914 11914 10859 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 20 0 446548998 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286866242032 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11934] ppid=11914 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11934/stat : 11934 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548998 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286865189472 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11935] ppid=11914 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11916/task/11935/stat : 11935 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548998 28909211648 12440 33554432000 4194304 4196468 140731217154992 140286864136752 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51212 KiB

[startup+0.700936 s]
/proc/loadavg: 5.46 2.34 2.10 4/211 11935
/proc/meminfo: memFree=30249004/32770624 swapFree=66967456/67108860
[pid=11914] ppid=11911 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11914/stat : 11914 (xcsp3-exec) S 11911 11914 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548992 115843072 363 33554432000 4194304 5098028 140730759626080 140730759624184 139644159603324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730759627637 140730759627881 140730759627881 140730759630794 0
/proc/11914/statm: 28282 363 305 221 0 87 0
[pid=11916] ppid=11914 vsize=28233776 memory=107640 CPUtime=1.72 cores=0-7
/proc/11916/stat : 11916 (java) S 11914 11914 10859 0 -1 1077944320 14594 0 0 0 167 5 0 0 20 0 20 0 446548992 28911386624 26910 33554432000 4194304 4196468 140731217154992 140731217137536 140288745131767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
/proc/11916/statm: 7058444 26910 3445 1 0 7019544 0
[pid=11916/tid=11917] ppid=11914 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/11916/task/11917/stat : 11917 (java) R 11914 11914 10859 0 -1 4202560 8325 0 0 0 64 3 0 0 20 0 20 0 446548992 28911386624 26910 33554432000 4194304 4196468 140731217154992 140288749368800 140288745143702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11918] ppid=11914 vsize=28233776 memory=140224105849712 CPUtime=0 cores=0-7
/proc/11916/task/11918/stat : 11918 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28911386624 26910 33554432000 4194304 4196468 140731217154992 140288296344208 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11919] ppid=11914 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11919/stat : 11919 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548993 28911386624 26910 33554432000 4194304 4196468 140731217154992 140288295291408 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11920] ppid=11914 vsize=28233776 memory=1192 CPUtime=0 cores=0-7

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

[pid=11916/tid=11933] ppid=11914 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7
/proc/11916/task/11933/stat : 11933 (java) S 11914 11914 10859 0 -1 1077944384 4541 0 0 0 64 2 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286866242032 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11934] ppid=11914 vsize=28766288 memory=140224106109776 CPUtime=0 cores=0-7
/proc/11916/task/11934/stat : 11934 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286865189472 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11935] ppid=11914 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11916/task/11935/stat : 11935 (java) S 11914 11914 10859 0 -1 1077944384 754 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286864136752 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11936] ppid=11914 vsize=28766288 memory=-5921431000321636112 CPUtime=7.1 cores=0-7
/proc/11916/task/11936/stat : 11936 (java) R 11914 11914 10859 0 -1 4202560 365 0 0 0 709 1 0 0 20 0 28 0 446549367 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286854916640 140288353675269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11937] ppid=11914 vsize=28766288 memory=6944656575208382560 CPUtime=7.24 cores=0-7
/proc/11916/task/11937/stat : 11937 (java) R 11914 11914 10859 0 -1 4202560 315 0 0 0 723 1 0 0 20 0 28 0 446549368 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286853864960 140288353226060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11938] ppid=11914 vsize=28766288 memory=6944652177228980320 CPUtime=7.29 cores=0-7
/proc/11916/task/11938/stat : 11938 (java) R 11914 11914 10859 0 -1 4202560 421 0 0 0 728 1 0 0 20 0 28 0 446549368 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286544920848 140288353226172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11939] ppid=11914 vsize=28766288 memory=5865483761002898792 CPUtime=6.98 cores=0-7
/proc/11916/task/11939/stat : 11939 (java) R 11914 11914 10859 0 -1 4202560 1418 0 0 0 697 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286543868176 140288353226232 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11940] ppid=11914 vsize=28766288 memory=0 CPUtime=7.26 cores=0-7
/proc/11916/task/11940/stat : 11940 (java) R 11914 11914 10859 0 -1 4202560 562 0 0 0 725 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286542815376 140288353225992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11941] ppid=11914 vsize=28766288 memory=6944656592455360608 CPUtime=7.16 cores=0-7
/proc/11916/task/11941/stat : 11941 (java) R 11914 11914 10859 0 -1 4202560 453 0 0 0 716 0 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286541762560 140288353226119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11942] ppid=11914 vsize=28766288 memory=6944938067432061290 CPUtime=7.01 cores=0-7
/proc/11916/task/11942/stat : 11942 (java) R 11914 11914 10859 0 -1 4202560 397 0 0 0 700 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286540709776 140288353226026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11943] ppid=11914 vsize=28766288 memory=26660 CPUtime=7.2 cores=0-7
/proc/11916/task/11943/stat : 11943 (java) R 11914 11914 10859 0 -1 4202560 433 0 0 0 720 0 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286539656976 140288353226075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
Current children cumulated CPU time: 71.81 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 937048 KiB

[startup+11.8014 s]
/proc/loadavg: 5.48 2.45 2.14 9/219 11943
/proc/meminfo: memFree=29384212/32770624 swapFree=66967456/67108860
[pid=11914] ppid=11911 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11914/stat : 11914 (xcsp3-exec) S 11911 11914 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548992 115843072 363 33554432000 4194304 5098028 140730759626080 140730759624184 139644159603324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730759627637 140730759627881 140730759627881 140730759630794 0
/proc/11914/statm: 28282 363 305 221 0 87 0
[pid=11916] ppid=11914 vsize=28766288 memory=935596 CPUtime=73.41 cores=0-7
/proc/11916/stat : 11916 (java) S 11914 11914 10859 0 -1 1077944320 45050 0 0 0 7230 111 0 0 20 0 28 0 446548992 29456678912 233899 33554432000 4194304 4196468 140731217154992 140731217137536 140288745131767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
/proc/11916/statm: 7191572 233899 3543 1 0 7152672 0
[pid=11916/tid=11917] ppid=11914 vsize=28766288 memory=0 CPUtime=3.56 cores=0-7
/proc/11916/task/11917/stat : 11917 (java) S 11914 11914 10859 0 -1 1077944384 9988 0 0 0 345 11 0 0 20 0 28 0 446548992 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288749372544 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11918] ppid=11914 vsize=28766288 memory=6791534058613427641 CPUtime=0.42 cores=0-7
/proc/11916/task/11918/stat : 11918 (java) S 11914 11914 10859 0 -1 1077944384 287 0 0 0 32 10 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288296344208 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11919] ppid=11914 vsize=28766288 memory=804 CPUtime=0.41 cores=0-7
/proc/11916/task/11919/stat : 11919 (java) S 11914 11914 10859 0 -1 1077944384 373 0 0 0 32 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288295291408 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11920] ppid=11914 vsize=28766288 memory=4104 CPUtime=0.33 cores=0-7
/proc/11916/task/11920/stat : 11920 (java) S 11914 11914 10859 0 -1 1077944384 292 0 0 0 24 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288294238608 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11921] ppid=11914 vsize=28766288 memory=1804 CPUtime=0.34 cores=0-7
/proc/11916/task/11921/stat : 11921 (java) S 11914 11914 10859 0 -1 1077944384 255 0 0 0 24 10 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288293185808 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11922] ppid=11914 vsize=28766288 memory=920 CPUtime=0.4 cores=0-7
/proc/11916/task/11922/stat : 11922 (java) S 11914 11914 10859 0 -1 1077944384 268 0 0 0 31 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288292134032 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11923] ppid=11914 vsize=28766288 memory=4156 CPUtime=0.42 cores=0-7
/proc/11916/task/11923/stat : 11923 (java) S 11914 11914 10859 0 -1 1077944384 306 0 0 0 33 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288291081232 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11924] ppid=11914 vsize=28766288 memory=1412 CPUtime=0.39 cores=0-7
/proc/11916/task/11924/stat : 11924 (java) S 11914 11914 10859 0 -1 1077944384 391 0 0 0 29 10 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288290028432 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11925] ppid=11914 vsize=28766288 memory=2844 CPUtime=0.39 cores=0-7
/proc/11916/task/11925/stat : 11925 (java) S 11914 11914 10859 0 -1 1077944384 283 0 0 0 31 8 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288288975632 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11926] ppid=11914 vsize=28766288 memory=1452 CPUtime=0.04 cores=0-7
/proc/11916/task/11926/stat : 11926 (java) S 11914 11914 10859 0 -1 1077944384 1041 0 0 0 3 1 0 0 20 0 28 0 446548995 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286873610608 140288745142914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11927] ppid=11914 vsize=28766288 memory=939248 CPUtime=0 cores=0-7
/proc/11916/task/11927/stat : 11927 (java) S 11914 11914 10859 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 446548995 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286872556640 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11928] ppid=11914 vsize=28766288 memory=1732 CPUtime=0 cores=0-7
/proc/11916/task/11928/stat : 11928 (java) S 11914 11914 10859 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446548995 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286871503744 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11929] ppid=11914 vsize=28766288 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/11916/task/11929/stat : 11929 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286870452048 140288745150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11930] ppid=11914 vsize=28766288 memory=4126316290023845779 CPUtime=1.83 cores=0-7
/proc/11916/task/11930/stat : 11930 (java) S 11914 11914 10859 0 -1 1077944384 8134 0 0 0 180 3 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286869400432 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11931] ppid=11914 vsize=28766288 memory=-9001734043636558696 CPUtime=2.58 cores=0-7
/proc/11916/task/11931/stat : 11931 (java) S 11914 11914 10859 0 -1 1077944384 6286 0 0 0 256 2 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286868347632 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11932] ppid=11914 vsize=28766288 memory=4425517385743431210 CPUtime=2.57 cores=0-7
/proc/11916/task/11932/stat : 11932 (java) S 11914 11914 10859 0 -1 1077944384 6158 0 0 0 254 3 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286867294832 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11933] ppid=11914 vsize=28766288 memory=8992725908130199082 CPUtime=0.66 cores=0-7
/proc/11916/task/11933/stat : 11933 (java) S 11914 11914 10859 0 -1 1077944384 4544 0 0 0 64 2 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286866242032 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11934] ppid=11914 vsize=28766288 memory=-6517102902069810590 CPUtime=0 cores=0-7
/proc/11916/task/11934/stat : 11934 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286865189472 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11935] ppid=11914 vsize=28766288 memory=716 CPUtime=0 cores=0-7
/proc/11916/task/11935/stat : 11935 (java) S 11914 11914 10859 0 -1 1077944384 754 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286864136752 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11936] ppid=11914 vsize=28766288 memory=780 CPUtime=7.29 cores=0-7
/proc/11916/task/11936/stat : 11936 (java) R 11914 11914 10859 0 -1 4202560 367 0 0 0 728 1 0 0 20 0 28 0 446549367 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286854916776 140288353226003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11937] ppid=11914 vsize=28766288 memory=1552 CPUtime=7.44 cores=0-7
/proc/11916/task/11937/stat : 11937 (java) R 11914 11914 10859 0 -1 4202560 316 0 0 0 743 1 0 0 20 0 28 0 446549368 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286853865096 140288353226075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11938] ppid=11914 vsize=28766288 memory=2832 CPUtime=7.49 cores=0-7
/proc/11916/task/11938/stat : 11938 (java) R 11914 11914 10859 0 -1 4202560 423 0 0 0 748 1 0 0 20 0 28 0 446549368 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286544920848 140288353226142 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11939] ppid=11914 vsize=28766288 memory=1192 CPUtime=7.18 cores=0-7
/proc/11916/task/11939/stat : 11939 (java) R 11914 11914 10859 0 -1 4202560 1421 0 0 0 717 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286543870216 140288353226142 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11940] ppid=11914 vsize=28766288 memory=940 CPUtime=7.46 cores=0-7
/proc/11916/task/11940/stat : 11940 (java) R 11914 11914 10859 0 -1 4202560 563 0 0 0 745 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286542815512 140288353226119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11941] ppid=11914 vsize=28766288 memory=14008 CPUtime=7.36 cores=0-7
/proc/11916/task/11941/stat : 11941 (java) R 11914 11914 10859 0 -1 4202560 455 0 0 0 736 0 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286541762696 140288353226142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11942] ppid=11914 vsize=28766288 memory=12040 CPUtime=7.21 cores=0-7
/proc/11916/task/11942/stat : 11942 (java) R 11914 11914 10859 0 -1 4202560 412 0 0 0 720 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286540710792 140288353226142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11943] ppid=11914 vsize=28766288 memory=23952 CPUtime=7.4 cores=0-7
/proc/11916/task/11943/stat : 11943 (java) R 11914 11914 10859 0 -1 4202560 435 0 0 0 740 0 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286539657112 140288353226060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
Current children cumulated CPU time: 73.41 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 937048 KiB

[startup+11.9015 s]
/proc/loadavg: 5.48 2.45 2.14 9/219 11943
/proc/meminfo: memFree=29384212/32770624 swapFree=66967456/67108860
[pid=11914] ppid=11911 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11914/stat : 11914 (xcsp3-exec) S 11911 11914 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548992 115843072 363 33554432000 4194304 5098028 140730759626080 140730759624184 139644159603324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17354752 140730759627637 140730759627881 140730759627881 140730759630794 0
/proc/11914/statm: 28282 363 305 221 0 87 0
[pid=11916] ppid=11914 vsize=28766288 memory=935596 CPUtime=74.11 cores=0-7
/proc/11916/stat : 11916 (java) S 11914 11914 10859 0 -1 1077944320 45130 0 0 0 7300 111 0 0 20 0 28 0 446548992 29456678912 233899 33554432000 4194304 4196468 140731217154992 140731217137536 140288745131767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
/proc/11916/statm: 7191572 233899 3543 1 0 7152672 0
[pid=11916/tid=11917] ppid=11914 vsize=28766288 memory=935596 CPUtime=3.56 cores=0-7
/proc/11916/task/11917/stat : 11917 (java) S 11914 11914 10859 0 -1 1077944384 9988 0 0 0 345 11 0 0 20 0 28 0 446548992 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288749372544 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11918] ppid=11914 vsize=28766288 memory=935572 CPUtime=0.42 cores=0-7
/proc/11916/task/11918/stat : 11918 (java) S 11914 11914 10859 0 -1 1077944384 287 0 0 0 32 10 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288296344208 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11919] ppid=11914 vsize=28766288 memory=1452 CPUtime=0.41 cores=0-7
/proc/11916/task/11919/stat : 11919 (java) S 11914 11914 10859 0 -1 1077944384 373 0 0 0 32 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288295291408 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11920] ppid=11914 vsize=28766288 memory=1452 CPUtime=0.33 cores=0-7
/proc/11916/task/11920/stat : 11920 (java) S 11914 11914 10859 0 -1 1077944384 292 0 0 0 24 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288294238608 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11921] ppid=11914 vsize=28766288 memory=280448211682816 CPUtime=0.34 cores=0-7
/proc/11916/task/11921/stat : 11921 (java) S 11914 11914 10859 0 -1 1077944384 255 0 0 0 24 10 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288293185808 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11922] ppid=11914 vsize=28766288 memory=-3255422371651459150 CPUtime=0.4 cores=0-7
/proc/11916/task/11922/stat : 11922 (java) S 11914 11914 10859 0 -1 1077944384 268 0 0 0 31 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288292134032 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11923] ppid=11914 vsize=28766288 memory=-2098775911743863648 CPUtime=0.42 cores=0-7
/proc/11916/task/11923/stat : 11923 (java) S 11914 11914 10859 0 -1 1077944384 306 0 0 0 33 9 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288291081232 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11924] ppid=11914 vsize=28766288 memory=6791534058613427641 CPUtime=0.39 cores=0-7
/proc/11916/task/11924/stat : 11924 (java) S 11914 11914 10859 0 -1 1077944384 391 0 0 0 29 10 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288290028432 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11925] ppid=11914 vsize=28766288 memory=7739842110607943252 CPUtime=0.39 cores=0-7
/proc/11916/task/11925/stat : 11925 (java) S 11914 11914 10859 0 -1 1077944384 283 0 0 0 31 8 0 0 20 0 28 0 446548993 29456678912 233899 33554432000 4194304 4196468 140731217154992 140288288975632 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11926] ppid=11914 vsize=28766288 memory=7739842110607943252 CPUtime=0.04 cores=0-7
/proc/11916/task/11926/stat : 11926 (java) S 11914 11914 10859 0 -1 1077944384 1041 0 0 0 3 1 0 0 20 0 28 0 446548995 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286873610608 140288745142914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11927] ppid=11914 vsize=28766288 memory=939184 CPUtime=0 cores=0-7
/proc/11916/task/11927/stat : 11927 (java) S 11914 11914 10859 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 446548995 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286872556640 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11928] ppid=11914 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/11916/task/11928/stat : 11928 (java) S 11914 11914 10859 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446548995 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286871503744 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11929] ppid=11914 vsize=28766288 memory=939036 CPUtime=0 cores=0-7
/proc/11916/task/11929/stat : 11929 (java) S 11914 11914 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286870452048 140288745150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11930] ppid=11914 vsize=28766288 memory=5166 CPUtime=1.83 cores=0-7
/proc/11916/task/11930/stat : 11930 (java) S 11914 11914 10859 0 -1 1077944384 8134 0 0 0 180 3 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286869400432 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11931] ppid=11914 vsize=28766288 memory=34 CPUtime=2.58 cores=0-7
/proc/11916/task/11931/stat : 11931 (java) S 11914 11914 10859 0 -1 1077944384 6286 0 0 0 256 2 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286868347632 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11932] ppid=11914 vsize=28766288 memory=40 CPUtime=2.57 cores=0-7
/proc/11916/task/11932/stat : 11932 (java) S 11914 11914 10859 0 -1 1077944384 6158 0 0 0 254 3 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286867294832 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11933] ppid=11914 vsize=28766288 memory=42 CPUtime=0.66 cores=0-7
/proc/11916/task/11933/stat : 11933 (java) S 11914 11914 10859 0 -1 1077944384 4544 0 0 0 64 2 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286866242032 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11934] ppid=11914 vsize=28766288 memory=446 CPUtime=0 cores=0-7
/proc/11916/task/11934/stat : 11934 (java) S 11914 11914 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286865189472 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11935] ppid=11914 vsize=28766288 memory=437 CPUtime=0 cores=0-7
/proc/11916/task/11935/stat : 11935 (java) S 11914 11914 10859 0 -1 1077944384 754 0 0 0 0 0 0 0 20 0 28 0 446548998 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286864136752 140288745142914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11936] ppid=11914 vsize=28766288 memory=425 CPUtime=7.4 cores=0-7
/proc/11916/task/11936/stat : 11936 (java) R 11914 11914 10859 0 -1 4202560 367 0 0 0 739 1 0 0 20 0 28 0 446549367 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286854916776 140288353447695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11937] ppid=11914 vsize=28766288 memory=441 CPUtime=7.54 cores=0-7
/proc/11916/task/11937/stat : 11937 (java) R 11914 11914 10859 0 -1 4202560 316 0 0 0 753 1 0 0 20 0 28 0 446549368 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286853865096 140288353566944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11938] ppid=11914 vsize=28766288 memory=0 CPUtime=7.59 cores=0-7
/proc/11916/task/11938/stat : 11938 (java) R 11914 11914 10859 0 -1 4202560 423 0 0 0 758 1 0 0 20 0 28 0 446549368 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286544920848 140288353226070 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11939] ppid=11914 vsize=28766288 memory=500 CPUtime=7.26 cores=0-7
/proc/11916/task/11939/stat : 11939 (java) S 11914 11914 10859 0 -1 1077944384 1421 0 0 0 725 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286543873488 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11940] ppid=11914 vsize=28766288 memory=1556 CPUtime=7.56 cores=0-7
/proc/11916/task/11940/stat : 11940 (java) R 11914 11914 10859 0 -1 4202560 563 0 0 0 755 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286542815512 140288353226133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11941] ppid=11914 vsize=28766288 memory=928 CPUtime=7.43 cores=0-7
/proc/11916/task/11941/stat : 11941 (java) S 11914 11914 10859 0 -1 1077944384 531 0 0 0 743 0 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286541767888 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11942] ppid=11914 vsize=28766288 memory=1520 CPUtime=7.29 cores=0-7
/proc/11916/task/11942/stat : 11942 (java) S 11914 11914 10859 0 -1 1077944384 412 0 0 0 728 1 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286540715088 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
[pid=11916/tid=11943] ppid=11914 vsize=28766288 memory=1980 CPUtime=7.48 cores=0-7
/proc/11916/task/11943/stat : 11943 (java) S 11914 11914 10859 0 -1 1077944384 439 0 0 0 748 0 0 0 20 0 28 0 446549400 29456678912 233899 33554432000 4194304 4196468 140731217154992 140286539662288 140288745141973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140731217163242 140731217163414 140731217163414 140731217166287 0
Current children cumulated CPU time: 74.11 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 937048 KiB

Child status: 0
Real time (s): 11.9552
CPU time (s): 74.2163
CPU user time (s): 73.0897
CPU system time (s): 1.12664
CPU usage (%): 620.789
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 942960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.0897
system time used= 1.12664
maximum resident set size= 942824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4850
involuntary context switches= 1423


# summary of solver processes directly reported to runsolver:
#   pid: 11914
#   total CPU time (s): 74.2163
#   total CPU user time (s): 73.0897
#   total CPU system time (s): 1.12664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.144552 second user time and 0.145607 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	10.7392
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective
Trace number 4399542

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
