Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | OPT | 34 | 6.0815802 | 1.33496 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml |
MD5SUM | 86f9a0f9696ddea7c71528c4cbe59182 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 0.33681199 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 31 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":28},{"size":501,"count":8}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":36},{"degree":2,"count":28},{"degree":8,"count":6},{"degree":9,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 28 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":28},{"arity":8,"count":1},{"arity":28,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"intension","count":29},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.05 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254510-1501684704.xml" -tl '1920s' -p 8 -x 0 0.00/0.23 c [HOME/instance-4254510-1501684704.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.29 c 8 solvers in parallel 0.00/0.36 c parse instance... 0.00/0.66 c solve instance... 0.00/0.78 o 497 0.00/0.82 o 374 0.00/0.83 o 44 0.00/0.84 o 41 0.00/0.87 o 40 0.00/0.91 o 39 0.00/0.92 o 38 0.00/0.96 o 36 0.00/0.97 o 34 5.91/1.32 s OPTIMUM FOUND 5.91/1.32 v <instantiation> 5.91/1.32 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[3][4] y[3][5] y[3][6] y[3][7] y[4][5] y[4][6] y[4][7] y[5][6] y[5][7] y[6][7] </list> 5.91/1.32 v <values>0 1 4 9 15 22 32 34 1 4 9 15 22 32 34 3 8 14 21 31 33 5 11 18 28 30 6 13 23 25 7 17 19 10 12 2 </values> 5.91/1.32 v </instantiation>
OK 34
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254510-1501684704/watcher-4254510-1501684704 -o /tmp/evaluation-result-4254510-1501684704/solver-4254510-1501684704 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 376014012 HOME/instance-4254510-1501684704.xml pid=4172 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.54 8.28 7.91 2/173 4175 /proc/meminfo: memFree=31757288/32770624 swapFree=0/255420 [pid=4175] ppid=4172 vsize=23672 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (runsolver) D 4172 4175 24937 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 17090678 24240128 106 18446744073709551615 4194304 4338465 140728205920464 140728205918104 140095250539223 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 13230080 140728205922387 140728205922883 140728205922883 140728205926346 0 /proc/4175/statm: 5918 106 53 36 0 2156 0 [startup+0.100157 s] /proc/loadavg: 8.54 8.28 7.91 2/173 4175 /proc/meminfo: memFree=31757288/32770624 swapFree=0/255420 [pid=4175] ppid=4172 vsize=9512 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (xcsp3-exec) S 4172 4175 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17090678 9740288 345 18446744073709551615 4194304 5098028 140721703108336 140721703106440 139862846796412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16478208 140721703117203 140721703117412 140721703117412 140721703120875 0 /proc/4175/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200301 s] /proc/loadavg: 8.54 8.28 7.91 2/173 4175 /proc/meminfo: memFree=31757288/32770624 swapFree=0/255420 [pid=4175] ppid=4172 vsize=9512 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (xcsp3-exec) S 4172 4175 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17090678 9740288 345 18446744073709551615 4194304 5098028 140721703108336 140721703106440 139862846796412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16478208 140721703117203 140721703117412 140721703117412 140721703120875 0 /proc/4175/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300344 s] /proc/loadavg: 8.54 8.28 7.91 2/173 4175 /proc/meminfo: memFree=31757288/32770624 swapFree=0/255420 [pid=4175] ppid=4172 vsize=9512 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (xcsp3-exec) S 4172 4175 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17090678 9740288 345 18446744073709551615 4194304 5098028 140721703108336 140721703106440 139862846796412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16478208 140721703117203 140721703117412 140721703117412 140721703120875 0 /proc/4175/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.709257 s] /proc/loadavg: 8.54 8.28 7.91 2/173 4175 /proc/meminfo: memFree=31757288/32770624 swapFree=0/255420 [pid=4175] ppid=4172 vsize=9512 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (xcsp3-exec) S 4172 4175 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17090678 9740288 345 18446744073709551615 4194304 5098028 140721703108336 140721703106440 139862846796412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16478208 140721703117203 140721703117412 140721703117412 140721703120875 0 /proc/4175/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4177 sig 9 ??? kill 4175 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.804257 s] /proc/loadavg: 8.54 8.28 7.91 2/173 4175 /proc/meminfo: memFree=31757288/32770624 swapFree=0/255420 [pid=4175] ppid=4172 vsize=9512 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (xcsp3-exec) S 4172 4175 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17090678 9740288 345 18446744073709551615 4194304 5098028 140721703108336 140721703106440 139862846796412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16478208 140721703117203 140721703117412 140721703117412 140721703120875 0 /proc/4175/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.20726 s] /proc/loadavg: 8.54 8.28 7.91 13/202 4276 /proc/meminfo: memFree=31580444/32770624 swapFree=0/255424 [pid=4175] ppid=4172 vsize=9512 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (xcsp3-exec) S 4172 4175 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17090678 9740288 345 18446744073709551615 4194304 5098028 140721703108336 140721703106440 139862846796412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16478208 140721703117203 140721703117412 140721703117412 140721703120875 0 /proc/4175/statm: 2378 345 289 221 0 87 0 [pid=4177] ppid=4175 vsize=26534456 CPUtime=5.11 cores=0-7 /proc/4177/stat : 4177 (java) S 4175 4175 24937 0 -1 1077944320 20196 0 0 0 500 11 0 0 20 0 28 0 17090684 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140735387371488 140057869127415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 /proc/4177/statm: 6633614 47522 3198 1 0 6621915 0 [pid=4177/tid=4178] ppid=4175 vsize=26534456 CPUtime=0.56 cores=0-7 /proc/4177/task/4178/stat : 4178 (java) S 4175 4175 24937 0 -1 1077944384 8763 0 0 0 52 4 0 0 20 0 28 0 17090684 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057873368192 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4179] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4179/stat : 4179 (java) S 4175 4175 24937 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057826094096 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4180] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4180/stat : 4180 (java) S 4175 4175 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057825041552 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4181] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4181/stat : 4181 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057823988496 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4182] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4182/stat : 4182 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057822935952 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4183] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4183/stat : 4183 (java) S 4175 4175 24937 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057821882896 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4184] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4184/stat : 4184 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057820830352 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4185] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4185/stat : 4185 (java) S 4175 4175 24937 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057819777296 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4186] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4186/stat : 4186 (java) S 4175 4175 24937 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140057818724752 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4187] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4187/stat : 4187 (java) S 4175 4175 24937 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 17090686 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056414120688 140057869138562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4188] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4188/stat : 4188 (java) S 4175 4175 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17090687 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056413066912 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4189] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4189/stat : 4189 (java) S 4175 4175 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17090687 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056412013808 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4190] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4190/stat : 4190 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090689 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056410962384 140057869146011 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4191] ppid=4175 vsize=26534456 CPUtime=0.49 cores=0-7 /proc/4177/task/4191/stat : 4191 (java) R 4175 4175 24937 0 -1 4202560 2302 0 0 0 48 1 0 0 20 0 28 0 17090689 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056409895584 140057850648597 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4192] ppid=4175 vsize=26534456 CPUtime=0.42 cores=0-7 /proc/4177/task/4192/stat : 4192 (java) R 4175 4175 24937 0 -1 4202560 2150 0 0 0 42 0 0 0 20 0 28 0 17090689 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056408842944 140057848782736 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4193] ppid=4175 vsize=26534456 CPUtime=0.53 cores=0-7 /proc/4177/task/4193/stat : 4193 (java) R 4175 4175 24937 0 -1 4202560 1854 0 0 0 52 1 0 0 20 0 28 0 17090689 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056407786048 140057854235100 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4194] ppid=4175 vsize=26534456 CPUtime=0.45 cores=0-7 /proc/4177/task/4194/stat : 4194 (java) S 4175 4175 24937 0 -1 1077944384 1953 0 0 0 45 0 0 0 20 0 28 0 17090689 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056406751344 140057869138562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4195] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4195/stat : 4195 (java) S 4175 4175 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17090690 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056405699552 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4196] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4196/stat : 4196 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090693 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140056404647088 140057869138562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4269] ppid=4175 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/4177/task/4269/stat : 4269 (java) R 4175 4175 24937 0 -1 4202560 19 0 0 0 16 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055453510672 140057495349570 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4270] ppid=4175 vsize=26534456 CPUtime=0.19 cores=0-7 /proc/4177/task/4270/stat : 4270 (java) R 4175 4175 24937 0 -1 4202560 19 0 0 0 19 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055454567200 140057491133307 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4271] ppid=4175 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/4177/task/4271/stat : 4271 (java) R 4175 4175 24937 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055452461000 140057491116950 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4272] ppid=4175 vsize=26534456 CPUtime=0.12 cores=0-7 /proc/4177/task/4272/stat : 4272 (java) R 4175 4175 24937 0 -1 4202560 22 0 0 0 12 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055456670200 140057491113064 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4273] ppid=4175 vsize=26534456 CPUtime=0.18 cores=0-7 /proc/4177/task/4273/stat : 4273 (java) R 4175 4175 24937 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055455618664 140057494958095 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4274] ppid=4175 vsize=26534456 CPUtime=0.2 cores=0-7 /proc/4177/task/4274/stat : 4274 (java) R 4175 4175 24937 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055449302072 140057491091202 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4275] ppid=4175 vsize=26534456 CPUtime=0.16 cores=0-7 /proc/4177/task/4275/stat : 4275 (java) R 4175 4175 24937 0 -1 4202560 18 0 0 0 16 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055450356680 140057495485723 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4276] ppid=4175 vsize=26534456 CPUtime=0.1 cores=0-7 /proc/4177/task/4276/stat : 4276 (java) R 4175 4175 24937 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 17090775 27171282944 47522 18446744073709551615 4194304 4196468 140735387388944 140055451408616 140057491113447 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 Current children cumulated CPU time (s) 5.11 Current children cumulated vsize (KiB) 26543968 [startup+1.30826 s] /proc/loadavg: 8.54 8.28 7.91 13/202 4276 /proc/meminfo: memFree=31580444/32770624 swapFree=0/255424 [pid=4175] ppid=4172 vsize=9512 CPUtime=0 cores=0-7 /proc/4175/stat : 4175 (xcsp3-exec) S 4172 4175 24937 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 17090678 9740288 345 18446744073709551615 4194304 5098028 140721703108336 140721703106440 139862846796412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16478208 140721703117203 140721703117412 140721703117412 140721703120875 0 /proc/4175/statm: 2378 345 289 221 0 87 0 [pid=4177] ppid=4175 vsize=26534456 CPUtime=5.91 cores=0-7 /proc/4177/stat : 4177 (java) S 4175 4175 24937 0 -1 1077944320 20245 0 0 0 580 11 0 0 20 0 28 0 17090684 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140735387371488 140057869127415 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 /proc/4177/statm: 6633614 47545 3198 1 0 6621915 0 [pid=4177/tid=4178] ppid=4175 vsize=26534456 CPUtime=0.56 cores=0-7 /proc/4177/task/4178/stat : 4178 (java) S 4175 4175 24937 0 -1 1077944384 8763 0 0 0 52 4 0 0 20 0 28 0 17090684 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057873368192 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4179] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4179/stat : 4179 (java) S 4175 4175 24937 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057826094096 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4180] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4180/stat : 4180 (java) S 4175 4175 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057825041552 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4181] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4181/stat : 4181 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057823988496 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4182] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4182/stat : 4182 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057822935952 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4183] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4183/stat : 4183 (java) S 4175 4175 24937 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057821882896 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4184] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4184/stat : 4184 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057820830352 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4185] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4185/stat : 4185 (java) S 4175 4175 24937 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057819777296 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4186] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4186/stat : 4186 (java) S 4175 4175 24937 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 17090685 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140057818724752 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4187] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4187/stat : 4187 (java) S 4175 4175 24937 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 17090686 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056414120688 140057869138562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4188] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4188/stat : 4188 (java) S 4175 4175 24937 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17090687 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056413066912 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4189] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4189/stat : 4189 (java) S 4175 4175 24937 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 17090687 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056412013808 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4190] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4190/stat : 4190 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090689 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056410962384 140057869146011 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4191] ppid=4175 vsize=26534456 CPUtime=0.55 cores=0-7 /proc/4177/task/4191/stat : 4191 (java) R 4175 4175 24937 0 -1 4202560 2315 0 0 0 54 1 0 0 20 0 28 0 17090689 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056409895552 140057854235979 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4192] ppid=4175 vsize=26534456 CPUtime=0.47 cores=0-7 /proc/4177/task/4192/stat : 4192 (java) R 4175 4175 24937 0 -1 4202560 2157 0 0 0 47 0 0 0 20 0 28 0 17090689 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056408842784 140057847144424 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4193] ppid=4175 vsize=26534456 CPUtime=0.61 cores=0-7 /proc/4177/task/4193/stat : 4193 (java) R 4175 4175 24937 0 -1 1077944384 1873 0 0 0 60 1 0 0 20 0 28 0 17090689 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056407795168 140057869137621 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4194] ppid=4175 vsize=26534456 CPUtime=0.46 cores=0-7 /proc/4177/task/4194/stat : 4194 (java) R 4175 4175 24937 0 -1 1077944384 1962 0 0 0 46 0 0 0 20 0 28 0 17090689 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056406751344 140057869138562 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4195] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4195/stat : 4195 (java) S 4175 4175 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17090690 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056405699552 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4196] ppid=4175 vsize=26534456 CPUtime=0 cores=0-7 /proc/4177/task/4196/stat : 4196 (java) S 4175 4175 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17090693 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140056404647088 140057869138562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4269] ppid=4175 vsize=26534456 CPUtime=0.22 cores=0-7 /proc/4177/task/4269/stat : 4269 (java) S 4175 4175 24937 0 -1 1077944384 19 0 0 0 22 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055453510368 140057869137621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4270] ppid=4175 vsize=26534456 CPUtime=0.26 cores=0-7 /proc/4177/task/4270/stat : 4270 (java) R 4175 4175 24937 0 -1 4202560 19 0 0 0 26 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055454564304 140057495226267 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4271] ppid=4175 vsize=26534456 CPUtime=0.18 cores=0-7 /proc/4177/task/4271/stat : 4271 (java) R 4175 4175 24937 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055452458400 140057495349537 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4272] ppid=4175 vsize=26534456 CPUtime=0.18 cores=0-7 /proc/4177/task/4272/stat : 4272 (java) R 4175 4175 24937 0 -1 4202560 22 0 0 0 18 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055456670768 140057869139350 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4273] ppid=4175 vsize=26534456 CPUtime=0.27 cores=0-7 /proc/4177/task/4273/stat : 4273 (java) R 4175 4175 24937 0 -1 4202560 21 0 0 0 27 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055455620048 140057495595554 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4274] ppid=4175 vsize=26534456 CPUtime=0.24 cores=0-7 /proc/4177/task/4274/stat : 4274 (java) R 4175 4175 24937 0 -1 4202560 17 0 0 0 24 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055449298976 140057495485116 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4275] ppid=4175 vsize=26534456 CPUtime=0.26 cores=0-7 /proc/4177/task/4275/stat : 4275 (java) R 4175 4175 24937 0 -1 1077944384 18 0 0 0 26 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055450353744 140057869137621 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 [pid=4177/tid=4276] ppid=4175 vsize=26534456 CPUtime=0.2 cores=0-7 /proc/4177/task/4276/stat : 4276 (java) R 4175 4175 24937 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 28 0 17090775 27171282944 47545 18446744073709551615 4194304 4196468 140735387388944 140055451409120 140057495226151 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140735387390416 140735387390592 140735387390592 140735387393999 0 Current children cumulated CPU time (s) 5.91 Current children cumulated vsize (KiB) 26543968 Child status: 0 Real time (s): 1.33496 CPU time (s): 6.08158 CPU user time (s): 5.95754 CPU system time (s): 0.124036 CPU usage (%): 455.561 Max. virtual memory (cumulated for all children) (KiB): 26543968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.95754 system time used= 0.124036 maximum resident set size= 191424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20819 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3624 involuntary context switches= 159 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.008937 second user time and 0.011916 second system time The end
Begin job on node131 at 2017-08-02 16:24:27 IDJOB=4254510 IDBENCH=126212 IDSOLVER=2636 FILE ID=node131/4254510-1501684704 RUNJOBID= node131-1501676534-24993 PBS_JOBID= Free space on /tmp= 61944 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-08-a3.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-4254510-1501684704/watcher-4254510-1501684704 -o /tmp/evaluation-result-4254510-1501684704/solver-4254510-1501684704 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 376014012 HOME/instance-4254510-1501684704.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 86f9a0f9696ddea7c71528c4cbe59182 RANDOM SEED=376014012 node131.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 : 5334.07 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 : 5334.07 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 : 5334.07 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 : 5334.07 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: 31757960 kB MemAvailable: 32012152 kB Buffers: 136336 kB Cached: 406224 kB SwapCached: 0 kB Active: 327856 kB Inactive: 272144 kB Active(anon): 58056 kB Inactive(anon): 16724 kB Active(file): 269800 kB Inactive(file): 255420 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7784 kB Writeback: 4 kB AnonPages: 57972 kB Mapped: 30880 kB Shmem: 17064 kB Slab: 114448 kB SReclaimable: 89616 kB SUnreclaim: 24832 kB KernelStack: 3072 kB PageTables: 4288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61936 MiB End job on node131 at 2017-08-02 16:24:29