0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297738-1532718268.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4297738-1532718268.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
10.50/3.46 c solve instance...
902.59/115.34 s UNSATISFIABLE
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 (13550 MiB free)
memory of node 1: 16384 MiB (13942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297738-1532718268/watcher-4297738-1532718268 -o /tmp/evaluation-result-4297738-1532718268/solver-4297738-1532718268 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532718264-16818 --watchdog 2580 HOME/xcsp3-exec -seed 811469814 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297738-1532718268.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16929, runsolver pid=16926
[startup+0.100161 s]*
/proc/loadavg: 7.59 8.14 7.78 2/201 16950
/proc/meminfo: memFree=28135776/32770624 swapFree=67108532/67108860
[pid=16929] ppid=16926 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16929/stat : 16929 (xcsp3-exec) S 16926 16929 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89389990 115843072 364 33554432000 4194304 5098028 140727863051504 140727863049608 140516506997372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40431616 140727863055414 140727863055616 140727863055616 140727863058378 0
/proc/16929/statm: 28282 364 306 221 0 87 0
[pid=16931] ppid=16929 vsize=26104152 memory=27540 CPUtime=0.12 cores=0-7
/proc/16931/stat : 16931 (java) S 16929 16929 16791 0 -1 1077944320 5808 0 0 0 11 1 0 0 20 0 20 0 89389990 26730651648 6885 33554432000 4194304 4196468 140723406803344 140723406785888 140264497426167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
/proc/16931/statm: 6526038 6885 2997 1 0 6488315 0
[pid=16931/tid=16932] ppid=16929 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16931/task/16932/stat : 16932 (java) R 16929 16929 16791 0 -1 4202560 3826 0 0 0 8 0 0 0 20 0 20 0 89389991 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264501645144 140264497438102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16933] ppid=16929 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16931/task/16933/stat : 16933 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264450046736 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16934] ppid=16929 vsize=26104152 memory=140111285397120 CPUtime=0 cores=0-7
/proc/16931/task/16934/stat : 16934 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264448994192 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16935] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16935/stat : 16935 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264447941648 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16936] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16936/stat : 16936 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264446889104 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16937] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16937/stat : 16937 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264445835536 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16938] ppid=16929 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16931/task/16938/stat : 16938 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264444782992 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16939] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16939/stat : 16939 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264443730448 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16940] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16940/stat : 16940 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 6885 33554432000 4194304 4196468 140723406803344 140264442677904 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16941] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16941/stat : 16941 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389993 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262769531376 140264497437314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16942] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16942/stat : 16942 (java) S 16929 16929 16791 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89389994 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262768477600 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16943] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16943/stat : 16943 (java) S 16929 16929 16791 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89389994 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262767425008 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16944] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16944/stat : 16944 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389996 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262766373584 140264497444763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16945] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16945/stat : 16945 (java) S 16929 16929 16791 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 89389996 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262765320176 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16946] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16946/stat : 16946 (java) R 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89389996 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262764267632 140264497437314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16947] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16947/stat : 16947 (java) S 16929 16929 16791 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 89389996 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262763215088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16948] ppid=16929 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16931/task/16948/stat : 16948 (java) R 16929 16929 16791 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 89389996 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262762162544 140264483109458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16949] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16949/stat : 16949 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89389996 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262318627552 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16950] ppid=16929 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16931/task/16950/stat : 16950 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389997 26730651648 6885 33554432000 4194304 4196468 140723406803344 140262317575088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28996 KiB
[startup+0.210012 s]*
/proc/loadavg: 7.59 8.14 7.78 3/201 16950
/proc/meminfo: memFree=28125108/32770624 swapFree=67108532/67108860
[pid=16929] ppid=16926 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16929/stat : 16929 (xcsp3-exec) S 16926 16929 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89389990 115843072 364 33554432000 4194304 5098028 140727863051504 140727863049608 140516506997372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40431616 140727863055414 140727863055616 140727863055616 140727863058378 0
/proc/16929/statm: 28282 364 306 221 0 87 0
[pid=16931] ppid=16929 vsize=26104152 memory=39888 CPUtime=0.34 cores=0-7
/proc/16931/stat : 16931 (java) S 16929 16929 16791 0 -1 1077944320 8509 0 0 0 32 2 0 0 20 0 20 0 89389990 26730651648 9972 33554432000 4194304 4196468 140723406803344 140723406785888 140264497426167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
/proc/16931/statm: 6526038 9972 3207 1 0 6488315 0
[pid=16931/tid=16932] ppid=16929 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16931/task/16932/stat : 16932 (java) R 16929 16929 16791 0 -1 4202560 5593 0 0 0 18 1 0 0 20 0 20 0 89389991 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264501663232 140264497438102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16933] ppid=16929 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/16931/task/16933/stat : 16933 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264450046736 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16934] ppid=16929 vsize=26104152 memory=288370487437108864 CPUtime=0 cores=0-7
/proc/16931/task/16934/stat : 16934 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264448994192 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16935] ppid=16929 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16931/task/16935/stat : 16935 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264447941648 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16936] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16936/stat : 16936 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264446889104 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16937] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16937/stat : 16937 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264445835536 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16938] ppid=16929 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16931/task/16938/stat : 16938 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264444782992 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16939] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16939/stat : 16939 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264443730448 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16940] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16940/stat : 16940 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26730651648 9972 33554432000 4194304 4196468 140723406803344 140264442677904 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16941] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16941/stat : 16941 (java) S 16929 16929 16791 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89389993 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262769531376 140264497437314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16942] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16942/stat : 16942 (java) S 16929 16929 16791 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89389994 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262768477600 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16943] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16943/stat : 16943 (java) S 16929 16929 16791 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89389994 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262767425008 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16944] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16944/stat : 16944 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389996 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262766373584 140264497444763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16945] ppid=16929 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/16931/task/16945/stat : 16945 (java) S 16929 16929 16791 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 20 0 89389996 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262765320176 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16946] ppid=16929 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16931/task/16946/stat : 16946 (java) S 16929 16929 16791 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 89389996 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262764267632 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16947] ppid=16929 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/16931/task/16947/stat : 16947 (java) S 16929 16929 16791 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 89389996 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262763215088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16948] ppid=16929 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/16931/task/16948/stat : 16948 (java) S 16929 16929 16791 0 -1 1077944384 729 0 0 0 7 0 0 0 20 0 20 0 89389996 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262762162544 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16949] ppid=16929 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16949/stat : 16949 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89389996 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262318627552 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16950] ppid=16929 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16931/task/16950/stat : 16950 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389997 26730651648 9972 33554432000 4194304 4196468 140723406803344 140262317575088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41344 KiB
[startup+0.309456 s]*
/proc/loadavg: 7.59 8.14 7.78 6/201 16950
/proc/meminfo: memFree=28119028/32770624 swapFree=67108532/67108860
[pid=16929] ppid=16926 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16929/stat : 16929 (xcsp3-exec) S 16926 16929 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89389990 115843072 364 33554432000 4194304 5098028 140727863051504 140727863049608 140516506997372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40431616 140727863055414 140727863055616 140727863055616 140727863058378 0
/proc/16929/statm: 28282 364 306 221 0 87 0
[pid=16931] ppid=16929 vsize=26108408 memory=46708 CPUtime=0.52 cores=0-7
/proc/16931/stat : 16931 (java) S 16929 16929 16791 0 -1 1077944320 9383 0 0 0 49 3 0 0 20 0 20 0 89389990 26735009792 11677 33554432000 4194304 4196468 140723406803344 140723406785888 140264497426167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
/proc/16931/statm: 6527102 11677 3243 1 0 6488315 0
[pid=16931/tid=16932] ppid=16929 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16931/task/16932/stat : 16932 (java) R 16929 16929 16791 0 -1 4202560 6291 0 0 0 27 2 0 0 20 0 20 0 89389991 26735009792 11734 33554432000 4194304 4196468 140723406803344 140264501657280 140264481506654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16933] ppid=16929 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16933/stat : 16933 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11734 33554432000 4194304 4196468 140723406803344 140264450046736 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16934] ppid=16929 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16934/stat : 16934 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11734 33554432000 4194304 4196468 140723406803344 140264448994192 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16935] ppid=16929 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16935/stat : 16935 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11734 33554432000 4194304 4196468 140723406803344 140264447941648 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16936] ppid=16929 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16936/stat : 16936 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11747 33554432000 4194304 4196468 140723406803344 140264446889104 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16937] ppid=16929 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/16931/task/16937/stat : 16937 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11747 33554432000 4194304 4196468 140723406803344 140264445835536 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16938] ppid=16929 vsize=26108408 memory=140111161422767 CPUtime=0 cores=0-7
/proc/16931/task/16938/stat : 16938 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11747 33554432000 4194304 4196468 140723406803344 140264444782992 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16939] ppid=16929 vsize=26108408 memory=140111161425072 CPUtime=0 cores=0-7
/proc/16931/task/16939/stat : 16939 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11747 33554432000 4194304 4196468 140723406803344 140264443730448 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16940] ppid=16929 vsize=26108408 memory=140111161427376 CPUtime=0 cores=0-7
/proc/16931/task/16940/stat : 16940 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26735009792 11747 33554432000 4194304 4196468 140723406803344 140264442677904 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16941] ppid=16929 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16941/stat : 16941 (java) S 16929 16929 16791 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89389993 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262769531376 140264497437314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16942] ppid=16929 vsize=26108408 memory=280222322861712 CPUtime=0 cores=0-7
/proc/16931/task/16942/stat : 16942 (java) S 16929 16929 16791 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89389994 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262768477600 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16943] ppid=16929 vsize=26108408 memory=280222322868624 CPUtime=0 cores=0-7
/proc/16931/task/16943/stat : 16943 (java) S 16929 16929 16791 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89389994 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262767425008 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16944] ppid=16929 vsize=26108408 memory=280222322809904 CPUtime=0 cores=0-7
/proc/16931/task/16944/stat : 16944 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389996 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262766373584 140264497444763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16945] ppid=16929 vsize=26108408 memory=280222322882448 CPUtime=0.02 cores=0-7
/proc/16931/task/16945/stat : 16945 (java) S 16929 16929 16791 0 -1 1077944384 417 0 0 0 2 0 0 0 20 0 20 0 89389996 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262765320176 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16946] ppid=16929 vsize=26108408 memory=280222322889360 CPUtime=0.03 cores=0-7
/proc/16931/task/16946/stat : 16946 (java) S 16929 16929 16791 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 20 0 89389996 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262764267632 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16947] ppid=16929 vsize=26108408 memory=280222322887056 CPUtime=0.03 cores=0-7
/proc/16931/task/16947/stat : 16947 (java) R 16929 16929 16791 0 -1 4202560 479 0 0 0 3 0 0 0 20 0 20 0 89389996 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262763196104 140264476672015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16948] ppid=16929 vsize=26108408 memory=280222322903216 CPUtime=0.12 cores=0-7
/proc/16931/task/16948/stat : 16948 (java) S 16929 16929 16791 0 -1 1077944384 793 0 0 0 12 0 0 0 20 0 20 0 89389996 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262762162544 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16949] ppid=16929 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16949/stat : 16949 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89389996 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262318627552 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16950] ppid=16929 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/16931/task/16950/stat : 16950 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389997 26735009792 11747 33554432000 4194304 4196468 140723406803344 140262317575088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48164 KiB
[startup+0.70093 s]
/proc/loadavg: 7.59 8.14 7.78 6/201 16950
/proc/meminfo: memFree=28094308/32770624 swapFree=67108532/67108860
[pid=16929] ppid=16926 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16929/stat : 16929 (xcsp3-exec) S 16926 16929 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89389990 115843072 364 33554432000 4194304 5098028 140727863051504 140727863049608 140516506997372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40431616 140727863055414 140727863055616 140727863055616 140727863058378 0
/proc/16929/statm: 28282 364 306 221 0 87 0
[pid=16931] ppid=16929 vsize=26110532 memory=108756 CPUtime=2.04 cores=0-7
/proc/16931/stat : 16931 (java) S 16929 16929 16791 0 -1 1077944320 15248 0 0 0 200 4 0 0 20 0 20 0 89389990 26737184768 27189 33554432000 4194304 4196468 140723406803344 140723406785888 140264497426167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
/proc/16931/statm: 6527633 27189 3358 1 0 6488827 0
[pid=16931/tid=16932] ppid=16929 vsize=26110532 memory=280222323261104 CPUtime=0.66 cores=0-7
/proc/16931/task/16932/stat : 16932 (java) R 16929 16929 16791 0 -1 4202560 7175 0 0 0 64 2 0 0 20 0 20 0 89389991 26737184768 27189 33554432000 4194304 4196468 140723406803344 140264501663824 140264119314561 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16933] ppid=16929 vsize=26110532 memory=140111161631600 CPUtime=0 cores=0-7
/proc/16931/task/16933/stat : 16933 (java) S 16929 16929 16791 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89389992 26737184768 27189 33554432000 4194304 4196468 140723406803344 140264450046736 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16934] ppid=16929 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16934/stat : 16934 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26737184768 27189 33554432000 4194304 4196468 140723406803344 140264448994192 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16935] ppid=16929 vsize=26110532 memory=1012 CPUtime=0 cores=0-7
/proc/16931/task/16935/stat : 16935 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89389992 26737184768 27189 33554432000 4194304 4196468 140723406803344 140264447941648 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
################
# More data... #
################
[pid=16931/tid=16948] ppid=16929 vsize=26645092 memory=854828 CPUtime=0.83 cores=0-7
/proc/16931/task/16948/stat : 16948 (java) S 16929 16929 16791 0 -1 1077944384 6745 0 0 0 82 1 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262762162544 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16949] ppid=16929 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16931/task/16949/stat : 16949 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262318627552 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16950] ppid=16929 vsize=26645092 memory=4616 CPUtime=0.04 cores=0-7
/proc/16931/task/16950/stat : 16950 (java) S 16929 16929 16791 0 -1 1077944384 1211 0 0 0 2 2 0 0 20 0 28 0 89389997 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262317575088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16951] ppid=16929 vsize=26645092 memory=1232 CPUtime=110.39 cores=0-7
/proc/16931/task/16951/stat : 16951 (java) R 16929 16929 16791 0 -1 4202560 1008 0 0 0 11038 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262308977992 140264127904288 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16952] ppid=16929 vsize=26645092 memory=12012 CPUtime=110.8 cores=0-7
/proc/16931/task/16952/stat : 16952 (java) R 16929 16929 16791 0 -1 4202560 915 0 0 0 11079 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262307926648 140264127904013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16953] ppid=16929 vsize=26645092 memory=854828 CPUtime=109.22 cores=0-7
/proc/16931/task/16953/stat : 16953 (java) R 16929 16929 16791 0 -1 4202560 2001 0 0 0 10919 3 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262306873080 140264127903893 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16954] ppid=16929 vsize=26645092 memory=6791534058613427641 CPUtime=110.59 cores=0-7
/proc/16931/task/16954/stat : 16954 (java) R 16929 16929 16791 0 -1 4202560 2172 0 0 0 11056 3 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262305820744 140264127904032 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16955] ppid=16929 vsize=26645092 memory=2096 CPUtime=110.54 cores=0-7
/proc/16931/task/16955/stat : 16955 (java) R 16929 16929 16791 0 -1 4202560 1239 0 0 0 11053 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262304767952 140264128329366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16956] ppid=16929 vsize=26645092 memory=7532 CPUtime=110.3 cores=0-7
/proc/16931/task/16956/stat : 16956 (java) R 16929 16929 16791 0 -1 4202560 1027 0 0 0 11028 2 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262303715448 140264127904262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16957] ppid=16929 vsize=26645092 memory=840 CPUtime=110.56 cores=0-7
/proc/16931/task/16957/stat : 16957 (java) R 16929 16929 16791 0 -1 4202560 1801 0 0 0 11054 2 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262302662904 140264127903893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16958] ppid=16929 vsize=26645092 memory=4108 CPUtime=110.93 cores=0-7
/proc/16931/task/16958/stat : 16958 (java) R 16929 16929 16791 0 -1 4202560 1618 0 0 0 11090 3 0 0 20 0 28 0 89390349 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262301610360 140264127904131 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
Current children cumulated CPU time: 898.61 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 856284 KiB
[startup+115.202 s]
/proc/loadavg: 7.93 8.08 7.79 9/207 16958
/proc/meminfo: memFree=27316272/32770624 swapFree=67108532/67108860
[pid=16929] ppid=16926 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16929/stat : 16929 (xcsp3-exec) S 16926 16929 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89389990 115843072 364 33554432000 4194304 5098028 140727863051504 140727863049608 140516506997372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40431616 140727863055414 140727863055616 140727863055616 140727863058378 0
/proc/16929/statm: 28282 364 306 221 0 87 0
[pid=16931] ppid=16929 vsize=26645092 memory=854828 CPUtime=901.79 cores=0-7
/proc/16931/stat : 16931 (java) S 16929 16929 16791 0 -1 1077944320 78586 0 0 0 90070 109 0 0 20 0 28 0 89389990 27284574208 213707 33554432000 4194304 4196468 140723406803344 140723406785888 140264497426167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
/proc/16931/statm: 6661273 213707 3444 1 0 6622467 0
[pid=16931/tid=16932] ppid=16929 vsize=26645092 memory=6 CPUtime=3.24 cores=0-7
/proc/16931/task/16932/stat : 16932 (java) S 16929 16929 16791 0 -1 1077944384 10038 0 0 0 315 9 0 0 20 0 28 0 89389991 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264501666944 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16933] ppid=16929 vsize=26645092 memory=32 CPUtime=0.27 cores=0-7
/proc/16931/task/16933/stat : 16933 (java) S 16929 16929 16791 0 -1 1077944384 272 0 0 0 18 9 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264450046736 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16934] ppid=16929 vsize=26645092 memory=1232 CPUtime=0.26 cores=0-7
/proc/16931/task/16934/stat : 16934 (java) S 16929 16929 16791 0 -1 1077944384 246 0 0 0 17 9 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264448994192 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16935] ppid=16929 vsize=26645092 memory=12012 CPUtime=0.24 cores=0-7
/proc/16931/task/16935/stat : 16935 (java) S 16929 16929 16791 0 -1 1077944384 548 0 0 0 16 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264447941648 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16936] ppid=16929 vsize=26645092 memory=1724 CPUtime=0.25 cores=0-7
/proc/16931/task/16936/stat : 16936 (java) S 16929 16929 16791 0 -1 1077944384 213 0 0 0 17 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264446889104 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16937] ppid=16929 vsize=26645092 memory=7124 CPUtime=0.24 cores=0-7
/proc/16931/task/16937/stat : 16937 (java) S 16929 16929 16791 0 -1 1077944384 242 0 0 0 16 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264445835536 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16938] ppid=16929 vsize=26645092 memory=0 CPUtime=0.25 cores=0-7
/proc/16931/task/16938/stat : 16938 (java) S 16929 16929 16791 0 -1 1077944384 425 0 0 0 17 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264444782992 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16939] ppid=16929 vsize=26645092 memory=6944656592387989600 CPUtime=0.25 cores=0-7
/proc/16931/task/16939/stat : 16939 (java) S 16929 16929 16791 0 -1 1077944384 200 0 0 0 17 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264443730448 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16940] ppid=16929 vsize=26645092 memory=6944656592387989600 CPUtime=0.28 cores=0-7
/proc/16931/task/16940/stat : 16940 (java) S 16929 16929 16791 0 -1 1077944384 302 0 0 0 19 9 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264442677904 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16941] ppid=16929 vsize=26645092 memory=6944656575208382560 CPUtime=0.02 cores=0-7
/proc/16931/task/16941/stat : 16941 (java) S 16929 16929 16791 0 -1 1077944384 1128 0 0 0 2 0 0 0 20 0 28 0 89389993 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262769531376 140264497437314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16942] ppid=16929 vsize=26645092 memory=15676 CPUtime=0 cores=0-7
/proc/16931/task/16942/stat : 16942 (java) S 16929 16929 16791 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 89389994 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262768477664 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16943] ppid=16929 vsize=26645092 memory=16236 CPUtime=0 cores=0-7
/proc/16931/task/16943/stat : 16943 (java) S 16929 16929 16791 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89389994 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262767425024 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16944] ppid=16929 vsize=26645092 memory=4048 CPUtime=0 cores=0-7
/proc/16931/task/16944/stat : 16944 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262766373584 140264497444763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16945] ppid=16929 vsize=26645092 memory=640 CPUtime=2.96 cores=0-7
/proc/16931/task/16945/stat : 16945 (java) S 16929 16929 16791 0 -1 1077944384 13088 0 0 0 294 2 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262765320176 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16946] ppid=16929 vsize=26645092 memory=1788 CPUtime=2.9 cores=0-7
/proc/16931/task/16946/stat : 16946 (java) S 16929 16929 16791 0 -1 1077944384 17656 0 0 0 287 3 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262764267632 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16947] ppid=16929 vsize=26645092 memory=0 CPUtime=3.06 cores=0-7
/proc/16931/task/16947/stat : 16947 (java) S 16929 16929 16791 0 -1 1077944384 13148 0 0 0 305 1 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262763215088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16948] ppid=16929 vsize=26645092 memory=0 CPUtime=0.83 cores=0-7
/proc/16931/task/16948/stat : 16948 (java) S 16929 16929 16791 0 -1 1077944384 6745 0 0 0 82 1 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262762162544 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16949] ppid=16929 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/16931/task/16949/stat : 16949 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262318627552 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16950] ppid=16929 vsize=26645092 memory=0 CPUtime=0.04 cores=0-7
/proc/16931/task/16950/stat : 16950 (java) S 16929 16929 16791 0 -1 1077944384 1211 0 0 0 2 2 0 0 20 0 28 0 89389997 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262317575088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16951] ppid=16929 vsize=26645092 memory=0 CPUtime=110.79 cores=0-7
/proc/16931/task/16951/stat : 16951 (java) R 16929 16929 16791 0 -1 4202560 1008 0 0 0 11078 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262308977992 140264127904782 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16952] ppid=16929 vsize=26645092 memory=960 CPUtime=111.2 cores=0-7
/proc/16931/task/16952/stat : 16952 (java) R 16929 16929 16791 0 -1 4202560 915 0 0 0 11119 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262307926648 140264127904167 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16953] ppid=16929 vsize=26645092 memory=1232 CPUtime=109.61 cores=0-7
/proc/16931/task/16953/stat : 16953 (java) R 16929 16929 16791 0 -1 4202560 2002 0 0 0 10958 3 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262306873080 140264128532010 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16954] ppid=16929 vsize=26645092 memory=2332 CPUtime=110.99 cores=0-7
/proc/16931/task/16954/stat : 16954 (java) R 16929 16929 16791 0 -1 4202560 2172 0 0 0 11096 3 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262305820744 140264127904013 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16955] ppid=16929 vsize=26645092 memory=928 CPUtime=110.94 cores=0-7
/proc/16931/task/16955/stat : 16955 (java) R 16929 16929 16791 0 -1 4202560 1239 0 0 0 11093 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262304767952 140264127904115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16956] ppid=16929 vsize=26645092 memory=1580 CPUtime=110.7 cores=0-7
/proc/16931/task/16956/stat : 16956 (java) R 16929 16929 16791 0 -1 4202560 1027 0 0 0 11068 2 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262303715448 140264127904183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16957] ppid=16929 vsize=26645092 memory=2244 CPUtime=110.96 cores=0-7
/proc/16931/task/16957/stat : 16957 (java) R 16929 16929 16791 0 -1 4202560 1801 0 0 0 11094 2 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262302662904 140264127904217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16958] ppid=16929 vsize=26645092 memory=854828 CPUtime=111.33 cores=0-7
/proc/16931/task/16958/stat : 16958 (java) R 16929 16929 16791 0 -1 4202560 1618 0 0 0 11130 3 0 0 20 0 28 0 89390349 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262301610360 140264127904127 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
Current children cumulated CPU time: 901.79 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 856284 KiB
[startup+115.302 s]
/proc/loadavg: 7.93 8.08 7.79 9/207 16958
/proc/meminfo: memFree=27316272/32770624 swapFree=67108532/67108860
[pid=16929] ppid=16926 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16929/stat : 16929 (xcsp3-exec) S 16926 16929 16791 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89389990 115843072 364 33554432000 4194304 5098028 140727863051504 140727863049608 140516506997372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40431616 140727863055414 140727863055616 140727863055616 140727863058378 0
/proc/16929/statm: 28282 364 306 221 0 87 0
[pid=16931] ppid=16929 vsize=26645092 memory=854828 CPUtime=902.59 cores=0-7
/proc/16931/stat : 16931 (java) S 16929 16929 16791 0 -1 1077944320 78586 0 0 0 90150 109 0 0 20 0 28 0 89389990 27284574208 213707 33554432000 4194304 4196468 140723406803344 140723406785888 140264497426167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
/proc/16931/statm: 6661273 213707 3444 1 0 6622467 0
[pid=16931/tid=16932] ppid=16929 vsize=26645092 memory=3868 CPUtime=3.24 cores=0-7
/proc/16931/task/16932/stat : 16932 (java) S 16929 16929 16791 0 -1 1077944384 10038 0 0 0 315 9 0 0 20 0 28 0 89389991 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264501666944 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16933] ppid=16929 vsize=26645092 memory=854828 CPUtime=0.27 cores=0-7
/proc/16931/task/16933/stat : 16933 (java) S 16929 16929 16791 0 -1 1077944384 272 0 0 0 18 9 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264450046736 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16934] ppid=16929 vsize=26645092 memory=0 CPUtime=0.26 cores=0-7
/proc/16931/task/16934/stat : 16934 (java) S 16929 16929 16791 0 -1 1077944384 246 0 0 0 17 9 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264448994192 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16935] ppid=16929 vsize=26645092 memory=6791534058613427641 CPUtime=0.24 cores=0-7
/proc/16931/task/16935/stat : 16935 (java) S 16929 16929 16791 0 -1 1077944384 548 0 0 0 16 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264447941648 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16936] ppid=16929 vsize=26645092 memory=854828 CPUtime=0.25 cores=0-7
/proc/16931/task/16936/stat : 16936 (java) S 16929 16929 16791 0 -1 1077944384 213 0 0 0 17 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264446889104 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16937] ppid=16929 vsize=26645092 memory=0 CPUtime=0.24 cores=0-7
/proc/16931/task/16937/stat : 16937 (java) S 16929 16929 16791 0 -1 1077944384 242 0 0 0 16 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264445835536 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16938] ppid=16929 vsize=26645092 memory=-7737621075815351712 CPUtime=0.25 cores=0-7
/proc/16931/task/16938/stat : 16938 (java) S 16929 16929 16791 0 -1 1077944384 425 0 0 0 17 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264444782992 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16939] ppid=16929 vsize=26645092 memory=854828 CPUtime=0.25 cores=0-7
/proc/16931/task/16939/stat : 16939 (java) S 16929 16929 16791 0 -1 1077944384 200 0 0 0 17 8 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264443730448 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16940] ppid=16929 vsize=26645092 memory=1456 CPUtime=0.28 cores=0-7
/proc/16931/task/16940/stat : 16940 (java) S 16929 16929 16791 0 -1 1077944384 302 0 0 0 19 9 0 0 20 0 28 0 89389992 27284574208 213707 33554432000 4194304 4196468 140723406803344 140264442677904 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16941] ppid=16929 vsize=26645092 memory=1456 CPUtime=0.02 cores=0-7
/proc/16931/task/16941/stat : 16941 (java) S 16929 16929 16791 0 -1 1077944384 1128 0 0 0 2 0 0 0 20 0 28 0 89389993 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262769531376 140264497437314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16942] ppid=16929 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/16931/task/16942/stat : 16942 (java) S 16929 16929 16791 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 89389994 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262768477664 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16943] ppid=16929 vsize=26645092 memory=25976 CPUtime=0 cores=0-7
/proc/16931/task/16943/stat : 16943 (java) S 16929 16929 16791 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89389994 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262767425024 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16944] ppid=16929 vsize=26645092 memory=1280 CPUtime=0 cores=0-7
/proc/16931/task/16944/stat : 16944 (java) S 16929 16929 16791 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262766373584 140264497444763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16945] ppid=16929 vsize=26645092 memory=212819924517975 CPUtime=2.96 cores=0-7
/proc/16931/task/16945/stat : 16945 (java) S 16929 16929 16791 0 -1 1077944384 13088 0 0 0 294 2 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262765320176 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16946] ppid=16929 vsize=26645092 memory=212819924517976 CPUtime=2.9 cores=0-7
/proc/16931/task/16946/stat : 16946 (java) S 16929 16929 16791 0 -1 1077944384 17656 0 0 0 287 3 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262764267632 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16947] ppid=16929 vsize=26645092 memory=129 CPUtime=3.06 cores=0-7
/proc/16931/task/16947/stat : 16947 (java) S 16929 16929 16791 0 -1 1077944384 13148 0 0 0 305 1 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262763215088 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16948] ppid=16929 vsize=26645092 memory=280222322655472 CPUtime=0.83 cores=0-7
/proc/16931/task/16948/stat : 16948 (java) S 16929 16929 16791 0 -1 1077944384 6745 0 0 0 82 1 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262762162544 140264497437314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16949] ppid=16929 vsize=26645092 memory=1168 CPUtime=0 cores=0-7
/proc/16931/task/16949/stat : 16949 (java) S 16929 16929 16791 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89389996 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262318627552 140264497436373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16950] ppid=16929 vsize=26645092 memory=421 CPUtime=0.04 cores=0-7
/proc/16931/task/16950/stat : 16950 (java) R 16929 16929 16791 0 -1 1077944384 1211 0 0 0 2 2 0 0 20 0 28 0 89389997 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262317575088 140264497437314 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16951] ppid=16929 vsize=26645092 memory=56 CPUtime=110.89 cores=0-7
/proc/16931/task/16951/stat : 16951 (java) R 16929 16929 16791 0 -1 4202560 1008 0 0 0 11088 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262308977992 140264127904013 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16952] ppid=16929 vsize=26645092 memory=280222323096872 CPUtime=111.3 cores=0-7
/proc/16931/task/16952/stat : 16952 (java) R 16929 16929 16791 0 -1 4202560 915 0 0 0 11129 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262307926648 140264128034335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16953] ppid=16929 vsize=26645092 memory=854828 CPUtime=109.71 cores=0-7
/proc/16931/task/16953/stat : 16953 (java) R 16929 16929 16791 0 -1 4202560 2002 0 0 0 10968 3 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262306873080 140264127904013 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16954] ppid=16929 vsize=26645092 memory=140111162199841 CPUtime=111.09 cores=0-7
/proc/16931/task/16954/stat : 16954 (java) R 16929 16929 16791 0 -1 4202560 2172 0 0 0 11106 3 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262305820744 140264127904501 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16955] ppid=16929 vsize=26645092 memory=7380671248541445222 CPUtime=111.04 cores=0-7
/proc/16931/task/16955/stat : 16955 (java) R 16929 16929 16791 0 -1 4202560 1239 0 0 0 11103 1 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262304767952 140264127903872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16956] ppid=16929 vsize=26645092 memory=1456 CPUtime=110.8 cores=0-7
/proc/16931/task/16956/stat : 16956 (java) R 16929 16929 16791 0 -1 4202560 1027 0 0 0 11078 2 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262303715448 140264127903813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16957] ppid=16929 vsize=26645092 memory=854828 CPUtime=111.06 cores=0-7
/proc/16931/task/16957/stat : 16957 (java) R 16929 16929 16791 0 -1 4202560 1801 0 0 0 11104 2 0 0 20 0 28 0 89390338 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262302662904 140264127904288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
[pid=16931/tid=16958] ppid=16929 vsize=26645092 memory=306 CPUtime=111.43 cores=0-7
/proc/16931/task/16958/stat : 16958 (java) R 16929 16929 16791 0 -1 4202560 1618 0 0 0 11140 3 0 0 20 0 28 0 89390349 27284574208 213707 33554432000 4194304 4196468 140723406803344 140262301610360 140264128033721 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36827136 140723406808193 140723406808365 140723406808365 140723406811087 0
Current children cumulated CPU time: 902.59 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 856284 KiB
Child status: 0
Real time (s): 115.365
CPU time (s): 902.979
CPU user time (s): 901.871
CPU system time (s): 1.10763
CPU usage (%): 782.712
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 858480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 901.871
system time used= 1.10763
maximum resident set size= 857120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7314
involuntary context switches= 9861
# summary of solver processes directly reported to runsolver:
# pid: 16929
# total CPU time (s): 902.979
# total CPU user time (s): 901.871
# total CPU system time (s): 1.10763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11659 second user time and 1.28557 second system time
The end
Begin job on node104 at 2018-07-27 21:04:28
IDJOB=4297738
IDBENCH=141387
IDSOLVER=2760
FILE ID=node104/4297738-1532718268
RUNJOBID= node104-1532718264-16818
PBS_JOBID= 21022329
Free space on /tmp= 48344 MiB
SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-7-cp_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297738-1532718268/watcher-4297738-1532718268 -o /tmp/evaluation-result-4297738-1532718268/solver-4297738-1532718268 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532718264-16818 --watchdog 2580 HOME/xcsp3-exec -seed 811469814 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297738-1532718268.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 6202e41c7df8f203e59ab292b28f5059
RANDOM SEED=811469814
node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 28153184 kB
MemAvailable: 31948968 kB
Buffers: 123756 kB
Cached: 3924916 kB
SwapCached: 12 kB
Active: 1916836 kB
Inactive: 2184244 kB
Active(anon): 6796 kB
Inactive(anon): 73044 kB
Active(file): 1910040 kB
Inactive(file): 2111200 kB
Unevictable: 7364 kB
Mlocked: 7364 kB
SwapTotal: 67108860 kB
SwapFree: 67108532 kB
Dirty: 22048 kB
Writeback: 0 kB
AnonPages: 58760 kB
Mapped: 39820 kB
Shmem: 25060 kB
Slab: 209188 kB
SReclaimable: 180760 kB
SUnreclaim: 28428 kB
KernelStack: 3216 kB
PageTables: 5408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 48324 MiB
End job on node104 at 2018-07-27 21:06:24