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-16 parallel	SAT	36.5767	5.98988
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 (14202 MiB free)
  memory of node 1: 16384 MiB (15394 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399538-1568702814/watcher-4399538-1568702814 -o /tmp/evaluation-result-4399538-1568702814/solver-4399538-1568702814 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568702458-10886 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 453148044 HOME/instance-4399538-1568702814.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11820, runsolver pid=11817
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 5.62 2.27 2.07 2/211 11841
/proc/meminfo: memFree=30292216/32770624 swapFree=66967456/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548259 115843072 363 33554432000 4194304 5098028 140723890557872 140723890555976 139927334605436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20566016 140723890561910 140723890562153 140723890562153 140723890565066 0
/proc/11820/statm: 28282 363 304 221 0 87 0
[pid=11822] ppid=11820 vsize=28227396 memory=27864 CPUtime=0.12 cores=0-7
/proc/11822/stat : 11822 (java) S 11820 11820 10859 0 -1 1077944320 5928 0 0 0 11 1 0 0 20 0 20 0 446548259 28904853504 6966 33554432000 4194304 4196468 140731699373472 140731699356016 140217223204599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
/proc/11822/statm: 7056849 6966 3146 1 0 7019032 0
[pid=11822/tid=11823] ppid=11820 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 10859 0 -1 4202560 3797 0 0 0 8 0 0 0 20 0 20 0 446548259 28904853504 6966 33554432000 4194304 4196468 140731699373472 140217227437376 140216859356278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11824] ppid=11820 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140217195047312 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11825] ppid=11820 vsize=28227396 memory=140644232029824 CPUtime=0 cores=0-7
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216773413136 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11826] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216772360848 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11827] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216771308048 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11828] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216770255760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11829] ppid=11820 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216769202960 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11830] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216768150672 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11831] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216767097872 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11832] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548262 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216607303792 140217223215746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11833] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446548262 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216606249760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11834] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446548262 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216605197424 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11835] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216604145744 140217223223195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11836] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 10859 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216603093616 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11837] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11837/stat : 11837 (java) R 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216602040816 140217223215746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11838] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11838/stat : 11838 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216600988528 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11839] ppid=11820 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/11822/task/11839/stat : 11839 (java) S 11820 11820 10859 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 20 0 446548265 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216599935728 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11840] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11840/stat : 11840 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216598882656 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11841] ppid=11820 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11822/task/11841/stat : 11841 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 6966 33554432000 4194304 4196468 140731699373472 140216597829936 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29316 KiB

[startup+0.210544 s]*
/proc/loadavg: 5.62 2.27 2.07 3/211 11841
/proc/meminfo: memFree=30281168/32770624 swapFree=66967456/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548259 115843072 363 33554432000 4194304 5098028 140723890557872 140723890555976 139927334605436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20566016 140723890561910 140723890562153 140723890562153 140723890565066 0
/proc/11820/statm: 28282 363 304 221 0 87 0
[pid=11822] ppid=11820 vsize=28227396 memory=39192 CPUtime=0.34 cores=0-7
/proc/11822/stat : 11822 (java) S 11820 11820 10859 0 -1 1077944320 9567 0 0 0 31 3 0 0 20 0 20 0 446548259 28904853504 9798 33554432000 4194304 4196468 140731699373472 140731699356016 140217223204599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
/proc/11822/statm: 7056849 9798 3286 1 0 7019032 0
[pid=11822/tid=11823] ppid=11820 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 10859 0 -1 4202560 6671 0 0 0 18 2 0 0 20 0 20 0 446548259 28904853504 9798 33554432000 4194304 4196468 140731699373472 140217227437328 140217215882613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11824] ppid=11820 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140217195047312 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11825] ppid=11820 vsize=28227396 memory=3905104780065859232 CPUtime=0 cores=0-7
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216773413136 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11826] ppid=11820 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216772360848 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11827] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216771308048 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11828] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216770255760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11829] ppid=11820 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216769202960 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11830] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216768150672 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11831] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216767097872 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11832] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446548262 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216607303792 140217223215746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11833] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446548262 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216606249760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11834] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446548262 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216605197424 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11835] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216604145744 140217223223195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11836] ppid=11820 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 10859 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 20 0 446548265 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216603093616 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11837] ppid=11820 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/11822/task/11837/stat : 11837 (java) S 11820 11820 10859 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 446548265 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216602040816 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11838] ppid=11820 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11822/task/11838/stat : 11838 (java) S 11820 11820 10859 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216600988528 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11839] ppid=11820 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/11822/task/11839/stat : 11839 (java) S 11820 11820 10859 0 -1 1077944384 906 0 0 0 7 0 0 0 20 0 20 0 446548265 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216599935728 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11840] ppid=11820 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11840/stat : 11840 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216598882656 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11841] ppid=11820 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11822/task/11841/stat : 11841 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548265 28904853504 9798 33554432000 4194304 4196468 140731699373472 140216597829936 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40644 KiB

