2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	OPT	46	130.9	19.8691
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 (8708 MiB free)
  memory of node 1: 16384 MiB (12118 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297870-1532706730/watcher-4297870-1532706730 -o /tmp/evaluation-result-4297870-1532706730/solver-4297870-1532706730 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532704130-23297 --watchdog 2580 HOME/xcsp3-exec -seed 298935558 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297870-1532706730.xml 

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

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


[startup+0.100143 s]*
/proc/loadavg: 9.37 8.70 8.38 2/201 23848
/proc/meminfo: memFree=21310360/32770624 swapFree=67108860/67108860
[pid=23827] ppid=23824 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23827/stat : 23827 (xcsp3-exec) S 23824 23827 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88236243 115843072 364 33554432000 4194304 5098028 140733742065680 140733742063784 139726203273852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9342976 140733742068790 140733742068992 140733742068992 140733742071754 0
/proc/23827/statm: 28282 364 306 221 0 87 0
[pid=23829] ppid=23827 vsize=26104152 memory=27748 CPUtime=0.11 cores=0-7
/proc/23829/stat : 23829 (java) S 23827 23827 23270 0 -1 1077944320 5873 0 0 0 10 1 0 0 20 0 20 0 88236243 26730651648 6937 33554432000 4194304 4196468 140726719415952 140726719398496 140084167331575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
/proc/23829/statm: 6526038 6937 2995 1 0 6488315 0
[pid=23829/tid=23830] ppid=23827 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23829/task/23830/stat : 23830 (java) R 23827 23827 23270 0 -1 4202560 3881 0 0 0 8 1 0 0 20 0 20 0 88236243 26730651648 6937 33554432000 4194304 4196468 140726719415952 140084171550880 140084151375205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23831] ppid=23827 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23829/task/23831/stat : 23831 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140084119951888 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23832] ppid=23827 vsize=26104152 memory=139834881181312 CPUtime=0 cores=0-7
/proc/23829/task/23832/stat : 23832 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140084118899344 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23833] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23833/stat : 23833 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140084117846288 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23834] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23834/stat : 23834 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140083722582416 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23835] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23835/stat : 23835 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140083721530384 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23836] ppid=23827 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23829/task/23836/stat : 23836 (java) S 23827 23827 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140083720477840 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23837] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23837/stat : 23837 (java) S 23827 23827 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140083719424784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23838] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23838/stat : 23838 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 6937 33554432000 4194304 4196468 140726719415952 140083718372240 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23839] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23839/stat : 23839 (java) S 23827 23827 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88236245 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082438727920 140084167342722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23840] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23840/stat : 23840 (java) S 23827 23827 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88236246 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082437674144 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23841] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23841/stat : 23841 (java) S 23827 23827 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88236246 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082436621040 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23842] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23842/stat : 23842 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236248 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082435569616 140084167350171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23843] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23843/stat : 23843 (java) S 23827 23827 23270 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082434517744 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23844] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23844/stat : 23844 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082433465200 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23845] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23845/stat : 23845 (java) S 23827 23827 23270 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082432412144 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23846] ppid=23827 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23829/task/23846/stat : 23846 (java) R 23827 23827 23270 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 88236249 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082431359600 140084167352922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23847] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23847/stat : 23847 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082430306784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23848] ppid=23827 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23829/task/23848/stat : 23848 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 6937 33554432000 4194304 4196468 140726719415952 140082429254320 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29204 KiB

