2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	OPT	3	13.947	3.52991
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 (14744 MiB free)
  memory of node 1: 16384 MiB (15169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394369-1568419600/watcher-4394369-1568419600 -o /tmp/evaluation-result-4394369-1568419600/solver-4394369-1568419600 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1915895647 HOME/instance-4394369-1568419600.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=15372, runsolver pid=15369

[startup+0.100115 s]*
/proc/loadavg: 6.99 7.62 6.31 2/212 15393
/proc/meminfo: memFree=30616140/32770624 swapFree=66997544/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15372/stat : 15372 (xcsp3-exec) S 15369 15372 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214688 115843072 363 33554432000 4194304 5098028 140723512470848 140723512468952 140634860061308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31006720 140723512476533 140723512476777 140723512476777 140723512479690 0
/proc/15372/statm: 28282 363 304 221 0 87 0
[pid=15374] ppid=15372 vsize=28227388 memory=29528 CPUtime=0.13 cores=0-7
/proc/15374/stat : 15374 (java) S 15372 15372 12749 0 -1 1077944320 5856 0 0 0 11 2 0 0 20 0 20 0 418214688 28904845312 7382 33554432000 4194304 4196468 140730483760208 140730483742752 140623537069815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
/proc/15374/statm: 7056847 7382 3115 1 0 7019032 0
[pid=15374/tid=15375] ppid=15372 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) R 15372 15372 12749 0 -1 4202560 3759 0 0 0 8 1 0 0 20 0 20 0 418214689 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623541306240 140623537091741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15376] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623489690000 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15377] ppid=15372 vsize=28227388 memory=288370014250251904 CPUtime=0 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623488637200 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15378] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623487584912 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15379] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623486532112 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15380] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623485479824 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15381] ppid=15372 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623484427024 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15382] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623483374736 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15383] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 7382 33554432000 4194304 4196468 140730483760208 140623482321936 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15384] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214691 28904845312 7382 33554432000 4194304 4196468 140730483760208 140622202538096 140623537080962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15385] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15372 15372 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418214691 28904845312 7382 33554432000 4194304 4196468 140730483760208 140622201484064 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15386] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15372 15372 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418214692 28904845312 7382 33554432000 4194304 4196468 140730483760208 140622200431728 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15387] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 7382 33554432000 4194304 4196468 140730483760208 140622199380048 140623537088411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15388] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) S 15372 15372 12749 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 7382 33554432000 4194304 4196468 140730483760208 140622198327920 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15389] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 7382 33554432000 4194304 4196468 140730483760208 140622197275120 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15390] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) S 15372 15372 12749 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 7382 33554432000 4194304 4196468 140730483760208 140621351050096 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15391] ppid=15372 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) R 15372 15372 12749 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 418214694 28904845312 7382 33554432000 4194304 4196468 140730483760208 140621349997296 140623537091162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15392] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 7382 33554432000 4194304 4196468 140730483760208 140621348944224 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15393] ppid=15372 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214695 28904845312 7382 33554432000 4194304 4196468 140730483760208 140621347891504 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30980 KiB

