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 parallel	SAT	71.8808	12.1661
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 (14570 MiB free)
  memory of node 1: 16384 MiB (15630 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393582-1568422015/watcher-4393582-1568422015 -o /tmp/evaluation-result-4393582-1568422015/solver-4393582-1568422015 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568417381-28714 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1897168511 HOME/instance-4393582-1568422015.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=29697, runsolver pid=29694
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 6.81 7.73 8.09 3/211 29718
/proc/meminfo: memFree=30910648/32770624 swapFree=66967020/67108860
[pid=29697] ppid=29694 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29697/stat : 29697 (xcsp3-exec) S 29694 29697 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418468367 115843072 363 33554432000 4194304 5098028 140721457578640 140721457576744 140665430327932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35422208 140721457582965 140721457583209 140721457583209 140721457586122 0
/proc/29697/statm: 28282 363 304 221 0 87 0
[pid=29699] ppid=29697 vsize=28227388 memory=28876 CPUtime=0.12 cores=0-7
/proc/29699/stat : 29699 (java) S 29697 29697 28687 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 418468367 28904845312 7219 33554432000 4194304 4196468 140724563172720 140724563155264 140409402269431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
/proc/29699/statm: 7056847 7219 3123 1 0 7019032 0
[pid=29699/tid=29700] ppid=29697 vsize=28227388 memory=8114813011219096224 CPUtime=0.08 cores=0-7
/proc/29699/task/29700/stat : 29700 (java) R 29697 29697 28687 0 -1 4202560 3595 0 0 0 8 0 0 0 20 0 20 0 418468367 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409406503968 140409386349918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29701] ppid=29697 vsize=28227388 memory=732370647599107045 CPUtime=0 cores=0-7
/proc/29699/task/29701/stat : 29701 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409354890000 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29702] ppid=29697 vsize=28227388 memory=140509261653632 CPUtime=0 cores=0-7
/proc/29699/task/29702/stat : 29702 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409353837456 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29703] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29703/stat : 29703 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409352784912 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29704] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29704/stat : 29704 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409351732368 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29705] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29705/stat : 29705 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409350678800 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29706] ppid=29697 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29699/task/29706/stat : 29706 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409349626256 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29707] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29707/stat : 29707 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409348573712 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29708] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29708/stat : 29708 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 7219 33554432000 4194304 4196468 140724563172720 140409347521168 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29709] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29709/stat : 29709 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468370 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407596890608 140409402280578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29710] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29710/stat : 29710 (java) S 29697 29697 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418468370 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407595836832 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29711] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29711/stat : 29711 (java) S 29697 29697 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418468370 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407594784240 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29712] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29712/stat : 29712 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407593732816 140409402288027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29713] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29713/stat : 29713 (java) S 29697 29697 28687 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407592679408 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29714] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29714/stat : 29714 (java) R 29697 29697 28687 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407591626864 140409402280578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29715] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29715/stat : 29715 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407590574320 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29716] ppid=29697 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/29699/task/29716/stat : 29716 (java) R 29697 29697 28687 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 20 0 418468373 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407589521776 140409381405248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29717] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29717/stat : 29717 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407588469472 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29718] ppid=29697 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29699/task/29718/stat : 29718 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 7219 33554432000 4194304 4196468 140724563172720 140407587417008 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30328 KiB

