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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT	81.2329	13.1421
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: 16375 MiB (12369 MiB free)
  memory of node 1: 16384 MiB (12375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404342-1568996535/watcher-4404342-1568996535 -o /tmp/evaluation-result-4404342-1568996535/solver-4404342-1568996535 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324510577-22426 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1350314071 HOME/instance-4404342-1568996535.xml 

running on 8 cores: 0-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=22663, runsolver pid=22660
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 8.25 6.13 3.88 3/213 22684
/proc/meminfo: memFree=25319436/32770688 swapFree=66927224/67108860
[pid=22663] ppid=22660 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22663/stat : 22663 (xcsp3-exec) S 22660 22663 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475659735 115843072 364 33554432000 4194304 5098028 140730775419440 140730775417544 140066996499068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11624448 140730775425909 140730775426153 140730775426153 140730775429066 0
/proc/22663/statm: 28282 364 305 221 0 87 0
[pid=22665] ppid=22663 vsize=28227396 memory=32240 CPUtime=0.12 cores=0-7
/proc/22665/stat : 22665 (java) S 22663 22663 22399 0 -1 1077944320 5976 0 0 0 11 1 0 0 20 0 20 0 475659736 28904853504 8060 33554432000 4194304 4196468 140734061619792 140734061602336 140312592535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
/proc/22665/statm: 7056849 8060 3126 1 0 7019032 0
[pid=22665/tid=22666] ppid=22663 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/22665/task/22666/stat : 22666 (java) R 22663 22663 22399 0 -1 4202560 3919 0 0 0 8 0 0 0 20 0 20 0 475659736 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312596763520 140312592557213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22667] ppid=22663 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22665/task/22667/stat : 22667 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312143846416 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22668] ppid=22663 vsize=28227396 memory=139917153269376 CPUtime=0 cores=0-7
/proc/22665/task/22668/stat : 22668 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312142793872 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22669] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22669/stat : 22669 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312141740816 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22670] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22670/stat : 22670 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312140688272 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22671] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22671/stat : 22671 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312139635216 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22672] ppid=22663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22665/task/22672/stat : 22672 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312138582672 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22673] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22673/stat : 22673 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312137529616 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22674] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22674/stat : 22674 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312136477072 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22675] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22675/stat : 22675 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659738 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312093674224 140312592546434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22676] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22676/stat : 22676 (java) S 22663 22663 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475659739 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312092620448 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22677] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22677/stat : 22677 (java) S 22663 22663 22399 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 475659739 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312091567344 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22678] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22678/stat : 22678 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312090515920 140312592553883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22679] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22679/stat : 22679 (java) S 22663 22663 22399 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312089463024 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22680] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22680/stat : 22680 (java) S 22663 22663 22399 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312088410480 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22681] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22681/stat : 22681 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 8060 33554432000 4194304 4196468 140734061619792 140312087357424 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22682] ppid=22663 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22665/task/22682/stat : 22682 (java) S 22663 22663 22399 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 475659742 28904853504 8060 33554432000 4194304 4196468 140734061619792 140311968999536 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22683] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22683/stat : 22683 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 8060 33554432000 4194304 4196468 140734061619792 140311967947744 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22684] ppid=22663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22665/task/22684/stat : 22684 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659743 28904853504 8060 33554432000 4194304 4196468 140734061619792 140311966895280 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33696 KiB

