Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | ? (TO) | 1800.36 | 898.623 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo |
MD5SUM | b00997dbe8c129e1e2409a2ca7003a2b |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.25096 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 19944 |
Total number of constraints | 50842 |
Number of soft constraints | 17258 |
Number of constraints which are clauses | 43898 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6944 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
Top cost | 865635 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 865634 |
Biggest number in a constraint | 641 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2174 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c pb_cplex 1.0 - 20100701 0.00/0.00 c Parsing wbo file format. File HOME/instance-2697510-1278055360.wbo. 0.00/0.00 c Instance file HOME/instance-2697510-1278055360.wbo 0.00/0.00 c File size is 2842104 bytes. 65.82/65.94 c Highest Coefficient sum: 2174 65.82/65.94 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 65.82/65.99 c ============================[ Problem Statistics ]============================= 65.82/65.99 c | | 65.82/65.99 c | Parsing time: 65.88 s | 65.82/65.99 c | Number Variables: 37202 | 65.82/66.00 c | Number Constraints: 50843 | 65.82/66.00 c =============================================================================== 1800.36/898.61 c Remaining time 1734.11 sec. 1800.36/898.61 c 1800.36/898.61 c *** INTERRUPTED *** 1800.36/898.61 s UNKNOWN 1800.36/898.61 c Total CPU time : 1797.41 s 1800.36/898.61 c Memory used : 976.22 MB 1800.36/898.61 c CPU time : 1797.41 s 1800.36/898.61 c 1800.36/898.61 c *** INTERRUPTED ***
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697510-1278055360/watcher-2697510-1278055360 -o /tmp/evaluation-result-2697510-1278055360/solver-2697510-1278055360 -C 1800 -W 2000 -M 3800 run HOME/instance-2697510-1278055360.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.42 6.73 3.48 3/177 22048 /proc/meminfo: memFree=31224064/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [startup+0.0558681 s] /proc/loadavg: 7.42 6.73 3.48 3/177 22048 /proc/meminfo: memFree=31224064/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100859 s] /proc/loadavg: 7.42 6.73 3.48 3/177 22048 /proc/meminfo: memFree=31224064/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300838 s] /proc/loadavg: 7.42 6.73 3.48 3/177 22048 /proc/meminfo: memFree=31224064/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700779 s] /proc/loadavg: 7.42 6.73 3.48 3/177 22048 /proc/meminfo: memFree=31224064/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50064 s] /proc/loadavg: 7.42 6.73 3.48 3/179 22050 /proc/meminfo: memFree=31222188/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=18384 CPUtime=1.49 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 1136 0 0 0 149 0 0 0 25 0 1 0 146832522 18825216 1090 4089446400 134512640 146736320 4287000400 18446744073709551615 134814122 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22049/statm: 4596 1090 342 2985 0 836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27084 [startup+3.10036 s] /proc/loadavg: 6.98 6.65 3.47 3/179 22050 /proc/meminfo: memFree=31220824/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=19340 CPUtime=3.01 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 1430 0 0 0 301 0 0 0 25 0 1 0 146832522 19804160 1384 4089446400 134512640 146736320 4287000400 18446744073709551615 140714094 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/22049/statm: 4835 1384 366 2985 0 1075 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 28040 [startup+6.30081 s] /proc/loadavg: 6.98 6.65 3.47 3/179 22050 /proc/meminfo: memFree=31219460/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=21368 CPUtime=6.21 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 1969 0 0 0 621 0 0 0 25 0 1 0 146832522 21880832 1890 4089446400 134512640 146736320 4287000400 18446744073709551615 140526528 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 5342 1890 404 2985 0 1582 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 30068 [startup+12.7007 s] /proc/loadavg: 6.36 6.53 3.47 3/179 22050 /proc/meminfo: memFree=31182152/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=23520 CPUtime=12.62 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 2544 0 0 0 1261 1 0 0 25 0 1 0 146832522 24084480 2465 4089446400 134512640 146736320 4287000400 18446744073709551615 140526619 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 5880 2465 453 2985 0 2120 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 32220 [startup+25.5005 s] /proc/loadavg: 5.93 6.43 3.47 10/186 22059 /proc/meminfo: memFree=30992620/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=26768 CPUtime=25.42 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 3451 0 0 0 2541 1 0 0 25 0 1 0 146832522 27410432 3307 4089446400 134512640 146736320 4287000400 18446744073709551615 141014048 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 6692 3307 522 2985 0 2932 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 35468 [startup+51.1012 s] /proc/loadavg: 5.45 6.29 3.50 4/186 22059 /proc/meminfo: memFree=30970868/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=31760 CPUtime=51.02 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 4725 0 0 0 5100 2 0 0 25 0 1 0 146832522 32522240 4581 4089446400 134512640 146736320 4287000400 18446744073709551615 140684664 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 7940 4581 666 2985 0 4180 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 40460 [startup+102.307 s] /proc/loadavg: 3.41 5.58 3.42 3/179 22061 /proc/meminfo: memFree=30962824/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=181612 CPUtime=102.22 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 198182 0 0 0 10199 23 0 0 25 0 1 0 146832522 185970688 28887 4089446400 134512640 146736320 4287000400 18446744073709551615 136403109 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 45403 28887 1049 2985 0 41945 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 190312 [startup+162.3 s] /proc/loadavg: 4.34 5.35 3.46 8/186 22068 /proc/meminfo: memFree=30902888/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=181880 CPUtime=162.21 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 233534 0 0 0 16194 27 0 0 25 0 1 0 146832522 186245120 28980 4089446400 134512640 146736320 4287000400 18446744073709551615 139044509 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 45470 28980 1049 2985 0 42012 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 190580 [startup+222.301 s] /proc/loadavg: 6.79 5.87 3.76 7/186 22070 /proc/meminfo: memFree=30881044/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=183980 CPUtime=222.21 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 276576 0 0 0 22188 33 0 0 25 0 1 0 146832522 188395520 29359 4089446400 134512640 146736320 4287000400 18446744073709551615 136017755 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 45995 29359 1049 2985 0 42537 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 192680 [startup+282.301 s] /proc/loadavg: 7.18 6.12 3.97 5/186 22072 /proc/meminfo: memFree=30878016/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=184232 CPUtime=282.2 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 304110 0 0 0 28182 38 0 0 25 0 1 0 146832522 188653568 29442 4089446400 134512640 146736320 4287000400 18446744073709551615 136017755 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 46058 29442 1049 2985 0 42600 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 192932 [startup+342.304 s] /proc/loadavg: 7.38 6.37 4.19 10/186 22074 /proc/meminfo: memFree=30877328/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=182664 CPUtime=342.21 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 350753 0 0 0 34176 45 0 0 25 0 1 0 146832522 187047936 29656 4089446400 134512640 146736320 4287000400 18446744073709551615 136403106 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 45666 29656 1048 2985 0 42208 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 191364 [startup+402.301 s] /proc/loadavg: 7.66 6.64 4.42 4/186 22076 /proc/meminfo: memFree=30873100/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=181372 CPUtime=402.21 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 396620 0 0 0 40168 53 0 0 25 0 1 0 146832522 185724928 29407 4089446400 134512640 146736320 4287000400 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/22049/statm: 45343 29407 1048 2985 0 41885 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 190072 [startup+462.318 s] ################ # More data... # ################ /proc/22049/statm: 217978 138888 1252 2985 0 214520 0 [pid=22049/tid=22166] ppid=22048 vsize=871912 CPUtime=9.28 /proc/22049/task/22166/stat : 22166 (pb_cplex) R 22048 22048 21595 0 -1 4202560 15263 0 0 0 923 5 0 0 25 0 8 0 146892348 892837888 138888 4089446400 134512640 146736320 4287000400 18446744073709551615 136007616 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=22049/tid=22167] ppid=22048 vsize=871912 CPUtime=8.17 /proc/22049/task/22167/stat : 22167 (pb_cplex) R 22048 22048 21595 0 -1 4202560 14015 0 0 0 814 3 0 0 25 0 8 0 146892348 892837888 138888 4089446400 134512640 146736320 4287000400 18446744073709551615 136007337 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=22049/tid=22168] ppid=22048 vsize=871912 CPUtime=7.79 /proc/22049/task/22168/stat : 22168 (pb_cplex) R 22048 22048 21595 0 -1 4202560 13187 0 0 0 777 2 0 0 25 0 8 0 146892348 892837888 138888 4089446400 134512640 146736320 4287000400 18446744073709551615 136007037 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=22049/tid=22169] ppid=22048 vsize=871912 CPUtime=8.28 /proc/22049/task/22169/stat : 22169 (pb_cplex) R 22048 22048 21595 0 -1 4202560 14855 0 0 0 825 3 0 0 25 0 8 0 146892348 892837888 138888 4089446400 134512640 146736320 4287000400 18446744073709551615 136400586 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=22049/tid=22170] ppid=22048 vsize=871912 CPUtime=9.47 /proc/22049/task/22170/stat : 22170 (pb_cplex) R 22048 22048 21595 0 -1 4202560 15304 0 0 0 945 2 0 0 25 0 8 0 146892348 892837888 138888 4089446400 134512640 146736320 4287000400 18446744073709551615 136007371 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=22049/tid=22171] ppid=22048 vsize=871912 CPUtime=7.1 /proc/22049/task/22171/stat : 22171 (pb_cplex) R 22048 22048 21595 0 -1 4202560 10441 0 0 0 708 2 0 0 25 0 8 0 146892348 892837888 138888 4089446400 134512640 146736320 4287000400 18446744073709551615 139044502 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=22049/tid=22172] ppid=22048 vsize=871912 CPUtime=7.81 /proc/22049/task/22172/stat : 22172 (pb_cplex) R 22048 22048 21595 0 -1 4202560 13555 0 0 0 779 2 0 0 25 0 8 0 146892348 892837888 138888 4089446400 134512640 146736320 4287000400 18446744073709551615 136007627 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 646.6 Current children cumulated vsize (KiB) 880612 [startup+702.327 s] /proc/loadavg: 13.78 9.02 5.87 17/193 22179 /proc/meminfo: memFree=30615024/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=884400 CPUtime=734.91 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 901652 0 0 0 73340 151 0 0 25 0 8 0 146832522 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 136007605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/22049/statm: 221100 142311 1197 2985 0 217642 0 [pid=22049/tid=22166] ppid=22048 vsize=884400 CPUtime=19.86 /proc/22049/task/22166/stat : 22166 (pb_cplex) R 22048 22048 21595 0 -1 4202560 26026 0 0 0 1975 11 0 0 22 0 8 0 146892348 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 135454073 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=22049/tid=22167] ppid=22048 vsize=884400 CPUtime=19.2 /proc/22049/task/22167/stat : 22167 (pb_cplex) R 22048 22048 21595 0 -1 4202560 28288 0 0 0 1914 6 0 0 25 0 8 0 146892348 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 136007284 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=22049/tid=22168] ppid=22048 vsize=884400 CPUtime=18.38 /proc/22049/task/22168/stat : 22168 (pb_cplex) R 22048 22048 21595 0 -1 4202560 23007 0 0 0 1832 6 0 0 25 0 8 0 146892348 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 136007674 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=22049/tid=22169] ppid=22048 vsize=884400 CPUtime=19.76 /proc/22049/task/22169/stat : 22169 (pb_cplex) R 22048 22048 21595 0 -1 4202560 24895 0 0 0 1971 5 0 0 25 0 8 0 146892348 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 136007059 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=22049/tid=22170] ppid=22048 vsize=884400 CPUtime=21.78 /proc/22049/task/22170/stat : 22170 (pb_cplex) R 22048 22048 21595 0 -1 4202560 26971 0 0 0 2173 5 0 0 25 0 8 0 146892348 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 136007605 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=22049/tid=22171] ppid=22048 vsize=884400 CPUtime=16.37 /proc/22049/task/22171/stat : 22171 (pb_cplex) R 22048 22048 21595 0 -1 4202560 16091 0 0 0 1633 4 0 0 25 0 8 0 146892348 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 138423397 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=22049/tid=22172] ppid=22048 vsize=884400 CPUtime=19.05 /proc/22049/task/22172/stat : 22172 (pb_cplex) R 22048 22048 21595 0 -1 4202560 21509 0 0 0 1900 5 0 0 21 0 8 0 146892348 905625600 142311 4089446400 134512640 146736320 4287000400 18446744073709551615 136007616 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 734.91 Current children cumulated vsize (KiB) 893100 [startup+762.307 s] /proc/loadavg: 12.44 9.60 6.27 5/180 22204 /proc/meminfo: memFree=30681560/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=898820 CPUtime=914.9 /proc/22049/stat : 22049 (pb_cplex) S 22048 22048 21595 0 -1 4202496 990821 0 0 0 91316 174 0 0 25 0 8 0 146832522 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/22049/statm: 224705 143607 1161 2985 0 221247 0 [pid=22049/tid=22166] ppid=22048 vsize=898820 CPUtime=46.38 /proc/22049/task/22166/stat : 22166 (pb_cplex) R 22048 22048 21595 0 -1 4202560 57475 0 0 0 4621 17 0 0 25 0 8 0 146892348 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 135854505 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=22049/tid=22167] ppid=22048 vsize=898820 CPUtime=45.2 /proc/22049/task/22167/stat : 22167 (pb_cplex) R 22048 22048 21595 0 -1 4202560 30819 0 0 0 4513 7 0 0 25 0 8 0 146892348 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 136007643 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=22049/tid=22168] ppid=22048 vsize=898820 CPUtime=23.64 /proc/22049/task/22168/stat : 22168 (pb_cplex) S 22048 22048 21595 0 -1 4202560 25317 0 0 0 2357 7 0 0 25 0 8 0 146892348 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 144580073 0 2 4096 16387 18446604471147848064 0 0 -1 5 0 0 0 [pid=22049/tid=22169] ppid=22048 vsize=898820 CPUtime=45.33 /proc/22049/task/22169/stat : 22169 (pb_cplex) R 22048 22048 21595 0 -1 4202560 28221 0 0 0 4524 9 0 0 25 0 8 0 146892348 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 136001905 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=22049/tid=22170] ppid=22048 vsize=898820 CPUtime=43.84 /proc/22049/task/22170/stat : 22170 (pb_cplex) S 22048 22048 21595 0 -1 4202560 48329 0 0 0 4375 9 0 0 25 0 8 0 146892348 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 144580073 0 2 4096 16387 18446604471147848064 0 0 -1 3 0 0 0 [pid=22049/tid=22171] ppid=22048 vsize=898820 CPUtime=41.75 /proc/22049/task/22171/stat : 22171 (pb_cplex) R 22048 22048 21595 0 -1 4202560 33827 0 0 0 4167 8 0 0 25 0 8 0 146892348 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 139044550 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=22049/tid=22172] ppid=22048 vsize=898820 CPUtime=53.55 /proc/22049/task/22172/stat : 22172 (pb_cplex) S 22048 22048 21595 0 -1 4202560 25799 0 0 0 5348 7 0 0 25 0 8 0 146892348 920391680 143607 4089446400 134512640 146736320 4287000400 18446744073709551615 144580073 0 2 4096 16387 18446604471147848064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 914.9 Current children cumulated vsize (KiB) 907520 [startup+822.3 s] /proc/loadavg: 7.99 8.71 6.17 9/177 22210 /proc/meminfo: memFree=30597572/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=976024 CPUtime=1190.32 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 1173606 0 0 0 118791 241 0 0 25 0 8 0 146832522 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 139044564 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/22049/statm: 244006 164899 1107 2985 0 240548 0 [pid=22049/tid=22166] ppid=22048 vsize=976024 CPUtime=78.18 /proc/22049/task/22166/stat : 22166 (pb_cplex) R 22048 22048 21595 0 -1 4202560 78455 0 0 0 7793 25 0 0 25 0 8 0 146892348 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 136007053 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=22049/tid=22167] ppid=22048 vsize=976024 CPUtime=82.83 /proc/22049/task/22167/stat : 22167 (pb_cplex) R 22048 22048 21595 0 -1 4202560 49583 0 0 0 8269 14 0 0 25 0 8 0 146892348 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 136007065 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=22049/tid=22168] ppid=22048 vsize=976024 CPUtime=52.75 /proc/22049/task/22168/stat : 22168 (pb_cplex) R 22048 22048 21595 0 -1 4202560 44656 0 0 0 5262 13 0 0 25 0 8 0 146892348 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 136007030 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=22049/tid=22169] ppid=22048 vsize=976024 CPUtime=75.17 /proc/22049/task/22169/stat : 22169 (pb_cplex) R 22048 22048 21595 0 -1 4202560 45957 0 0 0 7500 17 0 0 25 0 8 0 146892348 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 136007053 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=22049/tid=22170] ppid=22048 vsize=976024 CPUtime=72.95 /proc/22049/task/22170/stat : 22170 (pb_cplex) R 22048 22048 21595 0 -1 4202560 67686 0 0 0 7279 16 0 0 25 0 8 0 146892348 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 139044505 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=22049/tid=22171] ppid=22048 vsize=976024 CPUtime=101.5 /proc/22049/task/22171/stat : 22171 (pb_cplex) R 22048 22048 21595 0 -1 4202560 84213 0 0 0 10128 22 0 0 25 0 8 0 146892348 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 136007053 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=22049/tid=22172] ppid=22048 vsize=976024 CPUtime=82.65 /proc/22049/task/22172/stat : 22172 (pb_cplex) R 22048 22048 21595 0 -1 4202560 43800 0 0 0 8252 13 0 0 25 0 8 0 146892348 999448576 164899 4089446400 134512640 146736320 4287000400 18446744073709551615 136007083 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1190.32 Current children cumulated vsize (KiB) 984724 [startup+882.301 s] /proc/loadavg: 8.03 8.59 6.28 9/177 22212 /proc/meminfo: memFree=30578600/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=993604 CPUtime=1669.97 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 1339715 0 0 0 166708 289 0 0 25 0 8 0 146832522 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 135846419 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/22049/statm: 248401 169493 1107 2985 0 244943 0 [pid=22049/tid=22166] ppid=22048 vsize=993604 CPUtime=138.19 /proc/22049/task/22166/stat : 22166 (pb_cplex) R 22048 22048 21595 0 -1 4202560 101215 0 0 0 13787 32 0 0 25 0 8 0 146892348 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 136007089 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=22049/tid=22167] ppid=22048 vsize=993604 CPUtime=142.84 /proc/22049/task/22167/stat : 22167 (pb_cplex) R 22048 22048 21595 0 -1 4202560 67981 0 0 0 14262 22 0 0 25 0 8 0 146892348 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 139044505 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=22049/tid=22168] ppid=22048 vsize=993604 CPUtime=112.75 /proc/22049/task/22168/stat : 22168 (pb_cplex) R 22048 22048 21595 0 -1 4202560 65609 0 0 0 11256 19 0 0 25 0 8 0 146892348 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 136007065 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=22049/tid=22169] ppid=22048 vsize=993604 CPUtime=135.15 /proc/22049/task/22169/stat : 22169 (pb_cplex) R 22048 22048 21595 0 -1 4202560 68041 0 0 0 13493 22 0 0 25 0 8 0 146892348 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 135854186 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=22049/tid=22170] ppid=22048 vsize=993604 CPUtime=132.94 /proc/22049/task/22170/stat : 22170 (pb_cplex) R 22048 22048 21595 0 -1 4202560 91003 0 0 0 13271 23 0 0 25 0 8 0 146892348 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 136007605 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=22049/tid=22171] ppid=22048 vsize=993604 CPUtime=161.18 /proc/22049/task/22171/stat : 22171 (pb_cplex) R 22048 22048 21595 0 -1 4202560 102386 0 0 0 16090 28 0 0 25 0 8 0 146892348 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 136007661 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=22049/tid=22172] ppid=22048 vsize=993604 CPUtime=142.64 /proc/22049/task/22172/stat : 22172 (pb_cplex) R 22048 22048 21595 0 -1 4202560 62588 0 0 0 14247 17 0 0 25 0 8 0 146892348 1017450496 169493 4089446400 134512640 146736320 4287000400 18446744073709551615 136007030 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1669.97 Current children cumulated vsize (KiB) 1002304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+898.6 s] /proc/loadavg: 8.10 8.58 6.32 9/177 22212 /proc/meminfo: memFree=30573012/32951132 swapFree=67111528/67111528 [pid=22048] ppid=22046 vsize=8700 CPUtime=0 /proc/22048/stat : 22048 (run) S 22046 22048 21595 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146832522 8908800 249 4089446400 4194304 4922060 140734911093200 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/22048/statm: 2175 249 208 178 0 68 0 [pid=22049] ppid=22048 vsize=999648 CPUtime=1800.36 /proc/22049/stat : 22049 (pb_cplex) R 22048 22048 21595 0 -1 4202496 1390969 0 0 0 179736 300 0 0 25 0 8 0 146832522 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 136400463 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/22049/statm: 249912 170879 1100 2985 0 246454 0 [pid=22049/tid=22166] ppid=22048 vsize=999648 CPUtime=154.5 /proc/22049/task/22166/stat : 22166 (pb_cplex) R 22048 22048 21595 0 -1 4202560 106270 0 0 0 15416 34 0 0 25 0 8 0 146892348 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 139042888 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=22049/tid=22167] ppid=22048 vsize=999648 CPUtime=159.15 /proc/22049/task/22167/stat : 22167 (pb_cplex) R 22048 22048 21595 0 -1 4202560 75762 0 0 0 15891 24 0 0 25 0 8 0 146892348 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 136007584 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=22049/tid=22168] ppid=22048 vsize=999648 CPUtime=129.06 /proc/22049/task/22168/stat : 22168 (pb_cplex) R 22048 22048 21595 0 -1 4202560 76220 0 0 0 12885 21 0 0 25 0 8 0 146892348 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=22049/tid=22169] ppid=22048 vsize=999648 CPUtime=151.46 /proc/22049/task/22169/stat : 22169 (pb_cplex) R 22048 22048 21595 0 -1 4202560 72580 0 0 0 15123 23 0 0 25 0 8 0 146892348 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 136007080 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=22049/tid=22170] ppid=22048 vsize=999648 CPUtime=149.26 /proc/22049/task/22170/stat : 22170 (pb_cplex) R 22048 22048 21595 0 -1 4202560 95952 0 0 0 14902 24 0 0 25 0 8 0 146892348 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 136007643 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=22049/tid=22171] ppid=22048 vsize=999648 CPUtime=177.41 /proc/22049/task/22171/stat : 22171 (pb_cplex) R 22048 22048 21595 0 -1 4202560 108801 0 0 0 17711 30 0 0 25 0 8 0 146892348 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 136006074 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=22049/tid=22172] ppid=22048 vsize=999648 CPUtime=158.95 /proc/22049/task/22172/stat : 22172 (pb_cplex) R 22048 22048 21595 0 -1 4202560 69336 0 0 0 15877 18 0 0 25 0 8 0 146892348 1023639552 170879 4089446400 134512640 146736320 4287000400 18446744073709551615 136007289 0 2 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 1008348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22048 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.000999 # while last known CPU time is 1800.36 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 898.623 CPU time (s): 1800.36 CPU user time (s): 1797.36 CPU system time (s): 3 CPU usage (%): 200.347 Max. virtual memory (cumulated for all children) (KiB): 1023972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 365 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1 runsolver used 1.49477 second user time and 3.13552 second system time The end
Begin job on node129 at 2010-07-02 09:22:40 IDJOB=2697510 IDBENCH=79054 IDSOLVER=1210 FILE ID=node129/2697510-1278055360 PBS_JOBID= 11198923 Free space on /tmp= 74160 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl--soft-66-100-0.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697510-1278055360/watcher-2697510-1278055360 -o /tmp/evaluation-result-2697510-1278055360/solver-2697510-1278055360 -C 1800 -W 2000 -M 3800 run HOME/instance-2697510-1278055360.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b00997dbe8c129e1e2409a2ca7003a2b RANDOM SEED=1934137626 node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5410.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31224592 kB Buffers: 221464 kB Cached: 1281196 kB SwapCached: 0 kB Active: 741116 kB Inactive: 833796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31224592 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 36852 kB Writeback: 0 kB AnonPages: 72616 kB Mapped: 16976 kB Slab: 84372 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 219168 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74160 MiB End job on node129 at 2010-07-02 09:37:41