[startup+0.310423 s]*
/proc/loadavg: 5.62 2.27 2.07 3/211 11841
/proc/meminfo: memFree=30276332/32770624 swapFree=66967456/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548259 115843072 363 33554432000 4194304 5098028 140723890557872 140723890555976 139927334605436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20566016 140723890561910 140723890562153 140723890562153 140723890565066 0
/proc/11820/statm: 28282 363 304 221 0 87 0
[pid=11822] ppid=11820 vsize=28231652 memory=48560 CPUtime=0.52 cores=0-7
/proc/11822/stat : 11822 (java) S 11820 11820 10859 0 -1 1077944320 11030 0 0 0 49 3 0 0 20 0 20 0 446548259 28909211648 12140 33554432000 4194304 4196468 140731699373472 140731699356016 140217223204599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
/proc/11822/statm: 7057913 12140 3350 1 0 7019032 0
[pid=11822/tid=11823] ppid=11820 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 10859 0 -1 4202560 7765 0 0 0 27 2 0 0 20 0 20 0 446548259 28909211648 12140 33554432000 4194304 4196468 140731699373472 140217227432800 140217207285086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11824] ppid=11820 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140217195047312 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11825] ppid=11820 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216773413136 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11826] ppid=11820 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216772360848 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11827] ppid=11820 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216771308048 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11828] ppid=11820 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216770255760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11829] ppid=11820 vsize=28231652 memory=140644072909487 CPUtime=0 cores=0-7
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216769202960 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11830] ppid=11820 vsize=28231652 memory=140644072911792 CPUtime=0 cores=0-7
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216768150672 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11831] ppid=11820 vsize=28231652 memory=140644072914096 CPUtime=0 cores=0-7
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216767097872 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11832] ppid=11820 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 10859 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446548262 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216607303792 140217223215746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11833] ppid=11820 vsize=28231652 memory=281288145842064 CPUtime=0 cores=0-7
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 10859 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446548262 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216606249760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11834] ppid=11820 vsize=28231652 memory=281288145839760 CPUtime=0 cores=0-7
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 10859 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446548262 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216605197424 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11835] ppid=11820 vsize=28231652 memory=281288145846672 CPUtime=0 cores=0-7
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548265 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216604145744 140217223223195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11836] ppid=11820 vsize=28231652 memory=281288145787952 CPUtime=0.02 cores=0-7
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 10859 0 -1 1077944384 578 0 0 0 2 0 0 0 20 0 20 0 446548265 28909211648 12140 33554432000 4194304 4196468 140731699373472 140216603093616 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11837] ppid=11820 vsize=28231652 memory=281288145860496 CPUtime=0.03 cores=0-7
/proc/11822/task/11837/stat : 11837 (java) S 11820 11820 10859 0 -1 1077944384 157 0 0 0 3 0 0 0 20 0 20 0 446548265 28909211648 12206 33554432000 4194304 4196468 140731699373472 140216602040816 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11838] ppid=11820 vsize=28231652 memory=281288145867408 CPUtime=0.02 cores=0-7
/proc/11822/task/11838/stat : 11838 (java) R 11820 11820 10859 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 20 0 446548265 28909211648 12206 33554432000 4194304 4196468 140731699373472 140216600969544 140217203904896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11839] ppid=11820 vsize=28231652 memory=281288145865104 CPUtime=0.12 cores=0-7
/proc/11822/task/11839/stat : 11839 (java) S 11820 11820 10859 0 -1 1077944384 1127 0 0 0 12 0 0 0 20 0 20 0 446548265 28909211648 12206 33554432000 4194304 4196468 140731699373472 140216599935728 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11840] ppid=11820 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11840/stat : 11840 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446548265 28909211648 12206 33554432000 4194304 4196468 140731699373472 140216598882656 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11841] ppid=11820 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11822/task/11841/stat : 11841 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548265 28909211648 12206 33554432000 4194304 4196468 140731699373472 140216597829936 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50012 KiB

