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	310.505	48.9748
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 (14127 MiB free)
  memory of node 1: 16384 MiB (15608 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393609-1568431444/watcher-4393609-1568431444 -o /tmp/evaluation-result-4393609-1568431444/solver-4393609-1568431444 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568428877-7245 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1369952217 HOME/instance-4393609-1568431444.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
Current StackSize limit: 8192 KiB

solver pid=8793, runsolver pid=8790

[startup+0.10019 s]*
/proc/loadavg: 7.92 7.93 7.96 3/209 8814
/proc/meminfo: memFree=30433996/32770624 swapFree=66932112/67108860
[pid=8793] ppid=8790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8793/stat : 8793 (xcsp3-exec) S 8790 8793 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419412301 115843072 363 33554432000 4194304 5098028 140730208617424 140730208615528 140035200742012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30371840 140730208621429 140730208621673 140730208621673 140730208624586 0
/proc/8793/statm: 28282 363 304 221 0 87 0
[pid=8795] ppid=8793 vsize=28227388 memory=28912 CPUtime=0.12 cores=0-7
/proc/8795/stat : 8795 (java) S 8793 8793 7218 0 -1 1077944320 5643 0 0 0 11 1 0 0 20 0 20 0 419412302 28904845312 7228 33554432000 4194304 4196468 140728706708768 140728706691312 139669514112759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
/proc/8795/statm: 7056847 7228 3158 1 0 7019032 0
[pid=8795/tid=8796] ppid=8793 vsize=28227388 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8795/task/8796/stat : 8796 (java) R 8793 8793 7218 0 -1 4202560 3587 0 0 0 8 0 0 0 20 0 20 0 419412302 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669518345824 139669514124694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8797] ppid=8793 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8795/task/8797/stat : 8797 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669466733328 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8798] ppid=8793 vsize=28227388 memory=139642746857088 CPUtime=0 cores=0-7
/proc/8795/task/8798/stat : 8798 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669465680784 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8799] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8799/stat : 8799 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669464628240 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8800] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8800/stat : 8800 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669463575696 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8801] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8801/stat : 8801 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669462522128 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8802] ppid=8793 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8795/task/8802/stat : 8802 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669461469584 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8803] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8803/stat : 8803 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669460417040 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8804] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8804/stat : 8804 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 7228 33554432000 4194304 4196468 140728706708768 139669459364496 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8805] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8805/stat : 8805 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412304 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668697438704 139669514123906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8806] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8806/stat : 8806 (java) S 8793 8793 7218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419412305 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668696384928 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8807] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8807/stat : 8807 (java) S 8793 8793 7218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419412305 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668695332336 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8808] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8808/stat : 8808 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668694280912 139669514131355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8809] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8809/stat : 8809 (java) S 8793 8793 7218 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668693227504 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8810] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8810/stat : 8810 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668692174960 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8811] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8811/stat : 8811 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668691122416 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8812] ppid=8793 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/8795/task/8812/stat : 8812 (java) R 8793 8793 7218 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 20 0 419412307 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668690069872 139669495666656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8813] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8813/stat : 8813 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668689017568 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8814] ppid=8793 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8795/task/8814/stat : 8814 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412308 28904845312 7228 33554432000 4194304 4196468 140728706708768 139668687965104 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30364 KiB