[startup+0.211277 s]*
/proc/loadavg: 8.25 6.13 3.88 2/213 22684
/proc/meminfo: memFree=25306936/32770688 swapFree=66927224/67108860
[pid=22663] ppid=22660 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22663/stat : 22663 (xcsp3-exec) S 22660 22663 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475659735 115843072 364 33554432000 4194304 5098028 140730775419440 140730775417544 140066996499068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11624448 140730775425909 140730775426153 140730775426153 140730775429066 0
/proc/22663/statm: 28282 364 305 221 0 87 0
[pid=22665] ppid=22663 vsize=28227396 memory=42992 CPUtime=0.33 cores=0-7
/proc/22665/stat : 22665 (java) S 22663 22663 22399 0 -1 1077944320 9410 0 0 0 30 3 0 0 20 0 20 0 475659736 28904853504 10748 33554432000 4194304 4196468 140734061619792 140734061602336 140312592535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
/proc/22665/statm: 7056849 10748 3311 1 0 7019032 0
[pid=22665/tid=22666] ppid=22663 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/22665/task/22666/stat : 22666 (java) R 22663 22663 22399 0 -1 4202560 6698 0 0 0 18 2 0 0 20 0 20 0 475659736 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312596764552 140312592557213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22667] ppid=22663 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/22665/task/22667/stat : 22667 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312143846416 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22668] ppid=22663 vsize=28227396 memory=3976872475483698848 CPUtime=0 cores=0-7
/proc/22665/task/22668/stat : 22668 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312142793872 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22669] ppid=22663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22665/task/22669/stat : 22669 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312141740816 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22670] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22670/stat : 22670 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312140688272 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22671] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22671/stat : 22671 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312139635216 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22672] ppid=22663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22665/task/22672/stat : 22672 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312138582672 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22673] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22673/stat : 22673 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312137529616 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22674] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22674/stat : 22674 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659737 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312136477072 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22675] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22675/stat : 22675 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659738 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312093674224 140312592546434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22676] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22676/stat : 22676 (java) S 22663 22663 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475659739 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312092620448 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22677] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22677/stat : 22677 (java) S 22663 22663 22399 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 475659739 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312091567344 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22678] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22678/stat : 22678 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312090515920 140312592553883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22679] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22679/stat : 22679 (java) S 22663 22663 22399 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312089463024 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22680] ppid=22663 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/22665/task/22680/stat : 22680 (java) S 22663 22663 22399 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 20 0 475659742 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312088410480 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22681] ppid=22663 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/22665/task/22681/stat : 22681 (java) S 22663 22663 22399 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 475659742 28904853504 10748 33554432000 4194304 4196468 140734061619792 140312087357424 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22682] ppid=22663 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/22665/task/22682/stat : 22682 (java) S 22663 22663 22399 0 -1 1077944384 760 0 0 0 7 0 0 0 20 0 20 0 475659742 28904853504 10748 33554432000 4194304 4196468 140734061619792 140311968999536 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22683] ppid=22663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22683/stat : 22683 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659742 28904853504 10748 33554432000 4194304 4196468 140734061619792 140311967947744 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22684] ppid=22663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22665/task/22684/stat : 22684 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659743 28904853504 10748 33554432000 4194304 4196468 140734061619792 140311966895280 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44448 KiB