[startup+0.210382 s]*
/proc/loadavg: 6.99 7.62 6.31 2/212 15393
/proc/meminfo: memFree=30603148/32770624 swapFree=66997544/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15372/stat : 15372 (xcsp3-exec) S 15369 15372 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214688 115843072 363 33554432000 4194304 5098028 140723512470848 140723512468952 140634860061308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31006720 140723512476533 140723512476777 140723512476777 140723512479690 0
/proc/15372/statm: 28282 363 304 221 0 87 0
[pid=15374] ppid=15372 vsize=28227388 memory=40944 CPUtime=0.33 cores=0-7
/proc/15374/stat : 15374 (java) S 15372 15372 12749 0 -1 1077944320 9514 0 0 0 29 4 0 0 20 0 20 0 418214688 28904845312 10236 33554432000 4194304 4196468 140730483760208 140730483742752 140623537069815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
/proc/15374/statm: 7056847 10236 3281 1 0 7019032 0
[pid=15374/tid=15375] ppid=15372 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) R 15372 15372 12749 0 -1 4202560 6647 0 0 0 17 3 0 0 20 0 20 0 418214689 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623541300464 140623537081750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15376] ppid=15372 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623489690000 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15377] ppid=15372 vsize=28227388 memory=139638098553206 CPUtime=0 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623488637200 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15378] ppid=15372 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623487584912 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15379] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623486532112 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15380] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623485479824 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15381] ppid=15372 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623484427024 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15382] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623483374736 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15383] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28904845312 10236 33554432000 4194304 4196468 140730483760208 140623482321936 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15384] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15372 15372 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418214691 28904845312 10236 33554432000 4194304 4196468 140730483760208 140622202538096 140623537080962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15385] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15372 15372 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418214691 28904845312 10236 33554432000 4194304 4196468 140730483760208 140622201484064 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15386] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15372 15372 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418214692 28904845312 10236 33554432000 4194304 4196468 140730483760208 140622200431728 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15387] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 10236 33554432000 4194304 4196468 140730483760208 140622199380048 140623537088411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15388] ppid=15372 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) S 15372 15372 12749 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 418214694 28904845312 10236 33554432000 4194304 4196468 140730483760208 140622198327920 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15389] ppid=15372 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) S 15372 15372 12749 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 418214694 28904845312 10236 33554432000 4194304 4196468 140730483760208 140622197275120 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15390] ppid=15372 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) S 15372 15372 12749 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 10236 33554432000 4194304 4196468 140730483760208 140621351050096 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15391] ppid=15372 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) R 15372 15372 12749 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 20 0 418214694 28904845312 10236 33554432000 4194304 4196468 140730483760208 140621349997296 140623515939090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15392] ppid=15372 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214694 28904845312 10236 33554432000 4194304 4196468 140730483760208 140621348944224 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15393] ppid=15372 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214695 28904845312 10236 33554432000 4194304 4196468 140730483760208 140621347891504 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42396 KiB

[startup+0.309578 s]*
/proc/loadavg: 6.99 7.62 6.31 5/212 15393
/proc/meminfo: memFree=30596276/32770624 swapFree=66997544/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15372/stat : 15372 (xcsp3-exec) S 15369 15372 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214688 115843072 363 33554432000 4194304 5098028 140723512470848 140723512468952 140634860061308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31006720 140723512476533 140723512476777 140723512476777 140723512479690 0
/proc/15372/statm: 28282 363 304 221 0 87 0
[pid=15374] ppid=15372 vsize=28231644 memory=50084 CPUtime=0.51 cores=0-7
/proc/15374/stat : 15374 (java) S 15372 15372 12749 0 -1 1077944320 10859 0 0 0 47 4 0 0 20 0 20 0 418214688 28909203456 12521 33554432000 4194304 4196468 140730483760208 140730483742752 140623537069815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
/proc/15374/statm: 7057911 12521 3369 1 0 7019032 0
[pid=15374/tid=15375] ppid=15372 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) R 15372 15372 12749 0 -1 4202560 7769 0 0 0 26 3 0 0 20 0 20 0 418214689 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623541300928 140623521150302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15376] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623489690000 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15377] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623488637200 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15378] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623487584912 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15379] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623486532112 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15380] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623485479824 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15381] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623484427024 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15382] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623483374736 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15383] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28909203456 12521 33554432000 4194304 4196468 140730483760208 140623482321936 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15384] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15372 15372 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418214691 28909203456 12521 33554432000 4194304 4196468 140730483760208 140622202538096 140623537080962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15385] ppid=15372 vsize=28231644 memory=279275953659264 CPUtime=0 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15372 15372 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418214691 28909203456 12521 33554432000 4194304 4196468 140730483760208 140622201484064 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15386] ppid=15372 vsize=28231644 memory=279275953663872 CPUtime=0 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15372 15372 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418214692 28909203456 12521 33554432000 4194304 4196468 140730483760208 140622200431728 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15387] ppid=15372 vsize=28231644 memory=279275953668480 CPUtime=0 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214694 28909203456 12521 33554432000 4194304 4196468 140730483760208 140622199380048 140623537088411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15388] ppid=15372 vsize=28231644 memory=279275953673088 CPUtime=0.02 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) S 15372 15372 12749 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 20 0 418214694 28909203456 12521 33554432000 4194304 4196468 140730483760208 140622198327920 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15389] ppid=15372 vsize=28231644 memory=279275953677696 CPUtime=0.03 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) R 15372 15372 12749 0 -1 4202560 199 0 0 0 3 0 0 0 20 0 20 0 418214694 28909203456 12521 33554432000 4194304 4196468 140730483760208 140622197265504 140623516327424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15390] ppid=15372 vsize=28231644 memory=279275953682304 CPUtime=0.02 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) S 15372 15372 12749 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 20 0 418214694 28909203456 12521 33554432000 4194304 4196468 140730483760208 140621351050096 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15391] ppid=15372 vsize=28231644 memory=279275953686912 CPUtime=0.12 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) S 15372 15372 12749 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 418214694 28909203456 12521 33554432000 4194304 4196468 140730483760208 140621349997296 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15392] ppid=15372 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214694 28909203456 12521 33554432000 4194304 4196468 140730483760208 140621348944224 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15393] ppid=15372 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214695 28909203456 12521 33554432000 4194304 4196468 140730483760208 140621347891504 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51536 KiB