[startup+0.210493 s]*
/proc/loadavg: 6.81 7.73 8.09 2/211 29718
/proc/meminfo: memFree=30883752/32770624 swapFree=66967020/67108860
[pid=29697] ppid=29694 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29697/stat : 29697 (xcsp3-exec) S 29694 29697 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418468367 115843072 363 33554432000 4194304 5098028 140721457578640 140721457576744 140665430327932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35422208 140721457582965 140721457583209 140721457583209 140721457586122 0
/proc/29697/statm: 28282 363 304 221 0 87 0
[pid=29699] ppid=29697 vsize=28227388 memory=40836 CPUtime=0.35 cores=0-7
/proc/29699/stat : 29699 (java) S 29697 29697 28687 0 -1 1077944320 9495 0 0 0 32 3 0 0 20 0 20 0 418468367 28904845312 10209 33554432000 4194304 4196468 140724563172720 140724563155264 140409402269431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
/proc/29699/statm: 7056847 10209 3268 1 0 7019032 0
[pid=29699/tid=29700] ppid=29697 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/29699/task/29700/stat : 29700 (java) R 29697 29697 28687 0 -1 4202560 6624 0 0 0 18 1 0 0 20 0 20 0 418468367 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409406499152 140409007342798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29701] ppid=29697 vsize=28227388 memory=281018378544888 CPUtime=0 cores=0-7
/proc/29699/task/29701/stat : 29701 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409354890000 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29702] ppid=29697 vsize=28227388 memory=140509261653632 CPUtime=0 cores=0-7
/proc/29699/task/29702/stat : 29702 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409353837456 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29703] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29703/stat : 29703 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409352784912 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29704] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29704/stat : 29704 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409351732368 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29705] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29705/stat : 29705 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409350678800 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29706] ppid=29697 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29699/task/29706/stat : 29706 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409349626256 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29707] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29707/stat : 29707 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409348573712 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29708] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29708/stat : 29708 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418468368 28904845312 10209 33554432000 4194304 4196468 140724563172720 140409347521168 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29709] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29709/stat : 29709 (java) S 29697 29697 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418468370 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407596890608 140409402280578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29710] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29710/stat : 29710 (java) S 29697 29697 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418468370 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407595836832 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29711] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29711/stat : 29711 (java) S 29697 29697 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418468370 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407594784240 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29712] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29712/stat : 29712 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407593732816 140409402288027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29713] ppid=29697 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29699/task/29713/stat : 29713 (java) S 29697 29697 28687 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 418468373 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407592679408 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29714] ppid=29697 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29699/task/29714/stat : 29714 (java) S 29697 29697 28687 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 418468373 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407591626864 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29715] ppid=29697 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/29699/task/29715/stat : 29715 (java) S 29697 29697 28687 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 418468373 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407590574320 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29716] ppid=29697 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/29699/task/29716/stat : 29716 (java) R 29697 29697 28687 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 20 0 418468373 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407589521584 140409381077897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29717] ppid=29697 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29717/stat : 29717 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407588469472 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29718] ppid=29697 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29699/task/29718/stat : 29718 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468373 28904845312 10209 33554432000 4194304 4196468 140724563172720 140407587417008 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42288 KiB

