0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271155-1502746598.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271155-1502746598.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.32/0.26 c parse instance...
2.19/0.87 c solve instance...
4.28/1.17 s SATISFIABLE
4.28/1.17 v <instantiation>
4.28/1.17 v <list>w0 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list>
4.28/1.17 v <values>12 24 17 20 11 0 7 4 13 16 5 2 9 18 21 12 23 14 3 6 15 22 19 8 1 10 </values>
4.28/1.17 v </instantiation>
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 (15236 MiB free)
memory of node 1: 16384 MiB (15642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271155-1502746598/watcher-4271155-1502746598 -o /tmp/evaluation-result-4271155-1502746598/solver-4271155-1502746598 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502745739-7952 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1766524035 HOME/instance-4271155-1502746598.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=Starting watchdog threadstack expansion will
solver pid=Starting watchdog threadstack expansion will
7966
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 7.68 8.49 8.58 2/200 7990
/proc/meminfo: memFree=31604796/32770624 swapFree=67108860/67108860
[pid=7969] ppid=7966 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7969/stat : 7969 (xcsp3-exec) S 7966 7969 7925 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 107747553 9740288 345 33554432000 4194304 5098028 140727790386160 140727790384264 140219360830076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14839808 140727790388324 140727790388535 140727790388535 140727790391275 0
/proc/7969/statm: 2378 345 289 221 0 87 0
[pid=7971] ppid=7969 vsize=25999808 memory=27084 CPUtime=0.12 cores=0-7
/proc/7971/stat : 7971 (java) S 7969 7969 7925 0 -1 1077944320 5642 0 0 0 11 1 0 0 20 0 20 0 107747553 26623803392 6771 33554432000 4194304 4196468 140725035115664 140725035098208 140604693487351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
/proc/7971/statm: 6499952 6771 2868 1 0 6488269 0
[pid=7971/tid=7972] ppid=7969 vsize=25999808 memory=4644226557390517144 CPUtime=0.08 cores=0-7
/proc/7971/task/7972/stat : 7972 (java) R 7969 7969 7925 0 -1 4202560 3652 0 0 0 8 0 0 0 20 0 20 0 107747554 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604697720624 140604693509277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7973] ppid=7969 vsize=25999808 memory=732369807744535525 CPUtime=0 cores=0-7
/proc/7971/task/7973/stat : 7973 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604616067856 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7974] ppid=7969 vsize=25999808 memory=139669407082112 CPUtime=0 cores=0-7
/proc/7971/task/7974/stat : 7974 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604615015312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7975] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7975/stat : 7975 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604613962768 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7976] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7976/stat : 7976 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604248972432 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7977] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7977/stat : 7977 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604247918864 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7978] ppid=7969 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7971/task/7978/stat : 7978 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604246866320 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7979] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7979/stat : 7979 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604245813776 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7980] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7980/stat : 7980 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747555 26623803392 6771 33554432000 4194304 4196468 140725035115664 140604244761232 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7981] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7981/stat : 7981 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747556 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602964957680 140604693498498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7982] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7982/stat : 7982 (java) S 7969 7969 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107747556 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602963903904 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7983] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7983/stat : 7983 (java) S 7969 7969 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107747557 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602962851312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7984] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7984/stat : 7984 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747559 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602961799888 140604693505947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7985] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7985/stat : 7985 (java) R 7969 7969 7925 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 107747559 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602960746576 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7986] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7986/stat : 7986 (java) R 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747559 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602959693936 140604693498498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7987] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7987/stat : 7987 (java) R 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747559 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602958641392 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7988] ppid=7969 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7971/task/7988/stat : 7988 (java) R 7969 7969 7925 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 107747559 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602957588848 140604693499286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7989] ppid=7969 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7989/stat : 7989 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747559 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602956536544 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7990] ppid=7969 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7971/task/7990/stat : 7990 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747560 26623803392 6771 33554432000 4194304 4196468 140725035115664 140602955484080 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28464 KiB
[startup+0.210342 s]*
/proc/loadavg: 7.68 8.49 8.58 2/200 7990
/proc/meminfo: memFree=31594080/32770624 swapFree=67108860/67108860
[pid=7969] ppid=7966 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7969/stat : 7969 (xcsp3-exec) S 7966 7969 7925 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 107747553 9740288 345 33554432000 4194304 5098028 140727790386160 140727790384264 140219360830076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14839808 140727790388324 140727790388535 140727790388535 140727790391275 0
/proc/7969/statm: 2378 345 289 221 0 87 0
[pid=7971] ppid=7969 vsize=26004064 memory=38964 CPUtime=0.32 cores=0-7
/proc/7971/stat : 7971 (java) S 7969 7969 7925 0 -1 1077944320 8323 0 0 0 30 2 0 0 20 0 20 0 107747553 26628161536 9741 33554432000 4194304 4196468 140725035115664 140725035098208 140604693487351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
/proc/7971/statm: 6501016 9741 3056 1 0 6488269 0
[pid=7971/tid=7972] ppid=7969 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/7971/task/7972/stat : 7972 (java) R 7969 7969 7925 0 -1 4202560 5430 0 0 0 18 1 0 0 20 0 20 0 107747554 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604697709392 140604693497557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7973] ppid=7969 vsize=26004064 memory=279338656540408 CPUtime=0 cores=0-7
/proc/7971/task/7973/stat : 7973 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604616067856 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7974] ppid=7969 vsize=26004064 memory=139669407082112 CPUtime=0 cores=0-7
/proc/7971/task/7974/stat : 7974 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604615015312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7975] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7975/stat : 7975 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604613962768 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7976] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7976/stat : 7976 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604248972432 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7977] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7977/stat : 7977 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604247918864 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7978] ppid=7969 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7971/task/7978/stat : 7978 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604246866320 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7979] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7979/stat : 7979 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604245813776 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7980] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7980/stat : 7980 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 9741 33554432000 4194304 4196468 140725035115664 140604244761232 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7981] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7981/stat : 7981 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747556 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602964957680 140604693498498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7982] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7982/stat : 7982 (java) S 7969 7969 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107747556 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602963903904 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7983] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7983/stat : 7983 (java) S 7969 7969 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107747557 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602962851312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7984] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7984/stat : 7984 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747559 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602961799888 140604693505947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7985] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7985/stat : 7985 (java) S 7969 7969 7925 0 -1 1077944384 472 0 0 0 0 0 0 0 20 0 20 0 107747559 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602960746480 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7986] ppid=7969 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/7971/task/7986/stat : 7986 (java) S 7969 7969 7925 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 20 0 107747559 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602959693936 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7987] ppid=7969 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7971/task/7987/stat : 7987 (java) S 7969 7969 7925 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 107747559 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602958641392 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7988] ppid=7969 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/7971/task/7988/stat : 7988 (java) R 7969 7969 7925 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 20 0 107747559 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602957588848 140604672005446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7989] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7989/stat : 7989 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747559 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602956536544 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7990] ppid=7969 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7971/task/7990/stat : 7990 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747560 26628161536 9741 33554432000 4194304 4196468 140725035115664 140602955484080 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40344 KiB
[startup+0.314851 s]*
/proc/loadavg: 7.68 8.49 8.58 3/200 7990
/proc/meminfo: memFree=31587504/32770624 swapFree=67108860/67108860
[pid=7969] ppid=7966 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7969/stat : 7969 (xcsp3-exec) S 7966 7969 7925 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 107747553 9740288 345 33554432000 4194304 5098028 140727790386160 140727790384264 140219360830076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14839808 140727790388324 140727790388535 140727790388535 140727790391275 0
/proc/7969/statm: 2378 345 289 221 0 87 0
[pid=7971] ppid=7969 vsize=26004064 memory=46176 CPUtime=0.51 cores=0-7
/proc/7971/stat : 7971 (java) S 7969 7969 7925 0 -1 1077944320 9242 0 0 0 47 4 0 0 20 0 20 0 107747553 26628161536 11544 33554432000 4194304 4196468 140725035115664 140725035098208 140604693487351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
/proc/7971/statm: 6501016 11544 3105 1 0 6488269 0
[pid=7971/tid=7972] ppid=7969 vsize=26004064 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/7971/task/7972/stat : 7972 (java) R 7969 7969 7925 0 -1 4202560 6164 0 0 0 28 2 0 0 20 0 20 0 107747554 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604697722400 140604677567764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7973] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7973/stat : 7973 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604616067856 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7974] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7974/stat : 7974 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604615015312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7975] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7975/stat : 7975 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604613962768 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7976] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7976/stat : 7976 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604248972432 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7977] ppid=7969 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7971/task/7977/stat : 7977 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604247918864 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7978] ppid=7969 vsize=26004064 memory=139669249553327 CPUtime=0 cores=0-7
/proc/7971/task/7978/stat : 7978 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604246866320 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7979] ppid=7969 vsize=26004064 memory=139669249555632 CPUtime=0 cores=0-7
/proc/7971/task/7979/stat : 7979 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604245813776 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7980] ppid=7969 vsize=26004064 memory=139669249557936 CPUtime=0 cores=0-7
/proc/7971/task/7980/stat : 7980 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747555 26628161536 11553 33554432000 4194304 4196468 140725035115664 140604244761232 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7981] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7981/stat : 7981 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747556 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602964957680 140604693498498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7982] ppid=7969 vsize=26004064 memory=279338499122832 CPUtime=0 cores=0-7
/proc/7971/task/7982/stat : 7982 (java) S 7969 7969 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107747556 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602963903904 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7983] ppid=7969 vsize=26004064 memory=279338499129744 CPUtime=0 cores=0-7
/proc/7971/task/7983/stat : 7983 (java) S 7969 7969 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107747557 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602962851312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7984] ppid=7969 vsize=26004064 memory=279338499071024 CPUtime=0 cores=0-7
/proc/7971/task/7984/stat : 7984 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747559 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602961799888 140604693505947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7985] ppid=7969 vsize=26004064 memory=279338499143568 CPUtime=0.01 cores=0-7
/proc/7971/task/7985/stat : 7985 (java) S 7969 7969 7925 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 107747559 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602960746480 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7986] ppid=7969 vsize=26004064 memory=279338499150480 CPUtime=0.03 cores=0-7
/proc/7971/task/7986/stat : 7986 (java) S 7969 7969 7925 0 -1 1077944384 202 0 0 0 3 0 0 0 20 0 20 0 107747559 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602959693936 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7987] ppid=7969 vsize=26004064 memory=279338499148176 CPUtime=0.02 cores=0-7
/proc/7971/task/7987/stat : 7987 (java) S 7969 7969 7925 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 20 0 107747559 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602958641392 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7988] ppid=7969 vsize=26004064 memory=279338499164336 CPUtime=0.13 cores=0-7
/proc/7971/task/7988/stat : 7988 (java) R 7969 7969 7925 0 -1 4202560 834 0 0 0 13 0 0 0 20 0 20 0 107747559 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602957588848 140604672406469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7989] ppid=7969 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7989/stat : 7989 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747559 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602956536544 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7990] ppid=7969 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7971/task/7990/stat : 7990 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747560 26628161536 11553 33554432000 4194304 4196468 140725035115664 140602955484080 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47556 KiB
[startup+0.701023 s]
/proc/loadavg: 7.68 8.49 8.58 6/200 7990
/proc/meminfo: memFree=31573672/32770624 swapFree=67108860/67108860
[pid=7969] ppid=7966 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7969/stat : 7969 (xcsp3-exec) S 7966 7969 7925 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 107747553 9740288 345 33554432000 4194304 5098028 140727790386160 140727790384264 140219360830076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14839808 140727790388324 140727790388535 140727790388535 140727790391275 0
/proc/7969/statm: 2378 345 289 221 0 87 0
[pid=7971] ppid=7969 vsize=26006188 memory=86276 CPUtime=1.79 cores=0-7
/proc/7971/stat : 7971 (java) S 7969 7969 7925 0 -1 1077944320 14747 0 0 0 173 6 0 0 20 0 20 0 107747553 26630336512 21569 33554432000 4194304 4196468 140725035115664 140725035098208 140604693487351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
/proc/7971/statm: 6501547 21569 3202 1 0 6488781 0
[pid=7971/tid=7972] ppid=7969 vsize=26006188 memory=279338499459200 CPUtime=0.67 cores=0-7
/proc/7971/task/7972/stat : 7972 (java) R 7969 7969 7925 0 -1 4202560 6850 0 0 0 64 3 0 0 20 0 20 0 107747554 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604697720576 140604693499286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7973] ppid=7969 vsize=26006188 memory=5123895985313 CPUtime=0 cores=0-7
/proc/7971/task/7973/stat : 7973 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604616067856 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7974] ppid=7969 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7974/stat : 7974 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604615015312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7975] ppid=7969 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7975/stat : 7975 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604613962768 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7976] ppid=7969 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7976/stat : 7976 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604248972432 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7977] ppid=7969 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7977/stat : 7977 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604247918864 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7978] ppid=7969 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7978/stat : 7978 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604246866320 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7979] ppid=7969 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7979/stat : 7979 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604245813776 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7980] ppid=7969 vsize=26006188 memory=5788 CPUtime=0 cores=0-7
/proc/7971/task/7980/stat : 7980 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 21569 33554432000 4194304 4196468 140725035115664 140604244761232 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7981] ppid=7969 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/7971/task/7981/stat : 7981 (java) S 7969 7969 7925 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 107747556 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602964957680 140604693498498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7982] ppid=7969 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/7971/task/7982/stat : 7982 (java) S 7969 7969 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107747556 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602963903904 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7983] ppid=7969 vsize=26006188 memory=10020 CPUtime=0 cores=0-7
/proc/7971/task/7983/stat : 7983 (java) S 7969 7969 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107747557 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602962851312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7984] ppid=7969 vsize=26006188 memory=1948 CPUtime=0 cores=0-7
/proc/7971/task/7984/stat : 7984 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747559 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602961799888 140604693505947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7985] ppid=7969 vsize=26006188 memory=7235689559338083648 CPUtime=0.22 cores=0-7
/proc/7971/task/7985/stat : 7985 (java) S 7969 7969 7925 0 -1 1077944384 1442 0 0 0 21 1 0 0 20 0 20 0 107747559 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602960746480 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7986] ppid=7969 vsize=26006188 memory=7450453974481136230 CPUtime=0.21 cores=0-7
/proc/7971/task/7986/stat : 7986 (java) S 7969 7969 7925 0 -1 1077944384 1299 0 0 0 21 0 0 0 20 0 20 0 107747559 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602959693936 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7987] ppid=7969 vsize=26006188 memory=6220993253238723945 CPUtime=0.21 cores=0-7
/proc/7971/task/7987/stat : 7987 (java) S 7969 7969 7925 0 -1 1077944384 1399 0 0 0 21 0 0 0 20 0 20 0 107747559 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602958641392 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7988] ppid=7969 vsize=26006188 memory=960 CPUtime=0.43 cores=0-7
/proc/7971/task/7988/stat : 7988 (java) R 7969 7969 7925 0 -1 4202560 2446 0 0 0 43 0 0 0 20 0 20 0 107747559 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602957584576 140604672292433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7989] ppid=7969 vsize=26006188 memory=2340 CPUtime=0 cores=0-7
/proc/7971/task/7989/stat : 7989 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747559 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602956536544 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7990] ppid=7969 vsize=26006188 memory=2236 CPUtime=0 cores=0-7
/proc/7971/task/7990/stat : 7990 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747560 26630336512 21569 33554432000 4194304 4196468 140725035115664 140602955484080 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 87656 KiB
[startup+1.20756 s]
# the end of solver process 7969 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.75281 s, system=0.092521 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801165 s]
/proc/loadavg: 7.68 8.49 8.58 6/200 7990
/proc/meminfo: memFree=31573672/32770624 swapFree=67108860/67108860
[pid=7969] ppid=7966 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7969/stat : 7969 (xcsp3-exec) S 7966 7969 7925 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 107747553 9740288 345 33554432000 4194304 5098028 140727790386160 140727790384264 140219360830076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14839808 140727790388324 140727790388535 140727790388535 140727790391275 0
/proc/7969/statm: 2378 345 289 221 0 87 0
[pid=7971] ppid=7969 vsize=26006188 memory=104348 CPUtime=2.19 cores=0-7
/proc/7971/stat : 7971 (java) S 7969 7969 7925 0 -1 1077944320 15198 0 0 0 212 7 0 0 20 0 20 0 107747553 26630336512 26087 33554432000 4194304 4196468 140725035115664 140725035098208 140604693487351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
/proc/7971/statm: 6501547 26087 3202 1 0 6488781 0
[pid=7971/tid=7972] ppid=7969 vsize=26006188 memory=6944656592387989600 CPUtime=0.77 cores=0-7
/proc/7971/task/7972/stat : 7972 (java) R 7969 7969 7925 0 -1 4202560 6863 0 0 0 74 3 0 0 20 0 20 0 107747554 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604697722816 140604299437260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7973] ppid=7969 vsize=26006188 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/7971/task/7973/stat : 7973 (java) S 7969 7969 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604616067856 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7974] ppid=7969 vsize=26006188 memory=7523659368616191595 CPUtime=0 cores=0-7
/proc/7971/task/7974/stat : 7974 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604615015312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7975] ppid=7969 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7971/task/7975/stat : 7975 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604613962768 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7976] ppid=7969 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/7971/task/7976/stat : 7976 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604248972432 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7977] ppid=7969 vsize=26006188 memory=1436 CPUtime=0 cores=0-7
/proc/7971/task/7977/stat : 7977 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604247918864 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7978] ppid=7969 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/7971/task/7978/stat : 7978 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604246866320 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7979] ppid=7969 vsize=26006188 memory=15872 CPUtime=0 cores=0-7
/proc/7971/task/7979/stat : 7979 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604245813776 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7980] ppid=7969 vsize=26006188 memory=4040 CPUtime=0 cores=0-7
/proc/7971/task/7980/stat : 7980 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747555 26630336512 26087 33554432000 4194304 4196468 140725035115664 140604244761232 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7981] ppid=7969 vsize=26006188 memory=18004 CPUtime=0 cores=0-7
/proc/7971/task/7981/stat : 7981 (java) S 7969 7969 7925 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 107747556 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602964957680 140604693498498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7982] ppid=7969 vsize=26006188 memory=18292 CPUtime=0 cores=0-7
/proc/7971/task/7982/stat : 7982 (java) S 7969 7969 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 107747556 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602963903904 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7983] ppid=7969 vsize=26006188 memory=1792 CPUtime=0 cores=0-7
/proc/7971/task/7983/stat : 7983 (java) S 7969 7969 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 107747557 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602962851312 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7984] ppid=7969 vsize=26006188 memory=648 CPUtime=0 cores=0-7
/proc/7971/task/7984/stat : 7984 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747559 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602961799888 140604693505947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7985] ppid=7969 vsize=26006188 memory=1236 CPUtime=0.32 cores=0-7
/proc/7971/task/7985/stat : 7985 (java) R 7969 7969 7925 0 -1 4202560 1729 0 0 0 31 1 0 0 20 0 20 0 107747559 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602960733328 140604671723737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7986] ppid=7969 vsize=26006188 memory=0 CPUtime=0.29 cores=0-7
/proc/7971/task/7986/stat : 7986 (java) R 7969 7969 7925 0 -1 4202560 1335 0 0 0 29 0 0 0 20 0 20 0 107747559 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602959693936 140604673140896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7987] ppid=7969 vsize=26006188 memory=-7175753852218530195 CPUtime=0.29 cores=0-7
/proc/7971/task/7987/stat : 7987 (java) R 7969 7969 7925 0 -1 4202560 1411 0 0 0 29 0 0 0 20 0 20 0 107747559 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602958630384 140604678595004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7988] ppid=7969 vsize=26006188 memory=55 CPUtime=0.49 cores=0-7
/proc/7971/task/7988/stat : 7988 (java) S 7969 7969 7925 0 -1 1077944384 2551 0 0 0 48 1 0 0 20 0 20 0 107747559 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602957588848 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7989] ppid=7969 vsize=26006188 memory=3114 CPUtime=0 cores=0-7
/proc/7971/task/7989/stat : 7989 (java) S 7969 7969 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 107747559 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602956536544 140604693497557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
[pid=7971/tid=7990] ppid=7969 vsize=26006188 memory=25260 CPUtime=0 cores=0-7
/proc/7971/task/7990/stat : 7990 (java) S 7969 7969 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 107747560 26630336512 26087 33554432000 4194304 4196468 140725035115664 140602955484080 140604693498498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140725035123858 140725035124035 140725035124035 140725035126735 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 105728 KiB
[startup+1.20113 s]
/proc/loadavg: 7.68 8.49 8.58 10/208 7998
/proc/meminfo: memFree=31498112/32770624 swapFree=67108860/67108860
[pid=7969] ppid=7966 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7969/stat : 7969 (xcsp3-exec) S 7966 7969 7925 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 107747553 9740288 345 33554432000 4194304 5098028 140727790386160 140727790384264 140219360830076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14839808 140727790388324 140727790388535 140727790388535 140727790391275 0
/proc/7969/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 0
Real time (s): 1.2076
CPU time (s): 4.84534
CPU user time (s): 4.75281
CPU system time (s): 0.092521
CPU usage (%): 401.236
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 137912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.75281
system time used= 0.092521
maximum resident set size= 141864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17391
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2980
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 7969
# total CPU time (s): 4.84534
# total CPU user time (s): 4.75281
# total CPU system time (s): 0.092521
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033791 second user time and 0.054271 second system time
The end
Begin job on node112 at 2017-08-14 23:22:19
IDJOB=4271155
IDBENCH=130607
IDSOLVER=2662
FILE ID=node112/4271155-1502746598
RUNJOBID= node112-1502745739-7952
PBS_JOBID= 20629069
Free space on /tmp= 61788 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-05_X2.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271155-1502746598/watcher-4271155-1502746598 -o /tmp/evaluation-result-4271155-1502746598/solver-4271155-1502746598 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502745739-7952 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1766524035 HOME/instance-4271155-1502746598.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e93f9383432bfdcdac2c998bf48e4532
RANDOM SEED=1766524035
node112.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.24
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.24
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.24
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.24
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: 31621460 kB
MemAvailable: 31979072 kB
Buffers: 179996 kB
Cached: 456380 kB
SwapCached: 0 kB
Active: 465984 kB
Inactive: 222724 kB
Active(anon): 3820 kB
Inactive(anon): 76388 kB
Active(file): 462164 kB
Inactive(file): 146336 kB
Unevictable: 6276 kB
Mlocked: 6276 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7788 kB
Writeback: 0 kB
AnonPages: 57732 kB
Mapped: 44912 kB
Shmem: 25224 kB
Slab: 155832 kB
SReclaimable: 129896 kB
SUnreclaim: 25936 kB
KernelStack: 3152 kB
PageTables: 4684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 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= 61780 MiB
End job on node112 at 2017-08-14 23:22:20