[startup+0.700976 s]
/proc/loadavg: 6.99 7.62 6.31 4/212 15393
/proc/meminfo: memFree=30574704/32770624 swapFree=66997544/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15372/stat : 15372 (xcsp3-exec) S 15369 15372 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214688 115843072 363 33554432000 4194304 5098028 140723512470848 140723512468952 140634860061308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31006720 140723512476533 140723512476777 140723512476777 140723512479690 0
/proc/15372/statm: 28282 363 304 221 0 87 0
[pid=15374] ppid=15372 vsize=28233768 memory=111184 CPUtime=1.92 cores=0-7
/proc/15374/stat : 15374 (java) S 15372 15372 12749 0 -1 1077944320 15412 0 0 0 186 6 0 0 20 0 20 0 418214688 28911378432 27796 33554432000 4194304 4196468 140730483760208 140730483742752 140623537069815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
/proc/15374/statm: 7058442 27796 3448 1 0 7019544 0
[pid=15374/tid=15375] ppid=15372 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) R 15372 15372 12749 0 -1 4202560 8412 0 0 0 63 4 0 0 20 0 20 0 418214689 28911378432 27796 33554432000 4194304 4196468 140730483760208 140623541306736 140623155483194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15376] ppid=15372 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28911378432 27796 33554432000 4194304 4196468 140730483760208 140623489690000 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15377] ppid=15372 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15372 15372 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214690 28911378432 27796 33554432000 4194304 4196468 140730483760208 140623488637200 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15378] ppid=15372 vsize=28233768 memory=4008 CPUtime=0 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214690 28911378432 27796 33554432000 4194304 4196468 140730483760208 140623487584912 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0

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

