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-06-14	SAT	96.0065	28.4973
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 (14589 MiB free)
  memory of node 1: 16384 MiB (15341 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393009-1568320047/watcher-4393009-1568320047 -o /tmp/evaluation-result-4393009-1568320047/solver-4393009-1568320047 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2034548922 HOME/instance-4393009-1568320047.xml 

running on 4 cores: 1,3,5,7

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

solver pid=23933, runsolver pid=23930

[startup+0.100058 s]*
/proc/loadavg: 8.81 8.20 8.06 7/232 23949
/proc/meminfo: memFree=30632164/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0
[pid=23935] ppid=23933 vsize=15144768 memory=29688 CPUtime=0.13 cores=1,3,5,7
/proc/23935/stat : 23935 (java) S 23933 23933 14062 0 -1 1077944320 5853 0 0 0 12 1 0 0 20 0 15 0 408259386 15508242432 7422 33554432000 4194304 4196468 140729976736032 140729976718576 140500982865655 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
/proc/23935/statm: 3786192 7422 3180 1 0 3748377 0
[pid=23935/tid=23936] ppid=23933 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/23935/task/23936/stat : 23936 (java) R 23933 23933 14062 0 -1 4202560 3747 0 0 0 8 1 0 0 20 0 15 0 408259386 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500987098320 140500982887581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23937] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23937/stat : 23937 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500935485712 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23938] ppid=23933 vsize=15144768 memory=3835289194843522720 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23938/stat : 23938 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500934433168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23939] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23939/stat : 23939 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500933380624 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23940] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23940/stat : 23940 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500932328080 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23941] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23941/stat : 23941 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259388 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500125424112 140500982876802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23942] ppid=23933 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23942/stat : 23942 (java) S 23933 23933 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408259389 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500057187744 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23943] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23943/stat : 23943 (java) S 23933 23933 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408259389 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500056135152 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23944] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23944/stat : 23944 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259391 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500055083728 140500982884251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23945] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23945/stat : 23945 (java) R 23933 23933 14062 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 408259391 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500054030416 140500982875861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23946] ppid=23933 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23946/stat : 23946 (java) R 23933 23933 14062 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 408259391 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500052969424 140500960698512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23947] ppid=23933 vsize=15144768 memory=139632147089024 CPUtime=0.02 cores=1,3,5,7
/proc/23935/task/23947/stat : 23947 (java) R 23933 23933 14062 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 408259391 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500051925232 140500961391167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23948] ppid=23933 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23948/stat : 23948 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259392 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500050872928 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23949] ppid=23933 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259392 15508242432 7422 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31136 KiB

[startup+0.218572 s]*
/proc/loadavg: 8.81 8.20 8.06 7/232 23949
/proc/meminfo: memFree=30620176/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0
[pid=23935] ppid=23933 vsize=15149024 memory=40908 CPUtime=0.36 cores=1,3,5,7
/proc/23935/stat : 23935 (java) S 23933 23933 14062 0 -1 1077944320 9403 0 0 0 33 3 0 0 20 0 15 0 408259386 15512600576 10227 33554432000 4194304 4196468 140729976736032 140729976718576 140500982865655 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
/proc/23935/statm: 3787256 10227 3305 1 0 3748377 0
[pid=23935/tid=23936] ppid=23933 vsize=15149024 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23935/task/23936/stat : 23936 (java) R 23933 23933 14062 0 -1 4202560 6683 0 0 0 18 2 0 0 20 0 15 0 408259386 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500987086648 140500966909285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23937] ppid=23933 vsize=15149024 memory=2669798 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23937/stat : 23937 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500935485712 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23938] ppid=23933 vsize=15149024 memory=139632149934647 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23938/stat : 23938 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500934433168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23939] ppid=23933 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23939/stat : 23939 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500933380624 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23940] ppid=23933 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23940/stat : 23940 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500932328080 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23941] ppid=23933 vsize=15149024 memory=139632147089024 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23941/stat : 23941 (java) S 23933 23933 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408259388 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500125424112 140500982876802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23942] ppid=23933 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23942/stat : 23942 (java) S 23933 23933 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408259389 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500057187744 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23943] ppid=23933 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23943/stat : 23943 (java) S 23933 23933 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408259389 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500056135152 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23944] ppid=23933 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23944/stat : 23944 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259391 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500055083728 140500982884251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23945] ppid=23933 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23935/task/23945/stat : 23945 (java) S 23933 23933 14062 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 15 0 408259391 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500054030320 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23946] ppid=23933 vsize=15149024 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23935/task/23946/stat : 23946 (java) S 23933 23933 14062 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 15 0 408259391 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500052977776 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23947] ppid=23933 vsize=15149024 memory=139632147089024 CPUtime=0.08 cores=1,3,5,7
/proc/23935/task/23947/stat : 23947 (java) S 23933 23933 14062 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 15 0 408259391 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500051925232 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23948] ppid=23933 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23948/stat : 23948 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259392 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500050872928 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23949] ppid=23933 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259392 15512600576 10227 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 42356 KiB

