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)	SAT (TO)	22	19668	2520.17
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 (13466 MiB free)
  memory of node 1: 16384 MiB (14014 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297872-1532706567/watcher-4297872-1532706567 -o /tmp/evaluation-result-4297872-1532706567/solver-4297872-1532706567 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532704044-11171 --watchdog 2580 HOME/xcsp3-exec -seed 304408822 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297872-1532706567.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
solver pid=tchdog thread
solver pid=tchdog thread
.x86_64
, s11733, runsolver pid=11730
Current StackSize limit: 8192 KiB


[startup+0.100148 s]*
/proc/loadavg: 8.47 8.35 8.29 3/199 11754
/proc/meminfo: memFree=28126232/32770624 swapFree=67108436/67108860
[pid=11733] ppid=11730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11733/stat : 11733 (xcsp3-exec) S 11730 11733 11144 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88219861 115843072 363 33554432000 4194304 5098028 140732414500832 140732414498936 140330285802108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22573056 140732414501942 140732414502144 140732414502144 140732414504906 0
/proc/11733/statm: 28282 363 306 221 0 87 0
[pid=11735] ppid=11733 vsize=26104152 memory=26360 CPUtime=0.11 cores=0-7
/proc/11735/stat : 11735 (java) S 11733 11733 11144 0 -1 1077944320 5493 0 0 0 10 1 0 0 20 0 20 0 88219862 26730651648 6590 33554432000 4194304 4196468 140725830818496 140725830801040 140533306183415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
/proc/11735/statm: 6526038 6590 3018 1 0 6488315 0
[pid=11735/tid=11736] ppid=11733 vsize=26104152 memory=8184617705931710106 CPUtime=0.09 cores=0-7
/proc/11735/task/11736/stat : 11736 (java) R 11733 11733 11144 0 -1 4202560 3472 0 0 0 8 1 0 0 20 0 20 0 88219862 26730651648 6590 33554432000 4194304 4196468 140725830818496 140533310416688 140533290227045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11737] ppid=11733 vsize=26104152 memory=732370345253719013 CPUtime=0 cores=0-7
/proc/11735/task/11737/stat : 11737 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140533278026000 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11738] ppid=11733 vsize=26104152 memory=140206916265600 CPUtime=0 cores=0-7
/proc/11735/task/11738/stat : 11738 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532862986640 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11739] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11739/stat : 11739 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532861934096 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11740] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11740/stat : 11740 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532860881552 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11741] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11741/stat : 11741 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532859829008 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11742] ppid=11733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11735/task/11742/stat : 11742 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532858776464 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11743] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11743/stat : 11743 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532857723920 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11744] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11744/stat : 11744 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532856671376 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11745] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11745/stat : 11745 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219864 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532702124016 140533306194562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11746] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11746/stat : 11746 (java) S 11733 11733 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88219865 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532701070240 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11747] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11747/stat : 11747 (java) S 11733 11733 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88219865 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532700017648 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11748] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11748/stat : 11748 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219867 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532698966224 140533306202011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11749] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11749/stat : 11749 (java) S 11733 11733 11144 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 88219867 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532697913840 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11750] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11750/stat : 11750 (java) S 11733 11733 11144 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 88219867 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532696861296 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11751] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11751/stat : 11751 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219867 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532695808752 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11752] ppid=11733 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/11735/task/11752/stat : 11752 (java) R 11733 11733 11144 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 20 0 88219867 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532694756208 140533284673072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11753] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11753/stat : 11753 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219868 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532693702880 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11754] ppid=11733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11735/task/11754/stat : 11754 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219868 26730651648 6590 33554432000 4194304 4196468 140725830818496 140532692650416 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 27812 KiB