[pid=15374/tid=15375] ppid=15372 vsize=28768328 memory=7100839878645814387 CPUtime=2.74 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) S 15372 15372 12749 0 -1 1077944384 11568 0 0 0 264 10 0 0 20 0 28 0 418214689 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623541310592 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15376] ppid=15372 vsize=28768328 memory=3054156605369196431 CPUtime=0.1 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15372 15372 12749 0 -1 1077944384 150 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623489690000 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15377] ppid=15372 vsize=28768328 memory=1808 CPUtime=0.1 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15372 15372 12749 0 -1 1077944384 171 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623488637200 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15378] ppid=15372 vsize=28768328 memory=920 CPUtime=0.1 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15372 15372 12749 0 -1 1077944384 181 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623487584912 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15379] ppid=15372 vsize=28768328 memory=4768 CPUtime=0.09 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15372 15372 12749 0 -1 1077944384 153 0 0 0 7 2 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623486532112 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15380] ppid=15372 vsize=28768328 memory=4104 CPUtime=0.09 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15372 15372 12749 0 -1 1077944384 139 0 0 0 7 2 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623485479824 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15381] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15372 15372 12749 0 -1 1077944384 173 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623484427024 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15382] ppid=15372 vsize=28768328 memory=11204 CPUtime=0.11 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15372 15372 12749 0 -1 1077944384 295 0 0 0 8 3 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623483374736 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15383] ppid=15372 vsize=28768328 memory=7679937539659563795 CPUtime=0.1 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15372 15372 12749 0 -1 1077944384 587 0 0 0 6 4 0 0 20 0 28 0 418214690 29458767872 163898 33554432000 4194304 4196468 140730483760208 140623482321936 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15384] ppid=15372 vsize=28768328 memory=-7173504570860347296 CPUtime=0.01 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15372 15372 12749 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 28 0 418214691 29458767872 163898 33554432000 4194304 4196468 140730483760208 140622202538096 140623537080962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15385] ppid=15372 vsize=28768328 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15372 15372 12749 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 418214691 29458767872 163898 33554432000 4194304 4196468 140730483760208 140622201484128 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15386] ppid=15372 vsize=28768328 memory=279275953542128 CPUtime=0 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15372 15372 12749 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418214692 29458767872 163898 33554432000 4194304 4196468 140730483760208 140622200431744 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15387] ppid=15372 vsize=28768328 memory=68178310859498 CPUtime=0 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418214694 29458767872 163898 33554432000 4194304 4196468 140730483760208 140622199380048 140623537088411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15388] ppid=15372 vsize=28768328 memory=68182605826794 CPUtime=1.95 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) R 15372 15372 12749 0 -1 4202560 6453 0 0 0 193 2 0 0 20 0 28 0 418214694 29458767872 163898 33554432000 4194304 4196468 140730483760208 140622198314464 140623518614289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15389] ppid=15372 vsize=28768328 memory=68195490728682 CPUtime=1.8 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) R 15372 15372 12749 0 -1 4202560 7616 0 0 0 179 1 0 0 20 0 28 0 418214694 29458767872 163898 33554432000 4194304 4196468 140730483760208 140622197275416 140623520457037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15390] ppid=15372 vsize=28768328 memory=68204080663274 CPUtime=1.82 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) R 15372 15372 12749 0 -1 4202560 4721 0 0 0 181 1 0 0 20 0 28 0 418214694 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621351036064 140623517770430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15391] ppid=15372 vsize=28768328 memory=135991549495041 CPUtime=0.69 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) R 15372 15372 12749 0 -1 4202560 2781 0 0 0 69 0 0 0 20 0 28 0 418214694 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621349997296 140623515727153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15392] ppid=15372 vsize=28768328 memory=279275953649680 CPUtime=0 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418214694 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621348944224 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15393] ppid=15372 vsize=28768328 memory=68204080663274 CPUtime=0 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15372 15372 12749 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 418214695 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621347891504 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15394] ppid=15372 vsize=28768328 memory=68204080663274 CPUtime=0.18 cores=0-7
/proc/15374/task/15394/stat : 15394 (java) R 15372 15372 12749 0 -1 4202560 75 0 0 0 18 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621336822344 140623151767270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15395] ppid=15372 vsize=28768328 memory=68204080663274 CPUtime=0.22 cores=0-7
/proc/15374/task/15395/stat : 15395 (java) R 15372 15372 12749 0 -1 4202560 50 0 0 0 22 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621335772648 140623151765663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15396] ppid=15372 vsize=28768328 memory=1380 CPUtime=0.19 cores=0-7
/proc/15374/task/15396/stat : 15396 (java) R 15372 15372 12749 0 -1 4202560 109 0 0 0 19 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621334718576 140623151770672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15397] ppid=15372 vsize=28768328 memory=1128 CPUtime=0.21 cores=0-7
/proc/15374/task/15397/stat : 15397 (java) R 15372 15372 12749 0 -1 4202560 74 0 0 0 21 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621333665096 140623151767284 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15398] ppid=15372 vsize=28768328 memory=772 CPUtime=0.16 cores=0-7
/proc/15374/task/15398/stat : 15398 (java) R 15372 15372 12749 0 -1 4202560 27 0 0 0 16 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621332611208 140623160179523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15399] ppid=15372 vsize=28768328 memory=4008 CPUtime=0.23 cores=0-7
/proc/15374/task/15399/stat : 15399 (java) R 15372 15372 12749 0 -1 4202560 37 0 0 0 23 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621331561512 140623151765693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15400] ppid=15372 vsize=28768328 memory=948 CPUtime=0.27 cores=0-7
/proc/15374/task/15400/stat : 15400 (java) R 15372 15372 12749 0 -1 4202560 27 0 0 0 27 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621330506432 140623151767270 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15401] ppid=15372 vsize=28768328 memory=2832 CPUtime=0.22 cores=0-7
/proc/15374/task/15401/stat : 15401 (java) R 15372 15372 12749 0 -1 4202560 29 0 0 0 22 0 0 0 20 0 28 0 418214975 29458767872 163898 33554432000 4194304 4196468 140730483760208 140621329451544 140623151767270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
Current children cumulated CPU time: 11.63 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 657044 KiB

