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 (15056 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269930-1502689737/watcher-4269930-1502689737 -o /tmp/evaluation-result-4269930-1502689737/solver-4269930-1502689737 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1850390613 HOME/instance-4269930-1502689737.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16841, runsolver pid=16838
[startup+0.100155 s]*
/proc/loadavg: 1.87 1.75 1.76 3/205 16851
/proc/meminfo: memFree=31400000/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13841768 memory=20132 CPUtime=0.05 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 4505 0 0 0 4 1 0 0 20 0 14 0 57314391 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3460442 5033 2470 1 0 3449939 0
[pid=16843/tid=16844] ppid=16841 vsize=13841768 memory=4206989191851631162 CPUtime=0.04 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 2724 0 0 0 4 0 0 0 20 0 14 0 57314392 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 139740138985824 139740134765725 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13841768 memory=3461490930775967369 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 57314392 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13841768 memory=140326146283136 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 57314393 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13841768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 57314393 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13841768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 57314393 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13841768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 57314394 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13841768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 57314394 14173970432 5033 18446744073709551615 4194304 4196468 140734109087280 139739612136352 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13841768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 57314394 14173970432 5099 18446744073709551615 4194304 4196468 140734109087280 139739611083760 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13841768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 57314397 14173970432 5099 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13841768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) S 16841 16841 11586 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 57314397 14173970432 5099 18446744073709551615 4194304 4196468 140734109087280 139739608979648 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13841768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) R 16841 16841 11586 0 -1 4202560 273 0 0 0 0 0 0 0 20 0 14 0 57314397 14173970432 5099 18446744073709551615 4194304 4196468 140734109087280 139739607914824 139740118639811 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13841768 memory=140326146283136 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) R 16841 16841 11586 0 -1 4202560 206 0 0 0 0 0 0 0 20 0 14 0 57314397 14173970432 5099 18446744073709551615 4194304 4196468 140734109087280 139739606874864 139740113462400 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13841768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) R 16841 16841 11586 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 14 0 57314397 14173970432 5099 18446744073709551615 4194304 4196468 140734109087280 139739605822944 139740134754005 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13851280 KiB
Current children cumulated memory: 21512 KiB
[startup+0.210269 s]*
/proc/loadavg: 1.87 1.75 1.76 5/211 16857
/proc/meminfo: memFree=31389984/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13974352 memory=31584 CPUtime=0.19 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 5830 0 0 0 18 1 0 0 20 0 15 0 57314391 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3493588 7896 2919 1 0 3482964 0
[pid=16843/tid=16844] ppid=16841 vsize=13974352 memory=-6440823037652734310 CPUtime=0.12 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 3181 0 0 0 11 1 0 0 20 0 15 0 57314392 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139740138970928 139739730641248 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13974352 memory=3461490930775967369 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314392 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13974352 memory=140326146283136 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314393 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314393 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 57314393 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13974352 memory=140326146283136 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 57314394 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 57314394 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739612136352 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 57314394 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739611083760 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) R 16841 16841 11586 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 57314397 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739608979952 139740134754946 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) R 16841 16841 11586 0 -1 4202560 327 0 0 0 0 0 0 0 20 0 15 0 57314397 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739607927408 139740119576448 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13974352 memory=140326146283136 CPUtime=0.04 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) R 16841 16841 11586 0 -1 4202560 677 0 0 0 4 0 0 0 20 0 15 0 57314397 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739606868752 139740113879737 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739605822560 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16857] ppid=16841 vsize=13974352 memory=140326146283136 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16857/stat : 16857 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314401 14309736448 7896 18446744073709551615 4194304 4196468 140734109087280 139739604769072 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32964 KiB
[startup+0.310713 s]*
/proc/loadavg: 1.87 1.75 1.76 3/211 16857
/proc/meminfo: memFree=31379224/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13978608 memory=40284 CPUtime=0.37 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 9288 0 0 0 33 4 0 0 20 0 15 0 57314391 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3494652 10071 3048 1 0 3482964 0
[pid=16843/tid=16844] ppid=16841 vsize=13978608 memory=2110676651113636 CPUtime=0.22 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 6513 0 0 0 19 3 0 0 20 0 15 0 57314392 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139740138965824 139740127421813 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13978608 memory=732370464483736549 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314392 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13978608 memory=140326146285484 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314393 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13978608 memory=140326044026250 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314393 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13978608 memory=140326043953519 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 57314393 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13978608 memory=140326146297826 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 57314394 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13978608 memory=140326044028335 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 57314394 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739612136352 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13978608 memory=280652088052080 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 57314394 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739611083760 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13978608 memory=140326044042886 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) S 16841 16841 11586 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 15 0 57314397 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739608979952 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13978608 memory=2240 CPUtime=0.01 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) S 16841 16841 11586 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 57314397 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739607927408 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13978608 memory=140326146283136 CPUtime=0.08 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) S 16841 16841 11586 0 -1 1077944384 698 0 0 0 8 0 0 0 20 0 15 0 57314397 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739606874864 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739605822560 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16857] ppid=16841 vsize=13978608 memory=140326146283135 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16857/stat : 16857 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314401 14314094592 10071 18446744073709551615 4194304 4196468 140734109087280 139739604769072 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41664 KiB
[startup+0.702074 s]
/proc/loadavg: 1.87 1.75 1.76 4/211 16857
/proc/meminfo: memFree=31366908/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13980732 memory=68040 CPUtime=1.28 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 13560 0 0 0 122 6 0 0 20 0 15 0 57314391 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3495183 17010 3171 1 0 3483476 0
[pid=16843/tid=16844] ppid=16841 vsize=13980732 memory=4420 CPUtime=0.6 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 8674 0 0 0 56 4 0 0 20 0 15 0 57314392 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139740138981272 139740134755734 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314392 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13980732 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314393 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13980732 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314393 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 57314393 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13980732 memory=8908 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739612136352 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739611083760 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) R 16841 16841 11586 0 -1 4202560 1024 0 0 0 14 0 0 0 20 0 15 0 57314397 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739608979952 139740113998161 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13980732 memory=280652088038064 CPUtime=0.16 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) R 16841 16841 11586 0 -1 4202560 933 0 0 0 16 0 0 0 20 0 15 0 57314397 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739607927408 139740112464992 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13980732 memory=140326044068964 CPUtime=0.34 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) S 16841 16841 11586 0 -1 1077944384 1621 0 0 0 34 0 0 0 20 0 15 0 57314397 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739606874704 139740134764989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739605822560 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16857] ppid=16841 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16857/stat : 16857 (java) S 16841 16841 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 57314401 14316269568 17010 18446744073709551615 4194304 4196468 140734109087280 139739604769072 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69420 KiB
[startup+1.50088 s]
/proc/loadavg: 2.04 1.78 1.77 5/211 16857
/proc/meminfo: memFree=31336584/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13980732 memory=129140 CPUtime=3.73 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 37834 0 0 0 364 9 0 0 20 0 15 0 57314391 14316269568 32285 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
################
# More data... #
################
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13980732 memory=2079008 CPUtime=1099.4 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 117212 0 0 0 109833 107 0 0 20 0 15 0 57314391 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3495183 519752 3256 1 0 3483476 0
[pid=16843/tid=16844] ppid=16841 vsize=13980732 memory=2384 CPUtime=1083.34 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 26487 0 0 0 108282 52 0 0 20 0 15 0 57314392 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139740138983432 139739739568150 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13980732 memory=-8774313645642428999 CPUtime=1.1 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1965 0 0 0 103 7 0 0 20 0 15 0 57314392 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13980732 memory=1380 CPUtime=1.11 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 3554 0 0 0 104 7 0 0 20 0 15 0 57314393 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13980732 memory=4120 CPUtime=1.12 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 3274 0 0 0 104 8 0 0 20 0 15 0 57314393 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13980732 memory=32684 CPUtime=1.12 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2425 0 0 0 103 9 0 0 20 0 15 0 57314393 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13980732 memory=1296 CPUtime=0.73 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 3998 0 0 0 67 6 0 0 20 0 15 0 57314394 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739612136416 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739611083776 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13980732 memory=796 CPUtime=4.96 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) S 16841 16841 11586 0 -1 1077944384 34884 0 0 0 492 4 0 0 20 0 15 0 57314397 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739608979952 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13980732 memory=9992 CPUtime=4.95 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) S 16841 16841 11586 0 -1 1077944384 27923 0 0 0 492 3 0 0 20 0 15 0 57314397 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739607927408 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13980732 memory=1716 CPUtime=0.61 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) S 16841 16841 11586 0 -1 1077944384 10433 0 0 0 60 1 0 0 20 0 15 0 57314397 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739606874864 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739605822560 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16857] ppid=16841 vsize=13980732 memory=1232 CPUtime=0.27 cores=1,3,5,7
/proc/16843/task/16857/stat : 16857 (java) S 16841 16841 11586 0 -1 1077944384 925 0 0 0 11 16 0 0 20 0 15 0 57314401 14316269568 519752 18446744073709551615 4194304 4196468 140734109087280 139739604769072 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 1099.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2080388 KiB
[startup+1086.4 s]
/proc/loadavg: 1.58 1.55 1.64 3/212 16922
/proc/meminfo: memFree=29353092/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13980732 memory=2125788 CPUtime=1100.22 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 117284 0 0 0 109914 108 0 0 20 0 15 0 57314391 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3495183 531447 3256 1 0 3483476 0
[pid=16843/tid=16844] ppid=16841 vsize=13980732 memory=-8774313645642428999 CPUtime=1084.14 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 26559 0 0 0 108361 53 0 0 20 0 15 0 57314392 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139740138983152 139739736459460 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13980732 memory=2384 CPUtime=1.11 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1965 0 0 0 104 7 0 0 20 0 15 0 57314392 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13980732 memory=1296 CPUtime=1.12 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 3554 0 0 0 105 7 0 0 20 0 15 0 57314393 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13980732 memory=1728 CPUtime=1.12 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 3274 0 0 0 104 8 0 0 20 0 15 0 57314393 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13980732 memory=5788 CPUtime=1.13 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2425 0 0 0 104 9 0 0 20 0 15 0 57314393 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13980732 memory=1380 CPUtime=0.73 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 3998 0 0 0 67 6 0 0 20 0 15 0 57314394 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13980732 memory=2101632 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739612136416 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739611083776 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13980732 memory=9992 CPUtime=4.96 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) S 16841 16841 11586 0 -1 1077944384 34884 0 0 0 492 4 0 0 20 0 15 0 57314397 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739608979952 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13980732 memory=8908 CPUtime=4.95 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) S 16841 16841 11586 0 -1 1077944384 27923 0 0 0 492 3 0 0 20 0 15 0 57314397 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739607927408 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13980732 memory=4616 CPUtime=0.61 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) S 16841 16841 11586 0 -1 1077944384 10433 0 0 0 60 1 0 0 20 0 15 0 57314397 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739606874864 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739605822560 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16857] ppid=16841 vsize=13980732 memory=1204 CPUtime=0.27 cores=1,3,5,7
/proc/16843/task/16857/stat : 16857 (java) S 16841 16841 11586 0 -1 1077944384 925 0 0 0 11 16 0 0 20 0 15 0 57314401 14316269568 531447 18446744073709551615 4194304 4196468 140734109087280 139739604769072 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 1100.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2127168 KiB
[startup+1086.8 s]
/proc/loadavg: 1.58 1.55 1.64 3/212 16922
/proc/meminfo: memFree=29353092/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13980732 memory=2125792 CPUtime=1100.64 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 117320 0 0 0 109956 108 0 0 20 0 15 0 57314391 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3495183 531448 3257 1 0 3483476 0
[pid=16843/tid=16844] ppid=16841 vsize=13980732 memory=-8774313645642428999 CPUtime=1084.53 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 26568 0 0 0 108400 53 0 0 20 0 15 0 57314392 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740138983392 139739734113751 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13980732 memory=2007560 CPUtime=1.11 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1965 0 0 0 104 7 0 0 20 0 15 0 57314392 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13980732 memory=1728 CPUtime=1.12 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 3554 0 0 0 105 7 0 0 20 0 15 0 57314393 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13980732 memory=5788 CPUtime=1.13 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 3274 0 0 0 105 8 0 0 20 0 15 0 57314393 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13980732 memory=1996 CPUtime=1.14 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2426 0 0 0 105 9 0 0 20 0 15 0 57314393 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13980732 memory=796 CPUtime=0.73 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 3998 0 0 0 67 6 0 0 20 0 15 0 57314394 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13980732 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739612136416 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739611083776 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13980732 memory=2031720 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13980732 memory=1996 CPUtime=4.96 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) S 16841 16841 11586 0 -1 1077944384 34884 0 0 0 492 4 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739608979952 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13980732 memory=796 CPUtime=4.95 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) S 16841 16841 11586 0 -1 1077944384 27923 0 0 0 492 3 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739607927408 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13980732 memory=9992 CPUtime=0.62 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) S 16841 16841 11586 0 -1 1077944384 10459 0 0 0 61 1 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739606874864 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739605822560 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16857] ppid=16841 vsize=13980732 memory=1008 CPUtime=0.27 cores=1,3,5,7
/proc/16843/task/16857/stat : 16857 (java) S 16841 16841 11586 0 -1 1077944384 925 0 0 0 11 16 0 0 20 0 15 0 57314401 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739604769072 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 1100.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2127172 KiB
[startup+1086.9 s]
/proc/loadavg: 1.58 1.55 1.64 3/212 16922
/proc/meminfo: memFree=29353092/32770624 swapFree=67108860/67108860
[pid=16841] ppid=16838 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16841/stat : 16841 (xcsp3-exec) S 16838 16841 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 57314386 9740288 345 18446744073709551615 4194304 5098028 140735901786688 140735901784792 140523826307708 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 19329024 140735901790584 140735901790789 140735901790789 140735901794283 0
/proc/16841/statm: 2378 345 289 221 0 87 0
[pid=16843] ppid=16841 vsize=13980732 memory=2125792 CPUtime=1100.74 cores=1,3,5,7
/proc/16843/stat : 16843 (java) S 16841 16841 11586 0 -1 1077944320 117320 0 0 0 109966 108 0 0 20 0 15 0 57314391 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 140734109069824 139740134743799 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
/proc/16843/statm: 3495183 531448 3257 1 0 3483476 0
[pid=16843/tid=16844] ppid=16841 vsize=13980732 memory=2125788 CPUtime=1084.63 cores=1,3,5,7
/proc/16843/task/16844/stat : 16844 (java) R 16841 16841 11586 0 -1 4202560 26568 0 0 0 108410 53 0 0 20 0 15 0 57314392 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740138975056 139739739460109 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16845] ppid=16841 vsize=13980732 memory=1888304 CPUtime=1.11 cores=1,3,5,7
/proc/16843/task/16845/stat : 16845 (java) S 16841 16841 11586 0 -1 1077944384 1965 0 0 0 104 7 0 0 20 0 15 0 57314392 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740054158096 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16846] ppid=16841 vsize=13980732 memory=1982888 CPUtime=1.12 cores=1,3,5,7
/proc/16843/task/16846/stat : 16846 (java) S 16841 16841 11586 0 -1 1077944384 3554 0 0 0 105 7 0 0 20 0 15 0 57314393 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740053105552 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16847] ppid=16841 vsize=13980732 memory=2101116 CPUtime=1.13 cores=1,3,5,7
/proc/16843/task/16847/stat : 16847 (java) S 16841 16841 11586 0 -1 1077944384 3274 0 0 0 105 8 0 0 20 0 15 0 57314393 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740052053008 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16848] ppid=16841 vsize=13980732 memory=2125788 CPUtime=1.14 cores=1,3,5,7
/proc/16843/task/16848/stat : 16848 (java) S 16841 16841 11586 0 -1 1077944384 2426 0 0 0 105 9 0 0 20 0 15 0 57314393 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139740051000464 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16849] ppid=16841 vsize=13980732 memory=1380 CPUtime=0.73 cores=1,3,5,7
/proc/16843/task/16849/stat : 16849 (java) S 16841 16841 11586 0 -1 1077944384 3998 0 0 0 67 6 0 0 20 0 15 0 57314394 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739613190128 139740134754946 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16850] ppid=16841 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16850/stat : 16850 (java) S 16841 16841 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739612136416 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16851] ppid=16841 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16851/stat : 16851 (java) S 16841 16841 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 57314394 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739611083776 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16852] ppid=16841 vsize=13980732 memory=2007560 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16852/stat : 16852 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739610032336 139740134762395 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16853] ppid=16841 vsize=13980732 memory=1865684 CPUtime=4.96 cores=1,3,5,7
/proc/16843/task/16853/stat : 16853 (java) S 16841 16841 11586 0 -1 1077944384 34884 0 0 0 492 4 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739608979952 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16854] ppid=16841 vsize=13980732 memory=1380 CPUtime=4.95 cores=1,3,5,7
/proc/16843/task/16854/stat : 16854 (java) S 16841 16841 11586 0 -1 1077944384 27923 0 0 0 492 3 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739607927408 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16855] ppid=16841 vsize=13980732 memory=1380 CPUtime=0.62 cores=1,3,5,7
/proc/16843/task/16855/stat : 16855 (java) S 16841 16841 11586 0 -1 1077944384 10459 0 0 0 61 1 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739606874864 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16856] ppid=16841 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16843/task/16856/stat : 16856 (java) S 16841 16841 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 57314397 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739605822560 139740134754005 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
[pid=16843/tid=16857] ppid=16841 vsize=13980732 memory=1380 CPUtime=0.27 cores=1,3,5,7
/proc/16843/task/16857/stat : 16857 (java) S 16841 16841 11586 0 -1 1077944384 925 0 0 0 11 16 0 0 20 0 15 0 57314401 14316269568 531448 18446744073709551615 4194304 4196468 140734109087280 139739604769072 139740134754946 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 17199104 140734109090225 140734109090401 140734109090401 140734109093839 0
Current children cumulated CPU time: 1100.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2127172 KiB
Child status: 0
Real time (s): 1086.95
CPU time (s): 1100.81
CPU user time (s): 1099.72
CPU system time (s): 1.09487
CPU usage (%): 101.275
Max. virtual memory (cumulated for all children) (KiB): 13993028
Max. memory (cumulated for all children) (KiB): 2127172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1099.72
system time used= 1.09487
maximum resident set size= 2126144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44743
involuntary context switches= 1305
# summary of solver processes directly reported to runsolver:
# pid: 16841
# total CPU time (s): 1100.81
# total CPU user time (s): 1099.72
# total CPU system time (s): 1.09487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66561 second user time and 9.46095 second system time
The end