[startup+0.210593 s]*
/proc/loadavg: 9.37 8.70 8.38 3/201 23848
/proc/meminfo: memFree=21299640/32770624 swapFree=67108860/67108860
[pid=23827] ppid=23824 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23827/stat : 23827 (xcsp3-exec) S 23824 23827 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88236243 115843072 364 33554432000 4194304 5098028 140733742065680 140733742063784 139726203273852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9342976 140733742068790 140733742068992 140733742068992 140733742071754 0
/proc/23827/statm: 28282 364 306 221 0 87 0
[pid=23829] ppid=23827 vsize=26104152 memory=39596 CPUtime=0.34 cores=0-7
/proc/23829/stat : 23829 (java) S 23827 23827 23270 0 -1 1077944320 8495 0 0 0 31 3 0 0 20 0 20 0 88236243 26730651648 9899 33554432000 4194304 4196468 140726719415952 140726719398496 140084167331575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
/proc/23829/statm: 6526038 9899 3212 1 0 6488315 0
[pid=23829/tid=23830] ppid=23827 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23829/task/23830/stat : 23830 (java) R 23827 23827 23270 0 -1 4202560 5599 0 0 0 18 2 0 0 20 0 20 0 88236243 26730651648 9899 33554432000 4194304 4196468 140726719415952 140084171566560 140084151375205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23831] ppid=23827 vsize=26104152 memory=331 CPUtime=0 cores=0-7
/proc/23829/task/23831/stat : 23831 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140084119951888 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23832] ppid=23827 vsize=26104152 memory=3618273281472169632 CPUtime=0 cores=0-7
/proc/23829/task/23832/stat : 23832 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140084118899344 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23833] ppid=23827 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23829/task/23833/stat : 23833 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140084117846288 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23834] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23834/stat : 23834 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140083722582416 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23835] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23835/stat : 23835 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140083721530384 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23836] ppid=23827 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23829/task/23836/stat : 23836 (java) S 23827 23827 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140083720477840 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23837] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23837/stat : 23837 (java) S 23827 23827 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140083719424784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23838] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23838/stat : 23838 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26730651648 9899 33554432000 4194304 4196468 140726719415952 140083718372240 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23839] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23839/stat : 23839 (java) S 23827 23827 23270 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88236245 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082438727920 140084167342722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23840] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23840/stat : 23840 (java) S 23827 23827 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88236246 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082437674144 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23841] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23841/stat : 23841 (java) S 23827 23827 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88236246 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082436621040 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23842] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23842/stat : 23842 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236248 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082435569616 140084167350171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23843] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23843/stat : 23843 (java) S 23827 23827 23270 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082434517744 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23844] ppid=23827 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23829/task/23844/stat : 23844 (java) S 23827 23827 23270 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 20 0 88236249 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082433465200 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23845] ppid=23827 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/23829/task/23845/stat : 23845 (java) S 23827 23827 23270 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 20 0 88236249 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082432412144 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23846] ppid=23827 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/23829/task/23846/stat : 23846 (java) S 23827 23827 23270 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 20 0 88236249 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082431359600 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23847] ppid=23827 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23847/stat : 23847 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082430306784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23848] ppid=23827 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23829/task/23848/stat : 23848 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236249 26730651648 9899 33554432000 4194304 4196468 140726719415952 140082429254320 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41052 KiB