[startup+0.210305 s]*
/proc/loadavg: 7.92 7.93 7.96 3/209 8814
/proc/meminfo: memFree=30420852/32770624 swapFree=66932112/67108860
[pid=8793] ppid=8790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8793/stat : 8793 (xcsp3-exec) S 8790 8793 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419412301 115843072 363 33554432000 4194304 5098028 140730208617424 140730208615528 140035200742012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30371840 140730208621429 140730208621673 140730208621673 140730208624586 0
/proc/8793/statm: 28282 363 304 221 0 87 0
[pid=8795] ppid=8793 vsize=28227388 memory=41072 CPUtime=0.33 cores=0-7
/proc/8795/stat : 8795 (java) S 8793 8793 7218 0 -1 1077944320 9511 0 0 0 30 3 0 0 20 0 20 0 419412302 28904845312 10268 33554432000 4194304 4196468 140728706708768 140728706691312 139669514112759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
/proc/8795/statm: 7056847 10268 3300 1 0 7019032 0
[pid=8795/tid=8796] ppid=8793 vsize=28227388 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/8795/task/8796/stat : 8796 (java) R 8793 8793 7218 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 20 0 419412302 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669518343808 139669514134106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8797] ppid=8793 vsize=28227388 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/8795/task/8797/stat : 8797 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669466733328 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8798] ppid=8793 vsize=28227388 memory=15392292308674200 CPUtime=0 cores=0-7
/proc/8795/task/8798/stat : 8798 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669465680784 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8799] ppid=8793 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8795/task/8799/stat : 8799 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669464628240 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8800] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8800/stat : 8800 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669463575696 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8801] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8801/stat : 8801 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669462522128 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8802] ppid=8793 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8795/task/8802/stat : 8802 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669461469584 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8803] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8803/stat : 8803 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669460417040 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8804] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8804/stat : 8804 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28904845312 10268 33554432000 4194304 4196468 140728706708768 139669459364496 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8805] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8805/stat : 8805 (java) S 8793 8793 7218 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419412304 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668697438704 139669514123906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8806] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8806/stat : 8806 (java) S 8793 8793 7218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419412305 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668696384928 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8807] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8807/stat : 8807 (java) S 8793 8793 7218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419412305 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668695332336 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8808] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8808/stat : 8808 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668694280912 139669514131355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8809] ppid=8793 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/8795/task/8809/stat : 8809 (java) R 8793 8793 7218 0 -1 1077944384 701 0 0 0 1 0 0 0 20 0 20 0 419412307 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668693227504 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8810] ppid=8793 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/8795/task/8810/stat : 8810 (java) S 8793 8793 7218 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 419412307 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668692174960 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8811] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8811/stat : 8811 (java) S 8793 8793 7218 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668691122416 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8812] ppid=8793 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/8795/task/8812/stat : 8812 (java) R 8793 8793 7218 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 419412307 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668690069872 139669492797615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8813] ppid=8793 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8813/stat : 8813 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419412307 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668689017568 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8814] ppid=8793 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8795/task/8814/stat : 8814 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412308 28904845312 10268 33554432000 4194304 4196468 140728706708768 139668687965104 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42524 KiB