[startup+0.315562 s]*
/proc/loadavg: 8.81 8.20 8.06 7/232 23949
/proc/meminfo: memFree=30613120/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0
[pid=23935] ppid=23933 vsize=15149024 memory=50060 CPUtime=0.54 cores=1,3,5,7
/proc/23935/stat : 23935 (java) S 23933 23933 14062 0 -1 1077944320 10844 0 0 0 50 4 0 0 20 0 15 0 408259386 15512600576 12515 33554432000 4194304 4196468 140729976736032 140729976718576 140500982865655 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
/proc/23935/statm: 3787256 12515 3352 1 0 3748377 0
[pid=23935/tid=23936] ppid=23933 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23935/task/23936/stat : 23936 (java) R 23933 23933 14062 0 -1 4202560 7834 0 0 0 27 3 0 0 20 0 15 0 408259386 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500987098960 140500966946142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23937] ppid=23933 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23937/stat : 23937 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500935485712 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23938] ppid=23933 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23938/stat : 23938 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500934433168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23939] ppid=23933 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23939/stat : 23939 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500933380624 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23940] ppid=23933 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23940/stat : 23940 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500932328080 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23941] ppid=23933 vsize=15149024 memory=-7017622366038114463 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23941/stat : 23941 (java) S 23933 23933 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408259388 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500125424112 140500982876802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23942] ppid=23933 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23942/stat : 23942 (java) S 23933 23933 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408259389 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500057187744 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23943] ppid=23933 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23943/stat : 23943 (java) S 23933 23933 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408259389 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500056135152 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23944] ppid=23933 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23944/stat : 23944 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259391 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500055083728 140500982884251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23945] ppid=23933 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/23935/task/23945/stat : 23945 (java) S 23933 23933 14062 0 -1 1077944384 504 0 0 0 6 0 0 0 20 0 15 0 408259391 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500054030320 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23946] ppid=23933 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23935/task/23946/stat : 23946 (java) S 23933 23933 14062 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 15 0 408259391 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500052977776 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23947] ppid=23933 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23935/task/23947/stat : 23947 (java) S 23933 23933 14062 0 -1 1077944384 951 0 0 0 12 0 0 0 20 0 15 0 408259391 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500051925232 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23948] ppid=23933 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23948/stat : 23948 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259392 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500050872928 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23949] ppid=23933 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259392 15512600576 12515 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51508 KiB