[startup+0.210489 s]*
/proc/loadavg: 8.47 8.35 8.29 3/199 11754
/proc/meminfo: memFree=28114944/32770624 swapFree=67108436/67108860
[pid=11733] ppid=11730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11733/stat : 11733 (xcsp3-exec) S 11730 11733 11144 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88219861 115843072 363 33554432000 4194304 5098028 140732414500832 140732414498936 140330285802108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22573056 140732414501942 140732414502144 140732414502144 140732414504906 0
/proc/11733/statm: 28282 363 306 221 0 87 0
[pid=11735] ppid=11733 vsize=26104152 memory=38452 CPUtime=0.34 cores=0-7
/proc/11735/stat : 11735 (java) S 11733 11733 11144 0 -1 1077944320 8181 0 0 0 31 3 0 0 20 0 20 0 88219862 26730651648 9613 33554432000 4194304 4196468 140725830818496 140725830801040 140533306183415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
/proc/11735/statm: 6526038 9613 3188 1 0 6488315 0
[pid=11735/tid=11736] ppid=11733 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/11735/task/11736/stat : 11736 (java) R 11733 11733 11144 0 -1 4202560 5154 0 0 0 18 2 0 0 20 0 20 0 88219862 26730651648 9613 33554432000 4194304 4196468 140725830818496 140533310421728 140533306207005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11737] ppid=11733 vsize=26104152 memory=732370345253719013 CPUtime=0 cores=0-7
/proc/11735/task/11737/stat : 11737 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140533278026000 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11738] ppid=11733 vsize=26104152 memory=140206916265600 CPUtime=0 cores=0-7
/proc/11735/task/11738/stat : 11738 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532862986640 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11739] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11739/stat : 11739 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532861934096 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11740] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11740/stat : 11740 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532860881552 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11741] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11741/stat : 11741 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532859829008 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11742] ppid=11733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11735/task/11742/stat : 11742 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532858776464 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11743] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11743/stat : 11743 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532857723920 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11744] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11744/stat : 11744 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532856671376 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11745] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11745/stat : 11745 (java) S 11733 11733 11144 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88219864 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532702124016 140533306194562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11746] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11746/stat : 11746 (java) S 11733 11733 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88219865 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532701070240 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11747] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11747/stat : 11747 (java) S 11733 11733 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88219865 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532700017648 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11748] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11748/stat : 11748 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219867 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532698966224 140533306202011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11749] ppid=11733 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/11735/task/11749/stat : 11749 (java) R 11733 11733 11144 0 -1 4202560 583 0 0 0 2 0 0 0 20 0 20 0 88219867 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532697913840 140533306195350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11750] ppid=11733 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/11735/task/11750/stat : 11750 (java) S 11733 11733 11144 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 88219867 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532696861296 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11751] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11751/stat : 11751 (java) S 11733 11733 11144 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 88219867 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532695808752 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11752] ppid=11733 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/11735/task/11752/stat : 11752 (java) R 11733 11733 11144 0 -1 4202560 892 0 0 0 7 0 0 0 20 0 20 0 88219867 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532694756208 140533306195350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11753] ppid=11733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11753/stat : 11753 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219868 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532693702880 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11754] ppid=11733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/11735/task/11754/stat : 11754 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219868 26730651648 9613 33554432000 4194304 4196468 140725830818496 140532692650416 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 39904 KiB