[startup+0.70101 s]
/proc/loadavg: 5.33 2.26 2.07 3/211 11841
/proc/meminfo: memFree=30252512/32770624 swapFree=66967456/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548259 115843072 363 33554432000 4194304 5098028 140723890557872 140723890555976 139927334605436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20566016 140723890561910 140723890562153 140723890562153 140723890565066 0
/proc/11820/statm: 28282 363 304 221 0 87 0
[pid=11822] ppid=11820 vsize=28233776 memory=110064 CPUtime=1.75 cores=0-7
/proc/11822/stat : 11822 (java) S 11820 11820 10859 0 -1 1077944320 15109 0 0 0 170 5 0 0 20 0 20 0 446548259 28911386624 27516 33554432000 4194304 4196468 140731699373472 140731699356016 140217223204599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
/proc/11822/statm: 7058444 27516 3446 1 0 7019544 0
[pid=11822/tid=11823] ppid=11820 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 10859 0 -1 4202560 8540 0 0 0 64 3 0 0 20 0 20 0 446548259 28911386624 27516 33554432000 4194304 4196468 140731699373472 140217227440320 140216863603935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11824] ppid=11820 vsize=28233776 memory=140644073120624 CPUtime=0 cores=0-7
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28911386624 27516 33554432000 4194304 4196468 140731699373472 140217195047312 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11825] ppid=11820 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 10859 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446548260 28911386624 27516 33554432000 4194304 4196468 140731699373472 140216773413136 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11826] ppid=11820 vsize=28233776 memory=1192 CPUtime=0 cores=0-7
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446548260 28911386624 27516 33554432000 4194304 4196468 140731699373472 140216772360848 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0

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

