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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT	171.651	22.5571
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 (11943 MiB free)
  memory of node 1: 16384 MiB (12142 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281083-1503140676/watcher-4281083-1503140676 -o /tmp/evaluation-result-4281083-1503140676/solver-4281083-1503140676 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503132250-29860 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1915755760 HOME/instance-4281083-1503140676.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=31564, runsolver pid=31561

[startup+0.100155 s]*
/proc/loadavg: 8.33 8.22 8.27 2/200 31585
/proc/meminfo: memFree=24648352/32770624 swapFree=67108860/67108860
[pid=31564] ppid=31561 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31564/stat : 31564 (xcsp3-exec) S 31561 31564 29833 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147148338 9740288 346 33554432000 4194304 5098028 140725194967328 140725194965432 140668903924348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34045952 140725194970212 140725194970423 140725194970423 140725194973163 0
/proc/31564/statm: 2378 346 289 221 0 87 0
[pid=31566] ppid=31564 vsize=25999808 memory=26436 CPUtime=0.11 cores=0-7
/proc/31566/stat : 31566 (java) S 31564 31564 29833 0 -1 1077944320 5542 0 0 0 10 1 0 0 20 0 20 0 147148339 26623803392 6609 33554432000 4194304 4196468 140722844399824 140722844382368 140162005516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
/proc/31566/statm: 6499952 6609 2847 1 0 6488269 0
[pid=31566/tid=31567] ppid=31564 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31566/task/31567/stat : 31567 (java) R 31564 31564 29833 0 -1 4202560 3552 0 0 0 8 0 0 0 20 0 20 0 147148339 26623803392 6609 33554432000 4194304 4196468 140722844399824 140162009749296 140161989559653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31568] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31568/stat : 31568 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161964276112 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31569] ppid=31564 vsize=25999808 memory=140581158889088 CPUtime=0 cores=0-7
/proc/31566/task/31569/stat : 31569 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161562724624 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31570] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31570/stat : 31570 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161561672336 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31571] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31571/stat : 31571 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161560619536 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31572] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31572/stat : 31572 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161559567248 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31573] ppid=31564 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31566/task/31573/stat : 31573 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161558514448 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31574] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31574/stat : 31574 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161557462160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31575] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31575/stat : 31575 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26623803392 6609 33554432000 4194304 4196468 140722844399824 140161556409360 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31576] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31576/stat : 31576 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148341 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160344750192 140162005527170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31577] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31577/stat : 31577 (java) S 31564 31564 29833 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147148342 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160343696160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31578] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31578/stat : 31578 (java) S 31564 31564 29833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147148342 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160342643824 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31579] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31579/stat : 31579 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148344 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160341592144 140162005534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31580] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31580/stat : 31580 (java) S 31564 31564 29833 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 147148344 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160340540016 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31581] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31581/stat : 31581 (java) S 31564 31564 29833 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 147148344 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160339487216 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31582] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31582/stat : 31582 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148344 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160338434928 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31583] ppid=31564 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31566/task/31583/stat : 31583 (java) R 31564 31564 29833 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 147148345 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160337382128 140162005527958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31584] ppid=31564 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31584/stat : 31584 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148345 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160336329056 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31585] ppid=31564 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31566/task/31585/stat : 31585 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148345 26623803392 6609 33554432000 4194304 4196468 140722844399824 140160335276336 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27820 KiB