[startup+0.701525 s]
/proc/loadavg: 8.81 8.20 8.06 7/232 23949
/proc/meminfo: memFree=30595008/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0
[pid=23935] ppid=23933 vsize=15151148 memory=95852 CPUtime=1.72 cores=1,3,5,7
/proc/23935/stat : 23935 (java) S 23933 23933 14062 0 -1 1077944320 14544 0 0 0 165 7 0 0 20 0 15 0 408259386 15514775552 23963 33554432000 4194304 4196468 140729976736032 140729976718576 140500982865655 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
/proc/23935/statm: 3787787 23963 3438 1 0 3748889 0
[pid=23935/tid=23936] ppid=23933 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23935/task/23936/stat : 23936 (java) R 23933 23933 14062 0 -1 4202560 8984 0 0 0 62 5 0 0 20 0 15 0 408259386 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500987103712 140500610941606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23937] ppid=23933 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23937/stat : 23937 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500935485712 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23938] ppid=23933 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23938/stat : 23938 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500934433168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23939] ppid=23933 vsize=15151148 memory=772 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23939/stat : 23939 (java) S 23933 23933 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408259387 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500933380624 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23940] ppid=23933 vsize=15151148 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23940/stat : 23940 (java) S 23933 23933 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408259387 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500932328080 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23941] ppid=23933 vsize=15151148 memory=948 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23941/stat : 23941 (java) S 23933 23933 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408259388 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500125424112 140500982876802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23942] ppid=23933 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23942/stat : 23942 (java) S 23933 23933 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408259389 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500057187744 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23943] ppid=23933 vsize=15151148 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23943/stat : 23943 (java) S 23933 23933 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408259389 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500056135152 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23944] ppid=23933 vsize=15151148 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23944/stat : 23944 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259391 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500055083728 140500982884251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23945] ppid=23933 vsize=15151148 memory=628 CPUtime=0.35 cores=1,3,5,7
/proc/23935/task/23945/stat : 23945 (java) R 23933 23933 14062 0 -1 4202560 1276 0 0 0 35 0 0 0 20 0 15 0 408259391 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500054030320 140500968548838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23946] ppid=23933 vsize=15151148 memory=1056 CPUtime=0.28 cores=1,3,5,7
/proc/23935/task/23946/stat : 23946 (java) S 23933 23933 14062 0 -1 1077944384 1125 0 0 0 28 0 0 0 20 0 15 0 408259391 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500052977776 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23947] ppid=23933 vsize=15151148 memory=1556 CPUtime=0.39 cores=1,3,5,7
/proc/23935/task/23947/stat : 23947 (java) R 23933 23933 14062 0 -1 1077944384 1850 0 0 0 39 0 0 0 20 0 15 0 408259391 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500051925232 140500982876802 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23948] ppid=23933 vsize=15151148 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23948/stat : 23948 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259392 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500050872928 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23949] ppid=23933 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408259392 15514775552 23963 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 97300 KiB

[startup+1.50077 s]
/proc/loadavg: 8.81 8.20 8.06 9/232 23949
/proc/meminfo: memFree=30395372/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0

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

/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 413 0 0 0 0 1 0 0 20 0 19 0 408259392 15787421696 1775401 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23952] ppid=23933 vsize=15417404 memory=2024 CPUtime=10.9 cores=1,3,5,7
/proc/23935/task/23952/stat : 23952 (java) R 23933 23933 14062 0 -1 4202560 1734 0 0 0 1090 0 0 0 20 0 19 0 408260807 15787421696 1775401 33554432000 4194304 4196468 140729976736032 140500040609144 140500618354592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23953] ppid=23933 vsize=15417404 memory=1380 CPUtime=11.03 cores=1,3,5,7
/proc/23935/task/23953/stat : 23953 (java) R 23933 23933 14062 0 -1 4202560 2537 0 0 0 1103 0 0 0 20 0 19 0 408260807 15787421696 1775401 33554432000 4194304 4196468 140729976736032 140500039559960 140500618354656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23954] ppid=23933 vsize=15417404 memory=1128 CPUtime=10.89 cores=1,3,5,7
/proc/23935/task/23954/stat : 23954 (java) R 23933 23933 14062 0 -1 4202560 2758 0 0 0 1089 0 0 0 20 0 19 0 408260807 15787421696 1775401 33554432000 4194304 4196468 140729976736032 140500038507304 140500618355196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23955] ppid=23933 vsize=15417404 memory=772 CPUtime=11.04 cores=1,3,5,7
/proc/23935/task/23955/stat : 23955 (java) R 23933 23933 14062 0 -1 4202560 25634 0 0 0 1103 1 0 0 20 0 19 0 408260808 15787421696 1775401 33554432000 4194304 4196468 140729976736032 140500037452936 140500618398299 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 89.95 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 7103052 KiB