[startup+3.40131 s]
/proc/loadavg: 6.99 7.62 6.31 12/220 15401
/proc/meminfo: memFree=29991340/32770624 swapFree=66997544/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15372/stat : 15372 (xcsp3-exec) S 15369 15372 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214688 115843072 363 33554432000 4194304 5098028 140723512470848 140723512468952 140634860061308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31006720 140723512476533 140723512476777 140723512476777 140723512479690 0
/proc/15372/statm: 28282 363 304 221 0 87 0
[pid=15374] ppid=15372 vsize=28768328 memory=658880 CPUtime=13.13 cores=0-7
/proc/15374/stat : 15374 (java) S 15372 15372 12749 0 -1 1077944320 38515 0 0 0 1269 44 0 0 20 0 28 0 418214688 29458767872 164720 33554432000 4194304 4196468 140730483760208 140730483742752 140623537069815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
/proc/15374/statm: 7192082 164720 3523 1 0 7153184 0
[pid=15374/tid=15375] ppid=15372 vsize=28768328 memory=0 CPUtime=2.75 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) S 15372 15372 12749 0 -1 1077944384 11580 0 0 0 265 10 0 0 20 0 28 0 418214689 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623541310592 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15376] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15372 15372 12749 0 -1 1077944384 150 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623489690000 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15377] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15372 15372 12749 0 -1 1077944384 171 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623488637200 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15378] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15372 15372 12749 0 -1 1077944384 181 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623487584912 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15379] ppid=15372 vsize=28768328 memory=2244 CPUtime=0.09 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15372 15372 12749 0 -1 1077944384 153 0 0 0 7 2 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623486532112 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15380] ppid=15372 vsize=28768328 memory=33 CPUtime=0.09 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15372 15372 12749 0 -1 1077944384 139 0 0 0 7 2 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623485479824 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15381] ppid=15372 vsize=28768328 memory=6369045797134815337 CPUtime=0.1 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15372 15372 12749 0 -1 1077944384 173 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623484427024 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15382] ppid=15372 vsize=28768328 memory=7649399384315213105 CPUtime=0.11 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15372 15372 12749 0 -1 1077944384 295 0 0 0 8 3 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623483374736 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15383] ppid=15372 vsize=28768328 memory=4294969504 CPUtime=0.1 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15372 15372 12749 0 -1 1077944384 587 0 0 0 6 4 0 0 20 0 28 0 418214690 29458767872 164720 33554432000 4194304 4196468 140730483760208 140623482321936 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15384] ppid=15372 vsize=28768328 memory=7396 CPUtime=0.01 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15372 15372 12749 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 28 0 418214691 29458767872 164720 33554432000 4194304 4196468 140730483760208 140622202538096 140623537080962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15385] ppid=15372 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15372 15372 12749 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 418214691 29458767872 164720 33554432000 4194304 4196468 140730483760208 140622201484128 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15386] ppid=15372 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15372 15372 12749 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418214692 29458767872 164720 33554432000 4194304 4196468 140730483760208 140622200431744 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15387] ppid=15372 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418214694 29458767872 164720 33554432000 4194304 4196468 140730483760208 140622199380048 140623537088411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15388] ppid=15372 vsize=28768328 memory=0 CPUtime=2.11 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) R 15372 15372 12749 0 -1 4202560 6512 0 0 0 209 2 0 0 20 0 28 0 418214694 29458767872 164720 33554432000 4194304 4196468 140730483760208 140622198312688 140623516893401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15389] ppid=15372 vsize=28768328 memory=288230574492221466 CPUtime=1.96 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) R 15372 15372 12749 0 -1 4202560 7654 0 0 0 195 1 0 0 20 0 28 0 418214694 29458767872 164720 33554432000 4194304 4196468 140730483760208 140622197261216 140623518615090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15390] ppid=15372 vsize=28768328 memory=0 CPUtime=1.96 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) R 15372 15372 12749 0 -1 4202560 5199 0 0 0 195 1 0 0 20 0 28 0 418214694 29458767872 164720 33554432000 4194304 4196468 140730483760208 140621351036560 140623522177522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15391] ppid=15372 vsize=28768328 memory=0 CPUtime=0.75 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) R 15372 15372 12749 0 -1 4202560 2918 0 0 0 74 1 0 0 20 0 28 0 418214694 29458767872 164720 33554432000 4194304 4196468 140730483760208 140621349997296 140623516040873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15392] ppid=15372 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418214694 29458767872 164720 33554432000 4194304 4196468 140730483760208 140621348944224 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15393] ppid=15372 vsize=28768328 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15372 15372 12749 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 418214695 29458767872 164720 33554432000 4194304 4196468 140730483760208 140621347891504 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
Current children cumulated CPU time: 13.13 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 660332 KiB