[startup+0.320754 s]*
/proc/loadavg: 8.47 8.35 8.29 3/199 11754
/proc/meminfo: memFree=28107872/32770624 swapFree=67108436/67108860
[pid=11733] ppid=11730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11733/stat : 11733 (xcsp3-exec) S 11730 11733 11144 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88219861 115843072 363 33554432000 4194304 5098028 140732414500832 140732414498936 140330285802108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22573056 140732414501942 140732414502144 140732414502144 140732414504906 0
/proc/11733/statm: 28282 363 306 221 0 87 0
[pid=11735] ppid=11733 vsize=26108408 memory=46276 CPUtime=0.53 cores=0-7
/proc/11735/stat : 11735 (java) S 11733 11733 11144 0 -1 1077944320 9274 0 0 0 48 5 0 0 20 0 20 0 88219862 26735009792 11569 33554432000 4194304 4196468 140725830818496 140725830801040 140533306183415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
/proc/11735/statm: 6527102 11569 3268 1 0 6488315 0
[pid=11735/tid=11736] ppid=11733 vsize=26108408 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/11735/task/11736/stat : 11736 (java) R 11733 11733 11144 0 -1 4202560 5928 0 0 0 27 3 0 0 20 0 20 0 88219862 26735009792 11569 33554432000 4194304 4196468 140725830818496 140533310415184 140533306205341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11737] ppid=11733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11737/stat : 11737 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140533278026000 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11738] ppid=11733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11738/stat : 11738 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532862986640 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11739] ppid=11733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11739/stat : 11739 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532861934096 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11740] ppid=11733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11740/stat : 11740 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532860881552 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11741] ppid=11733 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/11735/task/11741/stat : 11741 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532859829008 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11742] ppid=11733 vsize=26108408 memory=140206791553967 CPUtime=0 cores=0-7
/proc/11735/task/11742/stat : 11742 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532858776464 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11743] ppid=11733 vsize=26108408 memory=140206791556272 CPUtime=0 cores=0-7
/proc/11735/task/11743/stat : 11743 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532857723920 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11744] ppid=11733 vsize=26108408 memory=140206791558576 CPUtime=0 cores=0-7
/proc/11735/task/11744/stat : 11744 (java) S 11733 11733 11144 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88219863 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532856671376 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11745] ppid=11733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11745/stat : 11745 (java) S 11733 11733 11144 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88219864 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532702124016 140533306194562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11746] ppid=11733 vsize=26108408 memory=280413583124112 CPUtime=0 cores=0-7
/proc/11735/task/11746/stat : 11746 (java) S 11733 11733 11144 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88219865 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532701070240 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11747] ppid=11733 vsize=26108408 memory=280413583131024 CPUtime=0 cores=0-7
/proc/11735/task/11747/stat : 11747 (java) S 11733 11733 11144 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88219865 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532700017648 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11748] ppid=11733 vsize=26108408 memory=280413583072304 CPUtime=0 cores=0-7
/proc/11735/task/11748/stat : 11748 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219867 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532698966224 140533306202011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11749] ppid=11733 vsize=26108408 memory=280413583144848 CPUtime=0.03 cores=0-7
/proc/11735/task/11749/stat : 11749 (java) S 11733 11733 11144 0 -1 1077944384 599 0 0 0 3 0 0 0 20 0 20 0 88219867 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532697913840 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11750] ppid=11733 vsize=26108408 memory=280413583151760 CPUtime=0.02 cores=0-7
/proc/11735/task/11750/stat : 11750 (java) S 11733 11733 11144 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 20 0 88219867 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532696861296 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11751] ppid=11733 vsize=26108408 memory=280413583149456 CPUtime=0.02 cores=0-7
/proc/11735/task/11751/stat : 11751 (java) S 11733 11733 11144 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 20 0 88219867 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532695808752 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11752] ppid=11733 vsize=26108408 memory=280413583165616 CPUtime=0.12 cores=0-7
/proc/11735/task/11752/stat : 11752 (java) S 11733 11733 11144 0 -1 1077944384 1042 0 0 0 12 0 0 0 20 0 20 0 88219867 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532694756208 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11753] ppid=11733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11753/stat : 11753 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219868 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532693702880 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11754] ppid=11733 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/11735/task/11754/stat : 11754 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219868 26735009792 11569 33554432000 4194304 4196468 140725830818496 140532692650416 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47728 KiB