[startup+0.210137 s]*
/proc/loadavg: 8.33 8.22 8.27 2/200 31585
/proc/meminfo: memFree=24637260/32770624 swapFree=67108860/67108860
[pid=31564] ppid=31561 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31564/stat : 31564 (xcsp3-exec) S 31561 31564 29833 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147148338 9740288 346 33554432000 4194304 5098028 140725194967328 140725194965432 140668903924348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34045952 140725194970212 140725194970423 140725194970423 140725194973163 0
/proc/31564/statm: 2378 346 289 221 0 87 0
[pid=31566] ppid=31564 vsize=26004064 memory=38752 CPUtime=0.33 cores=0-7
/proc/31566/stat : 31566 (java) S 31564 31564 29833 0 -1 1077944320 8367 0 0 0 31 2 0 0 20 0 20 0 147148339 26628161536 9688 33554432000 4194304 4196468 140722844399824 140722844382368 140162005516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
/proc/31566/statm: 6501016 9688 3035 1 0 6488269 0
[pid=31566/tid=31567] ppid=31564 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31566/task/31567/stat : 31567 (java) R 31564 31564 29833 0 -1 4202560 5434 0 0 0 18 1 0 0 20 0 20 0 147148339 26628161536 9688 33554432000 4194304 4196468 140722844399824 140162009737968 140161989596510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31568] ppid=31564 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/31566/task/31568/stat : 31568 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161964276112 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31569] ppid=31564 vsize=26004064 memory=288370957310600832 CPUtime=0 cores=0-7
/proc/31566/task/31569/stat : 31569 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161562724624 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31570] ppid=31564 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31566/task/31570/stat : 31570 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161561672336 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31571] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31571/stat : 31571 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161560619536 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31572] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31572/stat : 31572 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161559567248 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31573] ppid=31564 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31566/task/31573/stat : 31573 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161558514448 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31574] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31574/stat : 31574 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161557462160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31575] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31575/stat : 31575 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 9688 33554432000 4194304 4196468 140722844399824 140161556409360 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31576] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31576/stat : 31576 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148341 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160344750192 140162005527170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31577] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31577/stat : 31577 (java) S 31564 31564 29833 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147148342 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160343696160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31578] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31578/stat : 31578 (java) S 31564 31564 29833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147148342 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160342643824 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31579] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31579/stat : 31579 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148344 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160341592144 140162005534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31580] ppid=31564 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31566/task/31580/stat : 31580 (java) S 31564 31564 29833 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 20 0 147148344 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160340540016 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31581] ppid=31564 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31566/task/31581/stat : 31581 (java) S 31564 31564 29833 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 147148344 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160339487216 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31582] ppid=31564 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/31566/task/31582/stat : 31582 (java) S 31564 31564 29833 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 147148344 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160338434928 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31583] ppid=31564 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/31566/task/31583/stat : 31583 (java) S 31564 31564 29833 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 20 0 147148345 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160337382128 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31584] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31584/stat : 31584 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148345 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160336329056 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31585] ppid=31564 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31566/task/31585/stat : 31585 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148345 26628161536 9688 33554432000 4194304 4196468 140722844399824 140160335276336 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40136 KiB