[startup+0.602101 s]*
/proc/loadavg: 6.81 7.73 8.09 3/211 29718
/proc/meminfo: memFree=30852368/32770624 swapFree=66967020/67108860
[pid=29697] ppid=29694 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29697/stat : 29697 (xcsp3-exec) S 29694 29697 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418468367 115843072 363 33554432000 4194304 5098028 140721457578640 140721457576744 140665430327932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35422208 140721457582965 140721457583209 140721457583209 140721457586122 0
/proc/29697/statm: 28282 363 304 221 0 87 0
[pid=29699] ppid=29697 vsize=28233768 memory=89852 CPUtime=1.41 cores=0-7
/proc/29699/stat : 29699 (java) S 29697 29697 28687 0 -1 1077944320 14125 0 0 0 135 6 0 0 20 0 20 0 418468367 28911378432 22463 33554432000 4194304 4196468 140724563172720 140724563155264 140409402269431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
/proc/29699/statm: 7058442 22463 3433 1 0 7019544 0
[pid=29699/tid=29700] ppid=29697 vsize=28233768 memory=6791534058613427641 CPUtime=0.59 cores=0-7
/proc/29699/task/29700/stat : 29700 (java) R 29697 29697 28687 0 -1 4202560 8308 0 0 0 55 4 0 0 20 0 20 0 418468367 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409406503080 140409010486005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29701] ppid=29697 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29701/stat : 29701 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409354890000 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29702] ppid=29697 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29702/stat : 29702 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409353837456 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29703] ppid=29697 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29703/stat : 29703 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409352784912 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29704] ppid=29697 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29704/stat : 29704 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409351732368 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29705] ppid=29697 vsize=28233768 memory=2244 CPUtime=0 cores=0-7
/proc/29699/task/29705/stat : 29705 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409350678800 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29706] ppid=29697 vsize=28233768 memory=140509116986287 CPUtime=0 cores=0-7
/proc/29699/task/29706/stat : 29706 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409349626256 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29707] ppid=29697 vsize=28233768 memory=140509116988592 CPUtime=0 cores=0-7
/proc/29699/task/29707/stat : 29707 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409348573712 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29708] ppid=29697 vsize=28233768 memory=140509116990896 CPUtime=0 cores=0-7
/proc/29699/task/29708/stat : 29708 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 22463 33554432000 4194304 4196468 140724563172720 140409347521168 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29709] ppid=29697 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29709/stat : 29709 (java) S 29697 29697 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418468370 28911378432 22463 33554432000 4194304 4196468 140724563172720 140407596890608 140409402280578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29710] ppid=29697 vsize=28233768 memory=281018233988752 CPUtime=0 cores=0-7
/proc/29699/task/29710/stat : 29710 (java) S 29697 29697 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418468370 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407595836832 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29711] ppid=29697 vsize=28233768 memory=281018233995664 CPUtime=0 cores=0-7
/proc/29699/task/29711/stat : 29711 (java) S 29697 29697 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418468370 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407594784240 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29712] ppid=29697 vsize=28233768 memory=281018233936944 CPUtime=0 cores=0-7
/proc/29699/task/29712/stat : 29712 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468373 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407593732816 140409402288027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29713] ppid=29697 vsize=28233768 memory=281018234009488 CPUtime=0.14 cores=0-7
/proc/29699/task/29713/stat : 29713 (java) R 29697 29697 28687 0 -1 4202560 1137 0 0 0 14 0 0 0 20 0 20 0 418468373 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407592679408 140409402290778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29714] ppid=29697 vsize=28233768 memory=281018234016400 CPUtime=0.19 cores=0-7
/proc/29699/task/29714/stat : 29714 (java) S 29697 29697 28687 0 -1 1077944384 1083 0 0 0 19 0 0 0 20 0 20 0 418468373 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407591626864 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29715] ppid=29697 vsize=28233768 memory=281018234014096 CPUtime=0.13 cores=0-7
/proc/29699/task/29715/stat : 29715 (java) S 29697 29697 28687 0 -1 1077944384 543 0 0 0 13 0 0 0 20 0 20 0 418468373 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407590574320 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29716] ppid=29697 vsize=28233768 memory=281018234030256 CPUtime=0.32 cores=0-7
/proc/29699/task/29716/stat : 29716 (java) S 29697 29697 28687 0 -1 1077944384 1743 0 0 0 32 0 0 0 20 0 20 0 418468373 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407589521776 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29717] ppid=29697 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29717/stat : 29717 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418468373 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407588469472 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29718] ppid=29697 vsize=28233768 memory=-1 CPUtime=0 cores=0-7
/proc/29699/task/29718/stat : 29718 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418468373 28911378432 22481 33554432000 4194304 4196468 140724563172720 140407587417008 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 91304 KiB

[startup+0.71022 s]*
/proc/loadavg: 6.81 7.73 8.09 6/211 29718
/proc/meminfo: memFree=30828912/32770624 swapFree=66967020/67108860
[pid=29697] ppid=29694 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29697/stat : 29697 (xcsp3-exec) S 29694 29697 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418468367 115843072 363 33554432000 4194304 5098028 140721457578640 140721457576744 140665430327932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35422208 140721457582965 140721457583209 140721457583209 140721457586122 0
/proc/29697/statm: 28282 363 304 221 0 87 0
[pid=29699] ppid=29697 vsize=28233768 memory=113116 CPUtime=1.8 cores=0-7
/proc/29699/stat : 29699 (java) S 29697 29697 28687 0 -1 1077944320 14895 0 0 0 173 7 0 0 20 0 20 0 418468367 28911378432 28279 33554432000 4194304 4196468 140724563172720 140724563155264 140409402269431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
/proc/29699/statm: 7058442 28279 3442 1 0 7019544 0
[pid=29699/tid=29700] ppid=29697 vsize=28233768 memory=0 CPUtime=0.69 cores=0-7
/proc/29699/task/29700/stat : 29700 (java) R 29697 29697 28687 0 -1 4202560 8378 0 0 0 65 4 0 0 20 0 20 0 418468367 28911378432 28279 33554432000 4194304 4196468 140724563172720 140409406503824 140409011511208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29701] ppid=29697 vsize=28233768 memory=281018378544888 CPUtime=0 cores=0-7
/proc/29699/task/29701/stat : 29701 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 28279 33554432000 4194304 4196468 140724563172720 140409354890000 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29702] ppid=29697 vsize=28233768 memory=140509261653632 CPUtime=0 cores=0-7
/proc/29699/task/29702/stat : 29702 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 28279 33554432000 4194304 4196468 140724563172720 140409353837456 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29703] ppid=29697 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29699/task/29703/stat : 29703 (java) S 29697 29697 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418468368 28911378432 28279 33554432000 4194304 4196468 140724563172720 140409352784912 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0

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