[pid=11822/tid=11839] ppid=11820 vsize=28766288 memory=4068 CPUtime=0.6 cores=0-7
/proc/11822/task/11839/stat : 11839 (java) S 11820 11820 10859 0 -1 1077944384 3645 0 0 0 60 0 0 0 20 0 28 0 446548265 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216599935728 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11840] ppid=11820 vsize=28766288 memory=1720 CPUtime=0 cores=0-7
/proc/11822/task/11840/stat : 11840 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216598882656 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11841] ppid=11820 vsize=28766288 memory=5948 CPUtime=0 cores=0-7
/proc/11822/task/11841/stat : 11841 (java) R 11820 11820 10859 0 -1 1077944384 665 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216597829936 140217223215746 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11842] ppid=11820 vsize=28766288 memory=10564 CPUtime=3.28 cores=0-7
/proc/11822/task/11842/stat : 11842 (java) R 11820 11820 10859 0 -1 4202560 122 0 0 0 328 0 0 0 20 0 28 0 446548451 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216590947384 140216866319414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11843] ppid=11820 vsize=28766288 memory=716 CPUtime=3.43 cores=0-7
/proc/11822/task/11843/stat : 11843 (java) R 11820 11820 10859 0 -1 4202560 182 0 0 0 343 0 0 0 20 0 28 0 446548457 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216251699096 140216865955785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11844] ppid=11820 vsize=28766288 memory=780 CPUtime=3.39 cores=0-7
/proc/11822/task/11844/stat : 11844 (java) R 11820 11820 10859 0 -1 4202560 712 0 0 0 339 0 0 0 20 0 28 0 446548457 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216250649256 140216865955862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11845] ppid=11820 vsize=28766288 memory=0 CPUtime=3.4 cores=0-7
/proc/11822/task/11845/stat : 11845 (java) R 11820 11820 10859 0 -1 4202560 219 0 0 0 340 0 0 0 20 0 28 0 446548457 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216249595768 140216866319254 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11846] ppid=11820 vsize=28766288 memory=50766513462367 CPUtime=3.24 cores=0-7
/proc/11822/task/11846/stat : 11846 (java) R 11820 11820 10859 0 -1 4202560 106 0 0 0 324 0 0 0 20 0 28 0 446548457 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216248544024 140216865955785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11847] ppid=11820 vsize=28766288 memory=50766513462368 CPUtime=3.13 cores=0-7
/proc/11822/task/11847/stat : 11847 (java) R 11820 11820 10859 0 -1 4202560 184 0 0 0 311 2 0 0 20 0 28 0 446548457 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216247491056 140216865955627 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11848] ppid=11820 vsize=28766288 memory=50766513462369 CPUtime=3.23 cores=0-7
/proc/11822/task/11848/stat : 11848 (java) R 11820 11820 10859 0 -1 4202560 156 0 0 0 323 0 0 0 20 0 28 0 446548457 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216246435608 140216865955759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11849] ppid=11820 vsize=28766288 memory=50766513462370 CPUtime=3.48 cores=0-7
/proc/11822/task/11849/stat : 11849 (java) R 11820 11820 10859 0 -1 4202560 141 0 0 0 348 0 0 0 20 0 28 0 446548457 29456678912 120462 33554432000 4194304 4196468 140731699373472 140216245382808 140216865955656 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
Current children cumulated CPU time: 33.85 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 483300 KiB