[startup+0.309391 s]*
/proc/loadavg: 8.33 8.22 8.27 3/200 31585
/proc/meminfo: memFree=24633280/32770624 swapFree=67108860/67108860
[pid=31564] ppid=31561 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31564/stat : 31564 (xcsp3-exec) S 31561 31564 29833 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147148338 9740288 346 33554432000 4194304 5098028 140725194967328 140725194965432 140668903924348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34045952 140725194970212 140725194970423 140725194970423 140725194973163 0
/proc/31564/statm: 2378 346 289 221 0 87 0
[pid=31566] ppid=31564 vsize=26004064 memory=43900 CPUtime=0.49 cores=0-7
/proc/31566/stat : 31566 (java) S 31564 31564 29833 0 -1 1077944320 9230 0 0 0 46 3 0 0 20 0 20 0 147148339 26628161536 10975 33554432000 4194304 4196468 140722844399824 140722844382368 140162005516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
/proc/31566/statm: 6501016 10975 3088 1 0 6488269 0
[pid=31566/tid=31567] ppid=31564 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31566/task/31567/stat : 31567 (java) R 31564 31564 29833 0 -1 4202560 6101 0 0 0 27 2 0 0 20 0 20 0 147148339 26628161536 10975 33554432000 4194304 4196468 140722844399824 140162009754960 140162005527958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31568] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31568/stat : 31568 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161964276112 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31569] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31569/stat : 31569 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161562724624 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31570] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31570/stat : 31570 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161561672336 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31571] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31571/stat : 31571 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161560619536 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31572] ppid=31564 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31566/task/31572/stat : 31572 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161559567248 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31573] ppid=31564 vsize=26004064 memory=140581057688495 CPUtime=0 cores=0-7
/proc/31566/task/31573/stat : 31573 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161558514448 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31574] ppid=31564 vsize=26004064 memory=140581057690800 CPUtime=0 cores=0-7
/proc/31566/task/31574/stat : 31574 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161557462160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31575] ppid=31564 vsize=26004064 memory=140581057693104 CPUtime=0 cores=0-7
/proc/31566/task/31575/stat : 31575 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148340 26628161536 10975 33554432000 4194304 4196468 140722844399824 140161556409360 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31576] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31576/stat : 31576 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148341 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160344750192 140162005527170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31577] ppid=31564 vsize=26004064 memory=281162115393168 CPUtime=0 cores=0-7
/proc/31566/task/31577/stat : 31577 (java) S 31564 31564 29833 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147148342 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160343696160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31578] ppid=31564 vsize=26004064 memory=281162115400080 CPUtime=0 cores=0-7
/proc/31566/task/31578/stat : 31578 (java) S 31564 31564 29833 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147148342 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160342643824 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31579] ppid=31564 vsize=26004064 memory=281162115341360 CPUtime=0 cores=0-7
/proc/31566/task/31579/stat : 31579 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148344 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160341592144 140162005534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31580] ppid=31564 vsize=26004064 memory=281162115413904 CPUtime=0.01 cores=0-7
/proc/31566/task/31580/stat : 31580 (java) R 31564 31564 29833 0 -1 4202560 385 0 0 0 1 0 0 0 20 0 20 0 147148344 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160340540016 140161983491432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31581] ppid=31564 vsize=26004064 memory=281162115420816 CPUtime=0.02 cores=0-7
/proc/31566/task/31581/stat : 31581 (java) S 31564 31564 29833 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 147148344 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160339487216 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31582] ppid=31564 vsize=26004064 memory=281162115418512 CPUtime=0.03 cores=0-7
/proc/31566/task/31582/stat : 31582 (java) S 31564 31564 29833 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 20 0 147148344 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160338434928 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31583] ppid=31564 vsize=26004064 memory=281162115434672 CPUtime=0.12 cores=0-7
/proc/31566/task/31583/stat : 31583 (java) R 31564 31564 29833 0 -1 4202560 840 0 0 0 12 0 0 0 20 0 20 0 147148345 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160337378496 140161983702104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31584] ppid=31564 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31584/stat : 31584 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148345 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160336329056 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31585] ppid=31564 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31566/task/31585/stat : 31585 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147148345 26628161536 10975 33554432000 4194304 4196468 140722844399824 140160335276336 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45284 KiB

[startup+0.700925 s]
/proc/loadavg: 8.33 8.22 8.27 5/200 31585
/proc/meminfo: memFree=24605208/32770624 swapFree=67108860/67108860
[pid=31564] ppid=31561 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31564/stat : 31564 (xcsp3-exec) S 31561 31564 29833 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147148338 9740288 346 33554432000 4194304 5098028 140725194967328 140725194965432 140668903924348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34045952 140725194970212 140725194970423 140725194970423 140725194973163 0
/proc/31564/statm: 2378 346 289 221 0 87 0
[pid=31566] ppid=31564 vsize=26006188 memory=98392 CPUtime=2.1 cores=0-7
/proc/31566/stat : 31566 (java) S 31564 31564 29833 0 -1 1077944320 14263 0 0 0 204 6 0 0 20 0 20 0 147148339 26630336512 24598 33554432000 4194304 4196468 140722844399824 140722844382368 140162005516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
/proc/31566/statm: 6501547 24598 3200 1 0 6488781 0
[pid=31566/tid=31567] ppid=31564 vsize=26006188 memory=281162115792560 CPUtime=0.67 cores=0-7
/proc/31566/task/31567/stat : 31567 (java) R 31564 31564 29833 0 -1 4202560 6788 0 0 0 64 3 0 0 20 0 20 0 147148339 26630336512 24598 33554432000 4194304 4196468 140722844399824 140162009751840 140161646288934 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31568] ppid=31564 vsize=26006188 memory=140581057897328 CPUtime=0 cores=0-7
/proc/31566/task/31568/stat : 31568 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26630336512 24598 33554432000 4194304 4196468 140722844399824 140161964276112 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31569] ppid=31564 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31569/stat : 31569 (java) S 31564 31564 29833 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147148340 26630336512 24598 33554432000 4194304 4196468 140722844399824 140161562724624 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31570] ppid=31564 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/31566/task/31570/stat : 31570 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147148340 26630336512 24598 33554432000 4194304 4196468 140722844399824 140161561672336 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0

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