[startup+0.310631 s]*
/proc/loadavg: 9.37 8.70 8.38 4/201 23848
/proc/meminfo: memFree=21293612/32770624 swapFree=67108860/67108860
[pid=23827] ppid=23824 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23827/stat : 23827 (xcsp3-exec) S 23824 23827 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88236243 115843072 364 33554432000 4194304 5098028 140733742065680 140733742063784 139726203273852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9342976 140733742068790 140733742068992 140733742068992 140733742071754 0
/proc/23827/statm: 28282 364 306 221 0 87 0
[pid=23829] ppid=23827 vsize=26108408 memory=46932 CPUtime=0.52 cores=0-7
/proc/23829/stat : 23829 (java) S 23827 23827 23270 0 -1 1077944320 9418 0 0 0 48 4 0 0 20 0 20 0 88236243 26735009792 11733 33554432000 4194304 4196468 140726719415952 140726719398496 140084167331575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
/proc/23829/statm: 6527102 11733 3248 1 0 6488315 0
[pid=23829/tid=23830] ppid=23827 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23829/task/23830/stat : 23830 (java) R 23827 23827 23270 0 -1 4202560 6303 0 0 0 27 2 0 0 20 0 20 0 88236243 26735009792 11733 33554432000 4194304 4196468 140726719415952 140084171565360 140084151412062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23831] ppid=23827 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23831/stat : 23831 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140084119951888 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23832] ppid=23827 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23832/stat : 23832 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140084118899344 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23833] ppid=23827 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23833/stat : 23833 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140084117846288 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23834] ppid=23827 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23834/stat : 23834 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140083722582416 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23835] ppid=23827 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/23829/task/23835/stat : 23835 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140083721530384 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23836] ppid=23827 vsize=26108408 memory=139834740011951 CPUtime=0 cores=0-7
/proc/23829/task/23836/stat : 23836 (java) S 23827 23827 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140083720477840 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23837] ppid=23827 vsize=26108408 memory=139834740014256 CPUtime=0 cores=0-7
/proc/23829/task/23837/stat : 23837 (java) S 23827 23827 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140083719424784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23838] ppid=23827 vsize=26108408 memory=139834740016560 CPUtime=0 cores=0-7
/proc/23829/task/23838/stat : 23838 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26735009792 11733 33554432000 4194304 4196468 140726719415952 140083718372240 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23839] ppid=23827 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23839/stat : 23839 (java) S 23827 23827 23270 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88236245 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082438727920 140084167342722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23840] ppid=23827 vsize=26108408 memory=279669480040080 CPUtime=0 cores=0-7
/proc/23829/task/23840/stat : 23840 (java) S 23827 23827 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88236246 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082437674144 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23841] ppid=23827 vsize=26108408 memory=279669480046992 CPUtime=0 cores=0-7
/proc/23829/task/23841/stat : 23841 (java) S 23827 23827 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88236246 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082436621040 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23842] ppid=23827 vsize=26108408 memory=279669479988272 CPUtime=0 cores=0-7
/proc/23829/task/23842/stat : 23842 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236248 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082435569616 140084167350171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23843] ppid=23827 vsize=26108408 memory=279669480060816 CPUtime=0.02 cores=0-7
/proc/23829/task/23843/stat : 23843 (java) R 23827 23827 23270 0 -1 4202560 427 0 0 0 2 0 0 0 20 0 20 0 88236249 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082434517744 140084148876126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23844] ppid=23827 vsize=26108408 memory=279669480067728 CPUtime=0.02 cores=0-7
/proc/23829/task/23844/stat : 23844 (java) S 23827 23827 23270 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 20 0 88236249 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082433465200 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23845] ppid=23827 vsize=26108408 memory=279669480065424 CPUtime=0.02 cores=0-7
/proc/23829/task/23845/stat : 23845 (java) S 23827 23827 23270 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 20 0 88236249 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082432412144 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23846] ppid=23827 vsize=26108408 memory=279669480081584 CPUtime=0.12 cores=0-7
/proc/23829/task/23846/stat : 23846 (java) S 23827 23827 23270 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 20 0 88236249 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082431359600 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23847] ppid=23827 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23847/stat : 23847 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236249 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082430306784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23848] ppid=23827 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/23829/task/23848/stat : 23848 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236249 26735009792 11733 33554432000 4194304 4196468 140726719415952 140082429254320 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48388 KiB