[startup+5.80137 s]
/proc/loadavg: 5.33 2.26 2.07 9/219 11849
/proc/meminfo: memFree=29836344/32770624 swapFree=66967456/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548259 115843072 363 33554432000 4194304 5098028 140723890557872 140723890555976 139927334605436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20566016 140723890561910 140723890562153 140723890562153 140723890565066 0
/proc/11820/statm: 28282 363 304 221 0 87 0
[pid=11822] ppid=11820 vsize=28766288 memory=481888 CPUtime=35.45 cores=0-7
/proc/11822/stat : 11822 (java) S 11820 11820 10859 0 -1 1077944320 30040 0 0 0 3487 58 0 0 20 0 28 0 446548259 29456678912 120472 33554432000 4194304 4196468 140731699373472 140731699356016 140217223204599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
/proc/11822/statm: 7191572 120472 3525 1 0 7152672 0
[pid=11822/tid=11823] ppid=11820 vsize=28766288 memory=50766513462373 CPUtime=1.84 cores=0-7
/proc/11822/task/11823/stat : 11823 (java) S 11820 11820 10859 0 -1 1077944384 9221 0 0 0 178 6 0 0 20 0 28 0 446548259 29456678912 120472 33554432000 4194304 4196468 140731699373472 140217227445376 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11824] ppid=11820 vsize=28766288 memory=50766513462374 CPUtime=0.1 cores=0-7
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 10859 0 -1 1077944384 151 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140217195047312 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11825] ppid=11820 vsize=28766288 memory=50766513462375 CPUtime=0.1 cores=0-7
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 10859 0 -1 1077944384 155 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216773413136 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11826] ppid=11820 vsize=28766288 memory=50766513462376 CPUtime=0.09 cores=0-7
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 10859 0 -1 1077944384 110 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216772360848 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11827] ppid=11820 vsize=28766288 memory=50766513462377 CPUtime=0.09 cores=0-7
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 10859 0 -1 1077944384 124 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216771308048 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11828] ppid=11820 vsize=28766288 memory=50766513462378 CPUtime=0.09 cores=0-7
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 10859 0 -1 1077944384 210 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216770255760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11829] ppid=11820 vsize=28766288 memory=50766513462379 CPUtime=0.1 cores=0-7
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 10859 0 -1 1077944384 171 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216769202960 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11830] ppid=11820 vsize=28766288 memory=50766513462380 CPUtime=0.09 cores=0-7
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 10859 0 -1 1077944384 173 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216768150672 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11831] ppid=11820 vsize=28766288 memory=50766513462381 CPUtime=0.1 cores=0-7
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 10859 0 -1 1077944384 195 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216767097872 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11832] ppid=11820 vsize=28766288 memory=50766513462382 CPUtime=0 cores=0-7
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 10859 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 28 0 446548262 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216607303792 140217223215746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11833] ppid=11820 vsize=28766288 memory=50766513462383 CPUtime=0 cores=0-7
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 10859 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446548262 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216606249824 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11834] ppid=11820 vsize=28766288 memory=50766513462384 CPUtime=0 cores=0-7
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 10859 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446548262 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216605197440 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11835] ppid=11820 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216604145744 140217223223195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11836] ppid=11820 vsize=28766288 memory=140644073310224 CPUtime=1.27 cores=0-7
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 10859 0 -1 1077944384 4468 0 0 0 126 1 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216603093616 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11837] ppid=11820 vsize=28766288 memory=0 CPUtime=1.21 cores=0-7
/proc/11822/task/11837/stat : 11837 (java) S 11820 11820 10859 0 -1 1077944384 3536 0 0 0 120 1 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216602040816 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11838] ppid=11820 vsize=28766288 memory=0 CPUtime=1.4 cores=0-7
/proc/11822/task/11838/stat : 11838 (java) S 11820 11820 10859 0 -1 1077944384 3586 0 0 0 139 1 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216600988528 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11839] ppid=11820 vsize=28766288 memory=0 CPUtime=0.6 cores=0-7
/proc/11822/task/11839/stat : 11839 (java) S 11820 11820 10859 0 -1 1077944384 3645 0 0 0 60 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216599935728 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11840] ppid=11820 vsize=28766288 memory=1552 CPUtime=0 cores=0-7
/proc/11822/task/11840/stat : 11840 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216598882656 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11841] ppid=11820 vsize=28766288 memory=2832 CPUtime=0 cores=0-7
/proc/11822/task/11841/stat : 11841 (java) S 11820 11820 10859 0 -1 1077944384 665 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216597829936 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11842] ppid=11820 vsize=28766288 memory=1192 CPUtime=3.48 cores=0-7
/proc/11822/task/11842/stat : 11842 (java) R 11820 11820 10859 0 -1 4202560 122 0 0 0 348 0 0 0 20 0 28 0 446548451 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216590947384 140216865955710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11843] ppid=11820 vsize=28766288 memory=940 CPUtime=3.63 cores=0-7
/proc/11822/task/11843/stat : 11843 (java) R 11820 11820 10859 0 -1 4202560 182 0 0 0 363 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216251699096 140216865955838 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11844] ppid=11820 vsize=28766288 memory=14008 CPUtime=3.58 cores=0-7
/proc/11822/task/11844/stat : 11844 (java) R 11820 11820 10859 0 -1 4202560 728 0 0 0 358 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216250647656 140216865955598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11845] ppid=11820 vsize=28766288 memory=12040 CPUtime=3.6 cores=0-7
/proc/11822/task/11845/stat : 11845 (java) R 11820 11820 10859 0 -1 4202560 219 0 0 0 360 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216249595768 140216865955754 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11846] ppid=11820 vsize=28766288 memory=23952 CPUtime=3.44 cores=0-7
/proc/11822/task/11846/stat : 11846 (java) R 11820 11820 10859 0 -1 4202560 106 0 0 0 344 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216248544024 140216865955809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11847] ppid=11820 vsize=28766288 memory=2120 CPUtime=3.33 cores=0-7
/proc/11822/task/11847/stat : 11847 (java) R 11820 11820 10859 0 -1 4202560 184 0 0 0 331 2 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216247491056 140216866393730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11848] ppid=11820 vsize=28766288 memory=500 CPUtime=3.43 cores=0-7
/proc/11822/task/11848/stat : 11848 (java) R 11820 11820 10859 0 -1 4202560 156 0 0 0 343 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216246435608 140216865955574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11849] ppid=11820 vsize=28766288 memory=1556 CPUtime=3.68 cores=0-7
/proc/11822/task/11849/stat : 11849 (java) R 11820 11820 10859 0 -1 4202560 141 0 0 0 368 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216245382808 140216865955759 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
Current children cumulated CPU time: 35.45 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 483340 KiB