[pid=31566/tid=31583] ppid=31564 vsize=26538700 memory=0 CPUtime=0.77 cores=0-7
/proc/31566/task/31583/stat : 31583 (java) S 31564 31564 29833 0 -1 1077944384 4501 0 0 0 76 1 0 0 20 0 28 0 147148345 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160337382128 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31584] ppid=31564 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31584/stat : 31584 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147148345 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160336329056 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31585] ppid=31564 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/31566/task/31585/stat : 31585 (java) S 31564 31564 29833 0 -1 1077944384 885 0 0 0 0 0 0 0 20 0 28 0 147148345 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160335276336 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31586] ppid=31564 vsize=26538700 memory=-1 CPUtime=19.44 cores=0-7
/proc/31566/task/31586/stat : 31586 (java) R 31564 31564 29833 0 -1 4202560 370 0 0 0 1944 0 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160327265320 140161649857263 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31587] ppid=31564 vsize=26538700 memory=0 CPUtime=19.75 cores=0-7
/proc/31566/task/31587/stat : 31587 (java) R 31564 31564 29833 0 -1 4202560 319 0 0 0 1975 0 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160326213672 140161650845860 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31588] ppid=31564 vsize=26538700 memory=0 CPUtime=19.68 cores=0-7
/proc/31566/task/31588/stat : 31588 (java) R 31564 31564 29833 0 -1 4202560 1315 0 0 0 1964 4 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160325161480 140161650542129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31589] ppid=31564 vsize=26538700 memory=0 CPUtime=19.6 cores=0-7
/proc/31566/task/31589/stat : 31589 (java) R 31564 31564 29833 0 -1 4202560 1198 0 0 0 1955 5 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160324108488 140161649857444 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31590] ppid=31564 vsize=26538700 memory=0 CPUtime=19.36 cores=0-7
/proc/31566/task/31590/stat : 31590 (java) R 31564 31564 29833 0 -1 4202560 400 0 0 0 1936 0 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160323056296 140161649544360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31591] ppid=31564 vsize=26538700 memory=0 CPUtime=19.75 cores=0-7
/proc/31566/task/31591/stat : 31591 (java) R 31564 31564 29833 0 -1 4202560 541 0 0 0 1973 2 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160322003496 140161650229978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31592] ppid=31564 vsize=26538700 memory=0 CPUtime=19.54 cores=0-7
/proc/31566/task/31592/stat : 31592 (java) R 31564 31564 29833 0 -1 4202560 1290 0 0 0 1953 1 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160320949936 140161649857750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31593] ppid=31564 vsize=26538700 memory=0 CPUtime=19.68 cores=0-7
/proc/31566/task/31593/stat : 31593 (java) R 31564 31564 29833 0 -1 4202560 286 0 0 0 1968 0 0 0 20 0 28 0 147148520 27175628800 135325 33554432000 4194304 4196468 140722844399824 140160319897384 140161649859224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
Current children cumulated CPU time: 167.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 542684 KiB