[startup+0.309567 s]*
/proc/loadavg: 7.92 7.93 7.96 4/209 8814
/proc/meminfo: memFree=30412848/32770624 swapFree=66932112/67108860
[pid=8793] ppid=8790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8793/stat : 8793 (xcsp3-exec) S 8790 8793 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419412301 115843072 363 33554432000 4194304 5098028 140730208617424 140730208615528 140035200742012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30371840 140730208621429 140730208621673 140730208621673 140730208624586 0
/proc/8793/statm: 28282 363 304 221 0 87 0
[pid=8795] ppid=8793 vsize=28231644 memory=50208 CPUtime=0.52 cores=0-7
/proc/8795/stat : 8795 (java) S 8793 8793 7218 0 -1 1077944320 10855 0 0 0 48 4 0 0 20 0 20 0 419412302 28909203456 12552 33554432000 4194304 4196468 140728706708768 140728706691312 139669514112759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
/proc/8795/statm: 7057911 12552 3367 1 0 7019032 0
[pid=8795/tid=8796] ppid=8793 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8795/task/8796/stat : 8796 (java) R 8793 8793 7218 0 -1 4202560 7740 0 0 0 27 2 0 0 20 0 20 0 419412302 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669518342912 139669514134685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8797] ppid=8793 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8797/stat : 8797 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669466733328 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8798] ppid=8793 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8798/stat : 8798 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669465680784 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8799] ppid=8793 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8799/stat : 8799 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669464628240 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8800] ppid=8793 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8800/stat : 8800 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669463575696 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8801] ppid=8793 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8801/stat : 8801 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669462522128 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8802] ppid=8793 vsize=28231644 memory=139642607332015 CPUtime=0 cores=0-7
/proc/8795/task/8802/stat : 8802 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669461469584 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8803] ppid=8793 vsize=28231644 memory=139642607334320 CPUtime=0 cores=0-7
/proc/8795/task/8803/stat : 8803 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669460417040 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8804] ppid=8793 vsize=28231644 memory=139642607336624 CPUtime=0 cores=0-7
/proc/8795/task/8804/stat : 8804 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28909203456 12552 33554432000 4194304 4196468 140728706708768 139669459364496 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8805] ppid=8793 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8805/stat : 8805 (java) S 8793 8793 7218 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419412304 28909203456 12552 33554432000 4194304 4196468 140728706708768 139668697438704 139669514123906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8806] ppid=8793 vsize=28231644 memory=279285214687120 CPUtime=0 cores=0-7
/proc/8795/task/8806/stat : 8806 (java) S 8793 8793 7218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419412305 28909203456 12552 33554432000 4194304 4196468 140728706708768 139668696384928 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8807] ppid=8793 vsize=28231644 memory=279285214684816 CPUtime=0 cores=0-7
/proc/8795/task/8807/stat : 8807 (java) S 8793 8793 7218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419412305 28909203456 12552 33554432000 4194304 4196468 140728706708768 139668695332336 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8808] ppid=8793 vsize=28231644 memory=279285214691728 CPUtime=0 cores=0-7
/proc/8795/task/8808/stat : 8808 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412307 28909203456 12585 33554432000 4194304 4196468 140728706708768 139668694280912 139669514131355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8809] ppid=8793 vsize=28231644 memory=279285214633008 CPUtime=0.04 cores=0-7
/proc/8795/task/8809/stat : 8809 (java) R 8793 8793 7218 0 -1 4202560 798 0 0 0 4 0 0 0 20 0 20 0 419412307 28909203456 12585 33554432000 4194304 4196468 140728706708768 139668693217888 139669495637018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8810] ppid=8793 vsize=28231644 memory=279285214705552 CPUtime=0.02 cores=0-7
/proc/8795/task/8810/stat : 8810 (java) S 8793 8793 7218 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 419412307 28909203456 12585 33554432000 4194304 4196468 140728706708768 139668692174960 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8811] ppid=8793 vsize=28231644 memory=279285214712464 CPUtime=0.01 cores=0-7
/proc/8795/task/8811/stat : 8811 (java) S 8793 8793 7218 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 419412307 28909203456 12585 33554432000 4194304 4196468 140728706708768 139668691122416 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8812] ppid=8793 vsize=28231644 memory=279285214710160 CPUtime=0.12 cores=0-7
/proc/8795/task/8812/stat : 8812 (java) S 8793 8793 7218 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 20 0 419412307 28909203456 12585 33554432000 4194304 4196468 140728706708768 139668690069872 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8813] ppid=8793 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8813/stat : 8813 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419412307 28909203456 12585 33554432000 4194304 4196468 140728706708768 139668689017568 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8814] ppid=8793 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/8795/task/8814/stat : 8814 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412308 28909203456 12585 33554432000 4194304 4196468 140728706708768 139668687965104 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51660 KiB