[startup+0.701003 s]
/proc/loadavg: 9.37 8.70 8.38 6/201 23848
/proc/meminfo: memFree=21268804/32770624 swapFree=67108860/67108860
[pid=23827] ppid=23824 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23827/stat : 23827 (xcsp3-exec) S 23824 23827 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88236243 115843072 364 33554432000 4194304 5098028 140733742065680 140733742063784 139726203273852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9342976 140733742068790 140733742068992 140733742068992 140733742071754 0
/proc/23827/statm: 28282 364 306 221 0 87 0
[pid=23829] ppid=23827 vsize=26110532 memory=103764 CPUtime=2.01 cores=0-7
/proc/23829/stat : 23829 (java) S 23827 23827 23270 0 -1 1077944320 14022 0 0 0 195 6 0 0 20 0 20 0 88236243 26737184768 25941 33554432000 4194304 4196468 140726719415952 140726719398496 140084167331575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
/proc/23829/statm: 6527633 25941 3356 1 0 6488827 0
[pid=23829/tid=23830] ppid=23827 vsize=26110532 memory=279669480439472 CPUtime=0.67 cores=0-7
/proc/23829/task/23830/stat : 23830 (java) R 23827 23827 23270 0 -1 4202560 7091 0 0 0 63 4 0 0 20 0 20 0 88236243 26737184768 25941 33554432000 4194304 4196468 140726719415952 140084171557712 140084160009589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23831] ppid=23827 vsize=26110532 memory=139834740220784 CPUtime=0 cores=0-7
/proc/23829/task/23831/stat : 23831 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26737184768 25941 33554432000 4194304 4196468 140726719415952 140084119951888 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23832] ppid=23827 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/23829/task/23832/stat : 23832 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88236244 26737184768 25941 33554432000 4194304 4196468 140726719415952 140084118899344 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23833] ppid=23827 vsize=26110532 memory=1012 CPUtime=0 cores=0-7
/proc/23829/task/23833/stat : 23833 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88236244 26737184768 25941 33554432000 4194304 4196468 140726719415952 140084117846288 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0

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

[pid=23829/tid=23846] ppid=23827 vsize=26645092 memory=139834881192417 CPUtime=0.95 cores=0-7
/proc/23829/task/23846/stat : 23846 (java) S 23827 23827 23270 0 -1 1077944384 6386 0 0 0 94 1 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082431359600 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23847] ppid=23827 vsize=26645092 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/23829/task/23847/stat : 23847 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082430306784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23848] ppid=23827 vsize=26645092 memory=5859271421084128616 CPUtime=0 cores=0-7
/proc/23829/task/23848/stat : 23848 (java) S 23827 23827 23270 0 -1 1077944384 1051 0 0 0 0 0 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082429254320 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23849] ppid=23827 vsize=26645092 memory=6008455392123703632 CPUtime=13.71 cores=0-7
/proc/23829/task/23849/stat : 23849 (java) S 23827 23827 23270 0 -1 1077944384 774 0 0 0 1369 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082418564336 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23850] ppid=23827 vsize=26645092 memory=1012 CPUtime=13.98 cores=0-7
/proc/23829/task/23850/stat : 23850 (java) S 23827 23827 23270 0 -1 1077944384 318 0 0 0 1395 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082417513296 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23851] ppid=23827 vsize=26645092 memory=56 CPUtime=14.75 cores=0-7
/proc/23829/task/23851/stat : 23851 (java) R 23827 23827 23270 0 -1 4202560 685 0 0 0 1468 7 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082416455648 140083798025906 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23852] ppid=23827 vsize=26645092 memory=6933961475520150113 CPUtime=13.64 cores=0-7
/proc/23829/task/23852/stat : 23852 (java) S 23827 23827 23270 0 -1 1077944384 2701 0 0 0 1361 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082415408720 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23853] ppid=23827 vsize=26645092 memory=5935835913284247872 CPUtime=14.16 cores=0-7
/proc/23829/task/23853/stat : 23853 (java) S 23827 23827 23270 0 -1 1077944384 618 0 0 0 1409 7 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082414355664 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23854] ppid=23827 vsize=26645092 memory=5788902771412455504 CPUtime=13.87 cores=0-7
/proc/23829/task/23854/stat : 23854 (java) S 23827 23827 23270 0 -1 1077944384 1275 0 0 0 1384 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082413303120 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23855] ppid=23827 vsize=26645092 memory=6944656575208382560 CPUtime=13.74 cores=0-7
/proc/23829/task/23855/stat : 23855 (java) S 23827 23827 23270 0 -1 1077944384 369 0 0 0 1372 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082412250064 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23856] ppid=23827 vsize=26645092 memory=5788621305025679440 CPUtime=13.62 cores=0-7
/proc/23829/task/23856/stat : 23856 (java) S 23827 23827 23270 0 -1 1077944384 579 0 0 0 1360 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082411197520 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
Current children cumulated CPU time: 130.19 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 988464 KiB