[startup+22.4012 s]
/proc/loadavg: 7.86 8.11 8.23 9/208 31593
/proc/meminfo: memFree=24132968/32770624 swapFree=67108860/67108860
[pid=31564] ppid=31561 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31564/stat : 31564 (xcsp3-exec) S 31561 31564 29833 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147148338 9740288 346 33554432000 4194304 5098028 140725194967328 140725194965432 140668903924348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34045952 140725194970212 140725194970423 140725194970423 140725194973163 0
/proc/31564/statm: 2378 346 289 221 0 87 0
[pid=31566] ppid=31564 vsize=26538700 memory=549492 CPUtime=170.62 cores=0-7
/proc/31566/stat : 31566 (java) S 31564 31564 29833 0 -1 1077944320 40007 0 0 0 17012 50 0 0 20 0 28 0 147148339 27175628800 137373 33554432000 4194304 4196468 140722844399824 140722844382368 140162005516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
/proc/31566/statm: 6634675 137373 3277 1 0 6621909 0
[pid=31566/tid=31567] ppid=31564 vsize=26538700 memory=91348692 CPUtime=1.7 cores=0-7
/proc/31566/task/31567/stat : 31567 (java) S 31564 31564 29833 0 -1 1077944384 7029 0 0 0 163 7 0 0 20 0 28 0 147148339 27175628800 137373 33554432000 4194304 4196468 140722844399824 140162009756800 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31568] ppid=31564 vsize=26538700 memory=8174723239089013032 CPUtime=0.08 cores=0-7
/proc/31566/task/31568/stat : 31568 (java) S 31564 31564 29833 0 -1 1077944384 101 0 0 0 6 2 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161964276112 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31569] ppid=31564 vsize=26538700 memory=10096 CPUtime=0.08 cores=0-7
/proc/31566/task/31569/stat : 31569 (java) S 31564 31564 29833 0 -1 1077944384 96 0 0 0 6 2 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161562724624 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31570] ppid=31564 vsize=26538700 memory=1224 CPUtime=0.04 cores=0-7
/proc/31566/task/31570/stat : 31570 (java) S 31564 31564 29833 0 -1 1077944384 65 0 0 0 3 1 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161561672336 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31571] ppid=31564 vsize=26538700 memory=5784 CPUtime=0.07 cores=0-7
/proc/31566/task/31571/stat : 31571 (java) S 31564 31564 29833 0 -1 1077944384 83 0 0 0 5 2 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161560619536 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31572] ppid=31564 vsize=26538700 memory=1720 CPUtime=0.09 cores=0-7
/proc/31566/task/31572/stat : 31572 (java) S 31564 31564 29833 0 -1 1077944384 79 0 0 0 7 2 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161559567248 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31573] ppid=31564 vsize=26538700 memory=4612 CPUtime=0.06 cores=0-7
/proc/31566/task/31573/stat : 31573 (java) S 31564 31564 29833 0 -1 1077944384 89 0 0 0 5 1 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161558514448 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31574] ppid=31564 vsize=26538700 memory=1008 CPUtime=0.07 cores=0-7
/proc/31566/task/31574/stat : 31574 (java) S 31564 31564 29833 0 -1 1077944384 111 0 0 0 5 2 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161557462160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31575] ppid=31564 vsize=26538700 memory=1944 CPUtime=0.08 cores=0-7
/proc/31566/task/31575/stat : 31575 (java) S 31564 31564 29833 0 -1 1077944384 62 0 0 0 6 2 0 0 20 0 28 0 147148340 27175628800 137373 33554432000 4194304 4196468 140722844399824 140161556409360 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31576] ppid=31564 vsize=26538700 memory=1200 CPUtime=0.01 cores=0-7
/proc/31566/task/31576/stat : 31576 (java) S 31564 31564 29833 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 28 0 147148341 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160344750192 140162005527170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31577] ppid=31564 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/31566/task/31577/stat : 31577 (java) S 31564 31564 29833 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 147148342 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160343696224 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31578] ppid=31564 vsize=26538700 memory=8596 CPUtime=0 cores=0-7
/proc/31566/task/31578/stat : 31578 (java) S 31564 31564 29833 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 147148342 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160342643840 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31579] ppid=31564 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/31566/task/31579/stat : 31579 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147148344 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160341592144 140162005534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31580] ppid=31564 vsize=26538700 memory=4052 CPUtime=2.35 cores=0-7
/proc/31566/task/31580/stat : 31580 (java) S 31564 31564 29833 0 -1 1077944384 6142 0 0 0 233 2 0 0 20 0 28 0 147148344 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160340540016 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31581] ppid=31564 vsize=26538700 memory=23756 CPUtime=2.76 cores=0-7
/proc/31566/task/31581/stat : 31581 (java) S 31564 31564 29833 0 -1 1077944384 8140 0 0 0 275 1 0 0 20 0 28 0 147148344 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160339487216 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31582] ppid=31564 vsize=26538700 memory=18472 CPUtime=2.32 cores=0-7
/proc/31566/task/31582/stat : 31582 (java) S 31564 31564 29833 0 -1 1077944384 5080 0 0 0 231 1 0 0 20 0 28 0 147148344 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160338434928 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31583] ppid=31564 vsize=26538700 memory=640 CPUtime=0.77 cores=0-7
/proc/31566/task/31583/stat : 31583 (java) S 31564 31564 29833 0 -1 1077944384 4501 0 0 0 76 1 0 0 20 0 28 0 147148345 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160337382128 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31584] ppid=31564 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/31566/task/31584/stat : 31584 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147148345 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160336329056 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31585] ppid=31564 vsize=26538700 memory=41012 CPUtime=0 cores=0-7
/proc/31566/task/31585/stat : 31585 (java) S 31564 31564 29833 0 -1 1077944384 885 0 0 0 0 0 0 0 20 0 28 0 147148345 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160335276336 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31586] ppid=31564 vsize=26538700 memory=1292 CPUtime=19.83 cores=0-7
/proc/31566/task/31586/stat : 31586 (java) R 31564 31564 29833 0 -1 4202560 373 0 0 0 1983 0 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160327265320 140161649858940 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31587] ppid=31564 vsize=26538700 memory=2428 CPUtime=20.14 cores=0-7
/proc/31566/task/31587/stat : 31587 (java) R 31564 31564 29833 0 -1 4202560 323 0 0 0 2014 0 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160326213672 140161649544074 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31588] ppid=31564 vsize=26538700 memory=1728 CPUtime=20.07 cores=0-7
/proc/31566/task/31588/stat : 31588 (java) R 31564 31564 29833 0 -1 4202560 1341 0 0 0 2003 4 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160325161480 140161650360993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31589] ppid=31564 vsize=26538700 memory=792 CPUtime=19.99 cores=0-7
/proc/31566/task/31589/stat : 31589 (java) R 31564 31564 29833 0 -1 4202560 1204 0 0 0 1994 5 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160324108488 140161649857850 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31590] ppid=31564 vsize=26538700 memory=1384 CPUtime=19.74 cores=0-7
/proc/31566/task/31590/stat : 31590 (java) R 31564 31564 29833 0 -1 4202560 407 0 0 0 1974 0 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160323056296 140161649543445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31591] ppid=31564 vsize=26538700 memory=502388 CPUtime=20.14 cores=0-7
/proc/31566/task/31591/stat : 31591 (java) R 31564 31564 29833 0 -1 4202560 545 0 0 0 2012 2 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160322003496 140161650230281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31592] ppid=31564 vsize=26538700 memory=137750674147818 CPUtime=19.93 cores=0-7
/proc/31566/task/31592/stat : 31592 (java) R 31564 31564 29833 0 -1 4202560 1294 0 0 0 1992 1 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160320949936 140161649641159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31593] ppid=31564 vsize=26538700 memory=137750674147818 CPUtime=20.08 cores=0-7
/proc/31566/task/31593/stat : 31593 (java) R 31564 31564 29833 0 -1 4202560 288 0 0 0 2008 0 0 0 20 0 28 0 147148520 27175628800 137373 33554432000 4194304 4196468 140722844399824 140160319897384 140161649858457 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
Current children cumulated CPU time: 170.62 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 550876 KiB