[pid=29699/tid=29716] ppid=29697 vsize=28768328 memory=935328 CPUtime=0.76 cores=0-7
/proc/29699/task/29716/stat : 29716 (java) S 29697 29697 28687 0 -1 1077944384 5881 0 0 0 74 2 0 0 20 0 28 0 418468373 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407589521776 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29717] ppid=29697 vsize=28768328 memory=281018234302304 CPUtime=0 cores=0-7
/proc/29699/task/29717/stat : 29717 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407588469472 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29718] ppid=29697 vsize=28768328 memory=3620 CPUtime=0 cores=0-7
/proc/29699/task/29718/stat : 29718 (java) S 29697 29697 28687 0 -1 1077944384 621 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407587417008 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29719] ppid=29697 vsize=28768328 memory=39612 CPUtime=7.04 cores=0-7
/proc/29699/task/29719/stat : 29719 (java) R 29697 29697 28687 0 -1 4202560 400 0 0 0 704 0 0 0 20 0 28 0 418468747 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407582731592 140409014970013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29720] ppid=29697 vsize=28768328 memory=984 CPUtime=6.52 cores=0-7
/proc/29699/task/29720/stat : 29720 (java) S 29697 29697 28687 0 -1 1077944384 349 0 0 0 652 0 0 0 20 0 28 0 418468748 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407135266384 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29721] ppid=29697 vsize=28768328 memory=2004 CPUtime=6.77 cores=0-7
/proc/29699/task/29721/stat : 29721 (java) S 29697 29697 28687 0 -1 1077944384 329 0 0 0 676 1 0 0 20 0 28 0 418468748 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407134212816 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29722] ppid=29697 vsize=28768328 memory=1376 CPUtime=6.76 cores=0-7
/proc/29699/task/29722/stat : 29722 (java) S 29697 29697 28687 0 -1 1077944384 650 0 0 0 675 1 0 0 20 0 28 0 418468780 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407133160272 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29723] ppid=29697 vsize=28768328 memory=1060 CPUtime=6.62 cores=0-7
/proc/29699/task/29723/stat : 29723 (java) R 29697 29697 28687 0 -1 4202560 1914 0 0 0 661 1 0 0 20 0 28 0 418468780 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407132103712 140409016304758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29724] ppid=29697 vsize=28768328 memory=4068 CPUtime=6.91 cores=0-7
/proc/29699/task/29724/stat : 29724 (java) S 29697 29697 28687 0 -1 1077944384 313 0 0 0 690 1 0 0 20 0 28 0 418468780 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407131055184 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29725] ppid=29697 vsize=28768328 memory=924 CPUtime=6.93 cores=0-7
/proc/29699/task/29725/stat : 29725 (java) S 29697 29697 28687 0 -1 1077944384 444 0 0 0 693 0 0 0 20 0 28 0 418468780 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407130002640 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29726] ppid=29697 vsize=28768328 memory=4496 CPUtime=6.88 cores=0-7
/proc/29699/task/29726/stat : 29726 (java) S 29697 29697 28687 0 -1 1077944384 254 0 0 0 687 1 0 0 20 0 28 0 418468780 29458767872 234269 33554432000 4194304 4196468 140724563172720 140407128950096 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
Current children cumulated CPU time: 70.57 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 938528 KiB