[startup+19.6011 s]
/proc/loadavg: 9.51 8.77 8.40 2/209 23856
/proc/meminfo: memFree=20349140/32770624 swapFree=67108860/67108860
[pid=23827] ppid=23824 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23827/stat : 23827 (xcsp3-exec) S 23824 23827 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88236243 115843072 364 33554432000 4194304 5098028 140733742065680 140733742063784 139726203273852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9342976 140733742068790 140733742068992 140733742068992 140733742071754 0
/proc/23827/statm: 28282 364 306 221 0 87 0
[pid=23829] ppid=23827 vsize=26645092 memory=987008 CPUtime=130.59 cores=0-7
/proc/23829/stat : 23829 (java) S 23827 23827 23270 0 -1 1077944320 71420 0 0 0 12931 128 0 0 20 0 28 0 88236243 27284574208 246752 33554432000 4194304 4196468 140726719415952 140726719398496 140084167331575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
/proc/23829/statm: 6661273 246752 3446 1 0 6622467 0
[pid=23829/tid=23830] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=3.12 cores=0-7
/proc/23829/task/23830/stat : 23830 (java) S 23827 23827 23270 0 -1 1077944384 10085 0 0 0 302 10 0 0 20 0 28 0 88236243 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084171572352 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23831] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=0.26 cores=0-7
/proc/23829/task/23831/stat : 23831 (java) S 23827 23827 23270 0 -1 1077944384 299 0 0 0 19 7 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084119951888 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23832] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=0.3 cores=0-7
/proc/23829/task/23832/stat : 23832 (java) S 23827 23827 23270 0 -1 1077944384 198 0 0 0 22 8 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084118899344 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23833] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=0.27 cores=0-7
/proc/23829/task/23833/stat : 23833 (java) S 23827 23827 23270 0 -1 1077944384 299 0 0 0 20 7 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084117846288 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23834] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=0.3 cores=0-7
/proc/23829/task/23834/stat : 23834 (java) S 23827 23827 23270 0 -1 1077944384 211 0 0 0 21 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083722582416 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23835] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=0.28 cores=0-7
/proc/23829/task/23835/stat : 23835 (java) S 23827 23827 23270 0 -1 1077944384 1974 0 0 0 19 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083721530384 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23836] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=0.3 cores=0-7
/proc/23829/task/23836/stat : 23836 (java) S 23827 23827 23270 0 -1 1077944384 254 0 0 0 21 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083720477840 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23837] ppid=23827 vsize=26645092 memory=104521518811882 CPUtime=0.25 cores=0-7
/proc/23829/task/23837/stat : 23837 (java) S 23827 23827 23270 0 -1 1077944384 335 0 0 0 18 7 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083719424784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23838] ppid=23827 vsize=26645092 memory=104521518811626 CPUtime=0.31 cores=0-7
/proc/23829/task/23838/stat : 23838 (java) S 23827 23827 23270 0 -1 1077944384 208 0 0 0 22 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083718372240 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23839] ppid=23827 vsize=26645092 memory=104521518811626 CPUtime=0.03 cores=0-7
/proc/23829/task/23839/stat : 23839 (java) S 23827 23827 23270 0 -1 1077944384 1714 0 0 0 2 1 0 0 20 0 28 0 88236245 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082438727920 140084167342722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23840] ppid=23827 vsize=26645092 memory=2110185347954452 CPUtime=0 cores=0-7
/proc/23829/task/23840/stat : 23840 (java) S 23827 23827 23270 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88236246 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082437674208 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23841] ppid=23827 vsize=26645092 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/23829/task/23841/stat : 23841 (java) S 23827 23827 23270 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 88236246 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082436621056 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23842] ppid=23827 vsize=26645092 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/23829/task/23842/stat : 23842 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88236248 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082435569616 140084167350171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23843] ppid=23827 vsize=26645092 memory=14692993764428366 CPUtime=4.48 cores=0-7
/proc/23829/task/23843/stat : 23843 (java) S 23827 23827 23270 0 -1 1077944384 15645 0 0 0 444 4 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082434517744 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23844] ppid=23827 vsize=26645092 memory=24 CPUtime=3.68 cores=0-7
/proc/23829/task/23844/stat : 23844 (java) S 23827 23827 23270 0 -1 1077944384 11893 0 0 0 365 3 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082433465200 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23845] ppid=23827 vsize=26645092 memory=21 CPUtime=3.91 cores=0-7
/proc/23829/task/23845/stat : 23845 (java) S 23827 23827 23270 0 -1 1077944384 12169 0 0 0 389 2 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082432412144 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23846] ppid=23827 vsize=26645092 memory=24 CPUtime=0.95 cores=0-7
/proc/23829/task/23846/stat : 23846 (java) S 23827 23827 23270 0 -1 1077944384 6386 0 0 0 94 1 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082431359600 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23847] ppid=23827 vsize=26645092 memory=18 CPUtime=0 cores=0-7
/proc/23829/task/23847/stat : 23847 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082430306784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23848] ppid=23827 vsize=26645092 memory=25 CPUtime=0 cores=0-7
/proc/23829/task/23848/stat : 23848 (java) S 23827 23827 23270 0 -1 1077944384 1051 0 0 0 0 0 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082429254320 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23849] ppid=23827 vsize=26645092 memory=2 CPUtime=13.71 cores=0-7
/proc/23829/task/23849/stat : 23849 (java) S 23827 23827 23270 0 -1 1077944384 774 0 0 0 1369 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082418564336 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23850] ppid=23827 vsize=26645092 memory=0 CPUtime=13.98 cores=0-7
/proc/23829/task/23850/stat : 23850 (java) S 23827 23827 23270 0 -1 1077944384 318 0 0 0 1395 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082417513296 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23851] ppid=23827 vsize=26645092 memory=0 CPUtime=15.15 cores=0-7
/proc/23829/task/23851/stat : 23851 (java) R 23827 23827 23270 0 -1 4202560 685 0 0 0 1508 7 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082416455648 140083798026304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23852] ppid=23827 vsize=26645092 memory=0 CPUtime=13.64 cores=0-7
/proc/23829/task/23852/stat : 23852 (java) S 23827 23827 23270 0 -1 1077944384 2701 0 0 0 1361 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082415408720 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23853] ppid=23827 vsize=26645092 memory=395 CPUtime=14.16 cores=0-7
/proc/23829/task/23853/stat : 23853 (java) S 23827 23827 23270 0 -1 1077944384 618 0 0 0 1409 7 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082414355664 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23854] ppid=23827 vsize=26645092 memory=358 CPUtime=13.87 cores=0-7
/proc/23829/task/23854/stat : 23854 (java) S 23827 23827 23270 0 -1 1077944384 1275 0 0 0 1384 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082413303120 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23855] ppid=23827 vsize=26645092 memory=4140 CPUtime=13.74 cores=0-7
/proc/23829/task/23855/stat : 23855 (java) S 23827 23827 23270 0 -1 1077944384 369 0 0 0 1372 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082412250064 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23856] ppid=23827 vsize=26645092 memory=25652 CPUtime=13.62 cores=0-7
/proc/23829/task/23856/stat : 23856 (java) S 23827 23827 23270 0 -1 1077944384 579 0 0 0 1360 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082411197520 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
Current children cumulated CPU time: 130.59 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 988464 KiB