[startup+22.5012 s]
/proc/loadavg: 7.86 8.11 8.23 9/208 31593
/proc/meminfo: memFree=24132968/32770624 swapFree=67108860/67108860
[pid=31564] ppid=31561 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31564/stat : 31564 (xcsp3-exec) S 31561 31564 29833 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 147148338 9740288 346 33554432000 4194304 5098028 140725194967328 140725194965432 140668903924348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34045952 140725194970212 140725194970423 140725194970423 140725194973163 0
/proc/31564/statm: 2378 346 289 221 0 87 0
[pid=31566] ppid=31564 vsize=26538700 memory=551540 CPUtime=171.42 cores=0-7
/proc/31566/stat : 31566 (java) S 31564 31564 29833 0 -1 1077944320 40036 0 0 0 17092 50 0 0 20 0 28 0 147148339 27175628800 137885 33554432000 4194304 4196468 140722844399824 140722844382368 140162005516023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
/proc/31566/statm: 6634675 137885 3277 1 0 6621909 0
[pid=31566/tid=31567] ppid=31564 vsize=26538700 memory=1384 CPUtime=1.7 cores=0-7
/proc/31566/task/31567/stat : 31567 (java) S 31564 31564 29833 0 -1 1077944384 7029 0 0 0 163 7 0 0 20 0 28 0 147148339 27175628800 137885 33554432000 4194304 4196468 140722844399824 140162009756800 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31568] ppid=31564 vsize=26538700 memory=531060 CPUtime=0.08 cores=0-7
/proc/31566/task/31568/stat : 31568 (java) S 31564 31564 29833 0 -1 1077944384 101 0 0 0 6 2 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161964276112 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31569] ppid=31564 vsize=26538700 memory=1384 CPUtime=0.08 cores=0-7
/proc/31566/task/31569/stat : 31569 (java) S 31564 31564 29833 0 -1 1077944384 96 0 0 0 6 2 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161562724624 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31570] ppid=31564 vsize=26538700 memory=4144 CPUtime=0.04 cores=0-7
/proc/31566/task/31570/stat : 31570 (java) S 31564 31564 29833 0 -1 1077944384 65 0 0 0 3 1 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161561672336 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31571] ppid=31564 vsize=26538700 memory=56 CPUtime=0.07 cores=0-7
/proc/31566/task/31571/stat : 31571 (java) S 31564 31564 29833 0 -1 1077944384 83 0 0 0 5 2 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161560619536 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31572] ppid=31564 vsize=26538700 memory=288230600345914184 CPUtime=0.09 cores=0-7
/proc/31566/task/31572/stat : 31572 (java) S 31564 31564 29833 0 -1 1077944384 79 0 0 0 7 2 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161559567248 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31573] ppid=31564 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7
/proc/31566/task/31573/stat : 31573 (java) S 31564 31564 29833 0 -1 1077944384 89 0 0 0 5 1 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161558514448 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31574] ppid=31564 vsize=26538700 memory=467572 CPUtime=0.07 cores=0-7
/proc/31566/task/31574/stat : 31574 (java) S 31564 31564 29833 0 -1 1077944384 111 0 0 0 5 2 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161557462160 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31575] ppid=31564 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/31566/task/31575/stat : 31575 (java) S 31564 31564 29833 0 -1 1077944384 62 0 0 0 6 2 0 0 20 0 28 0 147148340 27175628800 137885 33554432000 4194304 4196468 140722844399824 140161556409360 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31576] ppid=31564 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/31566/task/31576/stat : 31576 (java) S 31564 31564 29833 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 28 0 147148341 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160344750192 140162005527170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31577] ppid=31564 vsize=26538700 memory=492148 CPUtime=0 cores=0-7
/proc/31566/task/31577/stat : 31577 (java) S 31564 31564 29833 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 147148342 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160343696224 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31578] ppid=31564 vsize=26538700 memory=434764 CPUtime=0 cores=0-7
/proc/31566/task/31578/stat : 31578 (java) S 31564 31564 29833 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 147148342 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160342643840 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31579] ppid=31564 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31579/stat : 31579 (java) S 31564 31564 29833 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147148344 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160341592144 140162005534619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31580] ppid=31564 vsize=26538700 memory=0 CPUtime=2.35 cores=0-7
/proc/31566/task/31580/stat : 31580 (java) S 31564 31564 29833 0 -1 1077944384 6142 0 0 0 233 2 0 0 20 0 28 0 147148344 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160340540016 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31581] ppid=31564 vsize=26538700 memory=0 CPUtime=2.76 cores=0-7
/proc/31566/task/31581/stat : 31581 (java) S 31564 31564 29833 0 -1 1077944384 8140 0 0 0 275 1 0 0 20 0 28 0 147148344 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160339487216 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31582] ppid=31564 vsize=26538700 memory=0 CPUtime=2.32 cores=0-7
/proc/31566/task/31582/stat : 31582 (java) S 31564 31564 29833 0 -1 1077944384 5080 0 0 0 231 1 0 0 20 0 28 0 147148344 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160338434928 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31583] ppid=31564 vsize=26538700 memory=0 CPUtime=0.77 cores=0-7
/proc/31566/task/31583/stat : 31583 (java) S 31564 31564 29833 0 -1 1077944384 4501 0 0 0 76 1 0 0 20 0 28 0 147148345 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160337382128 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31584] ppid=31564 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/31566/task/31584/stat : 31584 (java) S 31564 31564 29833 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147148345 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160336329056 140162005526229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31585] ppid=31564 vsize=26538700 memory=1704 CPUtime=0 cores=0-7
/proc/31566/task/31585/stat : 31585 (java) S 31564 31564 29833 0 -1 1077944384 885 0 0 0 0 0 0 0 20 0 28 0 147148345 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160335276336 140162005527170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31586] ppid=31564 vsize=26538700 memory=1698 CPUtime=19.93 cores=0-7
/proc/31566/task/31586/stat : 31586 (java) R 31564 31564 29833 0 -1 4202560 373 0 0 0 1993 0 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160327265320 140161649857813 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31587] ppid=31564 vsize=26538700 memory=1384 CPUtime=20.24 cores=0-7
/proc/31566/task/31587/stat : 31587 (java) R 31564 31564 29833 0 -1 4202560 323 0 0 0 2024 0 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160326213672 140161650230186 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31588] ppid=31564 vsize=26538700 memory=514676 CPUtime=20.17 cores=0-7
/proc/31566/task/31588/stat : 31588 (java) R 31564 31564 29833 0 -1 4202560 1341 0 0 0 2013 4 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160325161480 140161649858668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31589] ppid=31564 vsize=26538700 memory=56 CPUtime=20.09 cores=0-7
/proc/31566/task/31589/stat : 31589 (java) R 31564 31564 29833 0 -1 4202560 1206 0 0 0 2004 5 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160324108488 140161649859171 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31590] ppid=31564 vsize=26538700 memory=7306906134319752278 CPUtime=19.84 cores=0-7
/proc/31566/task/31590/stat : 31590 (java) R 31564 31564 29833 0 -1 4202560 434 0 0 0 1984 0 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160323056296 140161650230121 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31591] ppid=31564 vsize=26538700 memory=7306906134319752278 CPUtime=20.24 cores=0-7
/proc/31566/task/31591/stat : 31591 (java) R 31564 31564 29833 0 -1 4202560 545 0 0 0 2022 2 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160322003496 140161649859375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31592] ppid=31564 vsize=26538700 memory=7306906134319752278 CPUtime=20.03 cores=0-7
/proc/31566/task/31592/stat : 31592 (java) R 31564 31564 29833 0 -1 4202560 1294 0 0 0 2002 1 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160320949936 140161649543736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
[pid=31566/tid=31593] ppid=31564 vsize=26538700 memory=7306906134319752278 CPUtime=20.17 cores=0-7
/proc/31566/task/31593/stat : 31593 (java) R 31564 31564 29833 0 -1 4202560 288 0 0 0 2017 0 0 0 20 0 28 0 147148520 27175628800 137885 33554432000 4194304 4196468 140722844399824 140160319897384 140161650845251 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38891520 140722844406930 140722844407107 140722844407107 140722844409807 0
Current children cumulated CPU time: 171.42 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 552924 KiB

