0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399453-1568702079.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4399453-1568702079.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
5.42/2.48 c solve instance...
90.03/13.12 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 (15276 MiB free)
memory of node 1: 16384 MiB (15693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399453-1568702079/watcher-4399453-1568702079 -o /tmp/evaluation-result-4399453-1568702079/solver-4399453-1568702079 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 762856976 HOME/instance-4399453-1568702079.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=30862, runsolver pid=30859
[startup+0.100111 s]*
/proc/loadavg: 6.28 6.69 7.42 2/212 30883
/proc/meminfo: memFree=31699168/32770624 swapFree=66977128/67108860
[pid=30862] ppid=30859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30862/stat : 30862 (xcsp3-exec) S 30859 30862 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446470568 115843072 364 33554432000 4194304 5098028 140722194393680 140722194391784 140335281697404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38412288 140722194396022 140722194396265 140722194396265 140722194399178 0
/proc/30862/statm: 28282 364 305 221 0 87 0
[pid=30864] ppid=30862 vsize=28227396 memory=29028 CPUtime=0.12 cores=0-7
/proc/30864/stat : 30864 (java) S 30862 30862 29062 0 -1 1077944320 5660 0 0 0 11 1 0 0 20 0 20 0 446470568 28904853504 7257 33554432000 4194304 4196468 140735680674128 140735680656672 140268275859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
/proc/30864/statm: 7056849 7257 3159 1 0 7019032 0
[pid=30864/tid=30865] ppid=30862 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30864/task/30865/stat : 30865 (java) R 30862 30862 29062 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268280087216 140268275871126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30866] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30866/stat : 30866 (java) S 30862 30862 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268228480144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30867] ppid=30862 vsize=28227396 memory=140181965002368 CPUtime=0 cores=0-7
/proc/30864/task/30867/stat : 30867 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268227427344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30868] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30868/stat : 30868 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268226374544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30869] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30869/stat : 30869 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268225321744 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30870] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30870/stat : 30870 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268224268944 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30871] ppid=30862 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30864/task/30871/stat : 30871 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268223216144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30872] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30872/stat : 30872 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268222163344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30873] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30873/stat : 30873 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 7257 33554432000 4194304 4196468 140735680674128 140268221110544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30874] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30874/stat : 30874 (java) S 30862 30862 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446470571 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266471222128 140268275870338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30875] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30875/stat : 30875 (java) S 30862 30862 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446470571 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266470168096 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30876] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30876/stat : 30876 (java) S 30862 30862 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446470572 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266469115248 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30877] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30877/stat : 30877 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266468063568 140268275877787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30878] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30878/stat : 30878 (java) S 30862 30862 29062 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266467010928 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30879] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30879/stat : 30879 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266465958128 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30880] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30880/stat : 30880 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266464905328 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30881] ppid=30862 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30864/task/30881/stat : 30881 (java) R 30862 30862 29062 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 20 0 446470574 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266463850928 140268255278883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30882] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30882/stat : 30882 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266462800992 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30883] ppid=30862 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30864/task/30883/stat : 30883 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 7257 33554432000 4194304 4196468 140735680674128 140266461748272 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30484 KiB
[startup+0.210118 s]*
/proc/loadavg: 6.28 6.69 7.42 2/212 30883
/proc/meminfo: memFree=31687336/32770624 swapFree=66977128/67108860
[pid=30862] ppid=30859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30862/stat : 30862 (xcsp3-exec) S 30859 30862 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446470568 115843072 364 33554432000 4194304 5098028 140722194393680 140722194391784 140335281697404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38412288 140722194396022 140722194396265 140722194396265 140722194399178 0
/proc/30862/statm: 28282 364 305 221 0 87 0
[pid=30864] ppid=30862 vsize=28227396 memory=40024 CPUtime=0.33 cores=0-7
/proc/30864/stat : 30864 (java) S 30862 30862 29062 0 -1 1077944320 9321 0 0 0 30 3 0 0 20 0 20 0 446470568 28904853504 10006 33554432000 4194304 4196468 140735680674128 140735680656672 140268275859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
/proc/30864/statm: 7056849 10006 3209 1 0 7019032 0
[pid=30864/tid=30865] ppid=30862 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30864/task/30865/stat : 30865 (java) R 30862 30862 29062 0 -1 4202560 6573 0 0 0 17 2 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268280088912 140268261554968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30866] ppid=30862 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/30864/task/30866/stat : 30866 (java) S 30862 30862 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268228480144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30867] ppid=30862 vsize=28227396 memory=288370558116714112 CPUtime=0 cores=0-7
/proc/30864/task/30867/stat : 30867 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268227427344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30868] ppid=30862 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30864/task/30868/stat : 30868 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268226374544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30869] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30869/stat : 30869 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268225321744 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30870] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30870/stat : 30870 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268224268944 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30871] ppid=30862 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30864/task/30871/stat : 30871 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268223216144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30872] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30872/stat : 30872 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268222163344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30873] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30873/stat : 30873 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28904853504 10006 33554432000 4194304 4196468 140735680674128 140268221110544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30874] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30874/stat : 30874 (java) S 30862 30862 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446470571 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266471222128 140268275870338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30875] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30875/stat : 30875 (java) S 30862 30862 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446470571 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266470168096 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30876] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30876/stat : 30876 (java) S 30862 30862 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446470572 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266469115248 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30877] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30877/stat : 30877 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266468063568 140268275877787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30878] ppid=30862 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30864/task/30878/stat : 30878 (java) S 30862 30862 29062 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 446470574 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266467010928 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30879] ppid=30862 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30864/task/30879/stat : 30879 (java) S 30862 30862 29062 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 446470574 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266465958128 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30880] ppid=30862 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/30864/task/30880/stat : 30880 (java) S 30862 30862 29062 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 446470574 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266464905328 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30881] ppid=30862 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/30864/task/30881/stat : 30881 (java) S 30862 30862 29062 0 -1 1077944384 804 0 0 0 7 0 0 0 20 0 20 0 446470574 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266463852528 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30882] ppid=30862 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30882/stat : 30882 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266462800992 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30883] ppid=30862 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30864/task/30883/stat : 30883 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470574 28904853504 10006 33554432000 4194304 4196468 140735680674128 140266461748272 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41480 KiB
[startup+0.309477 s]*
/proc/loadavg: 6.28 6.69 7.42 5/212 30883
/proc/meminfo: memFree=31679124/32770624 swapFree=66977128/67108860
[pid=30862] ppid=30859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30862/stat : 30862 (xcsp3-exec) S 30859 30862 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446470568 115843072 364 33554432000 4194304 5098028 140722194393680 140722194391784 140335281697404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38412288 140722194396022 140722194396265 140722194396265 140722194399178 0
/proc/30862/statm: 28282 364 305 221 0 87 0
[pid=30864] ppid=30862 vsize=28231652 memory=49688 CPUtime=0.52 cores=0-7
/proc/30864/stat : 30864 (java) S 30862 30862 29062 0 -1 1077944320 10782 0 0 0 48 4 0 0 20 0 20 0 446470568 28909211648 12422 33554432000 4194304 4196468 140735680674128 140735680656672 140268275859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
/proc/30864/statm: 7057913 12422 3325 1 0 7019032 0
[pid=30864/tid=30865] ppid=30862 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30864/task/30865/stat : 30865 (java) R 30862 30862 29062 0 -1 4202560 7688 0 0 0 26 3 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268280092976 140268275881117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30866] ppid=30862 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30866/stat : 30866 (java) S 30862 30862 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268228480144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30867] ppid=30862 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30867/stat : 30867 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268227427344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30868] ppid=30862 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30868/stat : 30868 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268226374544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30869] ppid=30862 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30869/stat : 30869 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268225321744 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30870] ppid=30862 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30864/task/30870/stat : 30870 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268224268944 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30871] ppid=30862 vsize=28231652 memory=140181827056559 CPUtime=0 cores=0-7
/proc/30864/task/30871/stat : 30871 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268223216144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30872] ppid=30862 vsize=28231652 memory=140181827058864 CPUtime=0 cores=0-7
/proc/30864/task/30872/stat : 30872 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268222163344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30873] ppid=30862 vsize=28231652 memory=140181827061168 CPUtime=0 cores=0-7
/proc/30864/task/30873/stat : 30873 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28909211648 12422 33554432000 4194304 4196468 140735680674128 140268221110544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30874] ppid=30862 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30874/stat : 30874 (java) S 30862 30862 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446470571 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266471222128 140268275870338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30875] ppid=30862 vsize=28231652 memory=280363654129296 CPUtime=0 cores=0-7
/proc/30864/task/30875/stat : 30875 (java) S 30862 30862 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446470571 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266470168096 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30876] ppid=30862 vsize=28231652 memory=280363654136208 CPUtime=0 cores=0-7
/proc/30864/task/30876/stat : 30876 (java) S 30862 30862 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446470572 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266469115248 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30877] ppid=30862 vsize=28231652 memory=280363654077456 CPUtime=0 cores=0-7
/proc/30864/task/30877/stat : 30877 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470574 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266468063568 140268275877787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30878] ppid=30862 vsize=28231652 memory=280363654150032 CPUtime=0.02 cores=0-7
/proc/30864/task/30878/stat : 30878 (java) S 30862 30862 29062 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 446470574 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266467010928 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30879] ppid=30862 vsize=28231652 memory=280363654156944 CPUtime=0.02 cores=0-7
/proc/30864/task/30879/stat : 30879 (java) R 30862 30862 29062 0 -1 4202560 208 0 0 0 2 0 0 0 20 0 20 0 446470574 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266465948512 140268275873073 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30880] ppid=30862 vsize=28231652 memory=280363654154640 CPUtime=0.04 cores=0-7
/proc/30864/task/30880/stat : 30880 (java) S 30862 30862 29062 0 -1 1077944384 131 0 0 0 4 0 0 0 20 0 20 0 446470574 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266464905328 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30881] ppid=30862 vsize=28231652 memory=280363654170800 CPUtime=0.12 cores=0-7
/proc/30864/task/30881/stat : 30881 (java) S 30862 30862 29062 0 -1 1077944384 962 0 0 0 12 0 0 0 20 0 20 0 446470574 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266463852528 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30882] ppid=30862 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30882/stat : 30882 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446470574 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266462800992 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30883] ppid=30862 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30864/task/30883/stat : 30883 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470574 28909211648 12422 33554432000 4194304 4196468 140735680674128 140266461748272 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51144 KiB
[startup+0.701001 s]
/proc/loadavg: 6.28 6.69 7.42 5/212 30883
/proc/meminfo: memFree=31649132/32770624 swapFree=66977128/67108860
[pid=30862] ppid=30859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30862/stat : 30862 (xcsp3-exec) S 30859 30862 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446470568 115843072 364 33554432000 4194304 5098028 140722194393680 140722194391784 140335281697404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38412288 140722194396022 140722194396265 140722194396265 140722194399178 0
/proc/30862/statm: 28282 364 305 221 0 87 0
[pid=30864] ppid=30862 vsize=28233776 memory=190636 CPUtime=1.62 cores=0-7
/proc/30864/stat : 30864 (java) S 30862 30862 29062 0 -1 1077944320 14419 0 0 0 154 8 0 0 20 0 20 0 446470568 28911386624 47659 33554432000 4194304 4196468 140735680674128 140735680656672 140268275859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
/proc/30864/statm: 7058444 47659 3457 1 0 7019544 0
[pid=30864/tid=30865] ppid=30862 vsize=28233776 memory=280363654528688 CPUtime=0.66 cores=0-7
/proc/30864/task/30865/stat : 30865 (java) R 30862 30862 29062 0 -1 4202560 8301 0 0 0 62 4 0 0 20 0 20 0 446470569 28911386624 47659 33554432000 4194304 4196468 140735680674128 140268280096656 140268275871126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30866] ppid=30862 vsize=28233776 memory=140181827265392 CPUtime=0 cores=0-7
/proc/30864/task/30866/stat : 30866 (java) S 30862 30862 29062 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 446470569 28911386624 47659 33554432000 4194304 4196468 140735680674128 140268228480144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30867] ppid=30862 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30867/stat : 30867 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446470569 28911386624 47659 33554432000 4194304 4196468 140735680674128 140268227427344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30868] ppid=30862 vsize=28233776 memory=7872 CPUtime=0 cores=0-7
/proc/30864/task/30868/stat : 30868 (java) S 30862 30862 29062 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 446470569 28911386624 47659 33554432000 4194304 4196468 140735680674128 140268226374544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
################
# More data... #
################
[pid=30864/tid=30881] ppid=30862 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7
/proc/30864/task/30881/stat : 30881 (java) S 30862 30862 29062 0 -1 1077944384 4817 0 0 0 67 1 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266463852528 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30882] ppid=30862 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30882/stat : 30882 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266462800992 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30883] ppid=30862 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30883/stat : 30883 (java) S 30862 30862 29062 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266461748272 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30884] ppid=30862 vsize=28766288 memory=0 CPUtime=9.88 cores=0-7
/proc/30864/task/30884/stat : 30884 (java) R 30862 30862 29062 0 -1 4202560 311 0 0 0 986 2 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266452765728 140267883239525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30885] ppid=30862 vsize=28766288 memory=0 CPUtime=10 cores=0-7
/proc/30864/task/30885/stat : 30885 (java) R 30862 30862 29062 0 -1 4202560 329 0 0 0 1000 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266009608456 140267883293200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30886] ppid=30862 vsize=28766288 memory=0 CPUtime=9.94 cores=0-7
/proc/30864/task/30886/stat : 30886 (java) R 30862 30862 29062 0 -1 4202560 892 0 0 0 991 3 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266008555560 140267883293530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30887] ppid=30862 vsize=28766288 memory=0 CPUtime=9.84 cores=0-7
/proc/30864/task/30887/stat : 30887 (java) R 30862 30862 29062 0 -1 4202560 807 0 0 0 984 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266007504600 140267884343940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30888] ppid=30862 vsize=28766288 memory=0 CPUtime=9.83 cores=0-7
/proc/30864/task/30888/stat : 30888 (java) R 30862 30862 29062 0 -1 4202560 547 0 0 0 982 1 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266006450568 140267883292971 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30889] ppid=30862 vsize=28766288 memory=1456 CPUtime=10.03 cores=0-7
/proc/30864/task/30889/stat : 30889 (java) R 30862 30862 29062 0 -1 4202560 493 0 0 0 1003 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266005397256 140267883238770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30890] ppid=30862 vsize=28766288 memory=760664 CPUtime=9.97 cores=0-7
/proc/30864/task/30890/stat : 30890 (java) R 30862 30862 29062 0 -1 4202560 438 0 0 0 997 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266004347176 140267883293603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30891] ppid=30862 vsize=28766288 memory=0 CPUtime=10.02 cores=0-7
/proc/30864/task/30891/stat : 30891 (java) R 30862 30862 29062 0 -1 4202560 244 0 0 0 1002 0 0 0 20 0 28 0 446470818 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266003292536 140267883293273 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
Current children cumulated CPU time: 87.57 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 762232 KiB
[startup+13.0017 s]*
/proc/loadavg: 6.39 6.69 7.41 9/220 30891
/proc/meminfo: memFree=30967072/32770624 swapFree=66977128/67108860
[pid=30862] ppid=30859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30862/stat : 30862 (xcsp3-exec) S 30859 30862 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446470568 115843072 364 33554432000 4194304 5098028 140722194393680 140722194391784 140335281697404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38412288 140722194396022 140722194396265 140722194396265 140722194399178 0
/proc/30862/statm: 28282 364 305 221 0 87 0
[pid=30864] ppid=30862 vsize=28766288 memory=760776 CPUtime=89.23 cores=0-7
/proc/30864/stat : 30864 (java) S 30862 30862 29062 0 -1 1077944320 33753 0 0 0 8836 87 0 0 20 0 28 0 446470568 29456678912 190194 33554432000 4194304 4196468 140735680674128 140735680656672 140268275859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
/proc/30864/statm: 7191572 190194 3509 1 0 7152672 0
[pid=30864/tid=30865] ppid=30862 vsize=28766288 memory=6791534058613427641 CPUtime=2.28 cores=0-7
/proc/30864/task/30865/stat : 30865 (java) S 30862 30862 29062 0 -1 1077944384 9152 0 0 0 218 10 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268280099968 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30866] ppid=30862 vsize=28766288 memory=-3040564339105353098 CPUtime=0.14 cores=0-7
/proc/30864/task/30866/stat : 30866 (java) S 30862 30862 29062 0 -1 1077944384 160 0 0 0 7 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268228480144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30867] ppid=30862 vsize=28766288 memory=-7751062316387021378 CPUtime=0.16 cores=0-7
/proc/30864/task/30867/stat : 30867 (java) S 30862 30862 29062 0 -1 1077944384 161 0 0 0 8 8 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268227427344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30868] ppid=30862 vsize=28766288 memory=6944656592455360604 CPUtime=0.16 cores=0-7
/proc/30864/task/30868/stat : 30868 (java) S 30862 30862 29062 0 -1 1077944384 137 0 0 0 9 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268226374544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30869] ppid=30862 vsize=28766288 memory=6943487855420614559 CPUtime=0.15 cores=0-7
/proc/30864/task/30869/stat : 30869 (java) S 30862 30862 29062 0 -1 1077944384 135 0 0 0 8 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268225321744 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30870] ppid=30862 vsize=28766288 memory=6791534058613427641 CPUtime=0.15 cores=0-7
/proc/30864/task/30870/stat : 30870 (java) S 30862 30862 29062 0 -1 1077944384 142 0 0 0 8 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268224268944 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30871] ppid=30862 vsize=28766288 memory=6655300316396806240 CPUtime=0.16 cores=0-7
/proc/30864/task/30871/stat : 30871 (java) S 30862 30862 29062 0 -1 1077944384 139 0 0 0 9 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268223216144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30872] ppid=30862 vsize=28766288 memory=6656426216303648864 CPUtime=0.15 cores=0-7
/proc/30864/task/30872/stat : 30872 (java) S 30862 30862 29062 0 -1 1077944384 161 0 0 0 8 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268222163344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30873] ppid=30862 vsize=28766288 memory=0 CPUtime=0.16 cores=0-7
/proc/30864/task/30873/stat : 30873 (java) S 30862 30862 29062 0 -1 1077944384 185 0 0 0 9 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268221110544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30874] ppid=30862 vsize=28766288 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/30864/task/30874/stat : 30874 (java) S 30862 30862 29062 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 28 0 446470571 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266471222128 140268275870338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30875] ppid=30862 vsize=28766288 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/30864/task/30875/stat : 30875 (java) S 30862 30862 29062 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 446470571 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266470168160 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30876] ppid=30862 vsize=28766288 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/30864/task/30876/stat : 30876 (java) S 30862 30862 29062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446470572 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266469115264 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30877] ppid=30862 vsize=28766288 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/30864/task/30877/stat : 30877 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266468063568 140268275877787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30878] ppid=30862 vsize=28766288 memory=6944652177228980320 CPUtime=1.08 cores=0-7
/proc/30864/task/30878/stat : 30878 (java) S 30862 30862 29062 0 -1 1077944384 5261 0 0 0 106 2 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266467010928 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30879] ppid=30862 vsize=28766288 memory=1456 CPUtime=1.33 cores=0-7
/proc/30864/task/30879/stat : 30879 (java) S 30862 30862 29062 0 -1 1077944384 3602 0 0 0 132 1 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266465958128 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30880] ppid=30862 vsize=28766288 memory=760740 CPUtime=1.25 cores=0-7
/proc/30864/task/30880/stat : 30880 (java) S 30862 30862 29062 0 -1 1077944384 3040 0 0 0 124 1 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266464905328 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30881] ppid=30862 vsize=28766288 memory=6656426216303648864 CPUtime=0.68 cores=0-7
/proc/30864/task/30881/stat : 30881 (java) S 30862 30862 29062 0 -1 1077944384 4817 0 0 0 67 1 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266463852528 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30882] ppid=30862 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/30864/task/30882/stat : 30882 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266462800992 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30883] ppid=30862 vsize=28766288 memory=760756 CPUtime=0 cores=0-7
/proc/30864/task/30883/stat : 30883 (java) S 30862 30862 29062 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266461748272 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30884] ppid=30862 vsize=28766288 memory=1060 CPUtime=10.09 cores=0-7
/proc/30864/task/30884/stat : 30884 (java) R 30862 30862 29062 0 -1 4202560 311 0 0 0 1007 2 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266452765728 140267883433808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30885] ppid=30862 vsize=28766288 memory=2828 CPUtime=10.21 cores=0-7
/proc/30864/task/30885/stat : 30885 (java) R 30862 30862 29062 0 -1 4202560 329 0 0 0 1021 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266009608456 140267883238300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30886] ppid=30862 vsize=28766288 memory=756 CPUtime=10.13 cores=0-7
/proc/30864/task/30886/stat : 30886 (java) R 30862 30862 29062 0 -1 4202560 894 0 0 0 1010 3 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266008555560 140267883293203 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30887] ppid=30862 vsize=28766288 memory=1548 CPUtime=10.05 cores=0-7
/proc/30864/task/30887/stat : 30887 (java) R 30862 30862 29062 0 -1 4202560 809 0 0 0 1005 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266007504600 140267883291084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30888] ppid=30862 vsize=28766288 memory=7872 CPUtime=10.04 cores=0-7
/proc/30864/task/30888/stat : 30888 (java) R 30862 30862 29062 0 -1 4202560 549 0 0 0 1003 1 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266006450568 140267883290993 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30889] ppid=30862 vsize=28766288 memory=1164 CPUtime=10.24 cores=0-7
/proc/30864/task/30889/stat : 30889 (java) R 30862 30862 29062 0 -1 4202560 493 0 0 0 1024 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266005397256 140267883292910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30890] ppid=30862 vsize=28766288 memory=9448 CPUtime=10.18 cores=0-7
/proc/30864/task/30890/stat : 30890 (java) R 30862 30862 29062 0 -1 4202560 440 0 0 0 1018 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266004347176 140267883238202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30891] ppid=30862 vsize=28766288 memory=14008 CPUtime=10.23 cores=0-7
/proc/30864/task/30891/stat : 30891 (java) R 30862 30862 29062 0 -1 4202560 244 0 0 0 1023 0 0 0 20 0 28 0 446470818 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266003292536 140267883238493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
Current children cumulated CPU time: 89.23 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 762232 KiB
[startup+13.1107 s]
/proc/loadavg: 6.39 6.69 7.41 9/220 30891
/proc/meminfo: memFree=30967072/32770624 swapFree=66977128/67108860
[pid=30862] ppid=30859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30862/stat : 30862 (xcsp3-exec) S 30859 30862 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446470568 115843072 364 33554432000 4194304 5098028 140722194393680 140722194391784 140335281697404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38412288 140722194396022 140722194396265 140722194396265 140722194399178 0
/proc/30862/statm: 28282 364 305 221 0 87 0
[pid=30864] ppid=30862 vsize=28766288 memory=760776 CPUtime=90.03 cores=0-7
/proc/30864/stat : 30864 (java) S 30862 30862 29062 0 -1 1077944320 33757 0 0 0 8916 87 0 0 20 0 28 0 446470568 29456678912 190194 33554432000 4194304 4196468 140735680674128 140735680656672 140268275859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
/proc/30864/statm: 7191572 190194 3509 1 0 7152672 0
[pid=30864/tid=30865] ppid=30862 vsize=28766288 memory=760776 CPUtime=2.28 cores=0-7
/proc/30864/task/30865/stat : 30865 (java) S 30862 30862 29062 0 -1 1077944384 9152 0 0 0 218 10 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268280099968 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30866] ppid=30862 vsize=28766288 memory=760652 CPUtime=0.14 cores=0-7
/proc/30864/task/30866/stat : 30866 (java) S 30862 30862 29062 0 -1 1077944384 160 0 0 0 7 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268228480144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30867] ppid=30862 vsize=28766288 memory=7451875565808018286 CPUtime=0.16 cores=0-7
/proc/30864/task/30867/stat : 30867 (java) S 30862 30862 29062 0 -1 1077944384 161 0 0 0 8 8 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268227427344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30868] ppid=30862 vsize=28766288 memory=4639074098508484689 CPUtime=0.16 cores=0-7
/proc/30864/task/30868/stat : 30868 (java) S 30862 30862 29062 0 -1 1077944384 137 0 0 0 9 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268226374544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30869] ppid=30862 vsize=28766288 memory=883 CPUtime=0.15 cores=0-7
/proc/30864/task/30869/stat : 30869 (java) S 30862 30862 29062 0 -1 1077944384 135 0 0 0 8 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268225321744 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30870] ppid=30862 vsize=28766288 memory=877 CPUtime=0.15 cores=0-7
/proc/30864/task/30870/stat : 30870 (java) S 30862 30862 29062 0 -1 1077944384 142 0 0 0 8 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268224268944 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30871] ppid=30862 vsize=28766288 memory=882 CPUtime=0.16 cores=0-7
/proc/30864/task/30871/stat : 30871 (java) S 30862 30862 29062 0 -1 1077944384 139 0 0 0 9 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268223216144 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30872] ppid=30862 vsize=28766288 memory=1456 CPUtime=0.15 cores=0-7
/proc/30864/task/30872/stat : 30872 (java) S 30862 30862 29062 0 -1 1077944384 161 0 0 0 8 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268222163344 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30873] ppid=30862 vsize=28766288 memory=1456 CPUtime=0.16 cores=0-7
/proc/30864/task/30873/stat : 30873 (java) S 30862 30862 29062 0 -1 1077944384 185 0 0 0 9 7 0 0 20 0 28 0 446470569 29456678912 190194 33554432000 4194304 4196468 140735680674128 140268221110544 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30874] ppid=30862 vsize=28766288 memory=760652 CPUtime=0 cores=0-7
/proc/30864/task/30874/stat : 30874 (java) S 30862 30862 29062 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 28 0 446470571 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266471222128 140268275870338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30875] ppid=30862 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30875/stat : 30875 (java) S 30862 30862 29062 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 446470571 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266470168160 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30876] ppid=30862 vsize=28766288 memory=57 CPUtime=0 cores=0-7
/proc/30864/task/30876/stat : 30876 (java) S 30862 30862 29062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446470572 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266469115264 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30877] ppid=30862 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30864/task/30877/stat : 30877 (java) S 30862 30862 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266468063568 140268275877787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30878] ppid=30862 vsize=28766288 memory=0 CPUtime=1.08 cores=0-7
/proc/30864/task/30878/stat : 30878 (java) S 30862 30862 29062 0 -1 1077944384 5261 0 0 0 106 2 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266467010928 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30879] ppid=30862 vsize=28766288 memory=0 CPUtime=1.33 cores=0-7
/proc/30864/task/30879/stat : 30879 (java) S 30862 30862 29062 0 -1 1077944384 3602 0 0 0 132 1 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266465958128 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30880] ppid=30862 vsize=28766288 memory=0 CPUtime=1.25 cores=0-7
/proc/30864/task/30880/stat : 30880 (java) S 30862 30862 29062 0 -1 1077944384 3040 0 0 0 124 1 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266464905328 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30881] ppid=30862 vsize=28766288 memory=1456 CPUtime=0.68 cores=0-7
/proc/30864/task/30881/stat : 30881 (java) S 30862 30862 29062 0 -1 1077944384 4817 0 0 0 67 1 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266463852528 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30882] ppid=30862 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/30864/task/30882/stat : 30882 (java) S 30862 30862 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266462800992 140268275869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30883] ppid=30862 vsize=28766288 memory=760656 CPUtime=0 cores=0-7
/proc/30864/task/30883/stat : 30883 (java) S 30862 30862 29062 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 28 0 446470574 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266461748272 140268275870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30884] ppid=30862 vsize=28766288 memory=1456 CPUtime=10.19 cores=0-7
/proc/30864/task/30884/stat : 30884 (java) R 30862 30862 29062 0 -1 4202560 311 0 0 0 1017 2 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266452765728 140267883238770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30885] ppid=30862 vsize=28766288 memory=760740 CPUtime=10.31 cores=0-7
/proc/30864/task/30885/stat : 30885 (java) R 30862 30862 29062 0 -1 4202560 329 0 0 0 1031 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266009608456 140267883238511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30886] ppid=30862 vsize=28766288 memory=1456 CPUtime=10.23 cores=0-7
/proc/30864/task/30886/stat : 30886 (java) R 30862 30862 29062 0 -1 4202560 896 0 0 0 1020 3 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266008555560 140267884413321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30887] ppid=30862 vsize=28766288 memory=758736 CPUtime=10.15 cores=0-7
/proc/30864/task/30887/stat : 30887 (java) R 30862 30862 29062 0 -1 4202560 809 0 0 0 1015 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266007504600 140267883524418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30888] ppid=30862 vsize=28766288 memory=780 CPUtime=10.14 cores=0-7
/proc/30864/task/30888/stat : 30888 (java) R 30862 30862 29062 0 -1 4202560 549 0 0 0 1013 1 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266006450568 140267883238376 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30889] ppid=30862 vsize=28766288 memory=4088 CPUtime=10.34 cores=0-7
/proc/30864/task/30889/stat : 30889 (java) R 30862 30862 29062 0 -1 4202560 495 0 0 0 1034 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266005397256 140267883238770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30890] ppid=30862 vsize=28766288 memory=1580 CPUtime=10.27 cores=0-7
/proc/30864/task/30890/stat : 30890 (java) R 30862 30862 29062 0 -1 4202560 440 0 0 0 1027 0 0 0 20 0 28 0 446470817 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266004347176 140267878454823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
[pid=30864/tid=30891] ppid=30862 vsize=28766288 memory=1028 CPUtime=10.33 cores=0-7
/proc/30864/task/30891/stat : 30891 (java) R 30862 30862 29062 0 -1 4202560 244 0 0 0 1033 0 0 0 20 0 28 0 446470818 29456678912 190194 33554432000 4194304 4196468 140735680674128 140266003292536 140267883293474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26275840 140735680676842 140735680677014 140735680677014 140735680679887 0
Current children cumulated CPU time: 90.03 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 762232 KiB
Child status: 0
Real time (s): 13.135
CPU time (s): 90.153
CPU user time (s): 89.2584
CPU system time (s): 0.894605
CPU usage (%): 686.357
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 762232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.2584
system time used= 0.894605
maximum resident set size= 760872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4398
involuntary context switches= 1456
# summary of solver processes directly reported to runsolver:
# pid: 30862
# total CPU time (s): 90.153
# total CPU user time (s): 89.2584
# total CPU system time (s): 0.894605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.16845 second user time and 0.148888 second system time
The end
Begin job on node121 at 2019-09-17 08:33:57
IDJOB=4399453
IDBENCH=121393
IDSOLVER=2854
FILE ID=node121/4399453-1568702079
RUNJOBID= node121-1568700707-29089
PBS_JOBID= 21703902
Free space on /tmp= 61408 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-45.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399453-1568702079/watcher-4399453-1568702079 -o /tmp/evaluation-result-4399453-1568702079/solver-4399453-1568702079 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 762856976 HOME/instance-4399453-1568702079.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9875f5c0ec8fbb2d8215ec13f3e1e37d
RANDOM SEED=762856976
node121.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.75
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.75
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.75
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.75
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: 31713788 kB
MemAvailable: 31916816 kB
Buffers: 64768 kB
Cached: 435924 kB
SwapCached: 10796 kB
Active: 210092 kB
Inactive: 306476 kB
Active(anon): 5700 kB
Inactive(anon): 42372 kB
Active(file): 204392 kB
Inactive(file): 264104 kB
Unevictable: 109148 kB
Mlocked: 109148 kB
SwapTotal: 67108860 kB
SwapFree: 66977128 kB
Dirty: 27688 kB
Writeback: 0 kB
AnonPages: 319300 kB
Mapped: 42440 kB
Shmem: 23932 kB
Slab: 130484 kB
SReclaimable: 100732 kB
SUnreclaim: 29752 kB
KernelStack: 3888 kB
PageTables: 6232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 61380 MiB
End job on node121 at 2019-09-17 08:34:10