[startup+0.3109 s]*
/proc/loadavg: 8.25 6.13 3.88 4/213 22684
/proc/meminfo: memFree=25301588/32770688 swapFree=66927224/67108860
[pid=22663] ppid=22660 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22663/stat : 22663 (xcsp3-exec) S 22660 22663 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475659735 115843072 364 33554432000 4194304 5098028 140730775419440 140730775417544 140066996499068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11624448 140730775425909 140730775426153 140730775426153 140730775429066 0
/proc/22663/statm: 28282 364 305 221 0 87 0
[pid=22665] ppid=22663 vsize=28231652 memory=48744 CPUtime=0.51 cores=0-7
/proc/22665/stat : 22665 (java) S 22663 22663 22399 0 -1 1077944320 10525 0 0 0 48 3 0 0 20 0 20 0 475659736 28909211648 12186 33554432000 4194304 4196468 140734061619792 140734061602336 140312592535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
/proc/22665/statm: 7057913 12186 3335 1 0 7019032 0
[pid=22665/tid=22666] ppid=22663 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/22665/task/22666/stat : 22666 (java) R 22663 22663 22399 0 -1 4202560 7601 0 0 0 27 2 0 0 20 0 20 0 475659736 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312596765696 140312592557213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22667] ppid=22663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22667/stat : 22667 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312143846416 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22668] ppid=22663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22668/stat : 22668 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312142793872 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22669] ppid=22663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22669/stat : 22669 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312141740816 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22670] ppid=22663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22670/stat : 22670 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312140688272 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22671] ppid=22663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22671/stat : 22671 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312139635216 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22672] ppid=22663 vsize=28231652 memory=139917015476911 CPUtime=0 cores=0-7
/proc/22665/task/22672/stat : 22672 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312138582672 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22673] ppid=22663 vsize=28231652 memory=139917015479216 CPUtime=0 cores=0-7
/proc/22665/task/22673/stat : 22673 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312137529616 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22674] ppid=22663 vsize=28231652 memory=139917015481520 CPUtime=0 cores=0-7
/proc/22665/task/22674/stat : 22674 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659737 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312136477072 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22675] ppid=22663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22675/stat : 22675 (java) S 22663 22663 22399 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475659738 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312093674224 140312592546434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22676] ppid=22663 vsize=28231652 memory=279834030976912 CPUtime=0 cores=0-7
/proc/22665/task/22676/stat : 22676 (java) S 22663 22663 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475659739 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312092620448 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22677] ppid=22663 vsize=28231652 memory=279834030974608 CPUtime=0 cores=0-7
/proc/22665/task/22677/stat : 22677 (java) S 22663 22663 22399 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 475659739 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312091567344 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22678] ppid=22663 vsize=28231652 memory=279834030981520 CPUtime=0 cores=0-7
/proc/22665/task/22678/stat : 22678 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659742 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312090515920 140312592553883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22679] ppid=22663 vsize=28231652 memory=279834030922800 CPUtime=0.01 cores=0-7
/proc/22665/task/22679/stat : 22679 (java) S 22663 22663 22399 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 475659742 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312089463024 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22680] ppid=22663 vsize=28231652 memory=279834030995344 CPUtime=0.04 cores=0-7
/proc/22665/task/22680/stat : 22680 (java) S 22663 22663 22399 0 -1 1077944384 210 0 0 0 4 0 0 0 20 0 20 0 475659742 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312088410480 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22681] ppid=22663 vsize=28231652 memory=279834031002256 CPUtime=0.02 cores=0-7
/proc/22665/task/22681/stat : 22681 (java) S 22663 22663 22399 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 475659742 28909211648 12186 33554432000 4194304 4196468 140734061619792 140312087357424 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22682] ppid=22663 vsize=28231652 memory=279834030999952 CPUtime=0.12 cores=0-7
/proc/22665/task/22682/stat : 22682 (java) S 22663 22663 22399 0 -1 1077944384 913 0 0 0 12 0 0 0 20 0 20 0 475659742 28909211648 12186 33554432000 4194304 4196468 140734061619792 140311968999536 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22683] ppid=22663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22683/stat : 22683 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659742 28909211648 12186 33554432000 4194304 4196468 140734061619792 140311967947744 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22684] ppid=22663 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/22665/task/22684/stat : 22684 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659743 28909211648 12186 33554432000 4194304 4196468 140734061619792 140311966895280 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50200 KiB

[startup+0.701048 s]
/proc/loadavg: 8.25 6.13 3.88 3/213 22684
/proc/meminfo: memFree=25285048/32770688 swapFree=66927224/67108860
[pid=22663] ppid=22660 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22663/stat : 22663 (xcsp3-exec) S 22660 22663 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475659735 115843072 364 33554432000 4194304 5098028 140730775419440 140730775417544 140066996499068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11624448 140730775425909 140730775426153 140730775426153 140730775429066 0
/proc/22663/statm: 28282 364 305 221 0 87 0
[pid=22665] ppid=22663 vsize=28233776 memory=99336 CPUtime=1.61 cores=0-7
/proc/22665/stat : 22665 (java) S 22663 22663 22399 0 -1 1077944320 14512 0 0 0 156 5 0 0 20 0 20 0 475659736 28911386624 24834 33554432000 4194304 4196468 140734061619792 140734061602336 140312592535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
/proc/22665/statm: 7058444 24834 3433 1 0 7019544 0
[pid=22665/tid=22666] ppid=22663 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/22665/task/22666/stat : 22666 (java) R 22663 22663 22399 0 -1 4202560 8428 0 0 0 64 3 0 0 20 0 20 0 475659736 28911386624 24834 33554432000 4194304 4196468 140734061619792 140312596771840 140312574998479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22667] ppid=22663 vsize=28233776 memory=139917015688048 CPUtime=0 cores=0-7
/proc/22665/task/22667/stat : 22667 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28911386624 24834 33554432000 4194304 4196468 140734061619792 140312143846416 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22668] ppid=22663 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22668/stat : 22668 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28911386624 24834 33554432000 4194304 4196468 140734061619792 140312142793872 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22669] ppid=22663 vsize=28233776 memory=1176 CPUtime=0 cores=0-7
/proc/22665/task/22669/stat : 22669 (java) S 22663 22663 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475659737 28911386624 24834 33554432000 4194304 4196468 140734061619792 140312141740816 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0

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

