Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: choco-solver 4.0.5 (2017-07-05) | SAT | 1.75995 | 1.29724 |
Name | Scheduling/Scheduling-jsdec-sadeh/ Sadeh-ewddr1-9.xml |
MD5SUM | 175fb08d85d071680a829b1f7b92a261 |
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 | 0.054237001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 90 |
Number of domains | 1 |
Minimum domain size | 1 |
Maximum domain size | 1 |
Distribution of domain sizes | [{"size":1,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":3,"count":30}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":1,"count":50},{"arity":2,"count":40}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 90 |
Distribution of constraint types | [{"type":"intension","count":90}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244290-1500682387.xml" -tl '2400s' -p 8 -x 0 0.00/0.29 c [HOME/instance-4244290-1500682387.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.48 c 8 solvers in parallel 0.00/0.89 c parse instance... 1.45/1.25 c solve instance... 1.45/1.28 s SATISFIABLE 1.45/1.28 v <instantiation> 1.45/1.28 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] </list> 1.45/1.28 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 1.45/1.28 v </instantiation>
OK
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-4244290-1500682387/watcher-4244290-1500682387 -o /tmp/evaluation-result-4244290-1500682387/solver-4244290-1500682387 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1024246805 HOME/instance-4244290-1500682387.xml pid=16968 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 5.98 8.33 5.20 6/247 16974 /proc/meminfo: memFree=31978500/32770624 swapFree=5900/214660 [pid=16974] ppid=16968 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16974/stat : 16974 (xcsp3-exec) S 16968 16974 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505755 9740288 346 33554432000 4194304 5098028 140730328547856 140730328545960 140208524259964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 1 0 0 7196144 7232144 20967424 140730328552590 140730328552800 140730328552800 140730328555499 0 /proc/16974/statm: 2378 346 289 221 0 87 0 [startup+0.100112 s] /proc/loadavg: 5.98 8.33 5.20 6/247 16974 /proc/meminfo: memFree=31978500/32770624 swapFree=5900/214660 [pid=16974] ppid=16968 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16974/stat : 16974 (xcsp3-exec) S 16968 16974 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505755 9740288 346 33554432000 4194304 5098028 140730328547856 140730328545960 140208524259964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 1 0 0 7196144 7232144 20967424 140730328552590 140730328552800 140730328552800 140730328555499 0 /proc/16974/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200321 s] /proc/loadavg: 5.98 8.33 5.20 6/247 16974 /proc/meminfo: memFree=31978500/32770624 swapFree=5900/214660 [pid=16974] ppid=16968 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16974/stat : 16974 (xcsp3-exec) S 16968 16974 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505755 9740288 346 33554432000 4194304 5098028 140730328547856 140730328545960 140208524259964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 1 0 0 7196144 7232144 20967424 140730328552590 140730328552800 140730328552800 140730328555499 0 /proc/16974/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.30032 s] /proc/loadavg: 5.98 8.33 5.20 6/247 16974 /proc/meminfo: memFree=31978500/32770624 swapFree=5900/214660 [pid=16974] ppid=16968 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16974/stat : 16974 (xcsp3-exec) S 16968 16974 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505755 9740288 346 33554432000 4194304 5098028 140730328547856 140730328545960 140208524259964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 1 0 0 7196144 7232144 20967424 140730328552590 140730328552800 140730328552800 140730328555499 0 /proc/16974/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700208 s] /proc/loadavg: 5.98 8.33 5.20 6/247 16974 /proc/meminfo: memFree=31978500/32770624 swapFree=5900/214660 [pid=16974] ppid=16968 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16974/stat : 16974 (xcsp3-exec) S 16968 16974 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505755 9740288 346 33554432000 4194304 5098028 140730328547856 140730328545960 140208524259964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 1 0 0 7196144 7232144 20967424 140730328552590 140730328552800 140730328552800 140730328555499 0 /proc/16974/statm: 2378 346 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 16977 sig 9 ??? kill 16974 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800311 s] /proc/loadavg: 5.98 8.33 5.20 6/247 16974 /proc/meminfo: memFree=31978500/32770624 swapFree=5900/214660 [pid=16974] ppid=16968 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16974/stat : 16974 (xcsp3-exec) S 16968 16974 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505755 9740288 346 33554432000 4194304 5098028 140730328547856 140730328545960 140208524259964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 1 0 0 7196144 7232144 20967424 140730328552590 140730328552800 140730328552800 140730328555499 0 /proc/16974/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.21638 s] /proc/loadavg: 5.98 8.33 5.20 10/289 17016 /proc/meminfo: memFree=31894112/32770624 swapFree=5900/216440 [pid=16974] ppid=16968 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16974/stat : 16974 (xcsp3-exec) S 16968 16974 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3505755 9740288 346 33554432000 4194304 5098028 140730328547856 140730328545960 140208524259964 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 1 0 0 7196144 7232144 20967424 140730328552590 140730328552800 140730328552800 140730328555499 0 /proc/16974/statm: 2378 346 289 221 0 87 0 [pid=16977] ppid=16974 vsize=13269256 CPUtime=1.45 cores=0,2,4,6,8,10,12,14 /proc/16977/stat : 16977 (java) S 16974 16974 16913 0 -1 1077944320 12171 0 1 0 140 5 0 0 20 0 20 0 3505756 13587718144 17456 33554432000 4194304 4196468 140727106582624 140727106565168 140277694742263 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 /proc/16977/statm: 3317314 17456 3200 1 0 3304547 0 [pid=16977/tid=16980] ppid=16974 vsize=13269256 CPUtime=0.65 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16980/stat : 16980 (java) R 16974 16974 16913 0 -1 4202560 6796 0 1 0 62 3 0 0 20 0 20 0 3505760 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277698980792 140277694764189 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16989] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16989/stat : 16989 (java) S 16974 16974 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277660023824 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16990] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16990/stat : 16990 (java) S 16974 16974 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277292846224 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16991] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16991/stat : 16991 (java) S 16974 16974 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277291793168 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16992] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16992/stat : 16992 (java) S 16974 16974 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277290740624 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16993] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16993/stat : 16993 (java) S 16974 16974 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277289687568 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16994] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16994/stat : 16994 (java) S 16974 16974 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277288635024 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16995] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16995/stat : 16995 (java) S 16974 16974 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277287581968 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16996] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16996/stat : 16996 (java) S 16974 16974 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3505766 13587718144 17456 33554432000 4194304 4196468 140727106582624 140277286529424 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=16998] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/16998/stat : 16998 (java) S 16974 16974 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3505768 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276359510768 140277694753410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17000] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17000/stat : 17000 (java) S 16974 16974 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3505769 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276358456992 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17002] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17002/stat : 17002 (java) S 16974 16974 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3505769 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276357403888 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17009] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17009/stat : 17009 (java) S 16974 16974 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3505773 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276356352464 140277694760859 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17010] ppid=16974 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17010/stat : 17010 (java) R 16974 16974 16913 0 -1 4202560 1051 0 0 0 16 0 0 0 20 0 20 0 3505773 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276355286112 140277679429802 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17011] ppid=16974 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17011/stat : 17011 (java) R 16974 16974 16913 0 -1 4202560 864 0 0 0 15 0 0 0 20 0 20 0 3505773 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276354247024 140277674578644 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17012] ppid=16974 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17012/stat : 17012 (java) R 16974 16974 16913 0 -1 4202560 369 0 0 0 9 0 0 0 20 0 20 0 3505773 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276353174984 140277678129051 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17013] ppid=16974 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17013/stat : 17013 (java) R 16974 16974 16913 0 -1 4202560 1790 0 0 0 36 0 0 0 20 0 20 0 3505773 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276352136464 140277678884528 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17015] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17015/stat : 17015 (java) S 16974 16974 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3505774 13587718144 17456 33554432000 4194304 4196468 140727106582624 140276351089632 140277694752469 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 [pid=16977/tid=17016] ppid=16974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/16977/task/17016/stat : 17016 (java) S 16974 16974 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3505774 13587718144 17476 33554432000 4194304 4196468 140727106582624 140276350037168 140277694753410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19202048 140727106585788 140727106585964 140727106585964 140727106588623 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 13278768 Child status: 0 Real time (s): 1.29724 CPU time (s): 1.75995 CPU user time (s): 1.68279 CPU system time (s): 0.077165 CPU usage (%): 135.67 Max. virtual memory (cumulated for all children) (KiB): 13278768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.68279 system time used= 0.077165 maximum resident set size= 92828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13364 page faults= 1 swaps= 0 block input operations= 3056 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2776 involuntary context switches= 301 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.014536 second user time and 0.023881 second system time The end
Begin job on node133 at 2017-07-22 02:13:07 IDJOB=4244290 IDBENCH=115510 IDSOLVER=2625 FILE ID=node133/4244290-1500682387 RUNJOBID= node133-1500682387-16944 PBS_JOBID= 20623321 Free space on /tmp= 62016 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-ewddr1-9.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244290-1500682387/watcher-4244290-1500682387 -o /tmp/evaluation-result-4244290-1500682387/solver-4244290-1500682387 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1024246805 HOME/instance-4244290-1500682387.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 175fb08d85d071680a829b1f7b92a261 RANDOM SEED=1024246805 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.13 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31979988 kB MemAvailable: 32023048 kB Buffers: 48164 kB Cached: 304132 kB SwapCached: 0 kB Active: 180624 kB Inactive: 223416 kB Active(anon): 54588 kB Inactive(anon): 8756 kB Active(file): 126036 kB Inactive(file): 214660 kB Unevictable: 5900 kB Mlocked: 5900 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 15300 kB Writeback: 0 kB AnonPages: 58000 kB Mapped: 29952 kB Shmem: 8872 kB Slab: 68832 kB SReclaimable: 36400 kB SUnreclaim: 32432 kB KernelStack: 4176 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 310424 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62000 MiB End job on node133 at 2017-07-22 02:13:09