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-20 parallel	SAT	235.936	38.1408
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 (9727 MiB free)
  memory of node 1: 16384 MiB (8265 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404359-1569002053/watcher-4404359-1569002053 -o /tmp/evaluation-result-4404359-1569002053/solver-4404359-1569002053 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 899509846 HOME/instance-4404359-1569002053.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=17961, runsolver pid=17958
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 8.13 8.27 8.25 2/211 17982
/proc/meminfo: memFree=18407192/32770624 swapFree=66986244/67108860
[pid=17961] ppid=17958 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17961/stat : 17961 (xcsp3-exec) S 17958 17961 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476462192 115843072 364 33554432000 4194304 5098028 140727190957088 140727190955192 139662943801980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19820544 140727190958966 140727190959209 140727190959209 140727190962122 0
/proc/17961/statm: 28282 364 306 221 0 87 0
[pid=17963] ppid=17961 vsize=28227396 memory=28912 CPUtime=0.12 cores=0-7
/proc/17963/stat : 17963 (java) S 17961 17961 14667 0 -1 1077944320 5701 0 0 0 11 1 0 0 20 0 20 0 476462192 28904853504 7228 33554432000 4194304 4196468 140732865831552 140732865814096 140125710626551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
/proc/17963/statm: 7056849 7228 3119 1 0 7019032 0
[pid=17963/tid=17964] ppid=17961 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/17963/task/17964/stat : 17964 (java) R 17961 17961 14667 0 -1 4202560 3613 0 0 0 8 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125714851360 140125710648477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17965] ppid=17961 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17963/task/17965/stat : 17965 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125663247120 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17966] ppid=17961 vsize=28227396 memory=139753896769152 CPUtime=0 cores=0-7
/proc/17963/task/17966/stat : 17966 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125662194576 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17967] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17967/stat : 17967 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125661142032 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17968] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17968/stat : 17968 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125660089488 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17969] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17969/stat : 17969 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125659035920 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17970] ppid=17961 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17963/task/17970/stat : 17970 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125657983376 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17971] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17971/stat : 17971 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125256145424 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17972] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17972/stat : 17972 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125255092880 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17973] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17973/stat : 17973 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462195 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125095348720 140125710637698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17974] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17974/stat : 17974 (java) S 17961 17961 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476462195 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125094294944 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17975] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17975/stat : 17975 (java) S 17961 17961 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476462196 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125093242352 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17976] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17976/stat : 17976 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125092190928 140125710645147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17977] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17977/stat : 17977 (java) R 17961 17961 14667 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125091137520 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17978] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17978/stat : 17978 (java) S 17961 17961 14667 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125090084976 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17979] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17979/stat : 17979 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125089032432 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17980] ppid=17961 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17963/task/17980/stat : 17980 (java) R 17961 17961 14667 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 476462198 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125087979888 140125710647898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17981] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17981/stat : 17981 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125086927584 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17982] ppid=17961 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17963/task/17982/stat : 17982 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 7228 33554432000 4194304 4196468 140732865831552 140125085875120 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30368 KiB