[pid=22665/tid=22674] ppid=22663 vsize=28766288 memory=13852975455877929 CPUtime=0.4 cores=0-7
/proc/22665/task/22674/stat : 22674 (java) S 22663 22663 22399 0 -1 1077944384 587 0 0 0 30 10 0 0 20 0 28 0 475659737 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312136477072 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22675] ppid=22663 vsize=28766288 memory=1456 CPUtime=0.06 cores=0-7
/proc/22665/task/22675/stat : 22675 (java) S 22663 22663 22399 0 -1 1077944384 1861 0 0 0 4 2 0 0 20 0 28 0 475659738 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312093674224 140312592546434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22676] ppid=22663 vsize=28766288 memory=948152 CPUtime=0 cores=0-7
/proc/22665/task/22676/stat : 22676 (java) S 22663 22663 22399 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475659739 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312092620512 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22677] ppid=22663 vsize=28766288 memory=1964 CPUtime=0 cores=0-7
/proc/22665/task/22677/stat : 22677 (java) S 22663 22663 22399 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475659739 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312091567360 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22678] ppid=22663 vsize=28766288 memory=2776 CPUtime=0 cores=0-7
/proc/22665/task/22678/stat : 22678 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475659742 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312090515920 140312592553883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22679] ppid=22663 vsize=28766288 memory=924 CPUtime=2.7 cores=0-7
/proc/22665/task/22679/stat : 22679 (java) S 22663 22663 22399 0 -1 1077944384 6674 0 0 0 269 1 0 0 20 0 28 0 475659742 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312089463024 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22680] ppid=22663 vsize=28766288 memory=1444 CPUtime=2.6 cores=0-7
/proc/22665/task/22680/stat : 22680 (java) S 22663 22663 22399 0 -1 1077944384 7619 0 0 0 258 2 0 0 20 0 28 0 475659742 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312088410480 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22681] ppid=22663 vsize=28766288 memory=1456 CPUtime=2.92 cores=0-7
/proc/22665/task/22681/stat : 22681 (java) S 22663 22663 22399 0 -1 1077944384 5541 0 0 0 291 1 0 0 20 0 28 0 475659742 29456678912 234288 33554432000 4194304 4196468 140734061619792 140312087357424 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22682] ppid=22663 vsize=28766288 memory=948404 CPUtime=0.69 cores=0-7
/proc/22665/task/22682/stat : 22682 (java) S 22663 22663 22399 0 -1 1077944384 4315 0 0 0 68 1 0 0 20 0 28 0 475659742 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311968999536 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22683] ppid=22663 vsize=28766288 memory=4786094370917346334 CPUtime=0 cores=0-7
/proc/22665/task/22683/stat : 22683 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475659742 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311967947744 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22684] ppid=22663 vsize=28766288 memory=-6512121203609196641 CPUtime=0 cores=0-7
/proc/22665/task/22684/stat : 22684 (java) S 22663 22663 22399 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 28 0 475659743 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311966895280 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22687] ppid=22663 vsize=28766288 memory=0 CPUtime=7.88 cores=0-7
/proc/22665/task/22687/stat : 22687 (java) R 22663 22663 22399 0 -1 4202560 684 0 0 0 787 1 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311957912616 140312237636011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22688] ppid=22663 vsize=28766288 memory=0 CPUtime=7.8 cores=0-7
/proc/22665/task/22688/stat : 22688 (java) R 22663 22663 22399 0 -1 4202560 441 0 0 0 780 0 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311956861192 140312237090057 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22689] ppid=22663 vsize=28766288 memory=10017 CPUtime=7.84 cores=0-7
/proc/22665/task/22689/stat : 22689 (java) R 22663 22663 22399 0 -1 4202560 498 0 0 0 784 0 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311955808016 140312237636011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22690] ppid=22663 vsize=28766288 memory=6944656592455359580 CPUtime=7.9 cores=0-7
/proc/22665/task/22690/stat : 22690 (java) R 22663 22663 22399 0 -1 4202560 1589 0 0 0 790 0 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311954756472 140312237487616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22691] ppid=22663 vsize=28766288 memory=0 CPUtime=7.84 cores=0-7
/proc/22665/task/22691/stat : 22691 (java) R 22663 22663 22399 0 -1 4202560 769 0 0 0 784 0 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311953705160 140312237090048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22692] ppid=22663 vsize=28766288 memory=0 CPUtime=7.63 cores=0-7
/proc/22665/task/22692/stat : 22692 (java) R 22663 22663 22399 0 -1 4202560 566 0 0 0 763 0 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311952652136 140312237090057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22693] ppid=22663 vsize=28766288 memory=19921 CPUtime=7.77 cores=0-7
/proc/22665/task/22693/stat : 22693 (java) R 22663 22663 22399 0 -1 4202560 366 0 0 0 777 0 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311682601960 140312237089907 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22694] ppid=22663 vsize=28766288 memory=4420 CPUtime=7.9 cores=0-7
/proc/22665/task/22694/stat : 22694 (java) R 22663 22663 22399 0 -1 4202560 402 0 0 0 790 0 0 0 20 0 28 0 475660196 29456678912 234288 33554432000 4194304 4196468 140734061619792 140311681548496 140312237652132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
Current children cumulated CPU time: 79.06 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 938608 KiB