[startup+27.2009 s]
/proc/loadavg: 9.19 8.33 8.10 6/236 23956
/proc/meminfo: memFree=23535916/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0
[pid=23935] ppid=23933 vsize=15417404 memory=7102316 CPUtime=94.7 cores=1,3,5,7
/proc/23935/stat : 23935 (java) S 23933 23933 14062 0 -1 1077944320 142824 0 0 0 8749 721 0 0 20 0 19 0 408259386 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140729976718576 140500982865655 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
/proc/23935/statm: 3854351 1775579 3524 1 0 3815453 0
[pid=23935/tid=23936] ppid=23933 vsize=15417404 memory=0 CPUtime=5.08 cores=1,3,5,7
/proc/23935/task/23936/stat : 23936 (java) S 23933 23933 14062 0 -1 1077944384 11739 0 0 0 496 12 0 0 20 0 19 0 408259386 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500987106432 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23937] ppid=23933 vsize=15417404 memory=0 CPUtime=8.88 cores=1,3,5,7
/proc/23935/task/23937/stat : 23937 (java) S 23933 23933 14062 0 -1 1077944384 24711 0 0 0 719 169 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500935485712 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23938] ppid=23933 vsize=15417404 memory=1128 CPUtime=8.89 cores=1,3,5,7
/proc/23935/task/23938/stat : 23938 (java) S 23933 23933 14062 0 -1 1077944384 11554 0 0 0 710 179 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500934433168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23939] ppid=23933 vsize=15417404 memory=772 CPUtime=8.91 cores=1,3,5,7
/proc/23935/task/23939/stat : 23939 (java) S 23933 23933 14062 0 -1 1077944384 11363 0 0 0 722 169 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500933380624 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23940] ppid=23933 vsize=15417404 memory=4008 CPUtime=8.91 cores=1,3,5,7
/proc/23935/task/23940/stat : 23940 (java) S 23933 23933 14062 0 -1 1077944384 12422 0 0 0 711 180 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500932328080 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23941] ppid=23933 vsize=15417404 memory=948 CPUtime=0.14 cores=1,3,5,7
/proc/23935/task/23941/stat : 23941 (java) S 23933 23933 14062 0 -1 1077944384 11070 0 0 0 12 2 0 0 20 0 19 0 408259388 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500125424112 140500982876802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23942] ppid=23933 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23942/stat : 23942 (java) S 23933 23933 14062 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 408259389 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500057187808 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23943] ppid=23933 vsize=15417404 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23943/stat : 23943 (java) S 23933 23933 14062 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 408259389 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500056135168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23944] ppid=23933 vsize=15417404 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23944/stat : 23944 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500055083728 140500982884251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23945] ppid=23933 vsize=15417404 memory=628 CPUtime=2.37 cores=1,3,5,7
/proc/23935/task/23945/stat : 23945 (java) S 23933 23933 14062 0 -1 1077944384 9774 0 0 0 236 1 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500054030320 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23946] ppid=23933 vsize=15417404 memory=1056 CPUtime=2.73 cores=1,3,5,7
/proc/23935/task/23946/stat : 23946 (java) S 23933 23933 14062 0 -1 1077944384 8648 0 0 0 272 1 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500052977776 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23947] ppid=23933 vsize=15417404 memory=1556 CPUtime=0.66 cores=1,3,5,7
/proc/23935/task/23947/stat : 23947 (java) S 23933 23933 14062 0 -1 1077944384 3319 0 0 0 66 0 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500051925232 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23948] ppid=23933 vsize=15417404 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23948/stat : 23948 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259392 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500050872928 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23949] ppid=23933 vsize=15417404 memory=14012 CPUtime=0.01 cores=1,3,5,7
/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 427 0 0 0 0 1 0 0 20 0 19 0 408259392 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23952] ppid=23933 vsize=15417404 memory=2116 CPUtime=11.64 cores=1,3,5,7
/proc/23935/task/23952/stat : 23952 (java) S 23933 23933 14062 0 -1 1077944384 2044 0 0 0 1164 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500040613824 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23953] ppid=23933 vsize=15417404 memory=8896 CPUtime=12.58 cores=1,3,5,7
/proc/23935/task/23953/stat : 23953 (java) R 23933 23933 14062 0 -1 4202560 3568 0 0 0 1258 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500039557944 140500618648363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23954] ppid=23933 vsize=15417404 memory=12024 CPUtime=11.74 cores=1,3,5,7
/proc/23935/task/23954/stat : 23954 (java) S 23933 23933 14062 0 -1 1077944384 2958 0 0 0 1174 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500038510160 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23955] ppid=23933 vsize=15417404 memory=1556 CPUtime=12.04 cores=1,3,5,7
/proc/23935/task/23955/stat : 23955 (java) S 23933 23933 14062 0 -1 1077944384 27897 0 0 0 1203 1 0 0 20 0 19 0 408260808 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500037456592 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 94.7 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 7103764 KiB