[startup+0.20997 s]*
/proc/loadavg: 8.13 8.27 8.25 3/211 17982
/proc/meminfo: memFree=18395124/32770624 swapFree=66986244/67108860
[pid=17961] ppid=17958 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17961/stat : 17961 (xcsp3-exec) S 17958 17961 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476462192 115843072 364 33554432000 4194304 5098028 140727190957088 140727190955192 139662943801980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19820544 140727190958966 140727190959209 140727190959209 140727190962122 0
/proc/17961/statm: 28282 364 306 221 0 87 0
[pid=17963] ppid=17961 vsize=28227396 memory=41032 CPUtime=0.34 cores=0-7
/proc/17963/stat : 17963 (java) S 17961 17961 14667 0 -1 1077944320 9514 0 0 0 31 3 0 0 20 0 20 0 476462192 28904853504 10258 33554432000 4194304 4196468 140732865831552 140732865814096 140125710626551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
/proc/17963/statm: 7056849 10258 3299 1 0 7019032 0
[pid=17963/tid=17964] ppid=17961 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/17963/task/17964/stat : 17964 (java) R 17961 17961 14667 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125714858464 140125693071363 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17965] ppid=17961 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/17963/task/17965/stat : 17965 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125663247120 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17966] ppid=17961 vsize=28227396 memory=139753900160828 CPUtime=0 cores=0-7
/proc/17963/task/17966/stat : 17966 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125662194576 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17967] ppid=17961 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17963/task/17967/stat : 17967 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125661142032 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17968] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17968/stat : 17968 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125660089488 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17969] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17969/stat : 17969 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125659035920 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17970] ppid=17961 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17963/task/17970/stat : 17970 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125657983376 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17971] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17971/stat : 17971 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125256145424 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17972] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17972/stat : 17972 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462193 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125255092880 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17973] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17973/stat : 17973 (java) S 17961 17961 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476462195 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125095348720 140125710637698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17974] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17974/stat : 17974 (java) S 17961 17961 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476462195 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125094294944 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17975] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17975/stat : 17975 (java) S 17961 17961 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476462196 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125093242352 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17976] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17976/stat : 17976 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125092190928 140125710645147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17977] ppid=17961 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17963/task/17977/stat : 17977 (java) S 17961 17961 14667 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 476462198 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125091137520 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17978] ppid=17961 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17963/task/17978/stat : 17978 (java) S 17961 17961 14667 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 476462198 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125090084976 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17979] ppid=17961 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/17963/task/17979/stat : 17979 (java) S 17961 17961 14667 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 20 0 476462198 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125089032432 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17980] ppid=17961 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/17963/task/17980/stat : 17980 (java) R 17961 17961 14667 0 -1 4202560 771 0 0 0 7 0 0 0 20 0 20 0 476462198 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125087979696 140125692211266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17981] ppid=17961 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17981/stat : 17981 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125086927584 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17982] ppid=17961 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17963/task/17982/stat : 17982 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462198 28904853504 10258 33554432000 4194304 4196468 140732865831552 140125085875120 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42488 KiB