[startup+13.0065 s]*
/proc/loadavg: 7.76 6.10 3.89 10/221 22694
/proc/meminfo: memFree=24413032/32770688 swapFree=66927224/67108860
[pid=22663] ppid=22660 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22663/stat : 22663 (xcsp3-exec) S 22660 22663 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475659735 115843072 364 33554432000 4194304 5098028 140730775419440 140730775417544 140066996499068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11624448 140730775425909 140730775426153 140730775426153 140730775429066 0
/proc/22663/statm: 28282 364 305 221 0 87 0
[pid=22665] ppid=22663 vsize=28766288 memory=937172 CPUtime=80.71 cores=0-7
/proc/22665/stat : 22665 (java) S 22663 22663 22399 0 -1 1077944320 49860 0 0 0 7959 112 0 0 20 0 28 0 475659736 29456678912 234293 33554432000 4194304 4196468 140734061619792 140734061602336 140312592535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
/proc/22665/statm: 7191572 234293 3543 1 0 7152672 0
[pid=22665/tid=22666] ppid=22663 vsize=28766288 memory=1398722017469774279 CPUtime=4.04 cores=0-7
/proc/22665/task/22666/stat : 22666 (java) S 22663 22663 22399 0 -1 1077944384 11998 0 0 0 393 11 0 0 20 0 28 0 475659736 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312596776064 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22667] ppid=22663 vsize=28766288 memory=4872558044660077418 CPUtime=0.41 cores=0-7
/proc/22665/task/22667/stat : 22667 (java) S 22663 22663 22399 0 -1 1077944384 478 0 0 0 31 10 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312143846416 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22668] ppid=22663 vsize=28766288 memory=1444 CPUtime=0.42 cores=0-7
/proc/22665/task/22668/stat : 22668 (java) S 22663 22663 22399 0 -1 1077944384 494 0 0 0 33 9 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312142793872 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22669] ppid=22663 vsize=28766288 memory=1764 CPUtime=0.39 cores=0-7
/proc/22665/task/22669/stat : 22669 (java) S 22663 22663 22399 0 -1 1077944384 549 0 0 0 29 10 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312141740816 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22670] ppid=22663 vsize=28766288 memory=111632 CPUtime=0.42 cores=0-7
/proc/22665/task/22670/stat : 22670 (java) S 22663 22663 22399 0 -1 1077944384 453 0 0 0 32 10 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312140688272 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22671] ppid=22663 vsize=28766288 memory=800 CPUtime=0.37 cores=0-7
/proc/22665/task/22671/stat : 22671 (java) S 22663 22663 22399 0 -1 1077944384 468 0 0 0 26 11 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312139635216 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22672] ppid=22663 vsize=28766288 memory=4100 CPUtime=0.4 cores=0-7
/proc/22665/task/22672/stat : 22672 (java) S 22663 22663 22399 0 -1 1077944384 503 0 0 0 30 10 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312138582672 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22673] ppid=22663 vsize=28766288 memory=1808 CPUtime=0.41 cores=0-7
/proc/22665/task/22673/stat : 22673 (java) S 22663 22663 22399 0 -1 1077944384 368 0 0 0 31 10 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312137529616 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22674] ppid=22663 vsize=28766288 memory=924 CPUtime=0.4 cores=0-7
/proc/22665/task/22674/stat : 22674 (java) S 22663 22663 22399 0 -1 1077944384 587 0 0 0 30 10 0 0 20 0 28 0 475659737 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312136477072 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22675] ppid=22663 vsize=28766288 memory=4252 CPUtime=0.06 cores=0-7
/proc/22665/task/22675/stat : 22675 (java) S 22663 22663 22399 0 -1 1077944384 1913 0 0 0 4 2 0 0 20 0 28 0 475659738 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312093674224 140312592546434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22676] ppid=22663 vsize=28766288 memory=1412 CPUtime=0 cores=0-7
/proc/22665/task/22676/stat : 22676 (java) S 22663 22663 22399 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475659739 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312092620512 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22677] ppid=22663 vsize=28766288 memory=2736 CPUtime=0 cores=0-7
/proc/22665/task/22677/stat : 22677 (java) S 22663 22663 22399 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475659739 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312091567360 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22678] ppid=22663 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/22665/task/22678/stat : 22678 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475659742 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312090515920 140312592553883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22679] ppid=22663 vsize=28766288 memory=948308 CPUtime=2.7 cores=0-7
/proc/22665/task/22679/stat : 22679 (java) R 22663 22663 22399 0 -1 1077944384 6674 0 0 0 269 1 0 0 20 0 28 0 475659742 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312089463024 140312592546434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22680] ppid=22663 vsize=28766288 memory=1656 CPUtime=2.6 cores=0-7
/proc/22665/task/22680/stat : 22680 (java) S 22663 22663 22399 0 -1 1077944384 7619 0 0 0 258 2 0 0 20 0 28 0 475659742 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312088410480 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22681] ppid=22663 vsize=28766288 memory=1398722017469774279 CPUtime=2.93 cores=0-7
/proc/22665/task/22681/stat : 22681 (java) R 22663 22663 22399 0 -1 4202560 5624 0 0 0 292 1 0 0 20 0 28 0 475659742 29456678912 234293 33554432000 4194304 4196468 140734061619792 140312087357424 140312571886793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22682] ppid=22663 vsize=28766288 memory=4872558044660077418 CPUtime=0.7 cores=0-7
/proc/22665/task/22682/stat : 22682 (java) S 22663 22663 22399 0 -1 1077944384 4666 0 0 0 69 1 0 0 20 0 28 0 475659742 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311968999536 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22683] ppid=22663 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22683/stat : 22683 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475659742 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311967947744 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22684] ppid=22663 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/22665/task/22684/stat : 22684 (java) S 22663 22663 22399 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 28 0 475659743 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311966895280 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22687] ppid=22663 vsize=28766288 memory=0 CPUtime=8.09 cores=0-7
/proc/22665/task/22687/stat : 22687 (java) R 22663 22663 22399 0 -1 4202560 684 0 0 0 808 1 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311957912480 140312237090034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22688] ppid=22663 vsize=28766288 memory=0 CPUtime=8.01 cores=0-7
/proc/22665/task/22688/stat : 22688 (java) R 22663 22663 22399 0 -1 4202560 443 0 0 0 801 0 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311956861192 140312237090034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22689] ppid=22663 vsize=28766288 memory=0 CPUtime=8.04 cores=0-7
/proc/22665/task/22689/stat : 22689 (java) R 22663 22663 22399 0 -1 4202560 498 0 0 0 804 0 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311955808016 140312237090057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22690] ppid=22663 vsize=28766288 memory=0 CPUtime=8.11 cores=0-7
/proc/22665/task/22690/stat : 22690 (java) R 22663 22663 22399 0 -1 4202560 1591 0 0 0 811 0 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311954755472 140312237089985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22691] ppid=22663 vsize=28766288 memory=0 CPUtime=8.04 cores=0-7
/proc/22665/task/22691/stat : 22691 (java) R 22663 22663 22399 0 -1 4202560 851 0 0 0 804 0 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311953702616 140312237864548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22692] ppid=22663 vsize=28766288 memory=0 CPUtime=7.84 cores=0-7
/proc/22665/task/22692/stat : 22692 (java) R 22663 22663 22399 0 -1 4202560 566 0 0 0 784 0 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311952649744 140312237089896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22693] ppid=22663 vsize=28766288 memory=0 CPUtime=7.97 cores=0-7
/proc/22665/task/22693/stat : 22693 (java) R 22663 22663 22399 0 -1 4202560 366 0 0 0 797 0 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311682601368 140312237090034 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22694] ppid=22663 vsize=28766288 memory=0 CPUtime=8.1 cores=0-7
/proc/22665/task/22694/stat : 22694 (java) R 22663 22663 22399 0 -1 4202560 402 0 0 0 810 0 0 0 20 0 28 0 475660196 29456678912 234293 33554432000 4194304 4196468 140734061619792 140311681548824 140312237089907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
Current children cumulated CPU time: 80.71 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 938628 KiB