[startup+19.8011 s]
/proc/loadavg: 9.51 8.77 8.40 2/209 23856
/proc/meminfo: memFree=20349140/32770624 swapFree=67108860/67108860
[pid=23827] ppid=23824 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23827/stat : 23827 (xcsp3-exec) S 23824 23827 23270 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88236243 115843072 364 33554432000 4194304 5098028 140733742065680 140733742063784 139726203273852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9342976 140733742068790 140733742068992 140733742068992 140733742071754 0
/proc/23827/statm: 28282 364 306 221 0 87 0
[pid=23829] ppid=23827 vsize=26645092 memory=987008 CPUtime=130.79 cores=0-7
/proc/23829/stat : 23829 (java) S 23827 23827 23270 0 -1 1077944320 71420 0 0 0 12951 128 0 0 20 0 28 0 88236243 27284574208 246752 33554432000 4194304 4196468 140726719415952 140726719398496 140084167331575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
/proc/23829/statm: 6661273 246752 3446 1 0 6622467 0
[pid=23829/tid=23830] ppid=23827 vsize=26645092 memory=1836 CPUtime=3.12 cores=0-7
/proc/23829/task/23830/stat : 23830 (java) S 23827 23827 23270 0 -1 1077944384 10085 0 0 0 302 10 0 0 20 0 28 0 88236243 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084171572352 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23831] ppid=23827 vsize=26645092 memory=288230574492221466 CPUtime=0.26 cores=0-7
/proc/23829/task/23831/stat : 23831 (java) S 23827 23827 23270 0 -1 1077944384 299 0 0 0 19 7 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084119951888 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23832] ppid=23827 vsize=26645092 memory=288230596050944315 CPUtime=0.3 cores=0-7
/proc/23829/task/23832/stat : 23832 (java) S 23827 23827 23270 0 -1 1077944384 198 0 0 0 22 8 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084118899344 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23833] ppid=23827 vsize=26645092 memory=14692993764428366 CPUtime=0.27 cores=0-7
/proc/23829/task/23833/stat : 23833 (java) S 23827 23827 23270 0 -1 1077944384 299 0 0 0 20 7 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140084117846288 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23834] ppid=23827 vsize=26645092 memory=0 CPUtime=0.3 cores=0-7
/proc/23829/task/23834/stat : 23834 (java) S 23827 23827 23270 0 -1 1077944384 211 0 0 0 21 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083722582416 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23835] ppid=23827 vsize=26645092 memory=279669481099328 CPUtime=0.28 cores=0-7
/proc/23829/task/23835/stat : 23835 (java) S 23827 23827 23270 0 -1 1077944384 1974 0 0 0 19 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083721530384 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23836] ppid=23827 vsize=26645092 memory=139834740575376 CPUtime=0.3 cores=0-7
/proc/23829/task/23836/stat : 23836 (java) S 23827 23827 23270 0 -1 1077944384 254 0 0 0 21 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083720477840 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23837] ppid=23827 vsize=26645092 memory=0 CPUtime=0.25 cores=0-7
/proc/23829/task/23837/stat : 23837 (java) S 23827 23827 23270 0 -1 1077944384 335 0 0 0 18 7 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083719424784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23838] ppid=23827 vsize=26645092 memory=0 CPUtime=0.31 cores=0-7
/proc/23829/task/23838/stat : 23838 (java) S 23827 23827 23270 0 -1 1077944384 208 0 0 0 22 9 0 0 20 0 28 0 88236244 27284574208 246752 33554432000 4194304 4196468 140726719415952 140083718372240 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23839] ppid=23827 vsize=26645092 memory=0 CPUtime=0.03 cores=0-7
/proc/23829/task/23839/stat : 23839 (java) S 23827 23827 23270 0 -1 1077944384 1714 0 0 0 2 1 0 0 20 0 28 0 88236245 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082438727920 140084167342722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23840] ppid=23827 vsize=26645092 memory=13044 CPUtime=0 cores=0-7
/proc/23829/task/23840/stat : 23840 (java) S 23827 23827 23270 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88236246 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082437674208 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23841] ppid=23827 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/23829/task/23841/stat : 23841 (java) S 23827 23827 23270 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 88236246 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082436621056 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23842] ppid=23827 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/23829/task/23842/stat : 23842 (java) S 23827 23827 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88236248 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082435569616 140084167350171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23843] ppid=23827 vsize=26645092 memory=1712 CPUtime=4.48 cores=0-7
/proc/23829/task/23843/stat : 23843 (java) S 23827 23827 23270 0 -1 1077944384 15645 0 0 0 444 4 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082434517744 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23844] ppid=23827 vsize=26645092 memory=5412 CPUtime=3.68 cores=0-7
/proc/23829/task/23844/stat : 23844 (java) S 23827 23827 23270 0 -1 1077944384 11893 0 0 0 365 3 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082433465200 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23845] ppid=23827 vsize=26645092 memory=4612 CPUtime=3.91 cores=0-7
/proc/23829/task/23845/stat : 23845 (java) S 23827 23827 23270 0 -1 1077944384 12169 0 0 0 389 2 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082432412144 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23846] ppid=23827 vsize=26645092 memory=1012 CPUtime=0.95 cores=0-7
/proc/23829/task/23846/stat : 23846 (java) S 23827 23827 23270 0 -1 1077944384 6386 0 0 0 94 1 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082431359600 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23847] ppid=23827 vsize=26645092 memory=1436 CPUtime=0 cores=0-7
/proc/23829/task/23847/stat : 23847 (java) S 23827 23827 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082430306784 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23848] ppid=23827 vsize=26645092 memory=1200 CPUtime=0 cores=0-7
/proc/23829/task/23848/stat : 23848 (java) S 23827 23827 23270 0 -1 1077944384 1051 0 0 0 0 0 0 0 20 0 28 0 88236249 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082429254320 140084167342722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23849] ppid=23827 vsize=26645092 memory=15876 CPUtime=13.71 cores=0-7
/proc/23829/task/23849/stat : 23849 (java) S 23827 23827 23270 0 -1 1077944384 774 0 0 0 1369 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082418564336 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23850] ppid=23827 vsize=26645092 memory=14972 CPUtime=13.98 cores=0-7
/proc/23829/task/23850/stat : 23850 (java) S 23827 23827 23270 0 -1 1077944384 318 0 0 0 1395 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082417513296 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23851] ppid=23827 vsize=26645092 memory=4004 CPUtime=15.35 cores=0-7
/proc/23829/task/23851/stat : 23851 (java) R 23827 23827 23270 0 -1 4202560 685 0 0 0 1528 7 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082416455648 140083798025918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23852] ppid=23827 vsize=26645092 memory=18448 CPUtime=13.64 cores=0-7
/proc/23829/task/23852/stat : 23852 (java) S 23827 23827 23270 0 -1 1077944384 2701 0 0 0 1361 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082415408720 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23853] ppid=23827 vsize=26645092 memory=1796 CPUtime=14.16 cores=0-7
/proc/23829/task/23853/stat : 23853 (java) S 23827 23827 23270 0 -1 1077944384 618 0 0 0 1409 7 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082414355664 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23854] ppid=23827 vsize=26645092 memory=640 CPUtime=13.87 cores=0-7
/proc/23829/task/23854/stat : 23854 (java) S 23827 23827 23270 0 -1 1077944384 1275 0 0 0 1384 3 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082413303120 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23855] ppid=23827 vsize=26645092 memory=952 CPUtime=13.74 cores=0-7
/proc/23829/task/23855/stat : 23855 (java) S 23827 23827 23270 0 -1 1077944384 369 0 0 0 1372 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082412250064 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
[pid=23829/tid=23856] ppid=23827 vsize=26645092 memory=1232 CPUtime=13.62 cores=0-7
/proc/23829/task/23856/stat : 23856 (java) S 23827 23827 23270 0 -1 1077944384 579 0 0 0 1360 2 0 0 20 0 28 0 88236587 27284574208 246752 33554432000 4194304 4196468 140726719415952 140082411197520 140084167341781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34390016 140726719419521 140726719419693 140726719419693 140726719422415 0
Current children cumulated CPU time: 130.79 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 988464 KiB

Child status: 0
Real time (s): 19.8691
CPU time (s): 130.9
CPU user time (s): 129.591
CPU system time (s): 1.30859
CPU usage (%): 658.811
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 988464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.591
system time used= 1.30859
maximum resident set size= 987500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5528
involuntary context switches= 2553


# summary of solver processes directly reported to runsolver:
#   pid: 23827
#   total CPU time (s): 130.9
#   total CPU user time (s): 129.591
#   total CPU system time (s): 1.30859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.183494 second user time and 0.288654 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	130.9
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4297870

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