[startup+0.309646 s]*
/proc/loadavg: 8.13 8.27 8.25 3/211 17982
/proc/meminfo: memFree=18386992/32770624 swapFree=66986244/67108860
[pid=17961] ppid=17958 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17961/stat : 17961 (xcsp3-exec) S 17958 17961 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476462192 115843072 364 33554432000 4194304 5098028 140727190957088 140727190955192 139662943801980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19820544 140727190958966 140727190959209 140727190959209 140727190962122 0
/proc/17961/statm: 28282 364 306 221 0 87 0
[pid=17963] ppid=17961 vsize=28231652 memory=49708 CPUtime=0.51 cores=0-7
/proc/17963/stat : 17963 (java) S 17961 17961 14667 0 -1 1077944320 10784 0 0 0 47 4 0 0 20 0 20 0 476462192 28909211648 12427 33554432000 4194304 4196468 140732865831552 140732865814096 140125710626551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
/proc/17963/statm: 7057913 12427 3334 1 0 7019032 0
[pid=17963/tid=17964] ppid=17961 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/17963/task/17964/stat : 17964 (java) R 17961 17961 14667 0 -1 4202560 7778 0 0 0 27 3 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125714860336 140125710648477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17965] ppid=17961 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17965/stat : 17965 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125663247120 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17966] ppid=17961 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17966/stat : 17966 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125662194576 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17967] ppid=17961 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17967/stat : 17967 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125661142032 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17968] ppid=17961 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17968/stat : 17968 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125660089488 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17969] ppid=17961 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17969/stat : 17969 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125659035920 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17970] ppid=17961 vsize=28231652 memory=139753739610799 CPUtime=0 cores=0-7
/proc/17963/task/17970/stat : 17970 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125657983376 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17971] ppid=17961 vsize=28231652 memory=139753739613104 CPUtime=0 cores=0-7
/proc/17963/task/17971/stat : 17971 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125256145424 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17972] ppid=17961 vsize=28231652 memory=139753739615408 CPUtime=0 cores=0-7
/proc/17963/task/17972/stat : 17972 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462193 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125255092880 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17973] ppid=17961 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17973/stat : 17973 (java) S 17961 17961 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476462195 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125095348720 140125710637698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17974] ppid=17961 vsize=28231652 memory=279507479244688 CPUtime=0 cores=0-7
/proc/17963/task/17974/stat : 17974 (java) S 17961 17961 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476462195 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125094294944 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17975] ppid=17961 vsize=28231652 memory=279507479242384 CPUtime=0 cores=0-7
/proc/17963/task/17975/stat : 17975 (java) S 17961 17961 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476462196 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125093242352 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17976] ppid=17961 vsize=28231652 memory=279507479249296 CPUtime=0 cores=0-7
/proc/17963/task/17976/stat : 17976 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462198 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125092190928 140125710645147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17977] ppid=17961 vsize=28231652 memory=279507479190576 CPUtime=0.01 cores=0-7
/proc/17963/task/17977/stat : 17977 (java) S 17961 17961 14667 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 20 0 476462198 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125091137520 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17978] ppid=17961 vsize=28231652 memory=279507479263120 CPUtime=0.03 cores=0-7
/proc/17963/task/17978/stat : 17978 (java) S 17961 17961 14667 0 -1 1077944384 187 0 0 0 3 0 0 0 20 0 20 0 476462198 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125090084976 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17979] ppid=17961 vsize=28231652 memory=279507479270032 CPUtime=0.02 cores=0-7
/proc/17963/task/17979/stat : 17979 (java) S 17961 17961 14667 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 20 0 476462198 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125089032432 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17980] ppid=17961 vsize=28231652 memory=279507479267728 CPUtime=0.12 cores=0-7
/proc/17963/task/17980/stat : 17980 (java) S 17961 17961 14667 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 476462198 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125087979888 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17981] ppid=17961 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17981/stat : 17981 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476462198 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125086927584 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17982] ppid=17961 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/17963/task/17982/stat : 17982 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462198 28909211648 12427 33554432000 4194304 4196468 140732865831552 140125085875120 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51164 KiB

[startup+0.70094 s]
/proc/loadavg: 8.13 8.27 8.25 4/211 17982
/proc/meminfo: memFree=18369236/32770624 swapFree=66986244/67108860
[pid=17961] ppid=17958 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17961/stat : 17961 (xcsp3-exec) S 17958 17961 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476462192 115843072 364 33554432000 4194304 5098028 140727190957088 140727190955192 139662943801980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19820544 140727190958966 140727190959209 140727190959209 140727190962122 0
/proc/17961/statm: 28282 364 306 221 0 87 0
[pid=17963] ppid=17961 vsize=28233776 memory=98304 CPUtime=1.94 cores=0-7
/proc/17963/stat : 17963 (java) S 17961 17961 14667 0 -1 1077944320 15724 0 0 0 189 5 0 0 20 0 20 0 476462192 28911386624 24576 33554432000 4194304 4196468 140732865831552 140732865814096 140125710626551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
/proc/17963/statm: 7058444 24576 3447 1 0 7019544 0
[pid=17963/tid=17964] ppid=17961 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/17963/task/17964/stat : 17964 (java) R 17961 17961 14667 0 -1 4202560 9033 0 0 0 65 3 0 0 20 0 20 0 476462193 28911386624 24576 33554432000 4194304 4196468 140732865831552 140125714841248 140125710638486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17965] ppid=17961 vsize=28233776 memory=139753739821936 CPUtime=0 cores=0-7
/proc/17963/task/17965/stat : 17965 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476462193 28911386624 24576 33554432000 4194304 4196468 140732865831552 140125663247120 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17966] ppid=17961 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17966/stat : 17966 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28911386624 24576 33554432000 4194304 4196468 140732865831552 140125662194576 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17967] ppid=17961 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/17963/task/17967/stat : 17967 (java) S 17961 17961 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476462193 28911386624 24576 33554432000 4194304 4196468 140732865831552 140125661142032 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0

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