[startup+5.90137 s]
/proc/loadavg: 5.33 2.26 2.07 9/219 11849
/proc/meminfo: memFree=29836344/32770624 swapFree=66967456/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 10859 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446548259 115843072 363 33554432000 4194304 5098028 140723890557872 140723890555976 139927334605436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20566016 140723890561910 140723890562153 140723890562153 140723890565066 0
/proc/11820/statm: 28282 363 304 221 0 87 0
[pid=11822] ppid=11820 vsize=28766288 memory=481888 CPUtime=36.24 cores=0-7
/proc/11822/stat : 11822 (java) S 11820 11820 10859 0 -1 1077944320 30040 0 0 0 3566 58 0 0 20 0 28 0 446548259 29456678912 120472 33554432000 4194304 4196468 140731699373472 140731699356016 140217223204599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
/proc/11822/statm: 7191572 120472 3525 1 0 7152672 0
[pid=11822/tid=11823] ppid=11820 vsize=28766288 memory=1452 CPUtime=1.84 cores=0-7
/proc/11822/task/11823/stat : 11823 (java) S 11820 11820 10859 0 -1 1077944384 9221 0 0 0 178 6 0 0 20 0 28 0 446548259 29456678912 120472 33554432000 4194304 4196468 140731699373472 140217227445376 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11824] ppid=11820 vsize=28766288 memory=481848 CPUtime=0.1 cores=0-7
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 10859 0 -1 1077944384 151 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140217195047312 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11825] ppid=11820 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 10859 0 -1 1077944384 155 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216773413136 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11826] ppid=11820 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 10859 0 -1 1077944384 110 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216772360848 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11827] ppid=11820 vsize=28766288 memory=3145 CPUtime=0.09 cores=0-7
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 10859 0 -1 1077944384 124 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216771308048 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11828] ppid=11820 vsize=28766288 memory=184 CPUtime=0.09 cores=0-7
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 10859 0 -1 1077944384 210 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216770255760 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11829] ppid=11820 vsize=28766288 memory=1452 CPUtime=0.1 cores=0-7
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 10859 0 -1 1077944384 171 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216769202960 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11830] ppid=11820 vsize=28766288 memory=322712 CPUtime=0.09 cores=0-7
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 10859 0 -1 1077944384 173 0 0 0 4 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216768150672 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11831] ppid=11820 vsize=28766288 memory=-7022074515825631275 CPUtime=0.1 cores=0-7
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 10859 0 -1 1077944384 195 0 0 0 5 5 0 0 20 0 28 0 446548260 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216767097872 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11832] ppid=11820 vsize=28766288 memory=8562125494162282060 CPUtime=0 cores=0-7
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 10859 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 28 0 446548262 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216607303792 140217223215746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11833] ppid=11820 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 10859 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446548262 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216606249824 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11834] ppid=11820 vsize=28766288 memory=576460758266962493 CPUtime=0 cores=0-7
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 10859 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446548262 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216605197440 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11835] ppid=11820 vsize=28766288 memory=288283372642644482 CPUtime=0 cores=0-7
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 10859 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216604145744 140217223223195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11836] ppid=11820 vsize=28766288 memory=7447439 CPUtime=1.27 cores=0-7
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 10859 0 -1 1077944384 4468 0 0 0 126 1 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216603093616 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11837] ppid=11820 vsize=28766288 memory=56 CPUtime=1.21 cores=0-7
/proc/11822/task/11837/stat : 11837 (java) S 11820 11820 10859 0 -1 1077944384 3536 0 0 0 120 1 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216602040816 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11838] ppid=11820 vsize=28766288 memory=9252 CPUtime=1.4 cores=0-7
/proc/11822/task/11838/stat : 11838 (java) S 11820 11820 10859 0 -1 1077944384 3586 0 0 0 139 1 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216600988528 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11839] ppid=11820 vsize=28766288 memory=21069 CPUtime=0.61 cores=0-7
/proc/11822/task/11839/stat : 11839 (java) S 11820 11820 10859 0 -1 1077944384 3645 0 0 0 61 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216599935728 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11840] ppid=11820 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11822/task/11840/stat : 11840 (java) S 11820 11820 10859 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216598882656 140217223214805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11841] ppid=11820 vsize=28766288 memory=56 CPUtime=0 cores=0-7
/proc/11822/task/11841/stat : 11841 (java) S 11820 11820 10859 0 -1 1077944384 665 0 0 0 0 0 0 0 20 0 28 0 446548265 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216597829936 140217223215746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11842] ppid=11820 vsize=28766288 memory=0 CPUtime=3.58 cores=0-7
/proc/11822/task/11842/stat : 11842 (java) R 11820 11820 10859 0 -1 4202560 122 0 0 0 358 0 0 0 20 0 28 0 446548451 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216590947384 140216865955690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11843] ppid=11820 vsize=28766288 memory=0 CPUtime=3.73 cores=0-7
/proc/11822/task/11843/stat : 11843 (java) R 11820 11820 10859 0 -1 4202560 182 0 0 0 373 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216251699096 140216865955485 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11844] ppid=11820 vsize=28766288 memory=0 CPUtime=3.68 cores=0-7
/proc/11822/task/11844/stat : 11844 (java) R 11820 11820 10859 0 -1 4202560 728 0 0 0 368 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216250647656 140216865955627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11845] ppid=11820 vsize=28766288 memory=1452 CPUtime=3.7 cores=0-7
/proc/11822/task/11845/stat : 11845 (java) R 11820 11820 10859 0 -1 4202560 219 0 0 0 370 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216249595768 140216865955710 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11846] ppid=11820 vsize=28766288 memory=485824 CPUtime=3.54 cores=0-7
/proc/11822/task/11846/stat : 11846 (java) R 11820 11820 10859 0 -1 4202560 106 0 0 0 354 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216248544024 140216865955505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11847] ppid=11820 vsize=28766288 memory=7590929761974511977 CPUtime=3.43 cores=0-7
/proc/11822/task/11847/stat : 11847 (java) R 11820 11820 10859 0 -1 4202560 184 0 0 0 341 2 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216247491056 140216866331660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11848] ppid=11820 vsize=28766288 memory=7445697482918945124 CPUtime=3.53 cores=0-7
/proc/11822/task/11848/stat : 11848 (java) R 11820 11820 10859 0 -1 4202560 156 0 0 0 353 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216246435608 140216865955759 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
[pid=11822/tid=11849] ppid=11820 vsize=28766288 memory=7741518865805635171 CPUtime=3.78 cores=0-7
/proc/11822/task/11849/stat : 11849 (java) R 11820 11820 10859 0 -1 4202560 141 0 0 0 378 0 0 0 20 0 28 0 446548457 29456678912 120472 33554432000 4194304 4196468 140731699373472 140216245382808 140216865955819 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35786752 140731699377130 140731699377302 140731699377302 140731699380175 0
Current children cumulated CPU time: 36.24 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 483340 KiB

Child status: 0
Real time (s): 5.98988
CPU time (s): 36.5767
CPU user time (s): 35.9799
CPU system time (s): 0.596787
CPU usage (%): 610.641
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 487684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.9799
system time used= 0.596787
maximum resident set size= 486236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4108
involuntary context switches= 771


# summary of solver processes directly reported to runsolver:
#   pid: 11820
#   total CPU time (s): 36.5767
#   total CPU user time (s): 35.9799
#   total CPU system time (s): 0.596787

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065269 second user time and 0.111889 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
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	7.06352
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4399538

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