[startup+0.700926 s]
/proc/loadavg: 7.92 7.93 7.96 4/209 8814
/proc/meminfo: memFree=30396344/32770624 swapFree=66932112/67108860
[pid=8793] ppid=8790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8793/stat : 8793 (xcsp3-exec) S 8790 8793 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419412301 115843072 363 33554432000 4194304 5098028 140730208617424 140730208615528 140035200742012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30371840 140730208621429 140730208621673 140730208621673 140730208624586 0
/proc/8793/statm: 28282 363 304 221 0 87 0
[pid=8795] ppid=8793 vsize=28233768 memory=100952 CPUtime=1.95 cores=0-7
/proc/8795/stat : 8795 (java) S 8793 8793 7218 0 -1 1077944320 16369 0 0 0 189 6 0 0 20 0 20 0 419412302 28911378432 25238 33554432000 4194304 4196468 140728706708768 140728706691312 139669514112759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
/proc/8795/statm: 7058442 25238 3447 1 0 7019544 0
[pid=8795/tid=8796] ppid=8793 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/8795/task/8796/stat : 8796 (java) R 8793 8793 7218 0 -1 4202560 8974 0 0 0 64 3 0 0 20 0 20 0 419412302 28911378432 25238 33554432000 4194304 4196468 140728706708768 139669518350336 139669514124694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8797] ppid=8793 vsize=28233768 memory=2353 CPUtime=0 cores=0-7
/proc/8795/task/8797/stat : 8797 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28911378432 25238 33554432000 4194304 4196468 140728706708768 139669466733328 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8798] ppid=8793 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8798/stat : 8798 (java) S 8793 8793 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419412303 28911378432 25238 33554432000 4194304 4196468 140728706708768 139669465680784 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8799] ppid=8793 vsize=28233768 memory=1228 CPUtime=0 cores=0-7
/proc/8795/task/8799/stat : 8799 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419412303 28911378432 25238 33554432000 4194304 4196468 140728706708768 139669464628240 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0

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

[pid=8795/tid=8820] ppid=8793 vsize=28768328 memory=14111036 CPUtime=12.72 cores=0-7
/proc/8795/task/8820/stat : 8820 (java) S 8793 8793 7218 0 -1 1077944384 10968 0 0 0 1242 30 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668676653776 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8821] ppid=8793 vsize=28768328 memory=1452 CPUtime=13.35 cores=0-7
/proc/8795/task/8821/stat : 8821 (java) R 8793 8793 7218 0 -1 4202560 5623 0 0 0 1322 13 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668675595824 139669141010245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8822] ppid=8793 vsize=28768328 memory=14112304 CPUtime=12.38 cores=0-7
/proc/8795/task/8822/stat : 8822 (java) S 8793 8793 7218 0 -1 1077944384 163046 0 0 0 1195 43 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668674548688 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8823] ppid=8793 vsize=28768328 memory=2432 CPUtime=12.22 cores=0-7
/proc/8795/task/8823/stat : 8823 (java) S 8793 8793 7218 0 -1 1077944384 2217 0 0 0 1217 5 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668673496144 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8824] ppid=8793 vsize=28768328 memory=1692 CPUtime=11.88 cores=0-7
/proc/8795/task/8824/stat : 8824 (java) S 8793 8793 7218 0 -1 1077944384 1874 0 0 0 1184 4 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668672443600 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8825] ppid=8793 vsize=28768328 memory=828 CPUtime=12.31 cores=0-7
/proc/8795/task/8825/stat : 8825 (java) S 8793 8793 7218 0 -1 1077944384 24699 0 0 0 1213 18 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668671391056 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
Current children cumulated CPU time: 309.53 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 14114684 KiB