[startup+3.50132 s]
/proc/loadavg: 6.99 7.62 6.31 12/220 15401
/proc/meminfo: memFree=29991340/32770624 swapFree=66997544/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15372/stat : 15372 (xcsp3-exec) S 15369 15372 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214688 115843072 363 33554432000 4194304 5098028 140723512470848 140723512468952 140634860061308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31006720 140723512476533 140723512476777 140723512476777 140723512479690 0
/proc/15372/statm: 28282 363 304 221 0 87 0
[pid=15374] ppid=15372 vsize=28768328 memory=658972 CPUtime=13.88 cores=0-7
/proc/15374/stat : 15374 (java) S 15372 15372 12749 0 -1 1077944320 38897 0 0 0 1343 45 0 0 20 0 28 0 418214688 29458767872 164743 33554432000 4194304 4196468 140730483760208 140730483742752 140623537069815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
/proc/15374/statm: 7192082 164743 3524 1 0 7153184 0
[pid=15374/tid=15375] ppid=15372 vsize=28768328 memory=0 CPUtime=2.75 cores=0-7
/proc/15374/task/15375/stat : 15375 (java) S 15372 15372 12749 0 -1 1077944384 11580 0 0 0 265 10 0 0 20 0 28 0 418214689 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623541310592 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15376] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15376/stat : 15376 (java) S 15372 15372 12749 0 -1 1077944384 150 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623489690000 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15377] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15377/stat : 15377 (java) S 15372 15372 12749 0 -1 1077944384 171 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623488637200 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15378] ppid=15372 vsize=28768328 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/15374/task/15378/stat : 15378 (java) S 15372 15372 12749 0 -1 1077944384 181 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623487584912 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15379] ppid=15372 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/15374/task/15379/stat : 15379 (java) S 15372 15372 12749 0 -1 1077944384 153 0 0 0 7 2 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623486532112 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15380] ppid=15372 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/15374/task/15380/stat : 15380 (java) S 15372 15372 12749 0 -1 1077944384 139 0 0 0 7 2 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623485479824 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15381] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15381/stat : 15381 (java) S 15372 15372 12749 0 -1 1077944384 173 0 0 0 7 3 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623484427024 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15382] ppid=15372 vsize=28768328 memory=1452 CPUtime=0.11 cores=0-7
/proc/15374/task/15382/stat : 15382 (java) S 15372 15372 12749 0 -1 1077944384 295 0 0 0 8 3 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623483374736 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15383] ppid=15372 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15374/task/15383/stat : 15383 (java) S 15372 15372 12749 0 -1 1077944384 587 0 0 0 6 4 0 0 20 0 28 0 418214690 29458767872 164743 33554432000 4194304 4196468 140730483760208 140623482321936 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15384] ppid=15372 vsize=28768328 memory=-7242455096852575424 CPUtime=0.01 cores=0-7
/proc/15374/task/15384/stat : 15384 (java) S 15372 15372 12749 0 -1 1077944384 675 0 0 0 1 0 0 0 20 0 28 0 418214691 29458767872 164743 33554432000 4194304 4196468 140730483760208 140622202538096 140623537080962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15385] ppid=15372 vsize=28768328 memory=-7098080424032564416 CPUtime=0 cores=0-7
/proc/15374/task/15385/stat : 15385 (java) S 15372 15372 12749 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 418214691 29458767872 164743 33554432000 4194304 4196468 140730483760208 140622201484128 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15386] ppid=15372 vsize=28768328 memory=3624 CPUtime=0 cores=0-7
/proc/15374/task/15386/stat : 15386 (java) S 15372 15372 12749 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418214692 29458767872 164743 33554432000 4194304 4196468 140730483760208 140622200431744 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15387] ppid=15372 vsize=28768328 memory=26464 CPUtime=0 cores=0-7
/proc/15374/task/15387/stat : 15387 (java) S 15372 15372 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418214694 29458767872 164743 33554432000 4194304 4196468 140730483760208 140622199380048 140623537088411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15388] ppid=15372 vsize=28768328 memory=984 CPUtime=2.21 cores=0-7
/proc/15374/task/15388/stat : 15388 (java) R 15372 15372 12749 0 -1 4202560 6560 0 0 0 219 2 0 0 20 0 28 0 418214694 29458767872 164743 33554432000 4194304 4196468 140730483760208 140622198319264 140623515088326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15389] ppid=15372 vsize=28768328 memory=2024 CPUtime=2.06 cores=0-7
/proc/15374/task/15389/stat : 15389 (java) R 15372 15372 12749 0 -1 4202560 7673 0 0 0 204 2 0 0 20 0 28 0 418214694 29458767872 164743 33554432000 4194304 4196468 140730483760208 140622197264592 140623516761549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15390] ppid=15372 vsize=28768328 memory=6791534058613427641 CPUtime=2.04 cores=0-7
/proc/15374/task/15390/stat : 15390 (java) R 15372 15372 12749 0 -1 4202560 5213 0 0 0 203 1 0 0 20 0 28 0 418214694 29458767872 164743 33554432000 4194304 4196468 140730483760208 140621351036512 140623517771280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15391] ppid=15372 vsize=28768328 memory=1548 CPUtime=0.77 cores=0-7
/proc/15374/task/15391/stat : 15391 (java) R 15372 15372 12749 0 -1 4202560 2945 0 0 0 76 1 0 0 20 0 28 0 418214694 29458767872 164743 33554432000 4194304 4196468 140730483760208 140621349997296 140623530169662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15392] ppid=15372 vsize=28768328 memory=628 CPUtime=0 cores=0-7
/proc/15374/task/15392/stat : 15392 (java) S 15372 15372 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418214694 29458767872 164743 33554432000 4194304 4196468 140730483760208 140621348944224 140623537080021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
[pid=15374/tid=15393] ppid=15372 vsize=28768328 memory=1056 CPUtime=0 cores=0-7
/proc/15374/task/15393/stat : 15393 (java) S 15372 15372 12749 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 418214695 29458767872 164743 33554432000 4194304 4196468 140730483760208 140621347891504 140623537080962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13570048 140730483762154 140730483762326 140730483762326 140730483765199 0
Current children cumulated CPU time: 13.88 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 660424 KiB

Child status: 0
Real time (s): 3.52991
CPU time (s): 13.947
CPU user time (s): 13.4828
CPU system time (s): 0.46418
CPU usage (%): 395.109
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 660424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4828
system time used= 0.46418
maximum resident set size= 660124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4357
involuntary context switches= 193


# summary of solver processes directly reported to runsolver:
#   pid: 15372
#   total CPU time (s): 13.947
#   total CPU user time (s): 13.4828
#   total CPU system time (s): 0.46418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048855 second user time and 0.075776 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml
MD5SUM	0df69417c613ef889e63c8df69e0b506
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	1.32046
Satisfiable
(Un)Satisfiability was proved
Number of variables	1216
Number of constraints	7844
Number of domains	1
Minimum domain size	1216
Maximum domain size	1216
Distribution of domain sizes	[{"size":1216,"count":1216}]
Minimum variable degree	2
Maximum variable degree	21
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":7844}]
Number of extensional constraints	0
Number of intensional constraints	7844
Distribution of constraint types	[{"type":"intension","count":7844}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394369

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