[startup+28.0009 s]*
/proc/loadavg: 8.85 8.28 8.08 6/236 23956
/proc/meminfo: memFree=23535916/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0
[pid=23935] ppid=23933 vsize=15417404 memory=7102316 CPUtime=95.51 cores=1,3,5,7
/proc/23935/stat : 23935 (java) S 23933 23933 14062 0 -1 1077944320 142973 0 0 0 8830 721 0 0 20 0 19 0 408259386 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140729976718576 140500982865655 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
/proc/23935/statm: 3854351 1775579 3524 1 0 3815453 0
[pid=23935/tid=23936] ppid=23933 vsize=15417404 memory=8317482817917895235 CPUtime=5.08 cores=1,3,5,7
/proc/23935/task/23936/stat : 23936 (java) S 23933 23933 14062 0 -1 1077944384 11739 0 0 0 496 12 0 0 20 0 19 0 408259386 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500987106432 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23937] ppid=23933 vsize=15417404 memory=2024 CPUtime=8.88 cores=1,3,5,7
/proc/23935/task/23937/stat : 23937 (java) S 23933 23933 14062 0 -1 1077944384 24711 0 0 0 719 169 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500935485712 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23938] ppid=23933 vsize=15417404 memory=1380 CPUtime=8.89 cores=1,3,5,7
/proc/23935/task/23938/stat : 23938 (java) S 23933 23933 14062 0 -1 1077944384 11554 0 0 0 710 179 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500934433168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23939] ppid=23933 vsize=15417404 memory=1128 CPUtime=8.91 cores=1,3,5,7
/proc/23935/task/23939/stat : 23939 (java) S 23933 23933 14062 0 -1 1077944384 11363 0 0 0 722 169 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500933380624 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23940] ppid=23933 vsize=15417404 memory=772 CPUtime=8.91 cores=1,3,5,7
/proc/23935/task/23940/stat : 23940 (java) S 23933 23933 14062 0 -1 1077944384 12422 0 0 0 711 180 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500932328080 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23941] ppid=23933 vsize=15417404 memory=4008 CPUtime=0.14 cores=1,3,5,7
/proc/23935/task/23941/stat : 23941 (java) S 23933 23933 14062 0 -1 1077944384 11071 0 0 0 12 2 0 0 20 0 19 0 408259388 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500125424112 140500982876802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23942] ppid=23933 vsize=15417404 memory=948 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23942/stat : 23942 (java) S 23933 23933 14062 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 408259389 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500057187808 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23943] ppid=23933 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23943/stat : 23943 (java) S 23933 23933 14062 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 408259389 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500056135168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23944] ppid=23933 vsize=15417404 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23944/stat : 23944 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500055083728 140500982884251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23945] ppid=23933 vsize=15417404 memory=1548 CPUtime=2.37 cores=1,3,5,7
/proc/23935/task/23945/stat : 23945 (java) S 23933 23933 14062 0 -1 1077944384 9774 0 0 0 236 1 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500054030320 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23946] ppid=23933 vsize=15417404 memory=628 CPUtime=2.73 cores=1,3,5,7
/proc/23935/task/23946/stat : 23946 (java) S 23933 23933 14062 0 -1 1077944384 8648 0 0 0 272 1 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500052977776 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23947] ppid=23933 vsize=15417404 memory=1056 CPUtime=0.66 cores=1,3,5,7
/proc/23935/task/23947/stat : 23947 (java) S 23933 23933 14062 0 -1 1077944384 3319 0 0 0 66 0 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500051925232 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23948] ppid=23933 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23948/stat : 23948 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259392 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500050872928 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23949] ppid=23933 vsize=15417404 memory=5908 CPUtime=0.01 cores=1,3,5,7
/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 427 0 0 0 0 1 0 0 20 0 19 0 408259392 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23952] ppid=23933 vsize=15417404 memory=14012 CPUtime=11.64 cores=1,3,5,7
/proc/23935/task/23952/stat : 23952 (java) S 23933 23933 14062 0 -1 1077944384 2044 0 0 0 1164 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500040613824 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23953] ppid=23933 vsize=15417404 memory=2116 CPUtime=13.39 cores=1,3,5,7
/proc/23935/task/23953/stat : 23953 (java) R 23933 23933 14062 0 -1 4202560 3716 0 0 0 1339 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500039557328 140500618656161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23954] ppid=23933 vsize=15417404 memory=8896 CPUtime=11.74 cores=1,3,5,7
/proc/23935/task/23954/stat : 23954 (java) S 23933 23933 14062 0 -1 1077944384 2958 0 0 0 1174 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500038510160 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23955] ppid=23933 vsize=15417404 memory=12024 CPUtime=12.04 cores=1,3,5,7
/proc/23935/task/23955/stat : 23955 (java) S 23933 23933 14062 0 -1 1077944384 27897 0 0 0 1203 1 0 0 20 0 19 0 408260808 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500037456592 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 95.51 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 7103764 KiB