[startup+48.4012 s]
/proc/loadavg: 6.23 7.45 7.80 2/217 8825
/proc/meminfo: memFree=16323684/32770624 swapFree=66932112/67108860
[pid=8793] ppid=8790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8793/stat : 8793 (xcsp3-exec) S 8790 8793 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419412301 115843072 363 33554432000 4194304 5098028 140730208617424 140730208615528 140035200742012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30371840 140730208621429 140730208621673 140730208621673 140730208624586 0
/proc/8793/statm: 28282 363 304 221 0 87 0
[pid=8795] ppid=8793 vsize=28768328 memory=14113232 CPUtime=309.92 cores=0-7
/proc/8795/stat : 8795 (java) S 8793 8793 7218 0 -1 1077944320 595447 0 0 0 27828 3164 0 0 20 0 28 0 419412302 29458767872 3528308 33554432000 4194304 4196468 140728706708768 140728706691312 139669514112759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
/proc/8795/statm: 7192082 3528308 3525 1 0 7153184 0
[pid=8795/tid=8796] ppid=8793 vsize=28768328 memory=828 CPUtime=9.2 cores=0-7
/proc/8795/task/8796/stat : 8796 (java) S 8793 8793 7218 0 -1 1077944384 17136 0 0 0 893 27 0 0 20 0 28 0 419412302 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669518353536 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8797] ppid=8793 vsize=28768328 memory=1448 CPUtime=23.89 cores=0-7
/proc/8795/task/8797/stat : 8797 (java) S 8793 8793 7218 0 -1 1077944384 31708 0 0 0 2005 384 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669466733328 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8798] ppid=8793 vsize=28768328 memory=8112282956445269571 CPUtime=24.09 cores=0-7
/proc/8795/task/8798/stat : 8798 (java) S 8793 8793 7218 0 -1 1077944384 29429 0 0 0 2046 363 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669465680784 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8799] ppid=8793 vsize=28768328 memory=2432 CPUtime=24.01 cores=0-7
/proc/8795/task/8799/stat : 8799 (java) S 8793 8793 7218 0 -1 1077944384 31258 0 0 0 2015 386 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669464628240 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8800] ppid=8793 vsize=28768328 memory=1692 CPUtime=24.28 cores=0-7
/proc/8795/task/8800/stat : 8800 (java) S 8793 8793 7218 0 -1 1077944384 15752 0 0 0 2091 337 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669463575696 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8801] ppid=8793 vsize=28768328 memory=828 CPUtime=23.95 cores=0-7
/proc/8795/task/8801/stat : 8801 (java) S 8793 8793 7218 0 -1 1077944384 32841 0 0 0 2016 379 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669462522128 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8802] ppid=8793 vsize=28768328 memory=1448 CPUtime=24.09 cores=0-7
/proc/8795/task/8802/stat : 8802 (java) S 8793 8793 7218 0 -1 1077944384 38641 0 0 0 2033 376 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669461469584 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8803] ppid=8793 vsize=28768328 memory=1748 CPUtime=24 cores=0-7
/proc/8795/task/8803/stat : 8803 (java) S 8793 8793 7218 0 -1 1077944384 32379 0 0 0 2007 393 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669460417040 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8804] ppid=8793 vsize=28768328 memory=111632 CPUtime=24.08 cores=0-7
/proc/8795/task/8804/stat : 8804 (java) S 8793 8793 7218 0 -1 1077944384 29345 0 0 0 2060 348 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669459364496 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8805] ppid=8793 vsize=28768328 memory=808 CPUtime=0.57 cores=0-7
/proc/8795/task/8805/stat : 8805 (java) S 8793 8793 7218 0 -1 1077944384 37837 0 0 0 36 21 0 0 20 0 28 0 419412304 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668697438704 139669514123906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8806] ppid=8793 vsize=28768328 memory=1808 CPUtime=0 cores=0-7
/proc/8795/task/8806/stat : 8806 (java) S 8793 8793 7218 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 419412305 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668696384992 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8807] ppid=8793 vsize=28768328 memory=920 CPUtime=0 cores=0-7
/proc/8795/task/8807/stat : 8807 (java) S 8793 8793 7218 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 28 0 419412305 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668695332352 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8808] ppid=8793 vsize=28768328 memory=2016 CPUtime=0 cores=0-7
/proc/8795/task/8808/stat : 8808 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668694280912 139669514131355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8809] ppid=8793 vsize=28768328 memory=1228 CPUtime=2.28 cores=0-7
/proc/8795/task/8809/stat : 8809 (java) S 8793 8793 7218 0 -1 1077944384 12760 0 0 0 226 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668693227504 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8810] ppid=8793 vsize=28768328 memory=10708 CPUtime=2.5 cores=0-7
/proc/8795/task/8810/stat : 8810 (java) S 8793 8793 7218 0 -1 1077944384 12047 0 0 0 248 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668692174960 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8811] ppid=8793 vsize=28768328 memory=1552 CPUtime=2.14 cores=0-7
/proc/8795/task/8811/stat : 8811 (java) S 8793 8793 7218 0 -1 1077944384 11048 0 0 0 212 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668691122416 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8812] ppid=8793 vsize=28768328 memory=1552 CPUtime=0.74 cores=0-7
/proc/8795/task/8812/stat : 8812 (java) S 8793 8793 7218 0 -1 1077944384 7095 0 0 0 72 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668690069872 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8813] ppid=8793 vsize=28768328 memory=4096 CPUtime=0 cores=0-7
/proc/8795/task/8813/stat : 8813 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668689017568 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8814] ppid=8793 vsize=28768328 memory=2832 CPUtime=0.01 cores=0-7
/proc/8795/task/8814/stat : 8814 (java) S 8793 8793 7218 0 -1 1077944384 760 0 0 0 0 1 0 0 20 0 28 0 419412308 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668687965104 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8818] ppid=8793 vsize=28768328 memory=772 CPUtime=12.62 cores=0-7
/proc/8795/task/8818/stat : 8818 (java) S 8793 8793 7218 0 -1 1077944384 43549 0 0 0 1254 8 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668678758384 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8819] ppid=8793 vsize=28768328 memory=1060 CPUtime=11.98 cores=0-7
/proc/8795/task/8819/stat : 8819 (java) S 8793 8793 7218 0 -1 1077944384 1798 0 0 0 1189 9 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668677707344 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8820] ppid=8793 vsize=28768328 memory=1676 CPUtime=12.72 cores=0-7
/proc/8795/task/8820/stat : 8820 (java) S 8793 8793 7218 0 -1 1077944384 10968 0 0 0 1242 30 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668676653776 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8821] ppid=8793 vsize=28768328 memory=1096 CPUtime=13.74 cores=0-7
/proc/8795/task/8821/stat : 8821 (java) R 8793 8793 7218 0 -1 4202560 5825 0 0 0 1361 13 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668675595824 139669140972216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8822] ppid=8793 vsize=28768328 memory=1176 CPUtime=12.38 cores=0-7
/proc/8795/task/8822/stat : 8822 (java) S 8793 8793 7218 0 -1 1077944384 163046 0 0 0 1195 43 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668674548688 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8823] ppid=8793 vsize=28768328 memory=5964 CPUtime=12.22 cores=0-7
/proc/8795/task/8823/stat : 8823 (java) S 8793 8793 7218 0 -1 1077944384 2217 0 0 0 1217 5 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668673496144 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8824] ppid=8793 vsize=28768328 memory=780 CPUtime=11.88 cores=0-7
/proc/8795/task/8824/stat : 8824 (java) S 8793 8793 7218 0 -1 1077944384 1874 0 0 0 1184 4 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668672443600 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8825] ppid=8793 vsize=28768328 memory=14008 CPUtime=12.31 cores=0-7
/proc/8795/task/8825/stat : 8825 (java) S 8793 8793 7218 0 -1 1077944384 24699 0 0 0 1213 18 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668671391056 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
Current children cumulated CPU time: 309.92 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 14114684 KiB