[pid=17963/tid=17988] ppid=17961 vsize=28766288 memory=1456 CPUtime=4.64 cores=0-7
/proc/17963/task/17988/stat : 17988 (java) R 17961 17961 14667 0 -1 4202560 71 0 0 0 464 0 0 0 20 0 28 0 476465387 29456678912 3307634 33554432000 4194304 4196468 140732865831552 140125074550216 140125345794506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17989] ppid=17961 vsize=28766288 memory=13230536 CPUtime=4.71 cores=0-7
/proc/17963/task/17989/stat : 17989 (java) R 17961 17961 14667 0 -1 4202560 943 0 0 0 471 0 0 0 20 0 28 0 476465387 29456678912 3307634 33554432000 4194304 4196468 140732865831552 140125073497424 140125345807942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17990] ppid=17961 vsize=28766288 memory=6791534058613427641 CPUtime=4.79 cores=0-7
/proc/17963/task/17990/stat : 17990 (java) R 17961 17961 14667 0 -1 4202560 8703 0 0 0 478 1 0 0 20 0 28 0 476465387 29456678912 3307634 33554432000 4194304 4196468 140732865831552 140125072445224 140125345948222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17991] ppid=17961 vsize=28766288 memory=13229548 CPUtime=4.66 cores=0-7
/proc/17963/task/17991/stat : 17991 (java) R 17961 17961 14667 0 -1 4202560 714 0 0 0 466 0 0 0 20 0 28 0 476465387 29456678912 3307634 33554432000 4194304 4196468 140732865831552 140125071392568 140125345794364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17992] ppid=17961 vsize=28766288 memory=7451019101880738134 CPUtime=4.66 cores=0-7
/proc/17963/task/17992/stat : 17992 (java) R 17961 17961 14667 0 -1 4202560 1111 0 0 0 466 0 0 0 20 0 28 0 476465387 29456678912 3307634 33554432000 4194304 4196468 140732865831552 140125070340040 140125345947227 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17993] ppid=17961 vsize=28766288 memory=7451019101880738134 CPUtime=4.78 cores=0-7
/proc/17963/task/17993/stat : 17993 (java) R 17961 17961 14667 0 -1 4202560 682 0 0 0 478 0 0 0 20 0 28 0 476465387 29456678912 3307634 33554432000 4194304 4196468 140732865831552 140125069287608 140125345807942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
Current children cumulated CPU time: 226.07 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 13231992 KiB