[startup+0.701056 s]
/proc/loadavg: 8.47 8.35 8.29 6/199 11754
/proc/meminfo: memFree=28085460/32770624 swapFree=67108436/67108860
[pid=11733] ppid=11730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11733/stat : 11733 (xcsp3-exec) S 11730 11733 11144 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88219861 115843072 363 33554432000 4194304 5098028 140732414500832 140732414498936 140330285802108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22573056 140732414501942 140732414502144 140732414502144 140732414504906 0
/proc/11733/statm: 28282 363 306 221 0 87 0
[pid=11735] ppid=11733 vsize=26110532 memory=101996 CPUtime=1.94 cores=0-7
/proc/11735/stat : 11735 (java) S 11733 11733 11144 0 -1 1077944320 12945 0 0 0 188 6 0 0 20 0 20 0 88219862 26737184768 25499 33554432000 4194304 4196468 140725830818496 140725830801040 140533306183415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
/proc/11735/statm: 6527633 25499 3351 1 0 6488827 0
[pid=11735/tid=11736] ppid=11733 vsize=26110532 memory=280413583460544 CPUtime=0.67 cores=0-7
/proc/11735/task/11736/stat : 11736 (java) R 11733 11733 11144 0 -1 4202560 6433 0 0 0 63 4 0 0 20 0 20 0 88219862 26737184768 25499 33554432000 4194304 4196468 140725830818496 140533310421232 140533292362723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11737] ppid=11733 vsize=26110532 memory=5123895985315 CPUtime=0 cores=0-7
/proc/11735/task/11737/stat : 11737 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88219863 26737184768 25499 33554432000 4194304 4196468 140725830818496 140533278026000 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11738] ppid=11733 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11738/stat : 11738 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88219863 26737184768 25499 33554432000 4194304 4196468 140725830818496 140532862986640 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0

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