[startup+11.9011 s]
/proc/loadavg: 6.38 7.61 8.05 11/219 29726
/proc/meminfo: memFree=30001664/32770624 swapFree=66967020/67108860
[pid=29697] ppid=29694 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29697/stat : 29697 (xcsp3-exec) S 29694 29697 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418468367 115843072 363 33554432000 4194304 5098028 140721457578640 140721457576744 140665430327932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35422208 140721457582965 140721457583209 140721457583209 140721457586122 0
/proc/29697/statm: 28282 363 304 221 0 87 0
[pid=29699] ppid=29697 vsize=28768328 memory=937176 CPUtime=71.35 cores=0-7
/proc/29699/stat : 29699 (java) S 29697 29697 28687 0 -1 1077944320 61255 0 0 0 7001 134 0 0 20 0 28 0 418468367 29458767872 234294 33554432000 4194304 4196468 140724563172720 140724563155264 140409402269431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
/proc/29699/statm: 7192082 234294 3526 1 0 7153184 0
[pid=29699/tid=29700] ppid=29697 vsize=28768328 memory=1412 CPUtime=3.62 cores=0-7
/proc/29699/task/29700/stat : 29700 (java) S 29697 29697 28687 0 -1 1077944384 10644 0 0 0 350 12 0 0 20 0 28 0 418468367 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409406510208 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29701] ppid=29697 vsize=28768328 memory=2856 CPUtime=0.43 cores=0-7
/proc/29699/task/29701/stat : 29701 (java) S 29697 29697 28687 0 -1 1077944384 356 0 0 0 30 13 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409354890000 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29702] ppid=29697 vsize=28768328 memory=1452 CPUtime=0.4 cores=0-7
/proc/29699/task/29702/stat : 29702 (java) S 29697 29697 28687 0 -1 1077944384 277 0 0 0 29 11 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409353837456 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29703] ppid=29697 vsize=28768328 memory=935784 CPUtime=0.43 cores=0-7
/proc/29699/task/29703/stat : 29703 (java) S 29697 29697 28687 0 -1 1077944384 357 0 0 0 30 13 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409352784912 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29704] ppid=29697 vsize=28768328 memory=6791534058613427641 CPUtime=0.43 cores=0-7
/proc/29699/task/29704/stat : 29704 (java) S 29697 29697 28687 0 -1 1077944384 319 0 0 0 32 11 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409351732368 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29705] ppid=29697 vsize=28768328 memory=-7003737579269690708 CPUtime=0.43 cores=0-7
/proc/29699/task/29705/stat : 29705 (java) S 29697 29697 28687 0 -1 1077944384 447 0 0 0 31 12 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409350678800 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29706] ppid=29697 vsize=28768328 memory=-2023959437020729679 CPUtime=0.43 cores=0-7
/proc/29699/task/29706/stat : 29706 (java) S 29697 29697 28687 0 -1 1077944384 357 0 0 0 30 13 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409349626256 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29707] ppid=29697 vsize=28768328 memory=6944656592455097440 CPUtime=0.43 cores=0-7
/proc/29699/task/29707/stat : 29707 (java) S 29697 29697 28687 0 -1 1077944384 424 0 0 0 31 12 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409348573712 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29708] ppid=29697 vsize=28768328 memory=6944656592455097440 CPUtime=0.41 cores=0-7
/proc/29699/task/29708/stat : 29708 (java) S 29697 29697 28687 0 -1 1077944384 292 0 0 0 29 12 0 0 20 0 28 0 418468368 29458767872 234294 33554432000 4194304 4196468 140724563172720 140409347521168 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29709] ppid=29697 vsize=28768328 memory=6645459911560372124 CPUtime=0.04 cores=0-7
/proc/29699/task/29709/stat : 29709 (java) S 29697 29697 28687 0 -1 1077944384 1926 0 0 0 4 0 0 0 20 0 28 0 418468370 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407596890608 140409402280578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29710] ppid=29697 vsize=28768328 memory=206 CPUtime=0 cores=0-7
/proc/29699/task/29710/stat : 29710 (java) S 29697 29697 28687 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 418468370 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407595836896 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29711] ppid=29697 vsize=28768328 memory=1432 CPUtime=0 cores=0-7
/proc/29699/task/29711/stat : 29711 (java) S 29697 29697 28687 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 418468370 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407594784256 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29712] ppid=29697 vsize=28768328 memory=1764 CPUtime=0 cores=0-7
/proc/29699/task/29712/stat : 29712 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407593732816 140409402288027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29713] ppid=29697 vsize=28768328 memory=1452 CPUtime=2.78 cores=0-7
/proc/29699/task/29713/stat : 29713 (java) S 29697 29697 28687 0 -1 1077944384 10231 0 0 0 275 3 0 0 20 0 28 0 418468373 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407592679408 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29714] ppid=29697 vsize=28768328 memory=935464 CPUtime=2.94 cores=0-7
/proc/29699/task/29714/stat : 29714 (java) R 29697 29697 28687 0 -1 4202560 9831 0 0 0 293 1 0 0 20 0 28 0 418468373 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407591612960 140409380155984 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29715] ppid=29697 vsize=28768328 memory=1732 CPUtime=2.71 cores=0-7
/proc/29699/task/29715/stat : 29715 (java) S 29697 29697 28687 0 -1 1077944384 10614 0 0 0 268 3 0 0 20 0 28 0 418468373 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407590574320 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29716] ppid=29697 vsize=28768328 memory=4096 CPUtime=0.81 cores=0-7
/proc/29699/task/29716/stat : 29716 (java) S 29697 29697 28687 0 -1 1077944384 7388 0 0 0 79 2 0 0 20 0 28 0 418468373 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407589521776 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29717] ppid=29697 vsize=28768328 memory=1808 CPUtime=0 cores=0-7
/proc/29699/task/29717/stat : 29717 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407588469472 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29718] ppid=29697 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/29699/task/29718/stat : 29718 (java) S 29697 29697 28687 0 -1 1077944384 640 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407587417008 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29719] ppid=29697 vsize=28768328 memory=936516 CPUtime=7.06 cores=0-7
/proc/29699/task/29719/stat : 29719 (java) S 29697 29697 28687 0 -1 1077944384 553 0 0 0 706 0 0 0 20 0 28 0 418468747 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407582736464 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29720] ppid=29697 vsize=28768328 memory=0 CPUtime=6.52 cores=0-7
/proc/29699/task/29720/stat : 29720 (java) S 29697 29697 28687 0 -1 1077944384 349 0 0 0 652 0 0 0 20 0 28 0 418468748 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407135266384 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29721] ppid=29697 vsize=28768328 memory=0 CPUtime=6.77 cores=0-7
/proc/29699/task/29721/stat : 29721 (java) S 29697 29697 28687 0 -1 1077944384 329 0 0 0 676 1 0 0 20 0 28 0 418468748 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407134212816 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29722] ppid=29697 vsize=28768328 memory=0 CPUtime=6.76 cores=0-7
/proc/29699/task/29722/stat : 29722 (java) S 29697 29697 28687 0 -1 1077944384 650 0 0 0 675 1 0 0 20 0 28 0 418468780 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407133160272 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29723] ppid=29697 vsize=28768328 memory=0 CPUtime=7.02 cores=0-7
/proc/29699/task/29723/stat : 29723 (java) R 29697 29697 28687 0 -1 4202560 2934 0 0 0 700 2 0 0 20 0 28 0 418468780 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407132101248 140409010597873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29724] ppid=29697 vsize=28768328 memory=0 CPUtime=6.91 cores=0-7
/proc/29699/task/29724/stat : 29724 (java) S 29697 29697 28687 0 -1 1077944384 313 0 0 0 690 1 0 0 20 0 28 0 418468780 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407131055184 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29725] ppid=29697 vsize=28768328 memory=-7737605721172012177 CPUtime=6.93 cores=0-7
/proc/29699/task/29725/stat : 29725 (java) S 29697 29697 28687 0 -1 1077944384 444 0 0 0 693 0 0 0 20 0 28 0 418468780 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407130002640 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29726] ppid=29697 vsize=28768328 memory=-8675733323038954102 CPUtime=6.88 cores=0-7
/proc/29699/task/29726/stat : 29726 (java) S 29697 29697 28687 0 -1 1077944384 259 0 0 0 687 1 0 0 20 0 28 0 418468780 29458767872 234294 33554432000 4194304 4196468 140724563172720 140407128950096 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
Current children cumulated CPU time: 71.35 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 938628 KiB