[startup+28.4009 s]
/proc/loadavg: 8.85 8.28 8.08 6/236 23956
/proc/meminfo: memFree=23535916/32770624 swapFree=66996296/67108860
[pid=23933] ppid=23930 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (xcsp3-exec) S 23930 23933 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408259386 115843072 362 33554432000 4194304 5098028 140735111560848 140735111558952 140307513193084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34029568 140735111566202 140735111566445 140735111566445 140735111569354 0
/proc/23933/statm: 28282 362 304 221 0 87 0
[pid=23935] ppid=23933 vsize=15417404 memory=7102316 CPUtime=95.9 cores=1,3,5,7
/proc/23935/stat : 23935 (java) S 23933 23933 14062 0 -1 1077944320 143203 0 0 0 8869 721 0 0 20 0 19 0 408259386 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140729976718576 140500982865655 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
/proc/23935/statm: 3854351 1775579 3524 1 0 3815453 0
[pid=23935/tid=23936] ppid=23933 vsize=15417404 memory=6791534058613427641 CPUtime=5.08 cores=1,3,5,7
/proc/23935/task/23936/stat : 23936 (java) S 23933 23933 14062 0 -1 1077944384 11739 0 0 0 496 12 0 0 20 0 19 0 408259386 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500987106432 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23937] ppid=23933 vsize=15417404 memory=7102316 CPUtime=8.88 cores=1,3,5,7
/proc/23935/task/23937/stat : 23937 (java) S 23933 23933 14062 0 -1 1077944384 24711 0 0 0 719 169 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500935485712 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23938] ppid=23933 vsize=15417404 memory=0 CPUtime=8.89 cores=1,3,5,7
/proc/23935/task/23938/stat : 23938 (java) S 23933 23933 14062 0 -1 1077944384 11554 0 0 0 710 179 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500934433168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23939] ppid=23933 vsize=15417404 memory=0 CPUtime=8.91 cores=1,3,5,7
/proc/23935/task/23939/stat : 23939 (java) S 23933 23933 14062 0 -1 1077944384 11363 0 0 0 722 169 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500933380624 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23940] ppid=23933 vsize=15417404 memory=1548 CPUtime=8.91 cores=1,3,5,7
/proc/23935/task/23940/stat : 23940 (java) S 23933 23933 14062 0 -1 1077944384 12422 0 0 0 711 180 0 0 20 0 19 0 408259387 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500932328080 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23941] ppid=23933 vsize=15417404 memory=628 CPUtime=0.14 cores=1,3,5,7
/proc/23935/task/23941/stat : 23941 (java) S 23933 23933 14062 0 -1 1077944384 11071 0 0 0 12 2 0 0 20 0 19 0 408259388 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500125424112 140500982876802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23942] ppid=23933 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23942/stat : 23942 (java) S 23933 23933 14062 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 408259389 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500057187808 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23943] ppid=23933 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23943/stat : 23943 (java) S 23933 23933 14062 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 408259389 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500056135168 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23944] ppid=23933 vsize=15417404 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23944/stat : 23944 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500055083728 140500982884251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23945] ppid=23933 vsize=15417404 memory=14012 CPUtime=2.37 cores=1,3,5,7
/proc/23935/task/23945/stat : 23945 (java) S 23933 23933 14062 0 -1 1077944384 9774 0 0 0 236 1 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500054030320 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23946] ppid=23933 vsize=15417404 memory=2116 CPUtime=2.73 cores=1,3,5,7
/proc/23935/task/23946/stat : 23946 (java) S 23933 23933 14062 0 -1 1077944384 8648 0 0 0 272 1 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500052977776 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23947] ppid=23933 vsize=15417404 memory=8896 CPUtime=0.66 cores=1,3,5,7
/proc/23935/task/23947/stat : 23947 (java) S 23933 23933 14062 0 -1 1077944384 3319 0 0 0 66 0 0 0 20 0 19 0 408259391 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500051925232 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23948] ppid=23933 vsize=15417404 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/23935/task/23948/stat : 23948 (java) S 23933 23933 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408259392 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500050872928 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23949] ppid=23933 vsize=15417404 memory=1556 CPUtime=0.01 cores=1,3,5,7
/proc/23935/task/23949/stat : 23949 (java) S 23933 23933 14062 0 -1 1077944384 427 0 0 0 0 1 0 0 20 0 19 0 408259392 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500049820464 140500982876802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23952] ppid=23933 vsize=15417404 memory=500 CPUtime=11.64 cores=1,3,5,7
/proc/23935/task/23952/stat : 23952 (java) S 23933 23933 14062 0 -1 1077944384 2044 0 0 0 1164 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500040613824 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23953] ppid=23933 vsize=15417404 memory=928 CPUtime=13.78 cores=1,3,5,7
/proc/23935/task/23953/stat : 23953 (java) R 23933 23933 14062 0 -1 4202560 3946 0 0 0 1378 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500039557328 140500618656235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23954] ppid=23933 vsize=15417404 memory=1528 CPUtime=11.74 cores=1,3,5,7
/proc/23935/task/23954/stat : 23954 (java) S 23933 23933 14062 0 -1 1077944384 2958 0 0 0 1174 0 0 0 20 0 19 0 408260807 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500038510160 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
[pid=23935/tid=23955] ppid=23933 vsize=15417404 memory=1448 CPUtime=12.04 cores=1,3,5,7
/proc/23935/task/23955/stat : 23955 (java) S 23933 23933 14062 0 -1 1077944384 27897 0 0 0 1203 1 0 0 20 0 19 0 408260808 15787421696 1775579 33554432000 4194304 4196468 140729976736032 140500037456592 140500982875861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13746176 140729976742895 140729976743066 140729976743066 140729976745935 0
Current children cumulated CPU time: 95.9 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 7103764 KiB

Child status: 0
Real time (s): 28.4973
CPU time (s): 96.0065
CPU user time (s): 88.7602
CPU system time (s): 7.24627
CPU usage (%): 336.897
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 7103764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.7602
system time used= 7.24627
maximum resident set size= 7102568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4052
involuntary context switches= 1817


# summary of solver processes directly reported to runsolver:
#   pid: 23933
#   total CPU time (s): 96.0065
#   total CPU user time (s): 88.7602
#   total CPU system time (s): 7.24627

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.231785 second user time and 0.31955 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM	3130b580259b5cb9fe6f555a4358f6cc
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.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2559
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	12
Distribution of variable degrees	[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints	2558
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4393009

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