Child status: 0
Real time (s): 22.5571
CPU time (s): 171.651
CPU user time (s): 171.135
CPU system time (s): 0.515896
CPU usage (%): 760.96
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 552924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.135
system time used= 0.515896
maximum resident set size= 555960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4272
involuntary context switches= 2343


# summary of solver processes directly reported to runsolver:
#   pid: 31564
#   total CPU time (s): 171.651
#   total CPU user time (s): 171.135
#   total CPU system time (s): 0.515896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.168424 second user time and 0.346383 second system time

The end
Name	SocialGolfers/SocialGolfers-xcsp2-s1/ SocialGolfers-06-3-5_X2.xml
MD5SUM	a8701a72dabf0de37daca9c92732f8d4
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	13.4951
Satisfiable
(Un)Satisfiability was proved
Number of variables	1080
Number of constraints	3375
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":1080}]
Minimum variable degree	6
Maximum variable degree	16
Distribution of variable degrees	[{"degree":6,"count":630},{"degree":16,"count":450}]
Minimum constraint arity	3
Maximum constraint arity	15
Distribution of constraint arities	[{"arity":3,"count":3150},{"arity":5,"count":90},{"arity":6,"count":105},{"arity":15,"count":30}]
Number of extensional constraints	0
Number of intensional constraints	3150
Distribution of constraint types	[{"type":"intension","count":3150},{"type":"sum","count":225}]
Optimization problem	NO
Type of objective
Trace number 4281083

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