[startup+37.6017 s]
/proc/loadavg: 6.30 7.80 8.09 9/219 17993
/proc/meminfo: memFree=5183208/32770624 swapFree=66986244/67108860
[pid=17961] ppid=17958 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17961/stat : 17961 (xcsp3-exec) S 17958 17961 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476462192 115843072 364 33554432000 4194304 5098028 140727190957088 140727190955192 139662943801980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19820544 140727190958966 140727190959209 140727190959209 140727190962122 0
/proc/17961/statm: 28282 364 306 221 0 87 0
[pid=17963] ppid=17961 vsize=28766288 memory=13231208 CPUtime=232.39 cores=0-7
/proc/17963/stat : 17963 (java) S 17961 17961 14667 0 -1 1077944320 273235 0 0 0 20496 2743 0 0 20 0 28 0 476462192 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140732865814096 140125710626551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
/proc/17963/statm: 7191572 3307802 3531 1 0 7152672 0
[pid=17963/tid=17964] ppid=17961 vsize=28766288 memory=6791534058613427641 CPUtime=9.04 cores=0-7
/proc/17963/task/17964/stat : 17964 (java) S 17961 17961 14667 0 -1 1077944384 21230 0 0 0 884 20 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125714867328 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17965] ppid=17961 vsize=28766288 memory=988 CPUtime=21.69 cores=0-7
/proc/17963/task/17965/stat : 17965 (java) S 17961 17961 14667 0 -1 1077944384 24951 0 0 0 1837 332 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125663247120 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17966] ppid=17961 vsize=28766288 memory=2004 CPUtime=21.77 cores=0-7
/proc/17963/task/17966/stat : 17966 (java) S 17961 17961 14667 0 -1 1077944384 19736 0 0 0 1813 364 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125662194576 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17967] ppid=17961 vsize=28766288 memory=1416 CPUtime=21.57 cores=0-7
/proc/17963/task/17967/stat : 17967 (java) S 17961 17961 14667 0 -1 1077944384 19356 0 0 0 1830 327 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125661142032 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17968] ppid=17961 vsize=28766288 memory=1712 CPUtime=21.6 cores=0-7
/proc/17963/task/17968/stat : 17968 (java) S 17961 17961 14667 0 -1 1077944384 24795 0 0 0 1856 304 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125660089488 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17969] ppid=17961 vsize=28766288 memory=692 CPUtime=21.87 cores=0-7
/proc/17963/task/17969/stat : 17969 (java) S 17961 17961 14667 0 -1 1077944384 17002 0 0 0 1837 350 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125659035920 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17970] ppid=17961 vsize=28766288 memory=1056 CPUtime=21.56 cores=0-7
/proc/17963/task/17970/stat : 17970 (java) S 17961 17961 14667 0 -1 1077944384 25857 0 0 0 1813 343 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125657983376 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17971] ppid=17961 vsize=28766288 memory=1556 CPUtime=21.59 cores=0-7
/proc/17963/task/17971/stat : 17971 (java) S 17961 17961 14667 0 -1 1077944384 18843 0 0 0 1815 344 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125256145424 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17972] ppid=17961 vsize=28766288 memory=780 CPUtime=21.7 cores=0-7
/proc/17963/task/17972/stat : 17972 (java) S 17961 17961 14667 0 -1 1077944384 24810 0 0 0 1840 330 0 0 20 0 28 0 476462193 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125255092880 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17973] ppid=17961 vsize=28766288 memory=3616 CPUtime=0.46 cores=0-7
/proc/17963/task/17973/stat : 17973 (java) S 17961 17961 14667 0 -1 1077944384 23484 0 0 0 32 14 0 0 20 0 28 0 476462195 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125095348720 140125710637698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17974] ppid=17961 vsize=28766288 memory=1112 CPUtime=0 cores=0-7
/proc/17963/task/17974/stat : 17974 (java) S 17961 17961 14667 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 476462195 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125094295008 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17975] ppid=17961 vsize=28766288 memory=6048 CPUtime=0 cores=0-7
/proc/17963/task/17975/stat : 17975 (java) S 17961 17961 14667 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476462196 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125093242368 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17976] ppid=17961 vsize=28766288 memory=7552 CPUtime=0 cores=0-7
/proc/17963/task/17976/stat : 17976 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476462198 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125092190928 140125710645147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17977] ppid=17961 vsize=28766288 memory=2832 CPUtime=1.79 cores=0-7
/proc/17963/task/17977/stat : 17977 (java) R 17961 17961 14667 0 -1 4202560 7201 0 0 0 178 1 0 0 20 0 28 0 476462198 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125091137816 140125695546431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17978] ppid=17961 vsize=28766288 memory=1084 CPUtime=1.78 cores=0-7
/proc/17963/task/17978/stat : 17978 (java) R 17961 17961 14667 0 -1 1077944384 7652 0 0 0 177 1 0 0 20 0 28 0 476462198 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125090084976 140125710637698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17979] ppid=17961 vsize=28766288 memory=14012 CPUtime=2.01 cores=0-7
/proc/17963/task/17979/stat : 17979 (java) R 17961 17961 14667 0 -1 4202560 8748 0 0 0 200 1 0 0 20 0 28 0 476462198 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125089032432 140125692151975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17980] ppid=17961 vsize=28766288 memory=14048 CPUtime=0.63 cores=0-7
/proc/17963/task/17980/stat : 17980 (java) S 17961 17961 14667 0 -1 1077944384 4700 0 0 0 62 1 0 0 20 0 28 0 476462198 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125087979888 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17981] ppid=17961 vsize=28766288 memory=29588 CPUtime=0 cores=0-7
/proc/17963/task/17981/stat : 17981 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476462198 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125086927584 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17982] ppid=17961 vsize=28766288 memory=2120 CPUtime=0.01 cores=0-7
/proc/17963/task/17982/stat : 17982 (java) S 17961 17961 14667 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 28 0 476462198 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125085875120 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17986] ppid=17961 vsize=28766288 memory=532 CPUtime=5.44 cores=0-7
/proc/17963/task/17986/stat : 17986 (java) R 17961 17961 14667 0 -1 4202560 806 0 0 0 544 0 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125076654584 140125346353997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17987] ppid=17961 vsize=28766288 memory=1564 CPUtime=5.24 cores=0-7
/proc/17963/task/17987/stat : 17987 (java) R 17961 17961 14667 0 -1 4202560 7819 0 0 0 524 0 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125075604056 140125346352826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17988] ppid=17961 vsize=28766288 memory=924 CPUtime=5.32 cores=0-7
/proc/17963/task/17988/stat : 17988 (java) R 17961 17961 14667 0 -1 4202560 214 0 0 0 532 0 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125074549784 140125346353103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17989] ppid=17961 vsize=28766288 memory=1680 CPUtime=5.37 cores=0-7
/proc/17963/task/17989/stat : 17989 (java) R 17961 17961 14667 0 -1 4202560 1429 0 0 0 537 0 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125073496976 140125346352971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17990] ppid=17961 vsize=28766288 memory=1440 CPUtime=5.52 cores=0-7
/proc/17963/task/17990/stat : 17990 (java) R 17961 17961 14667 0 -1 4202560 8875 0 0 0 551 1 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125072444536 140125346354292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17991] ppid=17961 vsize=28766288 memory=912 CPUtime=5.4 cores=0-7
/proc/17963/task/17991/stat : 17991 (java) R 17961 17961 14667 0 -1 4202560 1509 0 0 0 540 0 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125071392040 140125346352834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17992] ppid=17961 vsize=28766288 memory=1984 CPUtime=5.35 cores=0-7
/proc/17963/task/17992/stat : 17992 (java) R 17961 17961 14667 0 -1 4202560 1169 0 0 0 535 0 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125070341624 140125346353336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17993] ppid=17961 vsize=28766288 memory=2480 CPUtime=5.46 cores=0-7
/proc/17963/task/17993/stat : 17993 (java) R 17961 17961 14667 0 -1 4202560 982 0 0 0 546 0 0 0 20 0 28 0 476465387 29456678912 3307802 33554432000 4194304 4196468 140732865831552 140125069289656 140125346353336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
Current children cumulated CPU time: 232.39 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 13232664 KiB