/proc/meminfo: memFree=21121704/32770624 swapFree=67108436/67108860
[pid=11733] ppid=11730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11733/stat : 11733 (xcsp3-exec) S 11730 11733 11144 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88219861 115843072 363 33554432000 4194304 5098028 140732414500832 140732414498936 140330285802108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22573056 140732414501942 140732414502144 140732414502144 140732414504906 0
/proc/11733/statm: 28282 363 306 221 0 87 0
[pid=11735] ppid=11733 vsize=26645092 memory=7019324 CPUtime=19525.9 cores=0-7
/proc/11735/stat : 11735 (java) S 11733 11733 11144 0 -1 1077944320 648244 0 0 0 1951318 1269 0 0 20 0 28 0 88219862 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140725830801040 140533306183415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
/proc/11735/statm: 6661273 1754831 3468 1 0 6622467 0
[pid=11735/tid=11736] ppid=11733 vsize=26645092 memory=4140 CPUtime=3.9 cores=0-7
/proc/11735/task/11736/stat : 11736 (java) S 11733 11733 11144 0 -1 1077944384 10011 0 0 0 378 12 0 0 20 0 28 0 88219862 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140533310424192 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11737] ppid=11733 vsize=26645092 memory=1452 CPUtime=7.52 cores=0-7
/proc/11735/task/11737/stat : 11737 (java) S 11733 11733 11144 0 -1 1077944384 14003 0 0 0 717 35 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140533278026000 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11738] ppid=11733 vsize=26645092 memory=7019324 CPUtime=7.52 cores=0-7
/proc/11735/task/11738/stat : 11738 (java) S 11733 11733 11144 0 -1 1077944384 16927 0 0 0 718 34 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532862986640 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11739] ppid=11733 vsize=26645092 memory=1452 CPUtime=7.45 cores=0-7
/proc/11735/task/11739/stat : 11739 (java) S 11733 11733 11144 0 -1 1077944384 22092 0 0 0 713 32 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532861934096 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11740] ppid=11733 vsize=26645092 memory=7019324 CPUtime=7.54 cores=0-7
/proc/11735/task/11740/stat : 11740 (java) S 11733 11733 11144 0 -1 1077944384 16536 0 0 0 715 39 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532860881552 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11741] ppid=11733 vsize=26645092 memory=1452 CPUtime=7.53 cores=0-7
/proc/11735/task/11741/stat : 11741 (java) S 11733 11733 11144 0 -1 1077944384 18729 0 0 0 702 51 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532859829008 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11742] ppid=11733 vsize=26645092 memory=7019324 CPUtime=7.53 cores=0-7
/proc/11735/task/11742/stat : 11742 (java) S 11733 11733 11144 0 -1 1077944384 17803 0 0 0 716 37 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532858776464 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11743] ppid=11733 vsize=26645092 memory=1452 CPUtime=7.47 cores=0-7
/proc/11735/task/11743/stat : 11743 (java) S 11733 11733 11144 0 -1 1077944384 18207 0 0 0 710 37 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532857723920 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11744] ppid=11733 vsize=26645092 memory=7019324 CPUtime=7.49 cores=0-7
/proc/11735/task/11744/stat : 11744 (java) S 11733 11733 11144 0 -1 1077944384 19165 0 0 0 710 39 0 0 20 0 28 0 88219863 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532856671376 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11745] ppid=11733 vsize=26645092 memory=2412 CPUtime=14.84 cores=0-7
/proc/11735/task/11745/stat : 11745 (java) S 11733 11733 11144 0 -1 1077944384 34382 0 0 0 1409 75 0 0 20 0 28 0 88219864 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532702124016 140533306194562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11746] ppid=11733 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/11735/task/11746/stat : 11746 (java) S 11733 11733 11144 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 88219865 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532701070304 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11747] ppid=11733 vsize=26645092 memory=25568 CPUtime=0 cores=0-7
/proc/11735/task/11747/stat : 11747 (java) S 11733 11733 11144 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 88219865 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532700017664 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11748] ppid=11733 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/11735/task/11748/stat : 11748 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88219867 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532698966224 140533306202011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11749] ppid=11733 vsize=26645092 memory=108 CPUtime=5.81 cores=0-7
/proc/11735/task/11749/stat : 11749 (java) S 11733 11733 11144 0 -1 1077944384 45847 0 0 0 573 8 0 0 20 0 28 0 88219867 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532697913840 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11750] ppid=11733 vsize=26645092 memory=1452 CPUtime=5.77 cores=0-7
/proc/11735/task/11750/stat : 11750 (java) S 11733 11733 11144 0 -1 1077944384 40101 0 0 0 569 8 0 0 20 0 28 0 88219867 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532696861296 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11751] ppid=11733 vsize=26645092 memory=7019324 CPUtime=5.64 cores=0-7
/proc/11735/task/11751/stat : 11751 (java) S 11733 11733 11144 0 -1 1077944384 51747 0 0 0 556 8 0 0 20 0 28 0 88219867 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532695808752 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11752] ppid=11733 vsize=26645092 memory=1452 CPUtime=1.15 cores=0-7
/proc/11735/task/11752/stat : 11752 (java) S 11733 11733 11144 0 -1 1077944384 34129 0 0 0 108 7 0 0 20 0 28 0 88219867 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532694756208 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11753] ppid=11733 vsize=26645092 memory=7019324 CPUtime=0 cores=0-7
/proc/11735/task/11753/stat : 11753 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88219868 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532693702880 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11754] ppid=11733 vsize=26645092 memory=7019324 CPUtime=1.09 cores=0-7
/proc/11735/task/11754/stat : 11754 (java) S 11733 11733 11144 0 -1 1077944384 5551 0 0 0 40 69 0 0 20 0 28 0 88219868 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532692650416 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11828] ppid=11733 vsize=26645092 memory=1452 CPUtime=1276.61 cores=0-7
/proc/11735/task/11828/stat : 11828 (java) R 11733 11733 11144 0 -1 4202560 5091 0 0 0 127651 10 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532681767752 140532953626228 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11829] ppid=11733 vsize=26645092 memory=1452 CPUtime=1270.29 cores=0-7
/proc/11735/task/11829/stat : 11829 (java) R 11733 11733 11144 0 -1 4202560 4116 0 0 0 127022 7 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532678611064 140532953561484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11830] ppid=11733 vsize=26645092 memory=4140 CPUtime=1276.78 cores=0-7
/proc/11735/task/11830/stat : 11830 (java) R 11733 11733 11144 0 -1 4202560 4746 0 0 0 127665 13 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532679663768 140532953561557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11831] ppid=11733 vsize=26645092 memory=25580 CPUtime=1268.44 cores=0-7
/proc/11735/task/11831/stat : 11831 (java) R 11733 11733 11144 0 -1 4202560 67330 0 0 0 126797 47 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532675456240 140532953561557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11832] ppid=11733 vsize=26645092 memory=1296 CPUtime=1276.92 cores=0-7
/proc/11735/task/11832/stat : 11832 (java) R 11733 11733 11144 0 -1 4202560 6839 0 0 0 127685 7 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532674400416 140532955107023 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11833] ppid=11733 vsize=26645092 memory=1452 CPUtime=1270.32 cores=0-7
/proc/11735/task/11833/stat : 11833 (java) R 11733 11733 11144 0 -1 4202560 4702 0 0 0 127026 6 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532680716488 140532954678761 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11834] ppid=11733 vsize=26645092 memory=7019324 CPUtime=1273.39 cores=0-7
/proc/11735/task/11834/stat : 11834 (java) R 11733 11733 11144 0 -1 4202560 3000 0 0 0 127334 5 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532676505240 140532953382336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11835] ppid=11733 vsize=26645092 memory=636 CPUtime=1277.03 cores=0-7
/proc/11735/task/11835/stat : 11835 (java) R 11733 11733 11144 0 -1 4202560 3206 0 0 0 127700 3 0 0 20 0 28 0 88341487 27284574208 1754831 33554432000 4194304 4196468 140725830818496 140532677558136 140532953561534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
Current children cumulated CPU time: 19525.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 7020776 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.01 8.17 8.18 9/208 11861
/proc/meminfo: memFree=21121584/32770624 swapFree=67108436/67108860
[pid=11733] ppid=11730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11733/stat : 11733 (xcsp3-exec) S 11730 11733 11144 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88219861 115843072 363 33554432000 4194304 5098028 140732414500832 140732414498936 140330285802108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22573056 140732414501942 140732414502144 140732414502144 140732414504906 0
/proc/11733/statm: 28282 363 306 221 0 87 0
[pid=11735] ppid=11733 vsize=26645092 memory=7019308 CPUtime=19667.2 cores=0-7
/proc/11735/stat : 11735 (java) S 11733 11733 11144 0 -1 1077944320 652720 0 0 0 1965445 1271 0 0 20 0 28 0 88219862 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140725830801040 140533306183415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
/proc/11735/statm: 6661273 1754827 3468 1 0 6622467 0
[pid=11735/tid=11736] ppid=11733 vsize=26645092 memory=101627516181612 CPUtime=3.9 cores=0-7
/proc/11735/task/11736/stat : 11736 (java) S 11733 11733 11144 0 -1 1077944384 10011 0 0 0 378 12 0 0 20 0 28 0 88219862 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140533310424192 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11737] ppid=11733 vsize=26645092 memory=916 CPUtime=7.58 cores=0-7
/proc/11735/task/11737/stat : 11737 (java) S 11733 11733 11144 0 -1 1077944384 14029 0 0 0 723 35 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140533278026000 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11738] ppid=11733 vsize=26645092 memory=1452 CPUtime=7.59 cores=0-7
/proc/11735/task/11738/stat : 11738 (java) S 11733 11733 11144 0 -1 1077944384 17393 0 0 0 725 34 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532862986640 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11739] ppid=11733 vsize=26645092 memory=-7003737579269690708 CPUtime=7.53 cores=0-7
/proc/11735/task/11739/stat : 11739 (java) S 11733 11733 11144 0 -1 1077944384 22385 0 0 0 720 33 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532861934096 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11740] ppid=11733 vsize=26645092 memory=16148 CPUtime=7.61 cores=0-7
/proc/11735/task/11740/stat : 11740 (java) S 11733 11733 11144 0 -1 1077944384 17697 0 0 0 722 39 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532860881552 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11741] ppid=11733 vsize=26645092 memory=4004 CPUtime=7.6 cores=0-7
/proc/11735/task/11741/stat : 11741 (java) S 11733 11733 11144 0 -1 1077944384 18820 0 0 0 708 52 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532859829008 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11742] ppid=11733 vsize=26645092 memory=636 CPUtime=7.59 cores=0-7
/proc/11735/task/11742/stat : 11742 (java) S 11733 11733 11144 0 -1 1077944384 18283 0 0 0 722 37 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532858776464 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11743] ppid=11733 vsize=26645092 memory=1780 CPUtime=7.53 cores=0-7
/proc/11735/task/11743/stat : 11743 (java) S 11733 11733 11144 0 -1 1077944384 18281 0 0 0 716 37 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532857723920 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11744] ppid=11733 vsize=26645092 memory=1236 CPUtime=7.56 cores=0-7
/proc/11735/task/11744/stat : 11744 (java) S 11733 11733 11144 0 -1 1077944384 19242 0 0 0 717 39 0 0 20 0 28 0 88219863 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532856671376 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11745] ppid=11733 vsize=26645092 memory=960 CPUtime=14.84 cores=0-7
/proc/11735/task/11745/stat : 11745 (java) S 11733 11733 11144 0 -1 1077944384 34656 0 0 0 1409 75 0 0 20 0 28 0 88219864 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532702124016 140533306194562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11746] ppid=11733 vsize=26645092 memory=6504 CPUtime=0 cores=0-7
/proc/11735/task/11746/stat : 11746 (java) S 11733 11733 11144 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 88219865 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532701070304 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11747] ppid=11733 vsize=26645092 memory=1576 CPUtime=0 cores=0-7
/proc/11735/task/11747/stat : 11747 (java) S 11733 11733 11144 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 88219865 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532700017664 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11748] ppid=11733 vsize=26645092 memory=932 CPUtime=0 cores=0-7
/proc/11735/task/11748/stat : 11748 (java) S 11733 11733 11144 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88219867 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532698966224 140533306202011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11749] ppid=11733 vsize=26645092 memory=2244 CPUtime=5.81 cores=0-7
/proc/11735/task/11749/stat : 11749 (java) S 11733 11733 11144 0 -1 1077944384 45847 0 0 0 573 8 0 0 20 0 28 0 88219867 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532697913840 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11750] ppid=11733 vsize=26645092 memory=4132 CPUtime=5.77 cores=0-7
/proc/11735/task/11750/stat : 11750 (java) S 11733 11733 11144 0 -1 1077944384 40101 0 0 0 569 8 0 0 20 0 28 0 88219867 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532696861296 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11751] ppid=11733 vsize=26645092 memory=2200 CPUtime=5.64 cores=0-7
/proc/11735/task/11751/stat : 11751 (java) S 11733 11733 11144 0 -1 1077944384 52543 0 0 0 556 8 0 0 20 0 28 0 88219867 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532695808752 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11752] ppid=11733 vsize=26645092 memory=7532 CPUtime=1.15 cores=0-7
/proc/11735/task/11752/stat : 11752 (java) S 11733 11733 11144 0 -1 1077944384 34129 0 0 0 108 7 0 0 20 0 28 0 88219867 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532694756208 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11753] ppid=11733 vsize=26645092 memory=840 CPUtime=0 cores=0-7
/proc/11735/task/11753/stat : 11753 (java) S 11733 11733 11144 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88219868 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532693702880 140533306193621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11754] ppid=11733 vsize=26645092 memory=1796 CPUtime=1.1 cores=0-7
/proc/11735/task/11754/stat : 11754 (java) S 11733 11733 11144 0 -1 1077944384 5553 0 0 0 41 69 0 0 20 0 28 0 88219868 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532692650416 140533306194562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11828] ppid=11733 vsize=26645092 memory=3852 CPUtime=1294.26 cores=0-7
/proc/11735/task/11828/stat : 11828 (java) R 11733 11733 11144 0 -1 4202560 5139 0 0 0 129415 11 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532681767496 140532953561702 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11829] ppid=11733 vsize=26645092 memory=1452 CPUtime=1287.93 cores=0-7
/proc/11735/task/11829/stat : 11829 (java) R 11733 11733 11144 0 -1 4202560 4126 0 0 0 128786 7 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532678611064 140532953561523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11830] ppid=11733 vsize=26645092 memory=7019308 CPUtime=1294.2 cores=0-7
/proc/11735/task/11830/stat : 11830 (java) R 11733 11733 11144 0 -1 4202560 4767 0 0 0 129407 13 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532679663864 140532953561496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11831] ppid=11733 vsize=26645092 memory=4108 CPUtime=1285.94 cores=0-7
/proc/11735/task/11831/stat : 11831 (java) R 11733 11733 11144 0 -1 4202560 67940 0 0 0 128546 48 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532675456032 140532954530744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11832] ppid=11733 vsize=26645092 memory=1398720917958146503 CPUtime=1294.56 cores=0-7
/proc/11735/task/11832/stat : 11832 (java) R 11733 11733 11144 0 -1 4202560 6848 0 0 0 129449 7 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532674400592 140532953382449 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11833] ppid=11733 vsize=26645092 memory=-7003737579269690708 CPUtime=1287.97 cores=0-7
/proc/11735/task/11833/stat : 11833 (java) R 11733 11733 11144 0 -1 4202560 4724 0 0 0 128791 6 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532680716488 140532955109471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11834] ppid=11733 vsize=26645092 memory=4108 CPUtime=1291.02 cores=0-7
/proc/11735/task/11834/stat : 11834 (java) R 11733 11733 11144 0 -1 4202560 3010 0 0 0 129097 5 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532676505336 140532953561472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
[pid=11735/tid=11835] ppid=11733 vsize=26645092 memory=1398720917958146503 CPUtime=1294.67 cores=0-7
/proc/11735/task/11835/stat : 11835 (java) R 11733 11733 11144 0 -1 4202560 3212 0 0 0 129464 3 0 0 20 0 28 0 88341487 27284574208 1754827 33554432000 4194304 4196468 140725830818496 140532677558136 140532953561702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140725830820993 140725830821165 140725830821165 140725830823887 0
Current children cumulated CPU time: 19667.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 7020760 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 11733 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001205 s, system=0.001205 s

[startup+2520.17 s]
# the end of solver process 11735 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19655.2 s, system=12.7683 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]*
/proc/loadavg: 8.01 8.17 8.18 2/181 11863
/proc/meminfo: memFree=24671856/32770624 swapFree=67108436/67108860
Current cumulated CPU time of completed processes: 0.00241 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 19668
CPU user time (s): 19655.2
CPU system time (s): 12.7683
CPU usage (%): 780.425
Max. virtual memory (cumulated for all children) (KiB): 26759992
Max. memory (cumulated for all children) (KiB): 7021600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19655.2
system time used= 12.7683
maximum resident set size= 7020212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67947
involuntary context switches= 199385


# summary of solver processes directly reported to runsolver:
#   pid: 11733,11735
#   total CPU time (s): 19668
#   total CPU user time (s): 19655.2
#   total CPU system time (s): 12.7683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.13 second user time and 32.372 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml
MD5SUM	2788969af340f57bdb68eae00f77e52f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	22
Best CPU time to get the best result obtained on this benchmark	19668
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5246
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5246}]
Number of extensional constraints	0
Number of intensional constraints	5246
Distribution of constraint types	[{"type":"intension","count":5246}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4297872

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
