Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT | 2.16196 | 0.739829 |
Name | Eternity/ Eternity-04-04_c18.xml |
MD5SUM | 888903612ba8c9f4d3271c512caeb5d6 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.16196 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 56 |
Number of constraints | 33 |
Number of domains | 2 |
Minimum domain size | 6 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":6,"count":40},{"size":16,"count":16}] |
Minimum variable degree | 1 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":1,"count":3},{"degree":2,"count":52},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":1,"count":16},{"arity":5,"count":16},{"arity":16,"count":1}] |
Number of extensional constraints | 16 |
Number of intensional constraints | 16 |
Distribution of constraint types | [{"type":"extension","count":16},{"type":"intension","count":16},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297693-1532735477.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297693-1532735477.xml, -tl, 20160s, -p, 8] 0.12/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.52/0.67 c solve instance... 1.98/0.72 s SATISFIABLE 1.98/0.72 v <instantiation> 1.98/0.72 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[1][0] id[1][1] id[1][2] id[1][3] id[2][0] id[2][1] id[2][2] id[2][3] id[3][0] id[3][1] id[3][2] id[3][3] top[0][0] top[0][1] top[0][2] top[0][3] top[1][0] top[1][1] top[1][2] top[1][3] top[2][0] top[2][1] top[2][2] top[2][3] top[3][0] top[3][1] top[3][2] top[3][3] left[0][0] left[0][1] left[0][2] left[0][3] left[1][0] left[1][1] left[1][2] left[1][3] left[2][0] left[2][1] left[2][2] left[2][3] left[3][0] left[3][1] left[3][2] left[3][3] bot[0] bot[1] bot[2] bot[3] right[0] right[1] right[2] right[3] </list> 1.98/0.72 v <values>0 6 10 1 7 15 13 4 11 12 14 8 2 5 9 3 0 0 0 0 1 4 5 1 2 5 4 1 2 3 4 2 0 1 1 2 0 5 3 3 0 5 3 4 0 1 2 2 0 0 0 0 0 0 0 0 </values> 1.98/0.72 v </instantiation>
OK
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 (8933 MiB free) memory of node 1: 16384 MiB (14214 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297693-1532735477/watcher-4297693-1532735477 -o /tmp/evaluation-result-4297693-1532735477/solver-4297693-1532735477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532732951-10516 --watchdog 2580 HOME/xcsp3-exec -seed 1683360462 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297693-1532735477.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=10950, runsolver pid=10947 [startup+0.104545 s]* /proc/loadavg: 8.58 8.45 8.40 2/204 10971 /proc/meminfo: memFree=23688192/32770624 swapFree=67108860/67108860 [pid=10950] ppid=10947 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10950/stat : 10950 (xcsp3-exec) S 10947 10950 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91110852 115843072 363 33554432000 4194304 5098028 140724667789872 140724667787976 140151522603644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32559104 140724667798581 140724667798784 140724667798784 140724667801546 0 /proc/10950/statm: 28282 363 305 221 0 87 0 [pid=10952] ppid=10950 vsize=26104152 memory=27848 CPUtime=0.12 cores=0-7 /proc/10952/stat : 10952 (java) S 10950 10950 10489 0 -1 1077944320 5839 0 0 0 10 2 0 0 20 0 20 0 91110852 26730651648 6962 33554432000 4194304 4196468 140734825945280 140734825927824 140114597773047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 /proc/10952/statm: 6526038 6962 3027 1 0 6488315 0 [pid=10952/tid=10953] ppid=10950 vsize=26104152 memory=8328451419030854556 CPUtime=0.09 cores=0-7 /proc/10952/task/10953/stat : 10953 (java) R 10950 10950 10489 0 -1 4202560 3845 0 0 0 8 1 0 0 20 0 20 0 91110852 26730651648 7027 33554432000 4194304 4196468 140734825945280 140114602004960 140114597784982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10954] ppid=10950 vsize=26104152 memory=732370578094021605 CPUtime=0 cores=0-7 /proc/10952/task/10954/stat : 10954 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7027 33554432000 4194304 4196468 140734825945280 140114520353936 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10955] ppid=10950 vsize=26104152 memory=140439756568192 CPUtime=0 cores=0-7 /proc/10952/task/10955/stat : 10955 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7027 33554432000 4194304 4196468 140734825945280 140114519301136 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10956] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10956/stat : 10956 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7027 33554432000 4194304 4196468 140734825945280 140114518248336 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10957] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10957/stat : 10957 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7027 33554432000 4194304 4196468 140734825945280 140114152938256 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10958] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10958/stat : 10958 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7027 33554432000 4194304 4196468 140734825945280 140114151885456 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10959] ppid=10950 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/10952/task/10959/stat : 10959 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7093 33554432000 4194304 4196468 140734825945280 140114150832656 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10960] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10960/stat : 10960 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7093 33554432000 4194304 4196468 140734825945280 140114149779856 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10961] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10961/stat : 10961 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 7093 33554432000 4194304 4196468 140734825945280 140114148727056 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10962] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10962/stat : 10962 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91110854 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112869976944 140114597784194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10963] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10963/stat : 10963 (java) S 10950 10950 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91110855 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112868922912 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10964] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10964/stat : 10964 (java) S 10950 10950 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91110855 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112867870064 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10965] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10965/stat : 10965 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110858 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112866818384 140114597791643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10966] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10966/stat : 10966 (java) S 10950 10950 10489 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 91110858 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112865765744 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10967] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10967/stat : 10967 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91110858 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112864712944 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10968] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10968/stat : 10968 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110858 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112863660144 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10969] ppid=10950 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/10952/task/10969/stat : 10969 (java) S 10950 10950 10489 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 91110858 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112862607344 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10970] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10970/stat : 10970 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91110858 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112861555808 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10971] ppid=10950 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/10952/task/10971/stat : 10971 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110858 26730651648 7093 33554432000 4194304 4196468 140734825945280 140112860503088 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29300 KiB [startup+0.214433 s]* /proc/loadavg: 8.58 8.45 8.40 4/204 10971 /proc/meminfo: memFree=23677612/32770624 swapFree=67108860/67108860 [pid=10950] ppid=10947 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10950/stat : 10950 (xcsp3-exec) S 10947 10950 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91110852 115843072 363 33554432000 4194304 5098028 140724667789872 140724667787976 140151522603644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32559104 140724667798581 140724667798784 140724667798784 140724667801546 0 /proc/10950/statm: 28282 363 305 221 0 87 0 [pid=10952] ppid=10950 vsize=26104152 memory=39572 CPUtime=0.34 cores=0-7 /proc/10952/stat : 10952 (java) S 10950 10950 10489 0 -1 1077944320 8493 0 0 0 31 3 0 0 20 0 20 0 91110852 26730651648 9893 33554432000 4194304 4196468 140734825945280 140734825927824 140114597773047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 /proc/10952/statm: 6526038 9893 3163 1 0 6488315 0 [pid=10952/tid=10953] ppid=10950 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/10952/task/10953/stat : 10953 (java) D 10950 10950 10489 0 -1 1077944384 5632 0 0 0 18 2 0 0 20 0 20 0 91110852 26730651648 9959 33554432000 4194304 4196468 140734825945280 140114601995192 140114600048327 0 4 0 16800975 18446744072101813796 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10954] ppid=10950 vsize=26104152 memory=732370578094021605 CPUtime=0 cores=0-7 /proc/10952/task/10954/stat : 10954 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 9959 33554432000 4194304 4196468 140734825945280 140114520353936 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10955] ppid=10950 vsize=26104152 memory=140439756568192 CPUtime=0 cores=0-7 /proc/10952/task/10955/stat : 10955 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 9959 33554432000 4194304 4196468 140734825945280 140114519301136 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10956] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10956/stat : 10956 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 9959 33554432000 4194304 4196468 140734825945280 140114518248336 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10957] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10957/stat : 10957 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 9959 33554432000 4194304 4196468 140734825945280 140114152938256 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10958] ppid=10950 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10958/stat : 10958 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26730651648 9959 33554432000 4194304 4196468 140734825945280 140114151885456 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10959] ppid=10950 vsize=26106268 memory=-1 CPUtime=0 cores=0-7 /proc/10952/task/10959/stat : 10959 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91110853 26732818432 9959 33554432000 4194304 4196468 140734825945280 140114150832656 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10960] ppid=10950 vsize=26106268 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10960/stat : 10960 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26732818432 9959 33554432000 4194304 4196468 140734825945280 140114149779856 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10961] ppid=10950 vsize=26106268 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10961/stat : 10961 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26732818432 9959 33554432000 4194304 4196468 140734825945280 140114148727056 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10962] ppid=10950 vsize=26106268 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10962/stat : 10962 (java) S 10950 10950 10489 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91110854 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112869976944 140114597784194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10963] ppid=10950 vsize=26106268 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10963/stat : 10963 (java) S 10950 10950 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91110855 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112868922912 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10964] ppid=10950 vsize=26106268 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10964/stat : 10964 (java) S 10950 10950 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91110855 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112867870064 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10965] ppid=10950 vsize=26106268 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10965/stat : 10965 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110858 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112866818384 140114597791643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10966] ppid=10950 vsize=26106268 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10966/stat : 10966 (java) S 10950 10950 10489 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 91110858 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112865765744 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10967] ppid=10950 vsize=26106268 memory=0 CPUtime=0.02 cores=0-7 /proc/10952/task/10967/stat : 10967 (java) S 10950 10950 10489 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 20 0 91110858 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112864712944 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10968] ppid=10950 vsize=26106268 memory=0 CPUtime=0.01 cores=0-7 /proc/10952/task/10968/stat : 10968 (java) S 10950 10950 10489 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 91110858 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112863660144 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10969] ppid=10950 vsize=26106268 memory=0 CPUtime=0.08 cores=0-7 /proc/10952/task/10969/stat : 10969 (java) S 10950 10950 10489 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 20 0 91110858 26732818432 9959 33554432000 4194304 4196468 140734825945280 140112862607344 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10970] ppid=10950 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10970/stat : 10970 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91110858 26735009792 9962 33554432000 4194304 4196468 140734825945280 140112861555808 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10971] ppid=10950 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/10952/task/10971/stat : 10971 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110858 26735009792 9962 33554432000 4194304 4196468 140734825945280 140112860503088 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41024 KiB [startup+0.318334 s]* /proc/loadavg: 8.58 8.45 8.40 3/204 10971 /proc/meminfo: memFree=23670912/32770624 swapFree=67108860/67108860 [pid=10950] ppid=10947 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10950/stat : 10950 (xcsp3-exec) S 10947 10950 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91110852 115843072 363 33554432000 4194304 5098028 140724667789872 140724667787976 140151522603644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32559104 140724667798581 140724667798784 140724667798784 140724667801546 0 /proc/10950/statm: 28282 363 305 221 0 87 0 [pid=10952] ppid=10950 vsize=26108408 memory=47012 CPUtime=0.53 cores=0-7 /proc/10952/stat : 10952 (java) S 10950 10950 10489 0 -1 1077944320 9433 0 0 0 49 4 0 0 20 0 20 0 91110852 26735009792 11753 33554432000 4194304 4196468 140734825945280 140734825927824 140114597773047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 /proc/10952/statm: 6527102 11753 3262 1 0 6488315 0 [pid=10952/tid=10953] ppid=10950 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/10952/task/10953/stat : 10953 (java) R 10950 10950 10489 0 -1 4202560 6367 0 0 0 27 2 0 0 20 0 20 0 91110852 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114602006832 140114597794973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10954] ppid=10950 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10954/stat : 10954 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114520353936 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10955] ppid=10950 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10955/stat : 10955 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114519301136 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10956] ppid=10950 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10956/stat : 10956 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114518248336 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10957] ppid=10950 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10957/stat : 10957 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114152938256 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10958] ppid=10950 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/10952/task/10958/stat : 10958 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114151885456 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10959] ppid=10950 vsize=26108408 memory=140439659312047 CPUtime=0 cores=0-7 /proc/10952/task/10959/stat : 10959 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114150832656 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10960] ppid=10950 vsize=26108408 memory=140439659314352 CPUtime=0 cores=0-7 /proc/10952/task/10960/stat : 10960 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114149779856 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10961] ppid=10950 vsize=26108408 memory=140439659316656 CPUtime=0 cores=0-7 /proc/10952/task/10961/stat : 10961 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110853 26735009792 11753 33554432000 4194304 4196468 140734825945280 140114148727056 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10962] ppid=10950 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10962/stat : 10962 (java) S 10950 10950 10489 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 91110854 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112869976944 140114597784194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10963] ppid=10950 vsize=26108408 memory=280879318640272 CPUtime=0 cores=0-7 /proc/10952/task/10963/stat : 10963 (java) S 10950 10950 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 91110855 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112868922912 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10964] ppid=10950 vsize=26108408 memory=280879318647184 CPUtime=0 cores=0-7 /proc/10952/task/10964/stat : 10964 (java) S 10950 10950 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 91110855 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112867870064 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10965] ppid=10950 vsize=26108408 memory=280879318588464 CPUtime=0 cores=0-7 /proc/10952/task/10965/stat : 10965 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110858 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112866818384 140114597791643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10966] ppid=10950 vsize=26108408 memory=280879318661008 CPUtime=0.02 cores=0-7 /proc/10952/task/10966/stat : 10966 (java) S 10950 10950 10489 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 91110858 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112865765744 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10967] ppid=10950 vsize=26108408 memory=280879318667920 CPUtime=0.02 cores=0-7 /proc/10952/task/10967/stat : 10967 (java) S 10950 10950 10489 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 20 0 91110858 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112864712944 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10968] ppid=10950 vsize=26108408 memory=280879318665616 CPUtime=0.04 cores=0-7 /proc/10952/task/10968/stat : 10968 (java) S 10950 10950 10489 0 -1 1077944384 254 0 0 0 4 0 0 0 20 0 20 0 91110858 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112863660144 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10969] ppid=10950 vsize=26108408 memory=280879318681776 CPUtime=0.12 cores=0-7 /proc/10952/task/10969/stat : 10969 (java) S 10950 10950 10489 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 20 0 91110858 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112862607344 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10970] ppid=10950 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10970/stat : 10970 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 91110858 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112861555808 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10971] ppid=10950 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/10952/task/10971/stat : 10971 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 91110858 26735009792 11753 33554432000 4194304 4196468 140734825945280 140112860503088 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48464 KiB [startup+0.700898 s] /proc/loadavg: 8.58 8.45 8.40 5/204 10971 /proc/meminfo: memFree=23653196/32770624 swapFree=67108860/67108860 [pid=10950] ppid=10947 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10950/stat : 10950 (xcsp3-exec) S 10947 10950 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91110852 115843072 363 33554432000 4194304 5098028 140724667789872 140724667787976 140151522603644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32559104 140724667798581 140724667798784 140724667798784 140724667801546 0 /proc/10950/statm: 28282 363 305 221 0 87 0 [pid=10952] ppid=10950 vsize=26643044 memory=108328 CPUtime=1.98 cores=0-7 /proc/10952/stat : 10952 (java) S 10950 10950 10489 0 -1 1077944320 14877 0 0 0 191 7 0 0 20 0 28 0 91110852 27282477056 27082 33554432000 4194304 4196468 140734825945280 140734825927824 140114597773047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 /proc/10952/statm: 6660761 27082 3364 1 0 6621955 0 [pid=10952/tid=10953] ppid=10950 vsize=26643044 memory=280879318976704 CPUtime=0.65 cores=0-7 /proc/10952/task/10953/stat : 10953 (java) S 10950 10950 10489 0 -1 1077944384 7238 0 0 0 61 4 0 0 20 0 28 0 91110852 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114602013824 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10954] ppid=10950 vsize=26643044 memory=5098126181534 CPUtime=0 cores=0-7 /proc/10952/task/10954/stat : 10954 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114520353936 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10955] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10955/stat : 10955 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114519301136 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10956] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10956/stat : 10956 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114518248336 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10957] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10957/stat : 10957 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114152938256 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10958] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10958/stat : 10958 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114151885456 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10959] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10959/stat : 10959 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114150832656 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10960] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10960/stat : 10960 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114149779856 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10961] ppid=10950 vsize=26643044 memory=1948 CPUtime=0 cores=0-7 /proc/10952/task/10961/stat : 10961 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114148727056 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10962] ppid=10950 vsize=26643044 memory=1224 CPUtime=0 cores=0-7 /proc/10952/task/10962/stat : 10962 (java) S 10950 10950 10489 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 91110854 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112869976944 140114597784194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10963] ppid=10950 vsize=26643044 memory=1716 CPUtime=0 cores=0-7 /proc/10952/task/10963/stat : 10963 (java) S 10950 10950 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 91110855 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112868922912 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10964] ppid=10950 vsize=26643044 memory=1424 CPUtime=0 cores=0-7 /proc/10952/task/10964/stat : 10964 (java) S 10950 10950 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 91110855 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112867870064 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10965] ppid=10950 vsize=26643044 memory=796 CPUtime=0 cores=0-7 /proc/10952/task/10965/stat : 10965 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112866818384 140114597791643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10966] ppid=10950 vsize=26643044 memory=6947459183119263040 CPUtime=0.28 cores=0-7 /proc/10952/task/10966/stat : 10966 (java) R 10950 10950 10489 0 -1 4202560 1348 0 0 0 28 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112865756016 140114581271733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10967] ppid=10950 vsize=26643044 memory=7013345330278519912 CPUtime=0.28 cores=0-7 /proc/10952/task/10967/stat : 10967 (java) R 10950 10950 10489 0 -1 4202560 1198 0 0 0 28 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112864702736 140114582162641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10968] ppid=10950 vsize=26643044 memory=6935657025088016464 CPUtime=0.28 cores=0-7 /proc/10952/task/10968/stat : 10968 (java) R 10950 10950 10489 0 -1 4202560 1260 0 0 0 28 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112863646816 140114582017797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10969] ppid=10950 vsize=26643044 memory=956 CPUtime=0.41 cores=0-7 /proc/10952/task/10969/stat : 10969 (java) R 10950 10950 10489 0 -1 1077944384 2270 0 0 0 41 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112862607344 140114597784194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10970] ppid=10950 vsize=26643044 memory=2340 CPUtime=0 cores=0-7 /proc/10952/task/10970/stat : 10970 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112861555808 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10971] ppid=10950 vsize=26643044 memory=1584 CPUtime=0 cores=0-7 /proc/10952/task/10971/stat : 10971 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112860503088 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 Current children cumulated CPU time: 1.98 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 109780 KiB [startup+0.73978 s] # the end of solver process 10950 was just reported to runsolver # cumulated CPU time of all completed processes: user=2.07785 s, system=0.084118 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.700898 s] /proc/loadavg: 8.58 8.45 8.40 5/204 10971 /proc/meminfo: memFree=23653196/32770624 swapFree=67108860/67108860 [pid=10950] ppid=10947 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10950/stat : 10950 (xcsp3-exec) S 10947 10950 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 91110852 115843072 363 33554432000 4194304 5098028 140724667789872 140724667787976 140151522603644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32559104 140724667798581 140724667798784 140724667798784 140724667801546 0 /proc/10950/statm: 28282 363 305 221 0 87 0 [pid=10952] ppid=10950 vsize=26643044 memory=108328 CPUtime=1.98 cores=0-7 /proc/10952/stat : 10952 (java) S 10950 10950 10489 0 -1 1077944320 14877 0 0 0 191 7 0 0 20 0 28 0 91110852 27282477056 27082 33554432000 4194304 4196468 140734825945280 140734825927824 140114597773047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 /proc/10952/statm: 6660761 27082 3364 1 0 6621955 0 [pid=10952/tid=10953] ppid=10950 vsize=26643044 memory=280879318976704 CPUtime=0.65 cores=0-7 /proc/10952/task/10953/stat : 10953 (java) S 10950 10950 10489 0 -1 1077944384 7238 0 0 0 61 4 0 0 20 0 28 0 91110852 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114602013824 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10954] ppid=10950 vsize=26643044 memory=5098126181534 CPUtime=0 cores=0-7 /proc/10952/task/10954/stat : 10954 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114520353936 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10955] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10955/stat : 10955 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114519301136 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10956] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10956/stat : 10956 (java) S 10950 10950 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114518248336 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10957] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10957/stat : 10957 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114152938256 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10958] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10958/stat : 10958 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114151885456 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10959] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10959/stat : 10959 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114150832656 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10960] ppid=10950 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/10952/task/10960/stat : 10960 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114149779856 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10961] ppid=10950 vsize=26643044 memory=1948 CPUtime=0 cores=0-7 /proc/10952/task/10961/stat : 10961 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110853 27282477056 27082 33554432000 4194304 4196468 140734825945280 140114148727056 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10962] ppid=10950 vsize=26643044 memory=1224 CPUtime=0 cores=0-7 /proc/10952/task/10962/stat : 10962 (java) S 10950 10950 10489 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 91110854 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112869976944 140114597784194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10963] ppid=10950 vsize=26643044 memory=1716 CPUtime=0 cores=0-7 /proc/10952/task/10963/stat : 10963 (java) S 10950 10950 10489 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 91110855 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112868922912 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10964] ppid=10950 vsize=26643044 memory=1424 CPUtime=0 cores=0-7 /proc/10952/task/10964/stat : 10964 (java) S 10950 10950 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 91110855 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112867870064 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10965] ppid=10950 vsize=26643044 memory=796 CPUtime=0 cores=0-7 /proc/10952/task/10965/stat : 10965 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112866818384 140114597791643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10966] ppid=10950 vsize=26643044 memory=6947459183119263040 CPUtime=0.28 cores=0-7 /proc/10952/task/10966/stat : 10966 (java) R 10950 10950 10489 0 -1 4202560 1348 0 0 0 28 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112865756016 140114581271733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10967] ppid=10950 vsize=26643044 memory=7013345330278519912 CPUtime=0.28 cores=0-7 /proc/10952/task/10967/stat : 10967 (java) R 10950 10950 10489 0 -1 4202560 1198 0 0 0 28 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112864702736 140114582162641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10968] ppid=10950 vsize=26643044 memory=6935657025088016464 CPUtime=0.28 cores=0-7 /proc/10952/task/10968/stat : 10968 (java) R 10950 10950 10489 0 -1 4202560 1260 0 0 0 28 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112863646816 140114582017797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10969] ppid=10950 vsize=26643044 memory=956 CPUtime=0.41 cores=0-7 /proc/10952/task/10969/stat : 10969 (java) R 10950 10950 10489 0 -1 1077944384 2270 0 0 0 41 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112862607344 140114597784194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10970] ppid=10950 vsize=26643044 memory=2340 CPUtime=0 cores=0-7 /proc/10952/task/10970/stat : 10970 (java) S 10950 10950 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112861555808 140114597783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 [pid=10952/tid=10971] ppid=10950 vsize=26643044 memory=1584 CPUtime=0 cores=0-7 /proc/10952/task/10971/stat : 10971 (java) S 10950 10950 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 91110858 27282477056 27082 33554432000 4194304 4196468 140734825945280 140112860503088 140114597784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23252992 140734825948289 140734825948461 140734825948461 140734825951183 0 Current children cumulated CPU time: 1.98 s Current children cumulated vsize: 26756172 KiB Current children cumulated memory: 109780 KiB Child status: 0 Real time (s): 0.739829 CPU time (s): 2.16196 CPU user time (s): 2.07785 CPU system time (s): 0.084118 CPU usage (%): 292.225 Max. virtual memory (cumulated for all children) (KiB): 26756172 Max. memory (cumulated for all children) (KiB): 109780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.07785 system time used= 0.084118 maximum resident set size= 112512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15736 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= 2307 involuntary context switches= 7 # summary of solver processes directly reported to runsolver: # pid: 10950 # total CPU time (s): 2.16196 # total CPU user time (s): 2.07785 # total CPU system time (s): 0.084118 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.028133 second user time and 0.047931 second system time The end
Begin job on node132 at 2018-07-28 01:51:17 IDJOB=4297693 IDBENCH=141650 IDSOLVER=2760 FILE ID=node132/4297693-1532735477 RUNJOBID= node132-1532732951-10516 PBS_JOBID= 21022352 Free space on /tmp= 52044 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Eternity/Eternity-04-04_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297693-1532735477/watcher-4297693-1532735477 -o /tmp/evaluation-result-4297693-1532735477/solver-4297693-1532735477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532732951-10516 --watchdog 2580 HOME/xcsp3-exec -seed 1683360462 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297693-1532735477.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 888903612ba8c9f4d3271c512caeb5d6 RANDOM SEED=1683360462 node132.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.65 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.65 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.65 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.65 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: 23704484 kB MemAvailable: 31925728 kB Buffers: 188048 kB Cached: 8239256 kB SwapCached: 0 kB Active: 2596880 kB Inactive: 5884868 kB Active(anon): 4480 kB Inactive(anon): 77908 kB Active(file): 2592400 kB Inactive(file): 5806960 kB Unevictable: 6992 kB Mlocked: 6992 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21760 kB Writeback: 132 kB AnonPages: 72956 kB Mapped: 41872 kB Shmem: 25248 kB Slab: 278556 kB SReclaimable: 250344 kB SUnreclaim: 28212 kB KernelStack: 3600 kB PageTables: 5432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324324 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 52020 MiB End job on node132 at 2018-07-28 01:51:18