[startup+48.8012 s]
/proc/loadavg: 6.23 7.45 7.80 2/217 8825
/proc/meminfo: memFree=16323684/32770624 swapFree=66932112/67108860
[pid=8793] ppid=8790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8793/stat : 8793 (xcsp3-exec) S 8790 8793 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419412301 115843072 363 33554432000 4194304 5098028 140730208617424 140730208615528 140035200742012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30371840 140730208621429 140730208621673 140730208621673 140730208624586 0
/proc/8793/statm: 28282 363 304 221 0 87 0
[pid=8795] ppid=8793 vsize=28768328 memory=14113232 CPUtime=310.32 cores=0-7
/proc/8795/stat : 8795 (java) S 8793 8793 7218 0 -1 1077944320 595447 0 0 0 27868 3164 0 0 20 0 28 0 419412302 29458767872 3528308 33554432000 4194304 4196468 140728706708768 140728706691312 139669514112759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
/proc/8795/statm: 7192082 3528308 3525 1 0 7153184 0
[pid=8795/tid=8796] ppid=8793 vsize=28768328 memory=2116 CPUtime=9.2 cores=0-7
/proc/8795/task/8796/stat : 8796 (java) S 8793 8793 7218 0 -1 1077944384 17136 0 0 0 893 27 0 0 20 0 28 0 419412302 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669518353536 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8797] ppid=8793 vsize=28768328 memory=301741373374332954 CPUtime=23.89 cores=0-7
/proc/8795/task/8797/stat : 8797 (java) S 8793 8793 7218 0 -1 1077944384 31708 0 0 0 2005 384 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669466733328 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8798] ppid=8793 vsize=28768328 memory=288230596050944315 CPUtime=24.09 cores=0-7
/proc/8795/task/8798/stat : 8798 (java) S 8793 8793 7218 0 -1 1077944384 29429 0 0 0 2046 363 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669465680784 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8799] ppid=8793 vsize=28768328 memory=15259233662798235 CPUtime=24.01 cores=0-7
/proc/8795/task/8799/stat : 8799 (java) S 8793 8793 7218 0 -1 1077944384 31258 0 0 0 2015 386 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669464628240 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8800] ppid=8793 vsize=28768328 memory=928 CPUtime=24.28 cores=0-7
/proc/8795/task/8800/stat : 8800 (java) S 8793 8793 7218 0 -1 1077944384 15752 0 0 0 2091 337 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669463575696 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8801] ppid=8793 vsize=28768328 memory=1452 CPUtime=23.95 cores=0-7
/proc/8795/task/8801/stat : 8801 (java) S 8793 8793 7218 0 -1 1077944384 32841 0 0 0 2016 379 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669462522128 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8802] ppid=8793 vsize=28768328 memory=14113232 CPUtime=24.09 cores=0-7
/proc/8795/task/8802/stat : 8802 (java) S 8793 8793 7218 0 -1 1077944384 38641 0 0 0 2033 376 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669461469584 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8803] ppid=8793 vsize=28768328 memory=111632 CPUtime=24 cores=0-7
/proc/8795/task/8803/stat : 8803 (java) S 8793 8793 7218 0 -1 1077944384 32379 0 0 0 2007 393 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669460417040 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8804] ppid=8793 vsize=28768328 memory=808 CPUtime=24.08 cores=0-7
/proc/8795/task/8804/stat : 8804 (java) S 8793 8793 7218 0 -1 1077944384 29345 0 0 0 2060 348 0 0 20 0 28 0 419412303 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139669459364496 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8805] ppid=8793 vsize=28768328 memory=1808 CPUtime=0.57 cores=0-7
/proc/8795/task/8805/stat : 8805 (java) S 8793 8793 7218 0 -1 1077944384 37837 0 0 0 36 21 0 0 20 0 28 0 419412304 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668697438704 139669514123906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8806] ppid=8793 vsize=28768328 memory=920 CPUtime=0 cores=0-7
/proc/8795/task/8806/stat : 8806 (java) S 8793 8793 7218 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 419412305 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668696384992 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8807] ppid=8793 vsize=28768328 memory=4424 CPUtime=0 cores=0-7
/proc/8795/task/8807/stat : 8807 (java) S 8793 8793 7218 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 28 0 419412305 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668695332352 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8808] ppid=8793 vsize=28768328 memory=4104 CPUtime=0 cores=0-7
/proc/8795/task/8808/stat : 8808 (java) S 8793 8793 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668694280912 139669514131355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8809] ppid=8793 vsize=28768328 memory=1412 CPUtime=2.28 cores=0-7
/proc/8795/task/8809/stat : 8809 (java) S 8793 8793 7218 0 -1 1077944384 12760 0 0 0 226 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668693227504 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8810] ppid=8793 vsize=28768328 memory=3208 CPUtime=2.5 cores=0-7
/proc/8795/task/8810/stat : 8810 (java) S 8793 8793 7218 0 -1 1077944384 12047 0 0 0 248 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668692174960 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8811] ppid=8793 vsize=28768328 memory=1452 CPUtime=2.14 cores=0-7
/proc/8795/task/8811/stat : 8811 (java) S 8793 8793 7218 0 -1 1077944384 11048 0 0 0 212 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668691122416 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8812] ppid=8793 vsize=28768328 memory=279285215465024 CPUtime=0.74 cores=0-7
/proc/8795/task/8812/stat : 8812 (java) S 8793 8793 7218 0 -1 1077944384 7095 0 0 0 72 2 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668690069872 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8813] ppid=8793 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/8795/task/8813/stat : 8813 (java) S 8793 8793 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419412307 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668689017568 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8814] ppid=8793 vsize=28768328 memory=-8412652143318426768 CPUtime=0.01 cores=0-7
/proc/8795/task/8814/stat : 8814 (java) S 8793 8793 7218 0 -1 1077944384 760 0 0 0 0 1 0 0 20 0 28 0 419412308 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668687965104 139669514123906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8818] ppid=8793 vsize=28768328 memory=-9032920592316319629 CPUtime=12.62 cores=0-7
/proc/8795/task/8818/stat : 8818 (java) S 8793 8793 7218 0 -1 1077944384 43549 0 0 0 1254 8 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668678758384 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8819] ppid=8793 vsize=28768328 memory=7237398200207235428 CPUtime=11.98 cores=0-7
/proc/8795/task/8819/stat : 8819 (java) S 8793 8793 7218 0 -1 1077944384 1798 0 0 0 1189 9 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668677707344 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8820] ppid=8793 vsize=28768328 memory=7451313792657419106 CPUtime=12.72 cores=0-7
/proc/8795/task/8820/stat : 8820 (java) S 8793 8793 7218 0 -1 1077944384 10968 0 0 0 1242 30 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668676653776 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8821] ppid=8793 vsize=28768328 memory=7956012676636168303 CPUtime=14.14 cores=0-7
/proc/8795/task/8821/stat : 8821 (java) R 8793 8793 7218 0 -1 4202560 5825 0 0 0 1401 13 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668675595824 139669140972229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8822] ppid=8793 vsize=28768328 memory=4428343907192119957 CPUtime=12.38 cores=0-7
/proc/8795/task/8822/stat : 8822 (java) S 8793 8793 7218 0 -1 1077944384 163046 0 0 0 1195 43 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668674548688 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8823] ppid=8793 vsize=28768328 memory=139642607750272 CPUtime=12.22 cores=0-7
/proc/8795/task/8823/stat : 8823 (java) S 8793 8793 7218 0 -1 1077944384 2217 0 0 0 1217 5 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668673496144 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8824] ppid=8793 vsize=28768328 memory=7013346442758874224 CPUtime=11.88 cores=0-7
/proc/8795/task/8824/stat : 8824 (java) S 8793 8793 7218 0 -1 1077944384 1874 0 0 0 1184 4 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668672443600 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
[pid=8795/tid=8825] ppid=8793 vsize=28768328 memory=8026650869813564775 CPUtime=12.31 cores=0-7
/proc/8795/task/8825/stat : 8825 (java) S 8793 8793 7218 0 -1 1077944384 24699 0 0 0 1213 18 0 0 20 0 28 0 419415154 29458767872 3528308 33554432000 4194304 4196468 140728706708768 139668671391056 139669514122965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22712320 140728706712554 140728706712726 140728706712726 140728706715599 0
Current children cumulated CPU time: 310.32 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 14114684 KiB

[startup+48.9012 s]
/proc/loadavg: 6.23 7.45 7.80 2/217 8825
/proc/meminfo: memFree=16323684/32770624 swapFree=66932112/67108860
[pid=8793] ppid=8790 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8793/stat : 8793 (xcsp3-exec) S 8790 8793 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419412301 115843072 363 33554432000 4194304 5098028 140730208617424 140730208615528 140035200742012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30371840 140730208621429 140730208621673 140730208621673 140730208624586 0
/proc/8793/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 48.9748
CPU time (s): 310.505
CPU user time (s): 278.753
CPU system time (s): 31.7521
CPU usage (%): 634.011
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 14114684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.753
system time used= 31.7521
maximum resident set size= 14113256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18137
involuntary context switches= 5166


# summary of solver processes directly reported to runsolver:
#   pid: 8793
#   total CPU time (s): 310.505
#   total CPU user time (s): 278.753
#   total CPU system time (s): 31.7521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.42722 second user time and 0.567838 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM	3130b580259b5cb9fe6f555a4358f6cc
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2559
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints	2558
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4393609

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