[startup+13.1132 s]
/proc/loadavg: 7.76 6.10 3.89 10/221 22694
/proc/meminfo: memFree=24413032/32770688 swapFree=66927224/67108860
[pid=22663] ppid=22660 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/22663/stat : 22663 (xcsp3-exec) S 22660 22663 22399 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475659735 115843072 364 33554432000 4194304 5098028 140730775419440 140730775417544 140066996499068 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11624448 140730775425909 140730775426153 140730775426153 140730775429066 0
/proc/22663/statm: 28282 364 305 221 0 87 0
[pid=22665] ppid=22663 vsize=28766288 memory=936708 CPUtime=81.18 cores=0-7
/proc/22665/stat : 22665 (java) S 22663 22663 22399 0 -1 1077944320 51581 0 0 0 8006 112 0 0 20 0 20 0 475659736 29456678912 234177 33554432000 4194304 4196468 140734061619792 140734061602336 140312592535287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
/proc/22665/statm: 7191572 234177 3545 1 0 7152672 0
[pid=22665/tid=22666] ppid=22663 vsize=28766288 memory=56 CPUtime=4.04 cores=0-7
/proc/22665/task/22666/stat : 22666 (java) R 22663 22663 22399 0 -1 4202560 12393 0 0 0 393 11 0 0 20 0 20 0 475659736 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312596772208 140312229858749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22667] ppid=22663 vsize=28766288 memory=0 CPUtime=0.41 cores=0-7
/proc/22665/task/22667/stat : 22667 (java) S 22663 22663 22399 0 -1 1077944384 478 0 0 0 31 10 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312143846416 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22668] ppid=22663 vsize=28766288 memory=64208 CPUtime=0.42 cores=0-7
/proc/22665/task/22668/stat : 22668 (java) S 22663 22663 22399 0 -1 1077944384 494 0 0 0 33 9 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312142793872 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22669] ppid=22663 vsize=28766288 memory=984 CPUtime=0.39 cores=0-7
/proc/22665/task/22669/stat : 22669 (java) S 22663 22663 22399 0 -1 1077944384 549 0 0 0 29 10 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312141740816 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22670] ppid=22663 vsize=28766288 memory=2020 CPUtime=0.42 cores=0-7
/proc/22665/task/22670/stat : 22670 (java) S 22663 22663 22399 0 -1 1077944384 453 0 0 0 32 10 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312140688272 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22671] ppid=22663 vsize=28766288 memory=0 CPUtime=0.37 cores=0-7
/proc/22665/task/22671/stat : 22671 (java) S 22663 22663 22399 0 -1 1077944384 468 0 0 0 26 11 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312139635216 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22672] ppid=22663 vsize=28766288 memory=0 CPUtime=0.4 cores=0-7
/proc/22665/task/22672/stat : 22672 (java) S 22663 22663 22399 0 -1 1077944384 503 0 0 0 30 10 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312138582672 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22673] ppid=22663 vsize=28766288 memory=0 CPUtime=0.41 cores=0-7
/proc/22665/task/22673/stat : 22673 (java) S 22663 22663 22399 0 -1 1077944384 368 0 0 0 31 10 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312137529616 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22674] ppid=22663 vsize=28766288 memory=56 CPUtime=0.4 cores=0-7
/proc/22665/task/22674/stat : 22674 (java) S 22663 22663 22399 0 -1 1077944384 587 0 0 0 30 10 0 0 20 0 20 0 475659737 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312136477072 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22675] ppid=22663 vsize=28766288 memory=8128038100524242582 CPUtime=0.06 cores=0-7
/proc/22665/task/22675/stat : 22675 (java) S 22663 22663 22399 0 -1 1077944384 1914 0 0 0 4 2 0 0 20 0 20 0 475659738 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312093674224 140312592546434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22676] ppid=22663 vsize=28766288 memory=-7523660553960122769 CPUtime=0 cores=0-7
/proc/22665/task/22676/stat : 22676 (java) S 22663 22663 22399 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 475659739 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312092620512 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22677] ppid=22663 vsize=28766288 memory=-7595718148000617580 CPUtime=0 cores=0-7
/proc/22665/task/22677/stat : 22677 (java) S 22663 22663 22399 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 475659739 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312091567360 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22678] ppid=22663 vsize=28766288 memory=56 CPUtime=0 cores=0-7
/proc/22665/task/22678/stat : 22678 (java) S 22663 22663 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475659742 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312090515920 140312592553883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22679] ppid=22663 vsize=28766288 memory=1915838 CPUtime=2.71 cores=0-7
/proc/22665/task/22679/stat : 22679 (java) R 22663 22663 22399 0 -1 4202560 6779 0 0 0 270 1 0 0 20 0 20 0 475659742 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312089453408 140312577423158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22680] ppid=22663 vsize=28766288 memory=1918122 CPUtime=2.6 cores=0-7
/proc/22665/task/22680/stat : 22680 (java) S 22663 22663 22399 0 -1 1077944384 7619 0 0 0 258 2 0 0 20 0 20 0 475659742 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312088410480 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22681] ppid=22663 vsize=28766288 memory=0 CPUtime=2.94 cores=0-7
/proc/22665/task/22681/stat : 22681 (java) R 22663 22663 22399 0 -1 1077944384 6084 0 0 0 293 1 0 0 20 0 20 0 475659742 29456678912 234177 33554432000 4194304 4196468 140734061619792 140312087357424 140312592546434 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22682] ppid=22663 vsize=28766288 memory=3624 CPUtime=0.71 cores=0-7
/proc/22665/task/22682/stat : 22682 (java) R 22663 22663 22399 0 -1 4202560 4784 0 0 0 69 2 0 0 20 0 20 0 475659742 29456678912 234177 33554432000 4194304 4196468 140734061619792 140311968999344 140312576888868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22683] ppid=22663 vsize=28766288 memory=64208 CPUtime=0 cores=0-7
/proc/22665/task/22683/stat : 22683 (java) S 22663 22663 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475659742 29456678912 234177 33554432000 4194304 4196468 140734061619792 140311967947744 140312592545493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
[pid=22665/tid=22684] ppid=22663 vsize=28766288 memory=984 CPUtime=0 cores=0-7
/proc/22665/task/22684/stat : 22684 (java) S 22663 22663 22399 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 20 0 475659743 29456678912 234177 33554432000 4194304 4196468 140734061619792 140311966895280 140312592546434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6451200 140734061622250 140734061622422 140734061622422 140734061625295 0
Current children cumulated CPU time: 81.18 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 938164 KiB

Child status: 0
Real time (s): 13.1421
CPU time (s): 81.2329
CPU user time (s): 80.0895
CPU system time (s): 1.1434
CPU usage (%): 618.11
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 949900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.0895
system time used= 1.1434
maximum resident set size= 948448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53452
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= 4811
involuntary context switches= 1531


# summary of solver processes directly reported to runsolver:
#   pid: 22663
#   total CPU time (s): 81.2329
#   total CPU user time (s): 80.0895
#   total CPU system time (s): 1.1434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136003 second user time and 0.211912 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 4404342

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