[startup+12.1011 s]
/proc/loadavg: 6.38 7.61 8.05 11/219 29726
/proc/meminfo: memFree=30001664/32770624 swapFree=66967020/67108860
[pid=29697] ppid=29694 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29697/stat : 29697 (xcsp3-exec) S 29694 29697 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418468367 115843072 363 33554432000 4194304 5098028 140721457578640 140721457576744 140665430327932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35422208 140721457582965 140721457583209 140721457583209 140721457586122 0
/proc/29697/statm: 28282 363 304 221 0 87 0
[pid=29699] ppid=29697 vsize=28768328 memory=937224 CPUtime=71.74 cores=0-7
/proc/29699/stat : 29699 (java) S 29697 29697 28687 0 -1 1077944320 61851 0 0 0 7040 134 0 0 20 0 28 0 418468367 29458767872 234306 33554432000 4194304 4196468 140724563172720 140724563155264 140409402269431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
/proc/29699/statm: 7192082 234306 3526 1 0 7153184 0
[pid=29699/tid=29700] ppid=29697 vsize=28768328 memory=6655300316396806240 CPUtime=3.62 cores=0-7
/proc/29699/task/29700/stat : 29700 (java) S 29697 29697 28687 0 -1 1077944384 10644 0 0 0 350 12 0 0 20 0 28 0 418468367 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409406510208 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29701] ppid=29697 vsize=28768328 memory=6944656592455360604 CPUtime=0.43 cores=0-7
/proc/29699/task/29701/stat : 29701 (java) S 29697 29697 28687 0 -1 1077944384 356 0 0 0 30 13 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409354890000 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29702] ppid=29697 vsize=28768328 memory=6944652177228980320 CPUtime=0.4 cores=0-7
/proc/29699/task/29702/stat : 29702 (java) S 29697 29697 28687 0 -1 1077944384 277 0 0 0 29 11 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409353837456 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29703] ppid=29697 vsize=28768328 memory=6656426216303648864 CPUtime=0.43 cores=0-7
/proc/29699/task/29703/stat : 29703 (java) S 29697 29697 28687 0 -1 1077944384 357 0 0 0 30 13 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409352784912 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29704] ppid=29697 vsize=28768328 memory=6944656592455097440 CPUtime=0.43 cores=0-7
/proc/29699/task/29704/stat : 29704 (java) S 29697 29697 28687 0 -1 1077944384 319 0 0 0 32 11 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409351732368 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29705] ppid=29697 vsize=28768328 memory=6944656592455360604 CPUtime=0.43 cores=0-7
/proc/29699/task/29705/stat : 29705 (java) S 29697 29697 28687 0 -1 1077944384 447 0 0 0 31 12 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409350678800 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29706] ppid=29697 vsize=28768328 memory=6944656592455359580 CPUtime=0.43 cores=0-7
/proc/29699/task/29706/stat : 29706 (java) S 29697 29697 28687 0 -1 1077944384 357 0 0 0 30 13 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409349626256 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29707] ppid=29697 vsize=28768328 memory=6944656592455359580 CPUtime=0.43 cores=0-7
/proc/29699/task/29707/stat : 29707 (java) S 29697 29697 28687 0 -1 1077944384 424 0 0 0 31 12 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409348573712 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29708] ppid=29697 vsize=28768328 memory=-6379554864881887577 CPUtime=0.41 cores=0-7
/proc/29699/task/29708/stat : 29708 (java) S 29697 29697 28687 0 -1 1077944384 292 0 0 0 29 12 0 0 20 0 28 0 418468368 29458767872 234306 33554432000 4194304 4196468 140724563172720 140409347521168 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29709] ppid=29697 vsize=28768328 memory=7649399397082940258 CPUtime=0.04 cores=0-7
/proc/29699/task/29709/stat : 29709 (java) S 29697 29697 28687 0 -1 1077944384 1926 0 0 0 4 0 0 0 20 0 28 0 418468370 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407596890608 140409402280578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29710] ppid=29697 vsize=28768328 memory=7649399358445009202 CPUtime=0 cores=0-7
/proc/29699/task/29710/stat : 29710 (java) S 29697 29697 28687 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 418468370 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407595836896 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29711] ppid=29697 vsize=28768328 memory=7649399362739976498 CPUtime=0 cores=0-7
/proc/29699/task/29711/stat : 29711 (java) S 29697 29697 28687 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 418468370 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407594784256 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29712] ppid=29697 vsize=28768328 memory=40 CPUtime=0 cores=0-7
/proc/29699/task/29712/stat : 29712 (java) S 29697 29697 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407593732816 140409402288027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29713] ppid=29697 vsize=28768328 memory=43 CPUtime=2.92 cores=0-7
/proc/29699/task/29713/stat : 29713 (java) R 29697 29697 28687 0 -1 4202560 10784 0 0 0 288 4 0 0 20 0 28 0 418468373 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407592664480 140409387395203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29714] ppid=29697 vsize=28768328 memory=43 CPUtime=2.96 cores=0-7
/proc/29699/task/29714/stat : 29714 (java) S 29697 29697 28687 0 -1 1077944384 9836 0 0 0 295 1 0 0 20 0 28 0 418468373 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407591626864 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29715] ppid=29697 vsize=28768328 memory=43 CPUtime=2.72 cores=0-7
/proc/29699/task/29715/stat : 29715 (java) S 29697 29697 28687 0 -1 1077944384 10614 0 0 0 269 3 0 0 20 0 28 0 418468373 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407590574320 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29716] ppid=29697 vsize=28768328 memory=43 CPUtime=0.82 cores=0-7
/proc/29699/task/29716/stat : 29716 (java) S 29697 29697 28687 0 -1 1077944384 7410 0 0 0 80 2 0 0 20 0 28 0 418468373 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407589521776 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29717] ppid=29697 vsize=28768328 memory=43 CPUtime=0 cores=0-7
/proc/29699/task/29717/stat : 29717 (java) S 29697 29697 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407588469472 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29718] ppid=29697 vsize=28768328 memory=41 CPUtime=0 cores=0-7
/proc/29699/task/29718/stat : 29718 (java) S 29697 29697 28687 0 -1 1077944384 640 0 0 0 0 0 0 0 20 0 28 0 418468373 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407587417008 140409402280578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29719] ppid=29697 vsize=28768328 memory=4 CPUtime=7.06 cores=0-7
/proc/29699/task/29719/stat : 29719 (java) S 29697 29697 28687 0 -1 1077944384 553 0 0 0 706 0 0 0 20 0 28 0 418468747 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407582736464 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29720] ppid=29697 vsize=28768328 memory=0 CPUtime=6.52 cores=0-7
/proc/29699/task/29720/stat : 29720 (java) S 29697 29697 28687 0 -1 1077944384 349 0 0 0 652 0 0 0 20 0 28 0 418468748 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407135266384 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29721] ppid=29697 vsize=28768328 memory=140509117046434 CPUtime=6.77 cores=0-7
/proc/29699/task/29721/stat : 29721 (java) S 29697 29697 28687 0 -1 1077944384 329 0 0 0 676 1 0 0 20 0 28 0 418468748 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407134212816 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29722] ppid=29697 vsize=28768328 memory=0 CPUtime=6.76 cores=0-7
/proc/29699/task/29722/stat : 29722 (java) S 29697 29697 28687 0 -1 1077944384 650 0 0 0 675 1 0 0 20 0 28 0 418468780 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407133160272 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29723] ppid=29697 vsize=28768328 memory=0 CPUtime=7.22 cores=0-7
/proc/29699/task/29723/stat : 29723 (java) R 29697 29697 28687 0 -1 4202560 2950 0 0 0 720 2 0 0 20 0 28 0 418468780 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407132097952 140409010937268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29724] ppid=29697 vsize=28768328 memory=0 CPUtime=6.91 cores=0-7
/proc/29699/task/29724/stat : 29724 (java) S 29697 29697 28687 0 -1 1077944384 313 0 0 0 690 1 0 0 20 0 28 0 418468780 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407131055184 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29725] ppid=29697 vsize=28768328 memory=0 CPUtime=6.93 cores=0-7
/proc/29699/task/29725/stat : 29725 (java) S 29697 29697 28687 0 -1 1077944384 444 0 0 0 693 0 0 0 20 0 28 0 418468780 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407130002640 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
[pid=29699/tid=29726] ppid=29697 vsize=28768328 memory=0 CPUtime=6.88 cores=0-7
/proc/29699/task/29726/stat : 29726 (java) S 29697 29697 28687 0 -1 1077944384 259 0 0 0 687 1 0 0 20 0 28 0 418468780 29458767872 234306 33554432000 4194304 4196468 140724563172720 140407128950096 140409402279637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15052800 140724563174378 140724563174550 140724563174550 140724563177423 0
Current children cumulated CPU time: 71.74 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 938676 KiB

Child status: 0
Real time (s): 12.1661
CPU time (s): 71.8808
CPU user time (s): 70.5144
CPU system time (s): 1.36633
CPU usage (%): 590.829
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 939620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.5144
system time used= 1.36633
maximum resident set size= 938696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63345
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= 4973
involuntary context switches= 1438


# summary of solver processes directly reported to runsolver:
#   pid: 29697
#   total CPU time (s): 71.8808
#   total CPU user time (s): 70.5144
#   total CPU system time (s): 1.36633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134918 second user time and 0.153743 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