[startup+38.0017 s]*
/proc/loadavg: 6.30 7.80 8.09 11/219 17993
/proc/meminfo: memFree=5181224/32770624 swapFree=66986244/67108860
[pid=17961] ppid=17958 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17961/stat : 17961 (xcsp3-exec) S 17958 17961 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476462192 115843072 364 33554432000 4194304 5098028 140727190957088 140727190955192 139662943801980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19820544 140727190958966 140727190959209 140727190959209 140727190962122 0
/proc/17961/statm: 28282 364 306 221 0 87 0
[pid=17963] ppid=17961 vsize=28766288 memory=13232480 CPUtime=235.55 cores=0-7
/proc/17963/stat : 17963 (java) S 17961 17961 14667 0 -1 1077944320 275845 0 0 0 20806 2749 0 0 20 0 28 0 476462192 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140732865814096 140125710626551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
/proc/17963/statm: 7191572 3308120 3531 1 0 7152672 0
[pid=17963/tid=17964] ppid=17961 vsize=28766288 memory=8318255677412212789 CPUtime=9.04 cores=0-7
/proc/17963/task/17964/stat : 17964 (java) S 17961 17961 14667 0 -1 1077944384 21230 0 0 0 884 20 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125714867328 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17965] ppid=17961 vsize=28766288 memory=288230604707987820 CPUtime=21.69 cores=0-7
/proc/17963/task/17965/stat : 17965 (java) S 17961 17961 14667 0 -1 1077944384 24951 0 0 0 1837 332 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125663247120 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17966] ppid=17961 vsize=28766288 memory=139753900160960 CPUtime=21.77 cores=0-7
/proc/17963/task/17966/stat : 17966 (java) S 17961 17961 14667 0 -1 1077944384 19736 0 0 0 1813 364 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125662194576 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17967] ppid=17961 vsize=28766288 memory=-1 CPUtime=21.57 cores=0-7
/proc/17963/task/17967/stat : 17967 (java) S 17961 17961 14667 0 -1 1077944384 19356 0 0 0 1830 327 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125661142032 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17968] ppid=17961 vsize=28766288 memory=0 CPUtime=21.6 cores=0-7
/proc/17963/task/17968/stat : 17968 (java) S 17961 17961 14667 0 -1 1077944384 24795 0 0 0 1856 304 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125660089488 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17969] ppid=17961 vsize=28766288 memory=0 CPUtime=21.87 cores=0-7
/proc/17963/task/17969/stat : 17969 (java) S 17961 17961 14667 0 -1 1077944384 17002 0 0 0 1837 350 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125659035920 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17970] ppid=17961 vsize=28766288 memory=-1 CPUtime=21.56 cores=0-7
/proc/17963/task/17970/stat : 17970 (java) S 17961 17961 14667 0 -1 1077944384 25857 0 0 0 1813 343 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125657983376 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17971] ppid=17961 vsize=28766288 memory=0 CPUtime=21.59 cores=0-7
/proc/17963/task/17971/stat : 17971 (java) S 17961 17961 14667 0 -1 1077944384 18843 0 0 0 1815 344 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125256145424 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17972] ppid=17961 vsize=28766288 memory=0 CPUtime=21.7 cores=0-7
/proc/17963/task/17972/stat : 17972 (java) S 17961 17961 14667 0 -1 1077944384 24810 0 0 0 1840 330 0 0 20 0 28 0 476462193 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125255092880 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17973] ppid=17961 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7
/proc/17963/task/17973/stat : 17973 (java) S 17961 17961 14667 0 -1 1077944384 23484 0 0 0 32 14 0 0 20 0 28 0 476462195 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125095348720 140125710637698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17974] ppid=17961 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17974/stat : 17974 (java) S 17961 17961 14667 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 476462195 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125094295008 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17975] ppid=17961 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17975/stat : 17975 (java) S 17961 17961 14667 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476462196 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125093242368 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17976] ppid=17961 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17976/stat : 17976 (java) S 17961 17961 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476462198 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125092190928 140125710645147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17977] ppid=17961 vsize=28766288 memory=79323750990826 CPUtime=2.03 cores=0-7
/proc/17963/task/17977/stat : 17977 (java) R 17961 17961 14667 0 -1 4202560 7479 0 0 0 202 1 0 0 20 0 28 0 476462198 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125091119472 140125689006967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17978] ppid=17961 vsize=28766288 memory=0 CPUtime=1.96 cores=0-7
/proc/17963/task/17978/stat : 17978 (java) R 17961 17961 14667 0 -1 4202560 8363 0 0 0 195 1 0 0 20 0 28 0 476462198 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125090070856 140125689865024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17979] ppid=17961 vsize=28766288 memory=-1 CPUtime=2.3 cores=0-7
/proc/17963/task/17979/stat : 17979 (java) R 17961 17961 14667 0 -1 4202560 8812 0 0 0 229 1 0 0 20 0 28 0 476462198 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125089019280 140125690280065 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17980] ppid=17961 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7
/proc/17963/task/17980/stat : 17980 (java) S 17961 17961 14667 0 -1 1077944384 4783 0 0 0 66 1 0 0 20 0 28 0 476462198 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125087979888 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17981] ppid=17961 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/17963/task/17981/stat : 17981 (java) S 17961 17961 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476462198 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125086927584 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17982] ppid=17961 vsize=28766288 memory=-1 CPUtime=0.01 cores=0-7
/proc/17963/task/17982/stat : 17982 (java) S 17961 17961 14667 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 28 0 476462198 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125085875120 140125710637698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17986] ppid=17961 vsize=28766288 memory=-1 CPUtime=5.73 cores=0-7
/proc/17963/task/17986/stat : 17986 (java) R 17961 17961 14667 0 -1 4202560 855 0 0 0 573 0 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125076654736 140125346737753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17987] ppid=17961 vsize=28766288 memory=0 CPUtime=5.52 cores=0-7
/proc/17963/task/17987/stat : 17987 (java) R 17961 17961 14667 0 -1 1077944384 8209 0 0 0 552 0 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125075603216 140125710636757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17988] ppid=17961 vsize=28766288 memory=0 CPUtime=5.61 cores=0-7
/proc/17963/task/17988/stat : 17988 (java) R 17961 17961 14667 0 -1 4202560 622 0 0 0 556 5 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125074550472 140125346797641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17989] ppid=17961 vsize=28766288 memory=0 CPUtime=5.71 cores=0-7
/proc/17963/task/17989/stat : 17989 (java) R 17961 17961 14667 0 -1 4202560 1887 0 0 0 571 0 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125073497296 140125346737470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17990] ppid=17961 vsize=28766288 memory=0 CPUtime=5.86 cores=0-7
/proc/17963/task/17990/stat : 17990 (java) S 17961 17961 14667 0 -1 1077944384 8899 0 0 0 585 1 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125072444480 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17991] ppid=17961 vsize=28766288 memory=0 CPUtime=5.7 cores=0-7
/proc/17963/task/17991/stat : 17991 (java) S 17961 17961 14667 0 -1 1077944384 1594 0 0 0 570 0 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125071397968 140125710636757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17992] ppid=17961 vsize=28766288 memory=0 CPUtime=5.66 cores=0-7
/proc/17963/task/17992/stat : 17992 (java) R 17961 17961 14667 0 -1 4202560 1195 0 0 0 566 0 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125070340112 140125346737753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
[pid=17963/tid=17993] ppid=17961 vsize=28766288 memory=0 CPUtime=5.74 cores=0-7
/proc/17963/task/17993/stat : 17993 (java) R 17961 17961 14667 0 -1 4202560 1017 0 0 0 574 0 0 0 20 0 28 0 476465387 29456678912 3308120 33554432000 4194304 4196468 140732865831552 140125069287288 140125346688424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22691840 140732865840106 140732865840278 140732865840278 140732865843151 0
Current children cumulated CPU time: 235.55 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 13233936 KiB

[startup+38.1107 s]
/proc/loadavg: 6.30 7.80 8.09 11/219 17993
/proc/meminfo: memFree=5181224/32770624 swapFree=66986244/67108860
[pid=17961] ppid=17958 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17961/stat : 17961 (xcsp3-exec) S 17958 17961 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476462192 115843072 364 33554432000 4194304 5098028 140727190957088 140727190955192 139662943801980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19820544 140727190958966 140727190959209 140727190959209 140727190962122 0
/proc/17961/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 38.1408
CPU time (s): 235.936
CPU user time (s): 208.357
CPU system time (s): 27.5788
CPU usage (%): 618.592
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 13233936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.357
system time used= 27.5788
maximum resident set size= 13233304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12503
involuntary context switches= 3392


# summary of solver processes directly reported to runsolver:
#   pid: 17961
#   total CPU time (s): 235.936
#   total CPU user time (s): 208.357
#   total CPU system time (s): 27.5788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.316635 second user time and 0.448567 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
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	0.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4404359

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
